Lics

IEEE Symposium on Logic in Computer Science

LICS Home - LICS Awards - LICS Newsletters - LICS Archive - LICS Organization - Logic-Related Conferences - Links

Thirty first Annual IEEE Symposium on

Logic in Computer Science (LICS 2016)

2016-07-05 to 2016-07-08, New York City

On this page:

Invited Speakers

Presented Papers

Entries are ordered by surname of first author

Organizers

General Chair

Martin Grohe
RWTH Aachen University

Program Chair

Natarajan Shankar
SRI International

Conference Chair

Eric Koskinen
Yale University

Publicity Chair

Sam Staton
University of Oxford

Workshops Chair

Patricia Bouyer-Decitre
CNRS & ENS Cachan

Program Committee:

Samson Abramsky (U. Oxford); Jiri Adámek (TU Braunschweig); Amal Ahmed (Northeastern U.); Albert Atserias (U. Politècnica de Catalunya); Christel Baier (TU Dresden); Paul Beame (U. Washington); Lars Birkedal (Aarhus U.); Udi Boker (IDC Herzliya); Maria Paola Bonacina (U. Verona); Ahmed Bouajjani (LIAFA, U. Paris Diderot); Supratik Chakraborty (IIT Mumbai); Yijia Chen (Fudan U.); Robert Constable (Cornell U.); Amy Felty (U. Ottawa); Jane Hillston (U. Edinburgh); Atsushi Igarashi (Kyoto U.); Neil Immerman (U. Massachussetts at Amherst); Radha Jagadeesan (DePaul U.); Jan Krajíček (Charles U.); Kim Guldstrand Larsen (Aalborg U.); Annabelle McIver (Macquarie U.); Georg Moser (U. Innsbruck); Anca Muscholl (LaBRI, U. Bordeaux); Vivek Nigam (Federal U. of Paraíba); Michele Pagani (PPS, U. Paris Diderot); Christine Paulin-Mohring (U. Paris-Sud); Nir Piterman (U. Leicester); Jean-Francois Raskin (U. Libre de Bruxelles); Alexandra Silva (UCL); Viorica Sofronie-Stokkermans (U. Koblenz); Lutz Straßburger (INRIA); Carolyn Talcott (SRI International); Cesare Tinelli (U. Iowa); Helmut Veith (Vienna U. of Technology); Valeria de Paiva (Nuance Labs); Ron van der Meyden (U. New South Wales)


Last modified: 2018-12-0812:42
Sam Staton