posted by system || 3182 views || tracked by 13 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

SSCI 2019   The 2019 IEEE Symposium Series on Computational Intelligence
FMCAD 2018   International Conference on Formal Methods in Computer-Aided Design
IEEE ICECCT 2019   2019 IEEE Third International Conference on Electrical, Computer and Communication Technologies
TIME 2018   TIME 2018 first call for papers
ISCSAI 2018   2018 International Symposium on Computer Science and Artificial Intelligence
RP 2018   Reachability Problems
ICSC 2019   IEEE International conference on semantic computing
SBMF 2018   21st Brazilian Symposium on Formal Methods
CALDAM 2019   5th Annual International Conference on Algorithms and Discrete Applied Mathematics
IEEE Trans SUSC 2019   IEEE Trans on Sustainable Computing (SI: Intersection of Computing and Communication Technologies with Energy Systems)