posted by system || 4592 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

FCSIT 2020   2020 2nd European Conference on Frontiers of Computer Science and Information Technology (FCSIT 2020)
ICALP 2020   47th International Colloquium on Automata, Languages and Programming
IEEE AIML4COINS 2020   IEEE AIML4COINS2020 | Artificial Intelligence | Machine Learning | Deep Learning | Machine Vision | Big Data Analytics | Video Analytics | Speech Recognition | NLP
LICS 2020   Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science
IJCAR 2020   10th International Joint Conference on Automated Reasoning
WTDSI-SBSI 2019   Workshop de Teses e Dissertações em Sistemas de Informação
CONCUR 2020   31st International Conference on Concurrency Theory
IEEE ICIVC--Ei Compendex, Scopus 2020   2020 5th IEEE International Conference on Image, Vision and Computing (IEEE ICIVC 2020)--Ei Compendex, Scopus
ATVA 2020   18ᵗʰ International Symposium on Automated Technology for Verification and Analysis
IEEE CiSt 2020   6th IEEE Congress on Information Science and Technology