Thirteenth International Conference on Logic Programming and
Nonmonotonic Reasoning (LPNMR 2015) Lexington, Kentucky
September 27--30, 2015
This event aims to facilitate interactions between researchers interested in the design and implementation of logic-based programming languages and database systems, and researchers who work in the areas of knowledge representation and nonmonotonic reasoning. The General Chair is V. Marek, and the Program Chairs are G. Ianni and M. Truszczynski. For more information, visit the website below.
Fifteenth International Conference on
Relational and Algebraic Methods in Computer Science (RAMiCS 2015) Braga, Portugal
September 28--October 1, 2015
This event is the main forum for relational and algebraic methods in computer science. Special focus lies on formal methods for software engineering, logics of programs and links with neighboring disciplines. The invited speakers are: E.-E. Doberkat, I. Hodkinson, and G. Stefanescu. The Conference Chair is J.N. Oliveira, and the Program Committee Co-chairs are W. Kahl and M. Winter. The local organizers are L.S. Barbosa, M.A. Cunha, and A.N. Ribeiro. For further information, visit the webpage below.
Model Theory and Groups, Istanbul 5 Istanbul, Turkey
October 8--10, 2015
The invited speakers include: A. Deloro, A. Ilhan, G. Levitt, A. Minasyan, B. Poizat, C. Uyanik, and S. Yalcinkaya. Tutorials will be offered by M. Kuzucuoglu and D. Macpherson. The members of the Organizing Committee are: T. Altinel, A. Berkman, and Ö. Beyarslan. For further information, visit the webpage below.
IPN Conference on Set Theory and Model Theory Tehran, Iran
October 12--16, 2015
The invited speakers include: J. Baldwin, J. Cummings, M. Golshani, D. Macpherson, S. Mohsenipour, R. Schindler, S. Solecki, and S. Todorcevic. The organizers are A. Enayat and M. Pourmahdian. For further information, visit the webpage below.
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
The members of the Organizing Committee for this workshop include: D. Hirschfeldt, R. Shore, S. Simpson, T.A. Slaman, F. Stephan, and Y. Yang. For further information, visit the webpage 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, A.R. Cohen, R. Kuyper, S. Nandakumar, R. Peretz, C. Rojas, D. Turetsky, and L. Westrick. A tutorial on computable economics will be offered by K. Velupillai. 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 members of the Local Organizing Committee are: B. Kjos-Hanssen (Chair), M. Khan, D. Ross, D. Pavlovic, and P.K.L. V. Nguyen. 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 event is a biennial meeting that 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. Brent Venable. The deadline for submission of papers is October 25, 2015. For further information, visit the webpage 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. A registration form and hotel information is being sent to ASL members with the November Newsletter mailing.
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) and O. Linnebo, and M. Rossberg. 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 must be received by the deadline of October 30, 2015, at the ASL Business Office: ASL, Box 742, Vassar College, 124 Raymond Avenue, Poughkeepsie, New York 12604, USA; Fax: 1-845-437-7830; email: email@example.com.
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. Janousek and C. Martín-Vide. The deadline for submission of papers is October 19, 2015. For further information, visit the webpage 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, R. Majumdar, C. Lopes, O. Nierstrasz, and V. Shmatikov. The General Chair is J.F. Groote and the Tutorials and Workshops Chair is E. de Vink. The deadline for submission of abstracts is October 9, 2015. For further information, visit the webpage 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. 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).
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 above). 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). 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. Krupi& acute;nski). 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 webpage 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]