Meetings

   ASL Meetings
   Sponsored Meetings
    >Other Meetings

   Search

February 1--4, 2016
New Pathways Between Group Theory and Model Theory
March 2--5, 2016
2016 ASL Winter Meeting (with APA)
March 14--18, 2016
Tenth International Conference on Language and Automata Theory and Applications (LATA 2016)
April--June 2016
Special Semester on Computational Complexity and Proof Complexity
April 2--8, 2016
European Joint Conferences on Theory and Practice of Software (ETAPS 2016)
May 23--26, 2016
2016 ASL North American Annual Meeting
June 6--24, 2016
Thematic Program on Model Theory
June 20--24, 2016
International Conference on Model Theory
June 26--July 1, 2016
Thirty-fifth ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS 2016)
July 5--8, 2016
Thirty-first Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2016)
July 9--16, 2016
North American Summer School in Logic, Language, and Information (NASSLLI 2016)
July 31--August 6, 2015
2016 ASL European Summer Meeting (Logic Colloquium '16)
August 15--26, 2016
Twenty-eighth European Summer School in Logic, Language and Information (ESSLLI-2016)

New Pathways Between Group Theory and Model Theory Mülheim an der Ruhr, Germany
February 1--4, 2016
This event is the successor meeting of the 2011 "Groups and Model Theory" conference (http://www.enigma-software.de/algebra/agmt/welcome/) held in the same location. The invited speakers include: I. Dolinka, L. Fuchs, S. Kuhlmann, D. Macpherson, L. Salce, J. Trlifaj, J. Truss, and M. Ziegler. The invited young speakers are: G. Braun, A. Chernikov, K. Dupont, A. Fornasiero, K. Gong, I. Kaplan, F. Karimi, and E. Solak. The organizers are M. Droste, B. Goldsmith, and L. Strüngmann. For further information, visit the webpage below.
http://www.enigma-software.de/algebra/agmt2

<top>

2016 ASL Winter Meeting (with APA) Chicago, Illinois
March 2--5, 2016
This meeting will be held jointly with the Annual Meeting of the Central Division of the American Philosophical Association. The speakers for the two invited sessions on Paradoxes, Properties, and Logicism are: G. Leach-Krouse, S. Logan, B. Mount, J. Payne, J. Studd, and S. Walsh. The members of the Program Committee are R. Cook (Chair), O. Linnebo, and M. Rossberg. Information about registration and hotel reservations can be found at http://www.apaonline.org/events/event_details.asp?id=322904.

<top>

Tenth International Conference on Language and Automata Theory and Applications (LATA 2016) Prague, Czech Republic
March 14--18, 2016
The invited speakers include: A. Blum, M. Grohe, G. Pighizzini, J.-F. Raskin, and F. Wolter. The Chair of the Program Committee is C. Martín-Vide, and the Co-Chairs of the Organizing Committee are J. Janou\v sek and C. Martín-Vide. For further information, visit the website below.
http://grammars.grlmc.com/lata2016/

<top>

Special Semester on Computational Complexity and Proof Complexity St. Petersburg, Russia
April--June 2016
This program will be hosted by the Chebyshev Laboratory at St. Petersburg State University, organized jointly with the Skolkovo Institute of Science and Technology. It will include visiting researchers, visiting Ph.D. students, and two or three workshops. Visiting researchers and students will be able to attend any time during the three month period. A workshop on Proof Complexity will be held on May 17-20, 2016, organized by S. Buss and P. Pudlák; the keynote speaker is J. Krajicek. A workshop on Low-Depth Complexity will be held May 23-25, 2016, organized by B. Rossman and R. Santhanam; the keynote speaker is R. Williams. There are funding opportunities for graduate students for either short visits or extended stays throughout the semester. There also are funding opportunities for visiting researchers and postdoctoral researchers. The Special Semester is organized jointly by S. Buss (sbuss@ucsd.edu) and E.A. Hirsch (hirsch@pdmi.ras.ru). To inquire about participation or apply for funding, please complete the form on the webpage below or contact the organizers directly.
http://en.chebyshev.spb.ru/complexity2016

<top>

European Joint Conferences on Theory and Practice of Software (ETAPS 2016) Eindhoven, The Netherlands
April 2--8, 2016
This event is the primary European forum for academic and industrial researchers working on topics relating to software science. The invited speakers include: A.D. Gordon, C. Lopes, R. Majumdar, O. Nierstrasz, and V. Shmatikov. The General Chair is J.F. Groote and the Tutorials and Workshops Chair is E. de Vink. For further information, visit the website below.
http://www.etaps.org

<top>

2016 ASL North American Annual Meeting Storrs, Connecticut
May 23--26, 2016
The invited speakers include: Z. Chatzidakis, M. Kaufmann, K. Lange, I. Neeman, M. Rathjen, and S. Shapiro. Alasdair Urquhart will give an ASL retiring presidential address. Tutorials will be offered by D. Hirschfeldt and M. Malliaris. Special sessions (with organizers in parentheses) include: Computability theory (B. Csima and M. Soskova), Model theory (C. Hill and R. Nagloo), History and philosophy of logic (dedicated to the memory of Aldo Antonelli) (G. Russell and R. Zach), and Set theory (C. Conley and G. Sargsyan). The members of the Program Committee include: P. Blanchette (Chair), D. Dzhafarov, R. Lubarsky, A. Montalban, J. Moore, and C. Wood. The members of the Local Organizing Committee are: Jc. Beall, D. Dzhafarov, D. Ripley, M. Rossberg, and R. Solomon (Chair). For further information, visit the website below. Abstracts for contributed talks submitted by ASL members will be published in The Bulletin of Symbolic Logic if they satisfy the Rules for Abstracts (see below). Abstracts must be received by the deadline of February 26, 2016, at the ASL Business Office: ASL, Box 742, Vassar College, 124 Raymond Avenue, Poughkeepsie, New York 12604, USA; Fax: 1-845-437-7830; email: asl@vassar.edu.


http://asl2016.logic.uconn.edu

<top>

Thematic Program on Model Theory Notre Dame, Indiana
June 6--24, 2016
This program consists of three components: an Undergraduate Summer School (June 6-10th), Graduate and Postdoc Mini-Courses (June 13-17th), and an International Conference on Model Theory (June 20-24th; see Sponsored Meetings, above). The Undergraduate Summer School will include two courses (with lecturers in parentheses): Introduction to Model Theory I (A. Tserunyan) and Introduction to Model Theory II (G. Conant). The Graduate and Postdoc Mini-Courses are (with lecturers in parentheses): Continuous Model Theory (B. Hart); Descriptive Set Theory and Model Theory (C. Rosendal); Stability, Combinatorics, and NIP (P. Simon); and Topological Dynamics and Model Theory (K. Krupinski). The confirmed speakers for the International Conference on Model Theory include: I. Ben-Yaacov, A. Berarducci, A. Berenstein, A. Chernikov, A. Conversano, L. van den Dries, I. Farah, I. Kaplan, A. Kolesnikov, C. Laskowski, A. Macintyre, M. Malliaris, R. Moosa, L. Newelski, J. Solymosi, C. Steinhorn, F. Wagner, and B. Zilber. This program is supported by the Center for Mathematics at Notre Dame and the U.S. National Science Foundation. The organizers are I. Goldbring, A. Pillay, and S. Starchenko. For further information, visit the website below.
https://www3.nd.edu/~cmnd/programs/cmnd2016/

<top>

International Conference on Model Theory Notre Dame, Indiana
June 20--24, 2016
This event is a component of the Thematic Program on Model Theory, taking place June 6--24, 2016 (see Other Meetings). The invited speakers include: I. Ben-Yaacov, A. Berarducci, A. Berenstein, A. Chernikov, A. Conversano, L. van den Dries, I. Farah, I. Kaplan, A. Kolesnikov, C. Laskowski, A. Macintyre, M. Malliaris, R. Moosa, L. Newelski, Y. Peterzil, J. Solymosi, C. Steinhorn, F. Wagner, and B. Zilber. The organizers are I. Goldbring, A. Pillay, and S. Starchenko. For further information, visit the website below.
https://www3.nd.edu/~cmnd/programs/cmnd2016/conference/index.html

<top>

Thirty-fifth ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS 2016) San Francisco, California
June 26--July 1, 2016
The PODS symposium series, held in conjunction with the SIGMOD conference series, provides an annual forum for the communication of new advances in the theoretical foundations of data management. The keynote speaker is M. Vardi. Tutorials will be offered by S. Cohen and F. Neven. The SIGMOD General Chairs are G. Koutrika and F. Ozcan, and the PODS General Chair is T. Milo. The SIGMOD Program Chair is S. Madden and the PODS Program Chair is W.-C. Tan. For further information, visit the webpage below.
http://www.sigmod2016.org

<top>

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.
http://lics.rwth-aachen.de/lics16/

<top>

North American Summer School in Logic, Language, and Information (NASSLLI 2016) New Brunswick, New Jersey
July 9--16, 2016
This event, loosely modeled on the long-running ESSLLI series in Europe (see http://www.esslli2014.de/), is a summer school that meets approximately every other summer. It is geared towards graduate students and advanced undergraduate students in fields such as Cognitive Science, Computer Science, Linguistics, and Philosophy. The featured course instructors (with the title of their courses in parentheses) are: J. van Benthem ( Logic, agency, and games), M. Bittner ( Dynamic semantics), R. Muskens ( Multi-modal logic), U. Sattler ( An introduction to description logics techniques, properties, and applications), and B. Skyrms ( Evolution and learning dynamics in signaling games). The Program Committee Chairs are T. Icard and C. Potts and the Chair of the Organizing Committee is E. Lepore. The Steering Committee includes: D. Beaver, P. Kolaitis, L. Moss, V. de Paiva, S. Shieber, and M. Vardi. For more information, visit the webpage below.
http://ruccs.rutgers.edu/nasslli2016/index.html

<top>

2016 ASL European Summer Meeting (Logic Colloquium '16) Leeds, England
July 31--August 6, 2015
The Program Committee members are: M. Bodirsky, S. Buss, N. Gambino, R. Iemhoff (Chair), H. Leitgeb, S. Lempp, M. Malliaris, R. Schindler, and Y. Venema. The Local Organizing Committee includes: O. Beyersdorff, S.B. Cooper, N. Gambino (Chair), I. Halupczok, H.D. Macpherson, V. Mantova, M. Rathjen, J.K. Truss, and S.S. Wainer. For further information, visit the webpage below. Abstracts of contributed talks submitted by ASL members will be published in The Bulletin of Symbolic Logic if they satisfy the Rules for Abstracts (see above). Abstracts can be submitted at http://www.lc2016.leeds.ac.uk/submission.html; the deadline for submission is April 29, 2016.
http://www.lc2016.leeds.ac.uk

<top>

Twenty-eighth European Summer School in Logic, Language and Information (ESSLLI-2016) Bolzano, Italy
August 15--26, 2016
The European Summer School 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 C. Gardent. ESSLLI-2016 is organized under the auspices of the European Association for Logic, Language and Information (FoLLI). For more information about ESSLLI-2016, visit the webpage below; for further information about FoLLI, visit http://www.folli.info.
http://esslli2016.unibz.it

<top>

[ Meetings | Announcements | Membership | Journals | ASL Books | Links to Other Sites | ASL Info | Home]