Конференцията ще продължи от 27 юни до 02 юли и ще се проведе в Аулата, Зала 1 и Зала 2 в Ректората. Предлагаме на вашето внимание програмата за седмицата:

27 June, Monday:

• 14:00 – 16:30 /Registration
• 16:30 – 17:30 /Coffee
• 17:30 – 18:00 /OPENING
• 18:00 – 19:00 /APAL Lecture Alasdair Urquhart
• 19:00 /Welcome Cocktail in the garden of the Rectorate

28 June, Tuesday:

• 9:00 – 9:30 /Coffee
• 9:30
  1 - “Adapting Rabin's Theorem for Differential Fields”, Aula;
  2 - “Splicing Systems: Accepting versus Generating”, Conference Room 3;
  3 - “Polynomial-time Set Recursion”, Conference Room 1
• 10:15
  1 - “Orders on Structures and Stucture of Orders”, Aula;
  2 - “Steps Towards a Unified Model Prototyping Strategy for multi-(proto)cellular computing”, Conference Room 3;
  3 - “A Generalised Dynamical System, Infinite Time Register Machines and Π11-Comprehension”, Conference Room
• 11:30 – 12:30 /“Linguistics for Computability Theorists: Three Tutorial Lectures”, Aula
• 12:30 – 14:30 /Lunch
• 14:30 – 15:30 /“Undecidability and Definitions of Integers and Itegral Functions”, Aula
• 16:00 / Session I , II, III, IV - Aula, Conference Room 1, 2, 3
• 16:25 / Session I , II, III, IV - Aula, Conference Room 1, 2, 3
• 16:50 / Session I , II, III, IV - Aula, Conference Room 1, 2, 3
• 17:15 / Session I , II, III, IV - Aula, Conference Room 1, 2, 3
• 17:40 / Session I , II, III, IV - Aula, Conference Room 1, 2, 3

29 June, Wednesday:

• 9:30 – 10:30 / “Linguistics for Computability Theorists: Three Tutorial Lectures”, Aula
• 11:00
  1 - “Computer Analysis in the Weihrauch Lattice”, Aula;
  2 - “Nature-Based Problems in Cellular Automata”, Conference Room 3;
  3 - “Quantum Information Channels in Curved Spacetime”, Conference Room 1
• 11:45
  1 - “Program extraction in computable analysis” Aula;
  2 - “Current developments on computational modeling using P systems” Conference Room 3;
  3 - “Quantum Correlations with No Casual Order”, Conference Room 1
• 12:30 – 14:30 / Lunch
• 14:30 – 15:30 / “The Jump of a Structure”, Aula
• 16:00 – 17:00 / “Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata”, Aula
• 17:15 / Session I , II, III, IV - Aula, Conference Room 1, 2, 3
• 17:40 / Session I , II, III, IV - Aula, Conference Room 1, 2, 3
• 18:05 / Session I , II, III, IV - Aula, Conference Room 1, 2, 3
• 18:30 / Session I , II, IV - Aula, Conference Room 1, 3

30 June, Thursday:

• 9:30 – 10:30 / “Linguistics for Computability Theorists: Three Tutorial Lectures”, Aula
• 11:00
  1 - “Jump classes and automorphisms of the c.e. sets”, Aula;
  2 - “Computation of Similarity - Similarity Search as Computation”, Conference Room 3;
  3 - “From causality to computability: a quantum version of Gandy's theorem”, Conference Room 1
• 11:45
  1 - “Minimality and Jump Classes”, Aula;
  2 - “A Complexity-Theoretic Study of some Fragments of English”, Conference Room 3;
  3 - “Proving the results of quantum computations”, Conference Room 1
• 12:30 – 14:30 / Lunch
• 14:30 – 15:30 / “Integrative analysis of breast cancer: Dissecting heterogeneity in samples and signals”, Aula
• 16:00 – 17:00 / “Effective Fractal Dimensions”, Aula
• 17:30 – 19:00 / Women in Computability, Conference Room 3

01 July, Friday:

• 9:30 – 10:30/ “Effective Fractal Dimensions”, Aula
• 11:00
  1 - “Goodness and Jump Inversion in the Enumeration Degrees”, Aula;
  2 - “Generalized quantifiers, situation types and clarification in dialogue”, Conference Room 3;
  3 - “Computational approach to an alternative 'working environment' for the constructible universe”, Conference Room 1
• 11:45
  1 - “Cupping and Diamond Embeddings: A Unifying Approach”, Aula;
  2 - “Automata on ordinals and linear orders”, Conference Room 1
• 12:30 – 14:30 / Lunch
• 14:30 – 15:30 / “The First-order Fragments of Second-order Theories”, Aula
• 16:00 / Session I , II, III, IV - Aula, Conference Room 1, 2, 3
• 16:25 / Session I , II, III, IV - Aula, Conference Room 1, 2, 3
• 16:50 / Session I , II, III, IV - Aula, Conference Room 1, 2, 3
• 17:30 – 19:00 / Annual General Meeting, Aula
• 19:00 / Conference Dinner

02 July, Saturday:

• 9:30 – 10:30 / “Effective Fractal Dimensions”, Aula
• 10:45 / Session I , II, III, IV - Aula, Conference Room 1, 2, 3
• 11:10 / Session I , III, IV - Aula, Conference Room 2, 3
• 11:35 / Session I , III, IV - Aula, Conference Room 2, 3
• 12:15 – 13:00 / “ Logic in a neuroscience lab”, Aula
• 13:15 – 13:30 / Closing

CAAG - Computability in Analysis, Algebra, and Geometry
CCT - Classical Computability Theory
CL - Computational Linguistics
NC - Natural Computing
RPW - Relations between the physical world and formal models of computability
TTC - Theory of transfinite computations