Twentieth International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-20) Suva, Fiji
November 24--28, 2015
This conference series provides a a forum where researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come together to discuss advances in these fields. The conference will be preceded by workshops on November 23rd. For further information, visit the website below.
New Challenges in Reverse Mathematics Singapore
January 3–16, 2016
This event combines opportunities for collaborative research with a workshop. There will be talks in the mornings and free discussions in the afternoons. A tutorial will be offered by V. Brattka. The Organizing Committee includes: D. Hirschfeldt, R. Shore, S. Simpson, T.A. Slaman, F. Stephan, and Y. Yang. For further information, visit the webpage below.
Fourteenth International Symposium on Artificial Intelligence and Mathematics (ISAIM 2016) Fort Lauderdale, Florida
January 4--6, 2016
This biennial meeting fosters interactions between mathematics, theoretical computer science, and artificial intelligence. The keynote speakers are Y. Chen, R. Dechter, and A. Procaccia. The General Chair is M. Charles Golumbic, the Conference Chair is F. Hoffman, and the Program Co-Chairs are F. Rossi and K.B. Venable. For more information, visit the website below.
Eleventh International Conference on Computability, Complexity and Randomness (CCR 2016) Honolulu, Hawaii
January 4-8, 2016
Topics for this event include: algorithmic randomness, computability theory, computational complexity, Kolmogorov complexity, and reverse mathematics and logic. The invited speakers include: U. Andrews, R. Kuyper, S. Nandakumar, R. Peretz, C. Rojas, J. Shallit, D. Turetsky, and L. Westrick. A tutorial on computability and complexity-theoretical aspects of economics will be offered by L. Fortnow. A more informal workshop on algorithmic randomness will be held the subsequent week, January 11-15, 2016. The Program Committee includes: L. Bienvenu, R. Downey (Co-Chair), J. Franklin, D. Hirschfeldt (Co-Chair), B. Kjos-Hanssen, J. Lutz, E. Mayordomo, J. Miller, K. Miyabe, A. Romashchenko, H. Towsner, and N. Vereshchagin. The Local Organizing Committee members are: A. Beros, B. Kjos-Hanssen (Chair), M. Khan, D. Ross, and D. Pavlovic. For more information, visit the website below. .
2015-16 ASL Winter Meeting (with Joint Mathematics
Meetings) Seattle, Washington
January 8--9, 2016
This meeting will take place in conjunction with the Joint Mathematics Meetings. The invited speakers include: D. Bartosova, N. Dobrinen, L. van den Dries, J. Freitag, C. Jockusch, B. Khoussainov, and J. Zapletal. The members of the Program Committee are C. Conley, C. Ealy, and J. Hirst (Chair). The Joint Mathematics Meetings program includes two joint AMS-ASL special sessions: Applications of Logic, Model Theory, and Theoretical Computer Science to Systems Biology, organized by J. Lynch and L. Marcus; Surreal Numbers, organized by P. Ehrlich and O. Costin. The complete program for this meeting is included in the November Newsletter mailing to ASL members (as a pdf attachment for those receiving the Newsletter via email).
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.
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, J. Payne, L. Picollo, 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.
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.
Special Semester on Computational Complexity and Proof Complexity St. Petersburg, Russia
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 (firstname.lastname@example.org) and E.A. Hirsch (email@example.com). To inquire about participation or apply for funding, please complete the form on the webpage below or contact the organizers directly.
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.
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: firstname.lastname@example.org.
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.
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.
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.
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.
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.
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.
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.
[ Meetings | Announcements | Membership | Journals | ASL Books | Links to Other Sites | ASL Info | Home]