 |
|
- June 25--28, 2013
- Twenty-eighth Annual ACM/IEEE Symposium on Logic in Computer
Science (LICS 2013)
- July 1--5, 2013
- Computability in Europe 2013 (CiE 2013): The Nature of Computation: Logic, Algorithms, Applications.
- August 5--16, 2013
- Twenty-fifth European Summer School in Logic, Language and
Information (ESSLLI-2013)
- August 20--23, 2013
- Twentieth Workshop on Logic, Language, Information and
Computation (WoLLIC'2013)
Model Theory 2013 Ravello, Italy
June 10--15, 2013
Tutorials will be offered by M. Hils, T. Scanlon, and R. Sklinos. The invited speakers include: M. Aschenbrenner, E. Breuillard, Z. Chatzidakis, A. Chernikov, A. Conversano, A. Fornasiero, P. Habegger, B. Hart, G. Jones, D. Macpherson, J. Melleray, M. Malliaris, L. Newelski, Y. Peterzil, A. Pillay, Z. Sela, P. Speissegger, H. Towsner,
and P. U\c gurlu.
The members of the Program Committee are: I. Ben Yaacov, P. D'Aquino, E. Hrushovski, E. Jaligot, S. Starchenko, and A. Wilkie. The Organizing Committee includes: P. D'Aquino, A. Fornasiero,
L. Spada, G. Terzo, and C. Toffalori.
For further information, visit the website below.
http://logica.dmi.unisa.it/Ravello/
Sixth Young Set Theory Workshop Oropa, Piemonte, Italy
June 10--14, 2013
The aim of this conference, supported by the European Science Foundation, is to bring together Ph.D. students and postdoctoral researchers in set theory 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: J. Cummings, S. Friedman, S. Gao, and J. Steel. Invited talks by young researchers will be given by: T. Bice, S. Cramer, L. Motto Ros, V. Torres Perez, and T. Wilson. The members of the Scientific Committee are: A. Brooke-Taylor, A. Caicedo, S. Cox, A. Törnquist, and
M. Viale (Chair). The Organizing Committee includes A. Andretta, R. Camerlo, and M. Viale. For more information, visit the website below.
http://www2.dm.unito.it/paginepersonali/viale/YST2013/yst2013-home.html
2013 Australasian Association for Logic Conference Melbourne, Australia
June 15--16, 2013
The conference organizer is D. Ripley.
For more information,
visit the website below.
http://philevents.org/event/show/9196
Twenty-eighth Annual ACM/IEEE Symposium on Logic in Computer
Science (LICS 2013) New Orleans, Louisiana
June 25--28, 2013
The LICS Symposium is an annual international forum on theoretical and
practical topics in computer science that relate to logic in a broad
sense. Co-located with this event are the Twenty-ninth Conference on the
Mathematical Foundations of Programming Semantics (MFPS) and the Twenty-sixth IEEE
Computer Security Foundations Symposium. The invited speakers include: R. Alur,
J. Halpern (with CSF), N. Lynch, and P. Panangaden. Tutorials will be offered by
H. Comon and J. Rutten (with MFPS). The symposium also will include a special session to mark the eightieth birthday of Dana Scott, with the following invited speakers: S. Awodey, A. Bauer, R. Harper, A. Pitts, and D. Scott.
The Program Chair is O. Kupferman, the Workshops Chair is P. Bouyer-Decitre, the
General Chair is L. Ong, and the
Conference Chair is M. Mislove. The Organizing Committee Chair is L. Ong. For further information, visit the website below.
http://lii.rwth-aachen.de/lics/lics13/
Computability in Europe 2013 (CiE 2013): The Nature of Computation: Logic, Algorithms, Applications. Milan, Italy
July 1--5, 2013
This is the ninth in a series
organized by Computability in
Europe (CiE). The special focus of the conference is on the unexpected and strong changes that studies on Nature have brought in several areas of mathematics, biology, physics, and computer
science. Starting from Alan Turing, research on Nature with a computational perspective has produced novel contributions, giving rise even to new disciplines. Tutorials
will be offered by G. Brassard and G. Rozenberg.
Invited speakers include: U. Endriss, L. Fortnow, A. Karlin, B. Moret, M. Soskova, and E. Szemeredi.
Special sessions are planned on: algorithmic randomness; computation in nature; computational complexity in the continuous world; computational molecular biology; data streams and compression; and history of computation. The Program Committee Co-chairs are P. Bonizzoni and V. Brattka, and the Chair of the Organizing Committee is P. Bonizzoni. For more information, visit
the website below.
http://cie2013.disco.unimib.it
Topology, Algebra and Categories in Logic (TACL) Nashville, Tennessee
July 28--August 1, 2013
The sixth conference in the TACL series, this event will focus on three interconnecting
mathematical themes central to the semantical study of logics and
their applications: algebraic, categorical, and topological methods. The invited speakers
include: B. Banaschewski, N. Bezhanishvilli, L. Cabrer, S. Ghilardi, R. Horcik, G. Metcalfe, A. Simpson, and
V. Voevodsky (who will deliver the Twenty-eighth Annual Shanks Lecture Series). The Co-chairs of the Program Committee
are N. Galatos and A. Kurz; the Chair of the Organizing Committee is C. Tsinakis. For further information, visit the website below.
http://www.math.vanderbilt.edu/~tacl2013/index.php
Twenty-fifth European Summer School in Logic, Language and
Information (ESSLLI-2013) Dusseldorf, Germany
August 5--16, 2013
The European Summer Schools in Logic, Language and Information brings together
logicians, linguists, computer scientists, and philosophers to study language, logic,
and information, and their interconnections. Introductory and advanced courses, together with workshops, cover a wide
variety of topics within the three areas of interest: Language and
Computation, Language and Logic, and Logic and Computation. The
Chair of the Program Committee is J. Bos and the Local Co-chair is W. Petersen. ESSLLI-2013 is organized under the
auspices of the European Association for Logic, Language and Information
(FoLLI). For more information about ESSLLI-2013, visit
the website below; for further information about
FoLLI, visit http://www.folli.org.
http:/www.esslli2013.de
Twentieth Workshop on Logic, Language, Information and
Computation (WoLLIC'2013) Darmstadt, Germany
August 20--23, 2013
This is the twentieth in a series of workshops intended to foster
interdisciplinary research in pure and applied logic. The Chair of the
Program Committee is L. Libkin. The Co-chairs of the Organizing Committee
are U. Kohlenbach and R. de Queiroz.
For further information, visit the website below.
http://wollic.org/wollic2013/
Thirteenth Asian Logic Conference (ALC 2013) Guangzhou, China
September 16--20, 2013
The invited plenary speakers include: J. Brendle, Y. Chen, A. Day, S. Gao, I. Herzog, A. Nies, and K. Tanaka.
Special sessions will be offered on the following topics: model theory, philosophical logic, recursion theory, set theory,
and theoretical computer science. The Conference Chairs are D. Ding and S. Ju. The Program Committee includes: T. Arai,
C.-T. Chong, D. Ding, Q. Feng, R. Goldblatt, S. Ju, B. Kim, and L. Yu. The Local Organizing Committee members
are: Y. Shen, W. Wang, and X. Zhao. The deadline for submission of abstracts for talks is June 30, 2013.
For further information, visit the website below.
http://logic.sysu.edu.cn/alc2013/home.html
Large Cardinals and Forcing Vienna, Austria
September 23--27, 2013
This, and the workshop directly following this announcement will be held at the Erwin Schrödinger Institute
(ESI) as part of the ESI Thematic Program, Forcing, Large
Cardinals and Descriptive Set Theory, organized by S.D. Friedman, M. Goldstern, A. Kechris, W.H. Woodin, and
J. Kellner. For further information, visit the website below.
http://www.logic.univie.ac.at/2013/ESI/Home.html
Eighth International Conference on Computability, Complexity and Randomness (CCR 2013) Moscow, Russia
September 23--27, 2013
Topics for this event include: algorithmic randomness, computability theory, computational complexity, Kolmogorov complexity, and reverse mathematics and logic. The invited speakers include: G. Barmpalias, L. Bienvenu, E. Hirsch, E. Jeandel, J. Reimann, A. Shen, M. Yampolsky, S. Yekhanin, and Y. Yue. The Chair of the Program Committee is N. Greenberg and the Chair of the Local Organizing Committee is N.K. Vereshchagin.
The deadline for submission of abstracts is May 15, 2013.
For further information, visit the website below.
http://ccr2013.mccme.ru/
Descriptive Set Theory Vienna, Austria
September 30--October 4, 2013
For details about this workshop, see the announcement directly above. For further information, visit
the website below.
http://www.logic.univie.ac.at/2013/ESI/Home.html
[ Meetings
| Announcements | Membership
| Journals | ASL
Books | Links to Other Sites | ASL
Info | Home]