10th Panhellenic Logic Symposium

THURSDAY, 11/6/2015

09.00­-11.00	Registration
11.00-11.10	Opening
11.10-12.30	Tutorial	J.-Y. Beziau: Introduction to Universal Logic
12.40-13.30	Invited talk	R. Sklinos: Some model theory of hyperbolic groups
13.30-16.00	Lunch break
16.00-17.30	Contributed talks	C. Dimitracopoulos and V. Paschalis: Grades of discernibility    P. Eleftheriou, A. Hasson and G. Keren: On weakly o-minimal non-valuational structures     A. Sariev: Definability of jump classes in the local theory of the ω-Turing degrees
17.30-18.00	Coffee break
18.00-19.00	Contributed talks	A. Soskova, A. Terziivanov and S. Vatev: Generalization of the notion of jump sequence of sets for sequences of structures S. Sudoplatov: Generative and pre-generative classes

FRIDAY, 12/6/2015

09.00­-10.30	Tutorial	J.-Y. Beziau: Introduction to Universal Logic
10.30-11.00	Coffee break
11.00-11.50	Invited talk	L. Crosilla: Understanding predicativity
11.50-12.00	Break
12.00-12.50	Invited talk	M. Soskova: The enumeration degrees: Local and global structural interactions
12.50-15.30	Lunch break
15.30-17.00	Contributed talks	C. Cieslinski: Minimalism and the generalization problem R. Grandy: Philo v Diodorus revisited: A new conditional in an old setting, or an old conditional in a new setting? B. Martin: Dialetheism and dual-valuation logics
17.00-17.30	Coffee break
17.30-19.30	Contributed talks	E. Rivello: Supervaluation and revision V. Sotirov: Leibniz' arithmetized syllogistics: The intensional semantics U. Wybraniec-Skardowska: Rejecyion in traditional and modern logics P. Yuste: Logic and ontology in ancient India

SATURDAY, 13/6/2015

09.00­-10.30	Tutorial	P. D' Aquino: Real closed fields, models of Peano Arithmetic and recursive saturation
10.30-11.00	Coffee break
11.00-11.50	Invited talk	V. Gregoriades: Hyperarithmetical incomparability and Kreisel compactness
11.50-12.00	Break
12.00-12.50	Invited talk	N. Tzevelekos: Automata over infinite alphabets: Investigations in Fresh-Register Automata
12.50-15.00	Lunch break
15.00-17.00	Contributed talks	F. Dowker, A. Kakas and F. Toni: Argumentation Logic as Anhomomorphic Logic D. Georgiev: SQEMA with Universal Modality O. Gerasimova and I. Makarov: Total equivalence systems for classes of 3-valued projection logic whose projections equal to the class of linear Boolean functions T. Ivanova: Extended contact algebras and internal connectedness
17.00-17.30	Coffee break
17.30-19.30	Contributed talks	U. Rivieccio: Lukasiewicz public announcement logic M. Yanchev: A description logic with transitive and inverse roles, role hierarchies, qualifying number restrictions, and part restrictions A. Zinoviev: Dendral Resolution.

SUNDAY, 14/6/2015

EXCURSION & SYMPOSIUM DINNER    

MONDAY, 15/6/2015

09.00­-10.30	Tutorial	P. D' Aquino: Real closed fields, models of Peano Arithmetic and recursive saturation
10.30-11.00	Coffee break
11.00-12.00	Poster session
12.00-12.10	Break
12.10-13.00	Invited talk	X. Vidaux: Diophantine undecidability and uniform boundedness of rational points
13.00-13.10	Closing