Meetings

   ASL Meetings
> Sponsored Meetings

   Other Meetings

   Search

June 20--24, 2016
International Conference on Model Theory
July 5--8, 2016
Thirty-first Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2016)

International Conference on Model Theory Notre Dame, Indiana
June 20--24, 2016
This event is a component of the Thematic Program on Model Theory, taking place June 6--24, 2016 (see Other Meetings). The invited speakers include: I. Ben-Yaacov, A. Berarducci, A. Berenstein, A. Chernikov, A. Conversano, L. van den Dries, I. Farah, I. Kaplan, A. Kolesnikov, C. Laskowski, A. Macintyre, M. Malliaris, R. Moosa, L. Newelski, Y. Peterzil, J. Solymosi, C. Steinhorn, F. Wagner, and B. Zilber. The organizers are I. Goldbring, A. Pillay, and S. Starchenko. For further information, visit the website below.
https://www3.nd.edu/~cmnd/programs/cmnd2016/conference/index.html

<top>

Thirty-first Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2016) New York, New York
July 5--8, 2016
The LICS Symposium is an annual forum on theoretical and practical topics in computer science that relate to logic. This event marks the thirtieth anniversary of LICS. The Program Committee Chair is N. Shankar, the Conference Chair is E. Koskinen, %the Workshop Chair is P. Bouyer-Decitre, and the General Chair is L. Ong. The deadline for submission of titles and short abstracts is January 11, 2016; for full papers it is January 18, 2016. The Kleene Award for the best student paper, as judged by the Program Committee, will be presented at the symposium. For more information, see the webpage below.
http://lics.rwth-aachen.de/lics16/

<top>

[ Meetings | Announcements | Membership | Journals | ASL Books | Links to Other Sites | ASL Info | Home]