LICS 2010 - PRELIMINARY PROGRAM ===================== Sunday, July, 11th: ===================== --------------------- 09:00-10:00: Finite model theory [Chair: Victor Vianu] --------------------- Vince Barany, Georg Gottlob and Martin Otto: Querying the Guarded Fragment Martin Otto: Highly Acyclic Groups, Hypergraph Covers and the Guarded Fragment --------------------- 10:00-10:30: Coffee Break --------------------- --------------------- 10:30-12:30: Type theory --------------------- Vincent Siles and Hugo Herbelin: Equality is typable in Semi-Full Pure Type Systems Andrei Popescu, Elsa Gunter and Chris Osborn: Strong normalization of System F by HOAS on top of FOAS James Laird: Game Semantics for a Polymorphic Programming Language Hugo Herbelin: An intuitionistic logic that proves Markov's principle --------------------- 12:30-14:00: Lunch Break --------------------- --------------------- 14:00-15:00: Plenary Lectures --------------------- David Harel: Amir Pnueli: A Gentle Giant, Lord of the Phi's and the Psi's Gordon Plotkin: Robin Milner, a Craftsman of Tools for the Mind --------------------- 15:00-15:30: Coffee Break --------------------- --------------------- 15:30-17:00: Logic and Automata [Chair: David Harel] --------------------- Mark Jenkins, Joel Ouaknine, Alexander Rabinovich and James Worrell: Alternating Timed Automata over Bounded Time Thomas Colcombet and Christof Loeding: Regular cost functions over finite trees Eryk Kopczynski and Anthony Widjaja To: Parikh Images of Grammars: Complexity and Applications --------------------- 17:00-17:15: Short Break --------------------- --------------------- 17:15-18:15: Complexity of CSPs [Chair: Yijia Chen] --------------------- Manuel Bodirsky, Martin Hils and Barnaby Martin: On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction Marcin Kozik and Libor Barto: New conditions for Taylor varieties and CSP --------------------- Evening: Reception --------------------- ===================== Monday, July, 12th: ===================== --------------------- 09:00-10:00: Invited Talk --------------------- Martin Abadi: The Fine print of Security --------------------- 10:00-10:30: Coffee Break --------------------- --------------------- 10:30-12:30: Semantics --------------------- Joerg Endrullis, Dimitri Hendriks and Jan Willem Klop: Modular Construction of Fixed Point Combinators and Clocked Boehm Trees Christopher Broadbent, Arnaud Carayol, C.-H. Luke Ong and Olivier Serre: Recursion Schemes and Logical Reflection James Brotherston and Max Kanovich, Dominique Larchey-Wendling and Didier Galmiche: Undecidability of Boolean BI, and of propositional separation logic and its neighbours Paul-Andre Mellies: Segal condition meets computational effects --------------------- 12:30-14:00: Lunch Break --------------------- --------------------- 14:00-15:00: Finite model theory --------------------- Dietrich Kuske, Jiamou Liu and Markus Lohrey: The Isomorphism Problem On Classes of Automatic Structures Yuguo He: On the strictness of the first-order quantifier structure hierarchy over finite structures --------------------- 15:00-15:30: Coffee Break --------------------- --------------------- 15:30-17:00: Finite model theory --------------------- Martin Grohe: Fixed-Point Definability and Polynomial Time on Graphs with Excluded Minors Stephan Kreutzer and Siamak Tazari: Lower Bounds for the Complexity of Monadic Second-Order Logic Bastian Laubner: Capturing Polynomial Time on Interval Graphs --------------------- 17:00-17:15: Short Break --------------------- --------------------- 17:15-18:15: Logics [Chair: Dan Ghica] --------------------- Patricia Johann, Alex Simpson and Janis Voigtlaender: A Generic Operational Metatheory for Algebraic Effects Noam Zeilberger: Polarity and the logic of delimited continuations --------------------- 18:30-20:00: LICS business meeting and LICS 25th Year Anniversary Celebration (a look at past LICS meetings and a panel on the Future of LICS) --------------------- ===================== Tuesday, July, 13th: ===================== --------------------- 09:00-10:00: Invited Plenary Lecture --------------------- Georg Gottlob: Datalog+: A Family of Logical Query Languages for New Applications --------------------- 10:00-10:30: Coffee Break --------------------- --------------------- 10:30-12:30: Logic and Automata [Chair: Georg Gottlob] --------------------- Mikolaj Bojanczyk and Slawomir Lasota: An extension of data automata that captures XPath Thomas Place and Luc Segoufin: Deciding definability in FO2(<) on trees Luis Barguno, Carles Creus, Guillem Godoy, Florent Jacquemard and Camille Vacher: The Emptiness Problem for Tree Automata with Global Constraints Nicole Schweikardt and Luc Segoufin: Addition-invariant FO and regularity --------------------- 12:30-14:00: Lunch Break --------------------- --------------------- 14:00-15:00: Invited Plenary Lecture --------------------- J Strother Moore: Theorem Proving for Verification: The Early Days --------------------- 15:00-15:30: Coffee Break --------------------- --------------------- 15:30-17:00: Logics [Chair: J Moore] --------------------- Alessio Guglielmi, Tom Gundersen and Lutz Strassburger: Breaking Paths in Atomic Flows for Classical Logic Michele Basaldella and Kazushige Terui: Infinitary completeness in ludics Arnon Avron, Ofer Arieli and Anna Zamansky: On Strong Maximality of Paraconsistent Finite-Valued Logics --------------------- 17:00-17:15: Short Break --------------------- --------------------- 17:15-18:15: Short papers session [Chair: Stephane Lengrand] --------------------- --------------------- Evening: Banquet --------------------- ===================== Wednesday, July, 14th: ===================== --------------------- 09:00-10:00: Invited Talk --------------------- Catuscia Palamidessi: Probabilistic Information Flow --------------------- 10:00-10:30: Coffee Break --------------------- --------------------- 10:30-12:30: Process calculi [Chair: Catuscia Palamidessi] --------------------- Magnus Johansson, Jesper Bengtson, Joachim Parrow and Bjoern Victor: Weak Equivalences in Psi-calculi Massimo Bartoletti and Roberto Zunino: A calculus of contracting processes Christian Eisentraut, Holger Hermanns and Lijun Zhang: On Probabilistic Automata In Continuous Time Jean Goubault-Larrecq: Omega-QRB-Domains and the Probabilistic Powerdomain --------------------- 12:30-14:00: Lunch Break --------------------- --------------------- 14:00-15:00: Invited Talk --------------------- Vincent Danos: Abstracting the ODE semantics of rule-based models: exact and automatic model reduction --------------------- 15:00-15:30: Coffee Break --------------------- --------------------- 15:30-17:00: Concurrency [Chair: Vincent Danos] --------------------- Cosimo Laneve and Antonio Vitale: The Expressive Power of Synchronizations Sam Staton and Glynn Winskel: On the expressivity of symmetry in event structures Thomas Ehrhard: A finiteness structure on resource terms --------------------- 17:00-17:15: Short Break --------------------- --------------------- 17:15-18:15: Coalgebras [Chair: Martin Escardo] --------------------- Samson Abramsky: Coalgebras, Chu Spaces, and Representations of Physical Systems Stefan Milius: A Sound and Complete Calculus for finite Stream Circuits