Description

LICS is an annual international forum on topics that lie at the intersection of computer science and mathematical logic. LICS 2013 will be held in New Orleans on the campus of Tulane University, and will be collocated with MFPS and CSF.

Call for paper

Topics of submission

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. We invite submissions on topics that fit under that rubric. Suggested, but not exclusive, topics

Message

Leave a message

Refresh

Contact information

  • Orna Kupferman
  • orna@cs.huji.ac.il

Organized By