Second Models and Groups Istanbul Workshop Istanbul, Turkey
March 27--29, 2014
The invited speakers include: A. Borovik, A. Deloro, K. Ersoy, M. Korkmaz, C. Perin, and B. Poizat. Tutorials will be offered by R. Sklinos and F. Wagner. The members of the Organizing Committee are T. Altinel and A. Berkman. For further information, visit the webpage below.
Computability and Computable Structures Kazan, Russia
June 2--7, 2014
This summer school will include plenary lectures for students and young researchers. The invited speakers include: K. Ambos-Spies, S.S. Goncharov, B. Khoussainov, J. Knight, S. Lempp, and Y. Yang. The members of the Program Committee are: K. Ambos-Spies, M.M. Arslanov, S.B. Cooper, S.S. Goncharov, C. Jockusch, N.G. Khisamiev, J. Knight, S. Lempp, R. Shore, and R. Soare. The Chair of the Organizing Committee is I. Kalimullin. For further information, visit the webpage below.
Ninth International Conference on Computability, Complexity and Randomness (CCR 2014) Singapore
June 9--13, 2014
This event, the ninth in a now annual series, is part of the month-long Institute for Mathematical Sciences program devoted to algorithmic randomness. The topics include: algorithmic randomness, computability theory, computational complexity, Kolmogorov complexity, and reverse mathematics and logic. The members of the Program and Organizing Committee are: V. Becher, R.G. Downey, W. Merkle, A. Shen,T.A. Slaman, F. Stephan (Chair), Y. Yang, and L. Yu. For further information, visit the website below.
Computability in Europe 2014 (CiE 2014): Language, Life, Limits. Budapest, Hungary
June 23--27, 2014
This is the tenth in a series organized by Computability in Europe (CiE). The special focus of the conference is on relations between computational linguistics, natural and biological computing, and more traditional fields of computability theory. Tutorials will be offered by P. Grünwald and W. Thomas. The invited speakers include: L. Beklemishev, A. Carbone, M. Fernandez, P. Prusinkiewicz, E. Tardos, and A. Visser. Special sessions on the following topics also are planned (with organizers in parentheses): Bio-inspired Computation (M. Gheorghe and F. Manea), Complexity in Automata Theory (M. Lohrey and G. Pighizzini), Computability Theory (B. Csima and K. Lange ), Computational Linguistics (M.D. Jiménez-López and G. Prószéky), History and Philosophy of Computing (L. de Mol and G. Primiero), and Online Algorithms (J. Boyar and C. Imreh). The Program Committee Co-chairs are E. Csuhaj-Varjú and K. Meer, and the Chair of the Steering Committee is A. Beckmann. For more information, visit the webpage below.
Twenty-Third EACSL Annual Conference (CSL) and Twenty-ninth Annual ACM/IEEE Symposium on Logic in Computer
Science (LICS 2014) Vienna, Austria
July 14--18, 2014
The organizers of these two series of meetings have chosen to join the 2014 editions into a single event within the Sixth Federated Logic Conference (FLoC 2014) that will take place during the Vienna Summer of Logic 2014 (see Other Meetings). CSL is the annual meeting of the European Association for Computer Science Logic (EACSL) intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science. The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic. The Program Committee Chairs are T.A. Henzinger and D. Miller, the Workshop Chairs are P. Bouyer-Decitre and G. Moser, and the members of the Local Organizing Committee are K. Chatterjee and J. Otop. For further information, visit the website below.
XVI Latin American Symposium on Mathematical Logic (SLALM 2014) Buenos Aires, Argentina
July 28--August 1, 2014
The invited plenary speakers are: V. Becher, L. Beklemishev, O. Chateubriand, P. Jipsen, S. Todorcevic, and B. Zilber. The confirmed tutorial courses (with topics in parentheses) are to be offered by: M. Magidor (Set Theory), A. Montalbán (Computability Theory), and K. Peterzil (Model Theory). Special sessions on the following topics also are planned (with organizers in parentheses): Computability Theory (C. Areces and T. Slaman), Model Theory (A. Berenstein and C. Steinhorn), Non-Classical Logics (M. Busaniche and F. Montagna), and Set Theory (J. Bagaria and C. Uzcátegui). The members of the Program Committee are: J. Bagaria, X. Caicedo, W. Carnielli, R. Cignoli (Chair), R. de Queiroz, C. Di Prisco, J. Iovino, F. Montagna, T. Slaman, and C. Steinhorn. The Local Organizing Committee includes: M. Busaniche, S. Figueira, R. Grimson, J. Legris, R. Rodríguez, P. Sánchez Terraf, and H. San Martín. For further information, visit the webpage below.
Twenty-first Workshop on Logic, Language, Information and
Computation (WoLLIC'2014) Valparaiso, Chile
September 1--4, 2014
This is the twenty-first in a series of workshops intended to foster interdisciplinary research in pure and applied logic. The Chair of the Program Committee is U. Kohlenbach. The Co-chairs of the Organizing Committee are P. Barceló and R. de Queiroz. For further information, visit the webpage below.
[ Meetings | Announcements | Membership | Journals | ASL Books | Links to Other Sites | ASL Info | Home]