 |
|
- June 9--14, 2013
- Twenty-fourth International Conference on Automated Deduction (CADE-24)
- June 23--28, 2013
- International Conference on Rewriting, Deduction, and Programming
(RDP 2013)
- June 24--28, 2013
- Thirty-fourth International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2013)
- 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.
- July 13--19, 2013
- Twenty-fifth International Conference on Computer Aided Verification (CAV 2013)
- 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)
- September 2--5, 2013
- Twenty-Second Annual Conference of the European Association for Computer Science Logic (CSL 2013)
- September 3--6, 2013
- Fifth International Conference on Algebra and Coalgebra in Computer Science
(CALCO 2013)
2013 ASL North American Annual Meeting Waterloo, Ontario, Canada
May 8--May 11, 2013
The twenty-fourth annual Gödel Lecture will be delivered by K. Fine. The invited speakers include: M. Aschenbrenner, U. Andrews, R. Blute, D. Kerr, C. McLarty, D. Sinapova, T. Slaman, M. Viale, V. Voevodsky, and F. Wagner. The following special sessions also are planned: Applications of logic to operator algebras, Computable structures/model theory, Differential categories and differential lambda calculi, Model theory, Set theory, and Univalent foundations. The members of the Program Committee are: S. Awodey, I. Farah (Chair), A. Kanamori, R. Moosa, J. Reimann, and P. Scott. The Local Organizing Committee includes: S. Ben-David, B. Csima (Chair), D. DeVidi, R. Moosa, and R. Willard. A complete program is enclosed in the April 2013 Newsletter mailing to ASL members. Electronic registration is available at
http://www.aslonline.org/meeting_registrationsecure.html. For further information, visit the website below.
http://www.math.uwaterloo.ca/~asl2013/
Nordic Spring School in Logic (Nordic Logic Spring '2013) Nordfjordeid, Norway
May 27--31, 2013
The first Nordic Spring School in Logic, to be held at the Sophus Lie Conference Center, is organized under the auspices of the Scandinavian Logic Society. The program includes short courses on a variety of important topics in mathematical, computational, applied and philosophical logic. The lecturers (with the titles of the courses in parentheses) are:
J. Bagaria ( Set theory: an introduction to the world of large cardinals), A. Baltag and S. Smets ( Dynamic logics for interactive belief revision), T. Coquand ( Type theory and univalent foundations), N. Gierasimczuk and J. Szymanik ( Logic, computability and cognition), E. Graedel ( Logics for dependence and independence), K. Larsen ( Logic and formal verification), O. Linnebo ( Philosophy of logic: The problem of absolute generality), D. Normann ( The semantics of higher-order algorithms), M. Rathjen ( Proof theory: From arithmetic to set theory), K. Tent ( Model theory: Simple and stable theories), and W. Thomas ( Logic, automata and games). The members of the Scientific Committee are: M. Bezem, P. Blackburn, V. Goranko (Chair), J. Kennedy, B. Loewe, and E. Palmgren. The Organizing Committee includes: F. Engström, V. Goranko, D. Normann (Chair), and E. Seland.
Early registration: January 15--March 15, 2013; late registration: March 15--May 1, 2013. For further information, visit the website below.
http://scandinavianlogic.org/school
Conference on Model-Theoretic Algebra Middletown, Connecticut
May 31--June 1, 2013
This event, hosted by the Wesleyan University Department of Mathematics and Computer Science, honors Carol Wood on the occasion of her retirement. Invited speakers include: J. Baldwin,
Z. Chatzidakis, A. Macintyre, D. Marker, D. Saracino, and C. Steinhorn. For more information, visit
the website below.
http://cwoodconf.conference.wesleyan.edu/
Twenty-fourth International Conference on Automated Deduction (CADE-24) Lake Placid, New York
June 9--14, 2013
This is the major forum for the presentation of research in all aspects of automated deduction. The Conference Co-chairs are
C.A. Lynch and N.V. Murray, the Chair
of the Program Committee is M.P. Bonacina, the Tutorial Chair is P. Baumgartner, the Workshop and Competition Chair is C. Benzmueller, and the Publicity and Web Chair is G.O. Passmore. For more information, visit the website below.
http://www.cade-24.info
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
Seventh International Conference on Tests and Proofs (TAP 2013) Budapest, Hungary
June 18--19, 2013
This series is devoted to the synergy of proofs and tests, to the application of techniques from both sides and their combination for the advancement of software quality. The deadline for submission of abstracts is January 25, 2013 and for papers is February 1, 2013.
The Program Co-chairs are M. Veanes and L. Viganò.
For further information, visit
the website below.
http://www.spacios.eu/TAP2013
International Conference on Rewriting, Deduction, and Programming
(RDP 2013) Eindhoven, The Netherlands
June 23--28, 2013
This event comprises the Twenty-fourth International Conference on
Rewriting Techniques and Applications (RTA-24) and the Eleventh
International Conference on Typed Lambda Calculi
and Applications
(TLCA 2013). The TLCA 2013 Program Committee Chair is M. Hasegawa and the Steering
Committee includes: S. Abramsky, H. Barendregt, P.-L. Curien, M. Dezani, M. Hofmann, L. Ong, S. Ronchi Della Rocca, and P. Urzyczyn. The RTA-24 Program Chair is F. van Raamsdonk and the Conference
Chair is H. Zantema. The RDP 2013 Organizing Committee members are: S. Claessens, H. Geuvers, J. Giesl, E. de Vink, and H. Zantema. For further information, visit the website below.
http://www.win.tue.nl/rdp2013/
Thirty-fourth International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2013) Milan, Italy
June 24--28, 2013
The Program Committee Co-chairs are J.M. Colom and J. Desel, the Workshop and Tutorial Co-chairs are S. Haddad and A. Yakovlev, and the Organizing Committee Chair is L. Pomello. For
further information, visit
the website below.
http://www.mc3.disco.unimib.it/petrinets2013/
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
Twenty-fifth International Conference on Computer Aided Verification (CAV 2013) Saint Petersburg, Russia
July 13--19, 2013
This conference series is dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems.
The Program Chairs are N. Sharygina and H. Veith, and the Steering Committee includes: M. Gordon, O. Grumberg, R. Kurshan, and K. McMillan. The Chair of the Organization Committee is I. Shoshmina. For further information, visit the website below.
http://cav2013.forsyte.at/
2013 ASL European Summer Meeting (Logic Colloquium '13) Evora, Portugal
July 22--27, 2013
Tutorials will be offered by O. Houcine and L. Ong. The invited speakers include:
J. van Benthem, M. Bojanczyk, J. Brendle, J.-Y. Cai, V. Halbach, R. Iemhoff, F. Loeser, M. Malliaris, A. Morozov,
A. Tornquist, and V. Voevodsky.
The Program Committee members are: M. Baaz, M. Benedikt, M. Edmundo, S. Fuchino,
V. Harizanov, P. Mancosu,
K. Tent, and B. Velickovic (Chair). The Local Organizing Committee includes: S. Alves, I. van den Berg, M. Edmundo (Chair), F. Ferreira,
D. Graca, M. Mamino, M. Martins, L. Pinto, P. Quaresma, and J. Rasga. For further information, visit
the website below.
http://ptmat.fc.ul.pt/LC2013/
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/
Twenty-Second Annual Conference of the European Association for Computer Science Logic (CSL 2013) Torino, Italy
September 2--5, 2013
This is the annual conference of the European Association for Computer Science Logic (EACSL).
It is intended for computer scientists whose research activities involve logic, as well as for
logicians working on issues significant for computer science.
The 2013 Ackermann Award, the EACSL annual award for the outstanding dissertation for logic in computer science, will be presented at the meeting. The Chair of the Program Committee is S. Ronchi Della Rocca. The members of the Organizing Committee are: E. De Benedetti, P. Giannini, M. Piccolo, L. Padovani, L. Paolini, S. Ronchi Della Rocca, L. Roversi, and A. Troina. For further information, visit the website below.
http://csl13.di.unito.it/
Fifth International Conference on Algebra and Coalgebra in Computer Science
(CALCO 2013) Warsaw, Poland
September 3--6, 2013
This series aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebra and coalgebra in computer science. The invited speakers include: A. Bauer, M. Bojańczyk, N. Ghani, and D. Pous. The Co-chairs of the Program Committee are R. Heckel and S. Milius, and the Organizing Committee members are B. Klin and
A. Tarlecki. The deadline for submission of abstracts is February 22, 2013 and for papers is March 1, 2013. For further information, visit the website below.
http://coalg.org/calco13/
Applications of O-minimality to Analysis and Number Theory Passau, Germany
September 9--12, 2013
The goal of the workshop is to bring together people from the areas of
analysis and number theory which meet in o-minimality. A tutorial on the number theoretic problems recently attacked with tools from o-minimality will be offered by A. Yafaev. The invited speakers include: G. Binyamini, L. Butler, D. Grieser,
P. Hieronymi, G. Jones, O. Le Gal, D. Miller, M. Orr, W. Pawlucki, Y. Peterzi (to be confirmed), J.-P. Rolin, M. Shiota,
M. Thomas, G. Valette, and M. Widmer. The members of the Scientific Committee are: J. Pila, P. Speissegger,
S. Starchenko, and T. Kaiser. The Organizing Committee includes: T. Kaiser, S. Lehner, and J. Ruppert. For further information, visit the website below.
https://sites.google.com/site/infopaconference/home
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
2013-14 ASL Winter Meeting (with Joint Mathematics
Meetings) Baltimore, Maryland
January 15--18, 2014
This meeting will take place in conjunction with the Joint
Mathematics Meetings. The members of the Program
Committee are A. Dow (Chair), K. Lange, and D. Lippel.
2014 ASL North American Annual Meeting. Boulder, Colorado
May 14--May 17, 2014
The members of the Program Committee are: M. Groszek (Chair), A. Kanamori, K. Kearnes, J. Marikova, S. Thomas, and H. Towsner. The Local Organizing Committee includes: N. Dobrinen, G. Forbes, N. Galatos, K. Kearnes (Chair),
D. Monk, and A. Szendrei.
[ Meetings
| Announcements | Membership
| Journals | ASL
Books | Links to Other Sites | ASL
Info | Home]