# 6th Panhellenic Logic Symposium

Volos, Greece, 5-8 July 2007

### Programme

##### Thursday 5.7.07

- 09:00-10:00
- Registration - Opening
- 10:00-11:00
- Constantine Tsinakis (Vanderbilt University):
- Algebraic Methods in Logic
- 11:00-11:30
- Long Coffee Break
- 11:30-12:30
- Sergei Artemov (City University of New York):
- Justification Logic
- 12:30-13:30
- Ayse Berkman (Middle East Technical University):
- Groups of Finite Morley Rank
- 13:30-17:00
- Lunch Break
- 17:00-17.25
- Konstantinos Pouliasis and Nikolaos S. Papaspyrou:
- Axiomatizing Principia Metaphysica in Isabelle/HOL
- 17:25-17.50
- Michalis A. Papakyriakou, Prodromos E. Gerakios and Nikolaos S. Papaspyrou:
- A Mechanized Proof of Type Safety for the Polymorphic ë-Calculus with References
- 17:50-18.15
- Vladimir Sotirov:
- Leibniz's "Calculemus!" at Work
- 18:15-18.40
- Svetla Koeva, Tinko Tinchev and Mitko Yanchev:
- Decidability of generalized majority logic
- 18:40-19.00
- Coffee Break
- 19:00-19.25
- Walter Dean:
- On Moschovakis's theory of algorithmic identity
- 19:25-19.50
- Nikolaos Galatos:
- Algebraic and Relational Semantics for Substructural Logics
- 19:50-20.15
- Yiorgos Stavrinos and Anastasia Veneti:
- Of kits and molecules

##### Friday 6.7.07

- 09:00-10:00
- Sergei Artemov (City University of New York):
- Justification Logic
- 10:00-11:00
- Stuart Barry Cooper (University of Leeds):
- The Interactive Structure of Information: Post's Program Revisited
- 11:00-11:30
- Long Coffee Break
- 11:30-12:30
- Ilijas Farah (York University):
- Set Theory and the Calkin Algebra
- 12:30-13:30
- Thomas Eiter (Vienna University of Technology):
- Towards a Semantic Web: Combining Rules and Ontologies
- 13:30-17:00
- Lunch Break
- 17:00–17:25
- Vassilis Kountouriotis, Christos Nomikos and Panos Rondogiannis:
- Boolean Grammars and Negation in Logic Programming
- 17:25-17:50
- Anton Zinoviev:
- Logical Applications of the Dual Boolean Ring
- 17:50-18:15
- Eleni Kalyvianaki:
- Locality and its applications in natural language semantics
- 18:15-18:40
- Pedro Cabalar, David Pearce and Agustin Valverde:
- Minimisation of logic programs
- 18:40:19:00
- Coffee Break
- 19:00-19:25
- Alexander Sakharov:
- Classicality as a Property of Predicate Symbols
- 19:25-19:50
- Konstantinos Georgatos:
- Geodesic Update
- 19:50-20:15
- Anastasios Michael Fotinopoulos and Pavlos Peppas:
- Connecting Recovery and Iterated Belief Revision

##### Saturday 7.7.07

- 09:00-10:00
- Ilijas Farah (York University):
- Set Theory and the Calkin Algebra
- 10:00-11:00
- Anuj Dawar (University of Cambridge):
- On Preservation Theorems in Finite Model Theory
- 11:00-11:30
- Long Coffee Break
- 11:30-12:30
- Silvio Ghilardi (University of Milano):
- Model-theoretic techniques for combined decision procedures in word problems, constraint satisfiability, and model-cheching
- 12:30-13:30
- Michalis Mytilineos: In memoriam
- 13:30-20:00
- Excursion

##### Sunday 8.7.07

- 09:00-10:00
- Silvio Ghilardi (University of Milano):
- Model-theoretic techniques for combined decision procedures in word problems, constraint satisfiability, and model-cheching
- 10:00-11:00
- Ali Enayat (American University):
- Automorphisms of Models of Arithmetic
- 11:00-11:30
- Coffee Break
- 11:30-11:55
- Dimiter Vakarelov:
- A recursive generalization of Ackermann Lemma with applications to modal ì-definability
- 11:55-12:20
- Alexandra A. Soskova and Ivan N. Soskov:
- Jump spectra of abstract structures
- 12:20-12:45
- Hristo Ganchev and Ivan Soskov:
- The groups AUT(Dù') and AUT(De) are isomorphic
- 12:45-13:10
- Georgi Georgiev:
- Quantifiers on equivalence relations in local agreement
- 13:10-13:35
- Alla Sirokofskich:
- Census Functions in Weak Arithmetic