Back to Results
First PageMeta Content
Research / Electronic submission / IEEE Symposium on Logic in Computer Science / Computerized Speech Lab / Applied mathematics / Mathematics / Academia / Competitions / Digital media / Grants


CSL’Business meeting September 5, 2012 CSL’12 I
Add to Reading List

Document Date: 2012-12-04 16:29:26

Open Document

File Size: 137,37 KB

Share Result on Facebook

City

Paris / /

Country

France / /

Organization

Organization of CSL / Program committee / PC / Organizing committee / /

Person

Thomas Brihaye Patrick Cegielski / Julian Bradfield Thomas Brihaye Patrick / Sam Staton Mirek Truszczynski Helmut / Jeremy Avigad Arnold Beckmann Nikolaj / Filip Murlak Prakash Panangaden Nicole / Pierre Valarcher / Gilles Dowek Arnaud Durand / Nicola Galesi / Viktor Kuncak Daniel Leivant Markus / Arnold Beckmann Nikolaj Bjorner Julian / Victor Dalmau Josee Desharnais Mariangiola / Daniel Leivant Markus Lohrey Alexandre / Nicole Schweikardt Sam Staton Mirek / Laura Kovacs Antonin Kucera Viktor / Antonin Kucera Viktor Kuncak Daniel / Helmut Veith Frank Wolter / Nikolaj Bjorner Julian Bradfield Thomas / /

Position

co-chair / /

ProgrammingLanguage

C / /

SocialTag