Twenty-Fourth Annual Conference of the European Association for Computer Science Logic (CSL 2015) Berlin, Germany
September 7--10, 2015
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 invited speakers include: M. Abadi, E. Kashefi, M. Lohrey, and R. Williams. The 2015 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. Kreutzer. The members of the Organizing Committee are: S. Amiri, C. Dittmann, V. Engelmann, S. Kreutzer (Chair), J. Pilz, R. Rabinovich, and S. Siebertz. Co-located with CSL 2015 on September 11--12 is a Symposium on Logic in Computer Science celebrating Yuri Gurevich's 75th birthday (see https://www.react.uni-saarland.de/yurifest/). For further information, visit the website below.
Tenth International Symposium on Frontiers of Combining Systems (FroCoS'15) WrocLaw, Poland
September 19--24, 2015
This meeting is co-located with the Twenty-third International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2015; see below). The invited speakers are: A. Herzig, O. Ray (joint with TABLEAUX 2015), P. Rümmer, and T. Sturm. The following tutorials---all joint with TABLEAUX 2015---will be offered (with lecturers in parentheses): Automated reasoning building blocks (C. Weidenbach); A Taste of SMT (C. Barrett, A. Reynolds, and C. Tinelli); and, The distributed ontology, modeling, and specification language (DOL)-Networks of theories, languages, and logics (T. Mossakowski). For further information, visit the webpage below.
Twenty-third International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2015)
September 20--24, 2015
This event is co-located with the Tenth International Symposium on Frontiers of Combining Systems (FroCoS'15; see above). The invited speakers include: C. Benzmüller, R. Dyckhoff, and O. Ray (joint with FroCoS'15). The Conference Chair is H. de Nivelle. For additional information, visit the webpage below.
Third International Workshop on Strategic Reasoning (SR 2015) Oxford, England
September 21--22, 2015
Strategic reasoning is one of the most active research areas in multi-agent system domain. The literature in this field is extensive and provides a plethora of logics for modelling strategic ability. The invited speakers include: J. van Benthem, J. Halpern, M. Kwiatkowska, and M. Vardi. The Workshop Chairs are: J. Gutierrez, F. Mogavero, A. Murano, and M. Wooldridge. For further information, visit the webpage below.
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 Formal Methods in Computer-aided Design (FMCAD 2015) Austin, Texas
September 27--30, 2015
This event provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. The keynote speakers are A. Emerson, Z. Hanna, and S. Malik. The following tutorials will be offered: Abductive Inference and Its Applications in Program Analysis, Verification, and Synthesis by I. Dilig, Formal Verification of Arithmetic Datapaths using Algebraic Geometry and Symbolic Computation by P. Kalla, Proving Hybrid Systems by A. Platzer, and, Reactive Synthesis by R. Bloem. The General and Program Chairs are R. Kaivola and T. Wahl. This conference is co-located with; the Thirteenth ACM-IEEE International Conference on Formal Methods and Models for System Design(MEMOCODE 2015; see http://memocode.irisa.fr/2015/), the Eighteenth International Conference on Theory and Applications of Satisfiability Testing (SAT 2015; see http://www.cs.utexas.edu/~marijn/sat15/), the International Workshop on Design and Implementation of Formal Tools and Systems (DIFTS15; see http://www.ece.vt.edu/chaowang/difts2015/), and the Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2-2015; see http://www.cs.utexas.edu/users/moore/acl2/workshop-2015/index.html). For further information, visit the webpage 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.
2015-16 ASL Winter Meeting (with Joint Mathematics
Meetings) Seattle, Washington
January 6--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
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 September 11, 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: firstname.lastname@example.org.
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 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.
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.
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.
[ Meetings | Announcements | Membership | Journals | ASL Books | Links to Other Sites | ASL Info | Home]