|
SCIENTIFIC PROGRAMS AND ACTIVITIES |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
November 2, 2024 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
LICS
2011 MAIN PAGE
|
Fees include meeting materials, coffee breaks and the Symposium banquet | ||
Category |
Before May 31,
2011
|
After May 31,
2011
|
Member of IEEE or ASL
|
$390
|
$480
|
Non-member
|
$525
|
$650
|
Student Member of IEEE orASL
|
$240
|
$260
|
Student Non-member
|
$325
|
$350
|
Retired
|
$240
|
$260
|
Additional Banquet Tickets
|
$75
|
$75
|
Proceedings |
$25
|
$25
|
Workshops June 20 |
Registrants for any of the workshops held on Monday June 20th are free to attend the talks of the other workshop held on that day. $50 |
Registrants for any of the workshops held on Monday June 20th are free to attend the talks of the other workshops held on that day. $50 |
June 25,
Workshop Workshop on Logic and Computational Complexity (LCC '11) |
$50
|
$50 |
Call for Workshop Proposals proposals due: 16 November 2010Submission instructions, style files for preparing a submission, and a link to the LICS 2011 submission site can be found here.
Paper Registration Deadline: 5 January 2011, 11:59 pm GMT
Paper Registration Deadline: 5 January 2011
Paper Submission Deadline: 12 January 2011
Author Notification: 7 March 2011
Final Versions for the Proceedings: 4 April 2011
Back to Top
Monday, June 20: TUTORIAL DAY (Room 230) 8:00-9:00 Registration and Morning Coffee Albert Atserias
Tutorial on Finite Model Theory9:00-10:00 Part 1 10:20-11:20 Part 2 11:40-12:40 Part 3 Prakash Panangaden
Tutorial on Semantics14:20-15:20 Part 1 15:40-16:40 Part 2 17:00-18:00 Part 3 18:00-17:00 Evening Reception Tuesday June 21: LICS 2011 Audio and slides of talks 8:30-9:00 Registration and Coffee at Fields 9:00-9:15 Welcome & Opening Remarks 9:15 - 10:15 Session 1: Invited Talk
Ashish Tiwari
Logic in Software, Dynamical and Biological Systems10:15-10:45 Coffee Break 10:45-12:45 Session 2: Logic and Automata I
Arnaud Carayol, Axel Haddad and Olivier Serre
Qualitative Tree LanguagesManfred Kufleitner and Alexander Lauser
Languages of Dot-Depth One over Infinite WordsTomas Brazdil, Vaclav Brozek, Krishnendu Chatterjee, Vojtech Forejt and Antonin Kucera
Two Views on Multiple Mean Payoff Objectives in Markov Decision
ProcessesUdi Boker, Krishnendu Chatterjee, Thomas A. Henzinger and Orna Kupferman
Temporal Specifications with Accumulative Values12:45-14:15 Lunch Break 14:15-15:45 Session 3: Semantics I Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer and Kristian Støvring.
First steps in synthetic guarded domain theory: step-indexing in the topos of treesMartin Churchill, James Laird and Guy McCusker.
Imperative Programs as Proofs via Game SemanticsAndrzej Murawski and Nikos Tzevelekos.
Game semantics for good general references15:45-16:15 Coffee Break 16:15-18:15 Session 4: Probabilistic Computation
Thomas Ehrhard, Michele Pagani and Christine Tasson.
The Computational Meaning of Probabilistic Coherence SpacesJean Goubault-Larrecq and Daniele Varacca.
Continuous Random Variables (slides)Nathanael L. Ackerman, Cameron E. Freer and Daniel M. Roy.
Noncomputable conditional distributionsWednesday June 22: LICS 2011 Audio and slides of talks Audio and slides of talks
8:30-9:00 Morning Coffee 9:00 - 10:00 Session 5: Invited Talk
Toniann Pitassi
Propositional Proof Complexity: A survey on the state of the art, including some recent results10:00-10:30 Coffee Break 10:30-12:30 Session 6: Type Theory
Jean-Yves Marion.
A type system for complexity flow analysisUgo Dal Lago and Marco Gaboardi.
Linear Dependent Types and Relative CompletenessBruno Barras, Jean-Pierre Jouannaud, Pierre-Yves Strub and Qian Wang.
COQ MTU : a higher-order type theory with a predicative hierachy of universes parameterized by a decidable first-order theoryPierre Clairambault.
Isomorphisms of types in the presence of higher-order references12:30-14:00 Lunch Break 14:00-15:30 Session 7: Complexity
Yijia Chen and Jörg Flum.
Listings and logicsChristian Herrmann and Martin Ziegler.
Computational Complexity of Quantum SatisfiabilityDai Tri Man Le and Stephen A. Cook.
Formalizing Randomized Matching Algorithms15:30-16:00 Coffee Break 16:00-17:00 Session 8: Proof Theory and Linear Logic
Alexandre Miquel.
Forcing as a program transformationWillem Heijltjes.
Proof nets for additive linear logic with units17:15-18:15 Short Presentations
Sam Sanders
Computing the InfiniteCharles Jordan and Thomas Zeugmann.
Recent Progress in the Classification for TestabilityKohei Suenaga and Ichiro Hasuo.
Programming with Infinitesimals: A WHILE-Language for Hybrid System ModelingAndrzej Murawski and Nikos Tzevelekos.
Algorithmic nominal game semanticsNathanael Ackerman, Cameron Freer and Daniel Roy.
#P-complete conditional distributionsYang Cai and Ting Zhang.
Can Nondeterminism Help Complementation?Fabien Givors and Gregory Lafitte.
Holes Punched ComputabilitiesGuo-Qiang Zhang, Xiangnan Zhou, Robert Fraser and Licong Cui.
Concatenation and Kleene Star on Deterministic Finite AutomataEric Jui-Yi Kao and Michael Genesereth.
Achieving cut, deduction, and other properties with a variation on
quasi-classical logic18:30-19:30 LICS Business Meeting and Presentation of Kleene and ToT Awards Thursday, June 23: LICS 2011 Audio and slides of talks
8:30-9:00 Morning Coffee 9:00 - 10:00 Session 9: Invited Talk
Naoki Kobayashi.
Higher-Order Model Checking: From Theory to Practice10:00-10:30 Coffee Break 10:30-12:30 Session 10: Semantics II
Sergey Goncharov and Lutz Schröder.
Powermonads and Tensoring Unranked EffectsIchiro Hasuo and Naohiko Hoshino.
Semantics of Higher-Order Quantum Computation via Geometry of InteractionChung-Kil Hur, Derek Dreyer and Viktor Vafeiadis.
Separation Logic in the Presence of Garbage CollectionNeelakantan Krishnaswami and Nick Benton.
Ultrametric Semantics of Reactive Programs12:30-14:00 Lunch Break 14:00-15:30 Session 11: Decidability and Complexity
Diego Figueira, Santiago Figueira, Sylvain Schmitz and Philippe Schnoebelen.
Ackermannian and Primitive-Recursive Bounds with Dickson's LemmaStefan Göller and Anthony Widjaja Lin.
The Complexity of Verifying Ground Tree Rewrite SystemsJuha Kontinen, Antti Kuusisto, Peter Lohmann and Jonni Virtema.
Complexity of two-variable Dependence Logic and IF-Logic15:30-16:00 Coffee Break 16:00-17:30 Session 12: Constraint Satisfaction and Related Problems
Libor Barto.
The Dichotomy for Conservative Constraint Satisfaction Problems RevisitedFlorent Madelaine and Barnaby Martin.
A tetrachotomy for positive first-order logic without equalityManuel Bodirsky, Michael Pinsker and Todor Tsankov.
Decidability of DefinabilityEvening Conference Dinner Friday, June 24: LICS 2011 Audio and slides of talks
8:30-9:00 Morning Coffee 9:00 - 10:00 Session 13: Invited Talk
Andrei Krokhin.
The complexity of evaluating ?rst-order sentences over a fixed structure10:00-10:30 Coffee Break 10:30-12:30 Session 14: Logic and Automata II
Michael Benedikt, Gabriele Puppis and Cristian Riveros.
Regular Repair of SpecificationsBenjamin Aminof, Orna Kupferman and Robby Lampert.
Rigorous Approximated Determinization of Weighted Automata (slides)Mikolaj Bojanczyk, Bartek Klin and Slawomir Lasota.
Automata with group actionsDiego Figueira.
A decidable two-way logic on data words12:30-14:00 Lunch Break 14:00-15:00 Session 15: Halpern-Shoham Logic
Jakub Michaliszyn and Jerzy Marcinkowski.
The Ultimate Undecidability Result for the Halpern-Shoham LogicDavide Bresolin, Angelo Montanari, Pietro Sala and Guido Sciavicco.
What's decidable about Halpern and Shoham's interval logic? The maximal fragment ABBL15:00-15:30 Coffee Break 15:30-16:30 Session 16: Concurrency
Richard Mayr and Parosh Abdulla.
Computing Optimal Coverability Costs in Priced Timed Petri NetsSilvain Rideau and Glynn Winskel.
Concurrent strategies
Full Name June 20
LOLA'11June 20
LAFT'11Tutorial
DayJune 25
LCC'11Alur, Rajeev . . 1 . Baillot, Paatrick . . . 1 Barto, Libor . . 1 . Berdine, Josh . 1 . . Birkedal, Lars 1 . . . Bodirsky, Manuel . . . . Bojanczyk, Mikolaj . . . . Boker, Udi . . . . Bonakdarpour, Borzoo . 1 . . Braverman, Mark . . . 1 Breimer, Ben . 1 . . Brozek, Vaclav . . . . Carmosino, Marco . . 1 1 Chen, Yijia . . . . Chlipala, Adam . 1 . . Churchill, Martin . . 1 . Clairambault, Pierre . . 1 . Cook, Stephen A. . . 1 1 Dal Lago, Ugo . . 1 1 Dallal, Eric . 1 . . Delbecque, Yannick . . 1 . Demasi, Ramiro . 1 . . Dreyer, Derek 1 . . . Figueira, Diego . . . 1 Forejt, Vojtech . . . . Ghasemloo, Kaveh . . 1 1 Ghica, Dan 1 . . . Givors, Fabien . . 1 1 Göller, Stefan . . 1 . Goncharov, Sergey . . 1 . Goubault-Larrecq, Jean . . . . Grohe, Martin . . 1 . Haddad, Axel . . 1 . Hasuo, Ichiro . . 1 . Heijltjes, Willem . . 1 . Horowitz, Jonah . . 1 1 Hoshino, Naohiko 1 . 1 . Huang, Samuel . 1 . . Hur, Chung-Kil 1 . 1 . Jordan, Charles . . . 1 Jouannaud, Jean-Pierre . . 1 1 Kaleem, Farhat . . . 1 Kao, Jui Yi . . 1 . Khan, Jamil . 1 . . Kobayashi, Naoki . . . 1 Kolokolova, Antonina . . 1 1 Kreutzer, Stephan . . 1 . Krishnaswami, Neel 1 . . . Krokhin, Andrei . . . . Kucera, Antonin . . . . Kufleitner, Manfred . . 1 . Kulkarni, Sandeep . 1 . . Kullmann, Oliver . . . 1 Kuusisto, Antti . . 1 . Lafitte, Gregory 1 . . 1 Lafortune, Stephane . 1 . . Lampert, Robby . . . . Le, Dai Tri Man . . 1 1 Madelaine, Florent . . 1 1 Maibaum, Tom . 1 . . Marcinkowski, Jerzy . . . 1 Marion, Jean-Yves . . 1 . Mayr, Richard . . . . Melličs, Paul-André . . . . Michaliszyn, Jakub . . . . Miller, Dale . . . . Miquel, Alexandre . . 1 . Mřgelberg, Rasmus 1 . . . Montanari, Angelo . . . . Murawski, Andrzej . . 1 1 Neogi, Natasha . 1 . . Nguyen, Phuong . . 1 1 Oitavem, Isabel . . . 1 Pagani, Michele . . 1 . Pitassi, Toniann . . . . Raynal, Michel . 1 . . Regan, Kenneth . . . 1 Rideau, Silvain . . 1 1 Riveros, Cristian . . 1 1 Robere, Robert . . . . Roy, Daniel . . 1 1 Sala, Pietro . . . . Sanders, Sam . . . 1 Scedrov, Andre . . . . Schmitz, Sylvain . . . . Sekerinski, Emil . 1 . . Shao, Zhong 1 . . . Siebertz, Sebastian . . 1 1 Suenaga, Kohei . . 1 . Tabareau, Nicolas 1 . . . Tesson, Pascal . . . 1 Tiwari, Ashish . . . . Tzevelekos, Nikos . . 1 1 Urquhart, Alasdair . . . . Valeriote, Matthew 1 . . 1 van Breugel, Franck . . 1 . Varacca, Daniele 1 . . . Virtema, Jonni . . 1 1 Wang, Qian . . 1 . Wehrman, Ian 1 . . . Willard, Ross . . 1 1 Winskel, Glynn . . . . Zeilberger, Noam 1 . . . Zhang, Guo-Qiang . . . . Zhang, Tian . 1 1 . Zhang, Ting . . 1 . Zhao, Lu 1 . . . Ziegler, Martin . . . 1
The symposium is sponsored by the IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing with ACM SIGACT as Technical Co-Sponsor, in cooperation with the Association for Symbolic Logic.This year's meeting is hosted by the Fields Institute, and we gratefully acknowledge their support for organization. We are also thankful to Microsoft Research, Redmond for financial support.