Sponsored Meetings Page

Meetings

   ASL Meetings
> Sponsored Meetings
   Other Meetings
   Search

March 5--9, 2012: Seventh International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2012)

April 30--May 4, 2012: Young Set Theory Workshop 2012

May 16--20, 2012: Antalya Algebra Days XIV

June 4--8, 2012: Fifteenth Latin American Symposium on Mathematical Logic (SLALM2012)

June 16--19, 2012: Model Theory in Wroclaw 2012

June 18--23 2012: Turing Centenary Conference; Computability in Europe 2012 (CiE 2012)---How the World Computes

June 18--22, 2012: North American Summer School in Logic, Language, and Information (NASSLLI 2012)

June 25--28, 2012: Twenty-seventh Annual IEEE Symposium on Logic in Computer Science (LICS 2012)

July 2--6, 2012: Seventh International Conference on Computability, Complexity and Randomness (CCR 2012)

September 3--6, 2012: Nineteenth Workshop on Logic, Language, Information and Computation (WoLLIC'2012)

Seventh International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2012) Kiel, Germany
March 5--9, 2012
The Co-chairs of the Program Committee are T. Lukasiewicz and A. Sali, and the Local Organization Chair is B. Thalheim. For more information, visit the webpage below.
http://2012.foiks.org/

<top>

Young Set Theory Workshop 2012 Luminy, France
April 30--May 4, 2012
The aim of this conference, supported by the Centre International de Rencontres Mathématiques (CIRM, which is hosting the meeting) and the INFTY Program (in turn funded by the European Science Foundation), is to bring together Ph.D. students and postdoctoral researchers in set theory in order to learn from leading researchers in the field, hear about the latest research, and discuss research issues in a co-operative environment. Tutorials given by senior researchers representing a branch of set theory will be offered by: I. Farah, A. Louveau, I. Neeman, and S. Todorcevic. Invited talks by young researchers will be given by: C. Brech, S. Cox, V. Fischer, D. Ikegami, C. Martinez-Ranero, D. Milovich, and F. Schlutzenberg. The members of the Scientific Committee are: D. Raghavan, A. Rinot, G. Sargsyan, P. Schlicht, A. Törnquist, and T. Tsankov (Chair). The Organizing Committee includes J. Melleray, L.N. Van The, and M. Viale. For further information, visit the webpage below.
http://math.univ-lyon1.fr/~melleray/yst2012-home.html

<top>

Antalya Algebra Days XIV Cesme, Turkey
May 16--20, 2012
This year the main topic of this conference series is model theory. There will be about twenty invited plenary talks, five hours of parallel session talks given by young researchers, and a poster session. The Program Committee includes: Z. Chatzidakis, P. Kowalski, M. Kuzucuoglu, A. Nesin, D. Pierce, A. Sinan Sertoz, S. Thomas, A. Topuzoglu, and S. Ünver. The Local Organizing Committee members are: A. Berkman, O. Beyarslan, P. Kowalski, and P. Ugurlu. For further information, visit the website below.
http://www.aad.metu.edu.tr/

<top>

Fifteenth Latin American Symposium on Mathematical Logic (SLALM2012) Bogota, Colombia
June 4--8, 2012
Invited speakers include: J.M. Font, D. Haskell, D. Hirschfeldt, U. Kohlenbach, B. Löwe, A. Montalbán, J. Moore, D. Mundici, A. Onshuus, V. de Paiva, T. Scanlon, S. Thomas, and J. Väänänen. In addition to plenary talks, there will be special sessions on algebraic and non-classical logics, model theory, recursion and computer science logic, and set theory. Four tutorial courses will take place during the week preceding the meeting. Contributed talks in all the areas of mathematical logic are invited; abstracts, including the session closest to their topic, must be submitted by March 4th, 2012, to slalm@uniandes.edu.co. The members of the Program Committee are: X. Caicedo (Chair), W. Carnielli, R. Cignoli, C. Di Prisco, R. Downey, A. Macintyre, M. Magidor, F. Miraglia, and C. Steinhorn. The Organizing Committee includes: A. Berenstein, X. Caicedo, L.J. Corredor, C. Di Prisco, R. de la Vega, J. Iovino, J. Goodrick, A. Onshuus, A. Villaveces, and F. Zalamea. Sponsors of SLALM2012, in addition to the ASL, include Universidad de los Andes, Universidad Nacional de Colombia, and Colciencias (the Administrative Department of Science, Technology and Innovation of Colombia). For further information please visit the website below.
http://matematicas.uniandes.edu.co/eventos/SLALM2012/

Model Theory in Wroclaw 2012 Wroclaw, Poland
June 16--19, 2012
The confirmed invited speakers include: I. Ben Yaacov, J.D. Caicedo, J. Dobrowolski, L. van den Dries, G. Jones, T. Kaiser, I. Kaplan, D. Macpherson, J. Marikova L. Newelski, G. Onay, S. Randriambololona, P. Tanovic, and K. Tent. The Organizing/Scientific Committee members are P. Kowalski and K. Krupinski. For further information, visit the website below.
http://www.math.uni.wroc.pl/~pkowa/wroclaw12.html

Turing Centenary Conference; Computability in Europe 2012 (CiE 2012)---How the World Computes Cambridge, England
June 18--23 2012
The eighth in a series organized within the network "Computability in Europe'' (CiE), CiE 2012 is one of a series of special events, running throughout the Alan Turing Year, celebrating Turing's unique impact on mathematics, computing, computer science, informatics, morphogenesis, philosophy and the wider scientific world. Its central theme is the computability-theoretic concerns underlying the broad spectrum of Turing's interests, and the contemporary research areas founded upon and animated by them. Invited speakers include: D. Aharonov, V. Becher, L. Blum, R. Downey, Y. Gurevich, J. Hartmanis, A. Hodges, R. Jozsa, S. Kauffman, J. Murray, S. Shieber, P. Smolensky, I. Stewart, and L. Valiant. Special sessions are planned on the following topics (with chairs in parentheses): computational models after Turing: the Church-Turing Thesis and beyond (M. Davis and W. Sieg); cryptography, complexity, and randomness (R. Downey and J. Lutz); morphogenesis/emergence as a computability theoretic phenomenon (P. Maini and P. Sloot); open problems in the philosophy of information (P. Adriaans and B. Löwe); the Universal Turing Machine and the history of the computer (J. Copeland and J. Tucker); and, the Turing Test and thinking machines (M. Bishop and R. Verbrugge). The Program Committee Co-Chairs are S.B. Cooper and A. Dawar, and the Chair of the Local Organizing Committee is A. Dawar. For more information, visit the website below.
http://www.cie2012.eu

North American Summer School in Logic, Language, and Information (NASSLLI 2012) Austin, Texas
June 18--22, 2012
This event, loosely modeled on the long-running ESSLLI series in Europe (see http://www.esslli2012.pl), will consist of courses and workshops with a focus on interdisciplinary work involving logic, linguistics, computer science, cognitive science, philosophy, and artificial intelligence. The Program Committee Co-chairs are C. Areces and V. de Paiva. The Steering Committee includes: D. Beaver, P. Kolaitis, L. Moss, V. de Paiva, S. Shieber, and M. Vardi. For more information, visit http://nasslli2012.com/.
http://nasslli2012.com/

Twenty-seventh Annual IEEE Symposium on Logic in Computer Science (LICS 2012) Dubrovnik, Croatia
June 25--28, 2012
The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense. The Program Chair is N. Dershowitz, the General Chair is R. Alur, and the Conference Co-Chairs are V. Lipovac and A. Scedrov. For further information, visit the website below.
http://www2.informatik.hu-berlin.de/lics/lics12/

Seventh International Conference on Computability, Complexity and Randomness (CCR 2012) Cambridge, England
July 2--6, 2012
This event will be held at the Isaac Newton Institute for Mathematical Sciences as a part of the semester-long Institute program, Semantics and Syntax: A Legacy of Alan Turing. The confirmed invited speakers include: G. Barmpalias, V. Brattka, A. Day, J. Hitchcock, M. Hoyrup, M. Koucký, A. Lewis, J. Lutz, A. Nies, A. Shen, S. Simpson, and D. Turetsky. The Co-chairs of the Program Committee are E. Mayordomo and W. Merkle. For further information, visit the website below.
http://math.uni-heidelberg.de/logic/conferences/ccr2012/

Nineteenth Workshop on Logic, Language, Information and Computation (WoLLIC'2012) Buenos Aires, Argentina
September 3--6, 2012
This is the nineteenth in a series of workshops intended to foster interdisciplinary research in pure and applied logic. The Chair of the Program Committee is L. Ong. The Co-chairs of the Organizing Committee are C. Areces and R. de Queiroz. The deadline for submission of abstracts for contributed papers is April 27, 2012, and full papers must be submitted by May 4, 2012. For further information, visit the website below.
http://wollic.org/wollic2012/