Model Theory and Groups, Istanbul 5 Istanbul, Turkey
October 8--10, 2015
The invited speakers include: A. Deloro, A. Ilhan, G. Levitt, A. Minasyan, B. Poizat, C. Uyanik, and S. Yalcinkaya. Tutorials will be offered by M. Kuzucuoglu and D. Macpherson. The members of the Organizing Committee are: T. Altinel, A. Berkman, and Ö. Beyarslan. 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, A.R. Cohen, R. Kuyper, S. Nandakumar, R. Peretz, C. Rojas, D. Turetsky, and L. Westrick. A tutorial on computable economics will be offered by K. Velupillai. 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 members of the Local Organizing Committee are: B. Kjos-Hanssen (Chair), M. Khan, D. Ross, D. Pavlovic, and P.K.L. V. Nguyen. For further information, visit the webpage 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]