4-6 June 2012
Bern, Switzerland
Call for Participation Explicit Paradigms in Logic and Computer Science June 4-6 2012 Bern, Switzerland http://www.expa12.unibe.ch/index.php For a preliminary PROGRAM scroll down to the end of this email Explicitness plays an important role in many parts of mathematics and computer science. Constructive and intuitionistic proofs, for example, provide explicit witnesses for existential assertions. In the area of explicit mathematics, operations and types are explicitly given by terms of the language. These traditional and well-established areas are complemented by more recent developments. Justification logics, the first of which was conceived 20 years ago in Bern, are natural extensions of modal logics with the capability of unfolding belief and knowledge modalities into explicit justification terms. Even more recent are infon logics, which have been developed in the context of distributed authorization and deal with pieces of information explicitly. The purpose of this workshop is to provide a platform for presenting new results in these research areas. INVITED SPEAKERS: Sergei Artemov (New York, NY) Lev Beklemishev (Moscow) Andreas Blass (Ann Arbor, MI) Samuel Bucheli (Bern) Wilfried Buchholz (Munich) ? TBC Laura Crosilla (Leeds) Walter Dean (Coventry) Sebastian Eberhard (Bern) Melvin Fitting (New York, NY) Yuri Gurevich (Redmond, WA) Reinhard Kahle (Lisbon) Pierluigi Minari (Florence) Isabel Oitavem (Lisbon) Wolfram Pohlers (Mnster) Michael Rathjen (Leeds) Anton Setzer (Swansea) Valentin Shehtman (Moscow) Tatiana Yavorskaya (Moscow) PROGRAM COMMITTEE: Gerhard Jger (Chair) Roman Kuznets Thomas Strahm Thomas Studer PRELIMINARY PROGRAM: Monday, June 4 9:15 ? 10:00 Valentin Shehtman TBA 10:00 ? 10:30 Coffee break 10:30 ? 11:15 Laura Crosilla "Operations and sets, constructively" 11:30 ? 12:00 Sebastian Eberhard "Applicative theories for logarithmic complexity classes" Lunch break 14:00 ? 14:45 Sergei Artemov "A classical view of constructive semantics" 14:45 ? 15:15 Coffee break 15:15 ? 16:00 Pierluigi Minari "Labelled sequent calculi for modal logics: getting rid of hidden contractions" 16:15 ? 17:00 Wolfram Pohlers "Some applications of semiformal systems" Tuesday, June 5 9:15 ? 10:00 Michael Rathjen "The existence property and ordinal analysis" 10:00 ? 10:30 Coffee break 10:30 ? 11:15 Lev Beklemishev "Topological semantics of provability logic" 11:30 ? 12:00 Samuel Bucheli "A justification logic with common knowledge" Lunch break 14:00 ? 14:45 Yuri Gurevich "What, if anything, can be done in linear time?" 14:45 ? 15:15 Coffee break 15:15 ? 16:00 Andreas Blass "Logical justification in distributed authorization" 16:15 ? 17:00 Anton Setzer "Inductive-inductive definitions" Social dinner Wednesday, June 6 9:15 ? 10:00 Tatiana Yavorskaya "Arithmetical semantics for the first order logic of proofs" 10:00 ? 10:30 Coffee break 10:30 ? 11:15 Isabel Oitavem "The class NP" 11:30 ? 12:00 Walter Dean "Gdel, Kreisel, and the origin of the Logic of Proofs" Lunch break 14:00 ? 14:45 Reinhard Kahle "Induction schemata for classes of computational complexity" 14:45 ? 15:15 Coffee break 15:15 ? 16:00 Melvin Fitting "Possible world semantics for first order LP"