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

IEEE ICCCBDA--Scopus and Ei Compendex 2020   2020 IEEE 5th International Conference on Cloud Computing and Big Data Analytics (IEEE ICCCBDA 2020)--Scopus and Ei Compendex
RP 2019   13th International Conference on Reachability Problems (RP 2019)
ICMLA 2019   18th IEEE International Conference on Machine Learning and Applications
Blockchain-Consensus 2019   Blockchain Consensus Algorithms (Contributed Book)
ISBDAI 2020   【Ei Compendex Scopus】2018 International Symposium on Big Data and Artificial Intelligence
KRR@SAC 2020   Knowledge Representation and Reasoning (track of the 35th ACM/SIGAPP Symposium On Applied Computing)
LICS 2019   Thirty-Fourth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS)
IEEE BigData 2019   IEEE International Conference on Big Data
WTDSI-SBSI 2019   Workshop de Teses e Dissertações em Sistemas de Informação
IJCNC 2019   SI - Applied Soft Computing in Computer Networking: Potentials & Challenges