posted by system || 5382 views || tracked by 12 users: [display]

LICS 2010 : Twenty-Fifth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE

FacebookTwitterLinkedInGoogle


Conference Series : Logic in Computer Science
 
Link: http://www2.informatik.hu-berlin.de/lics/lics10/
 
When Jul 11, 2010 - Jul 14, 2010
Where Edinburgh, Scotland, U.K.
Abstract Registration Due Jan 10, 2010
Submission Deadline Jan 17, 2010
Notification Due Mar 21, 2010
Final Version Due Apr 29, 2010
Categories    logic   theoretical computer science
 

Call For Papers

LICS is an annual international forum on topics that lie at the intersection of computer science and mathematical logic.

LICS 2010 will be organized as part of the the 5th Federated Logic Conference (FLoC 2010) to be held in Edinburgh, Scotland, U.K., 9-21 July 2010, at the School of Informatics at University of Edinburgh.

Important dates: (all deadlines are 11:59 p.m. GMT)

* Workshop Proposals Deadline: 1 September 2009 (expired)
* Paper Registration Deadline (with short abstracts): 10 January 2010
* Paper Submission Deadline: 17 January 2010
* Author Notification: 21 March 2010
* Final Versions for the Proceedings: 29 April 2010
* Conference: 11–14 July 2010

Program Chair:
Jean-Pierre Jouannaud
INRIA and Tsinghua Univ., Beijing jeanpierre.jouannaud@gmail.com

Program Committee:
Parosh Abdulla, Uppsala Univ.
Albert Atserias, Univ. Politècnica de Catalunya
Franz Baader, TU Dresden
Krishnendu Chatterjee, IST, Vienna
Yijia Chen, Jiaotong Univ., Shanghai
Veronique Cortier, CNRS and Univ. de Nancy
Vincent Danos, Univ. of Edinburgh
Martín Escardó, Univ. of Birmingham
Javier Esparza, TU München
Amy Felty, Univ. of Ottawa
Herman Geuvers, Radboud Univ. Nijmegen
Dan Ghica, Univ. of Birmingham
Robert Harper, Carnegie Mellon Univ.
Jean-Pierre Jouannaud (Chair), INRIA and Tsinghua Univ., Beijing
Naoki Kobayashi, Tohoku Univ., Sendai
Orna Kupferman, Hebrew Univ., Jerusalem
Stephane Lengrand, CNRS and Polytechnique
Jose Meseguer, Univ. of Illinois, Urbana-Champaign
John Mitchell, Stanford Univ.
Eugenio Moggi, Univ. di Genova
Anca Muscholl, Univ. de Bordeaux
Mogens Nielsen, Aarhus Univ.
Makoto Tatsuta, NII, Tokyo
Wolfgang Thomas, RWTH Aachen
Pawel Urzyczyn, Warsaw Univ.
Victor Vianu, Univ. of California, San Diego

Conference Chair:
Martín Escardó
Univ. of Birmingham
m.escardo@cs.bham.ac.uk

Workshops Co-Chairs:
Adriana Compagnoni, Stevens Inst. of Technology, New-Jersey
Maribel Fernández, King's College London

Publicity Co-Chairs:
Stephan Kreutzer, Oxford Univ.
Nicole Schweikardt, Frankfurt Univ.

General Chair:
Rajeev Alur
Univ. of Pennsylvania, Philadelphia
alur@cis.upenn.edu

Organizing Committee:
Martín Abadi, Rajeev Alur (chair), Giorgio Ausiello, Franz Baader, Paul Beame, Steve Brookes, Samuel Buss, Edmund M. Clarke, Adriana Compagnoni, Martin Escardo, Maribel Fernández, Lance Fortnow, Jürgen Giesl, Radha Jagadeesan, Jean-Pierre Jouannaud, Phokion Kolaitis, Stephan Kreutzer, Benoit Larose, Johann (Janos) A. Makowsky, Jens Palsberg, Frank Pfenning, Andrew Pitts, Nicole Schweikardt, Philip Scott, Matt Valeriote

Advisory Board:
Martín Abadi, Samson Abramsky, Yuri Gurevich, Thomas A. Henzinger, Claude Kirchner, Phokion Kolaitis, Dexter Kozen, Ursula Martin, John Mitchell, Luke Ong, Leszek Pacholski, Gordon Plotkin, Andre Scedrov, Moshe Y. Vardi, Glynn Winskel

Related Resources

AIKE 2021   IEEE Artificial Intelligence & Knowledge Engineering 2021
IJRAP 2021   International Journal of Recent advances in Physics
S&P 2022   IEEE Symposium on Security and Privacy (Third deadline)
CALCO 2021    9th International Conference on  Algebra and Coalgebra in Computer Science
ECCSIT 2021   2021 European Conference on Computer Science and Information Technology (ECCSIT 2021)
ECSQARU 2021   The Sixteenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
EI-CFAIS 2021   2021 International Conference on Frontiers of Artificial Intelligence and Statistics (CFAIS 2021)
WiL 2021   5th Women in Logic Workshop
IEEE WCCI 2022   IEEE World Congress on Computational Intelligence
SMT 2021   SMT 2021 -- 19th International Workshop on Satisfiability Modulo Theories