New Challenges in Reverse Mathematics Singapore
January 3–16, 2016
This event combines opportunities for collaborative research with a workshop. There will be talks in the mornings and free discussions in the afternoons. A tutorial will be offered by V. Brattka. The Organizing Committee includes: D. Hirschfeldt, R. Shore, S. Simpson, T.A. Slaman, F. Stephan, and Y. Yang. For further information, visit the webpage below.
Eleventh International Conference on Computability, Complexity and Randomness (CCR 2016) Honolulu, Hawaii
January 4-8, 2016
Topics for this event include: algorithmic randomness, computability theory, computational complexity, Kolmogorov complexity, and reverse mathematics and logic. The invited speakers include: U. Andrews, R. Kuyper, S. Nandakumar, R. Peretz, C. Rojas, J. Shallit, D. Turetsky, and L. Westrick. A tutorial on computability and complexity-theoretical aspects of economics will be offered by L. Fortnow. A more informal workshop on algorithmic randomness will be held the subsequent week, January 11-15, 2016. The Program Committee includes: L. Bienvenu, R. Downey (Co-Chair), J. Franklin, D. Hirschfeldt (Co-Chair), B. Kjos-Hanssen, J. Lutz, E. Mayordomo, J. Miller, K. Miyabe, A. Romashchenko, H. Towsner, and N. Vereshchagin. The Local Organizing Committee members are: A. Beros, B. Kjos-Hanssen (Chair), M. Khan, D. Ross, and D. Pavlovic. For more information, visit the website below. .
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.
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.
[ Meetings | Announcements | Membership | Journals | ASL Books | Links to Other Sites | ASL Info | Home]