[FOM] for LICS newsletter

[Leonid Libkin]

20th WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION
(WoLLIC 2013)
   Call for Papers
   Darmstadt, Germany
   August 20-23 2013
   http://wollic.org
* WoLLIC is an annual international forum on inter-disciplinary
   research involving formal logic, computing and programming theory,
   and natural language and reasoning. Each meeting includes invited
   talks and tutorials as well as contributed papers.  Contributions
   are invited on all pertinent subjects, with particular interest in
   cross-disciplinary topics. Typical but not exclusive areas of
   interest are: foundations of computing and programming; novel
   computation models and paradigms; broad notions of proof and belief;
   formal methods in software and hardware development; logical
   approach to natural language and reasoning; logics of programs,
   actions and resources; foundational aspects of information
   organization, search, flow, sharing, and protection.
* PC CHAIR
   Leonid Libkin (University of Edinburgh)
* IMPORTANT DATES
   March 25, 2013             Abstract submission
   March 29, 2013            Paper submission

-- 
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.