LICS 2016

From Openresearch
Jump to: navigation, search
LICS 2016
31st Annual ACM/IEEE Symposium on Logic in Computer Science
Event in series LICS
Dates 2016/07/05 (iCal) - 2016/07/08
Homepage: lics.rwth-aachen.de/lics16/
Location
Location: New York City, New York, USA
Loading map...

Committees
Organizers: Columbia University
Table of Contents

,


The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed.


Topics

  • automata theory
  • automated deduction
  • categorical models and logics
  • concurrency and distributed computation
  • constraint programming
  • constructive mathematics
  • database theory
  • decision procedures
  • description logics
  • domain theory
  • finite model theory
  • formal aspects of program analysis
  • formal methods
  • foundations of computability
  • higher-order logic
  • lambda and combinatory calculi
  • linear logic
  • logic in artificial intelligence
  • logic programming
  • logical aspects of bioinformatics
  • logical aspects of computational complexity
  • logical aspects of quantum computation
  • logical frameworks
  • logics of programs
  • modal and temporal logics
  • model checking
  • probabilistic systems
  • process calculi
  • programming language semantics
  • proof theory
  • real-time systems
  • reasoning about security and privacy
  • rewriting
  • type systems and type theory and verification


Important Dates

Titles and Short Abstracts Due: January 11, 2016
Full Papers Due: January 18, 2016
Author Feedback/Rebuttal Period: March 14-18, 2016
Author Notification: April 4, 2016
Final Versions Due for Proceedings: May 2, 2016
Early Registration Deadline: June 3, 2016
Conference: July 5-8, 2016

Facts about "LICS 2016"
AcronymLICS 2016 +
End dateJuly 8, 2016 +
Event in seriesLICS +
Event typeSymposium +
Has coordinates40° 42' 46", -74° 0' 22"Latitude: 40.712727777778
Longitude: -74.006013888889
+
Has coordinatorColumbia University +
Has location cityNew York City +
Has location countryCategory:USA +
Has location stateNew York +
Homepagehttp://lics.rwth-aachen.de/lics16/ +
IsAEvent +
Start dateJuly 5, 2016 +
Title31st Annual ACM/IEEE Symposium on Logic in Computer Science +