
201718 ASL Winter Meeting (with APA) Savannah, Georgia
January 36, 2018
This meeting will be held jointly with the Annual Meeting of the
Eastern Division of the American Philosophical Association.
The program includes two invited sessions: Epistemology and Consistency, with the speakers
M. Detlefsen and J. Walsh; and Modal Logic, with the speakers G. Bezhanishvili, A. Bjorndahl, and
P. Kremer. The members of the Program
Committee are R. Heck (Chair) and T. Lando. Information about registration and hotel reservations can be found at
http://www.apaonline.org/event/2018eastern.
Model Theory, Combinatorics and Valued
fields: Trimester at the Institut Henri Poincaré Paris, France
January 8April 6, 2018
The three themes of this program are: Model theory and application to combinatorics, Model theory of valued fields and applications, and Applications of model theory in geometry, analysis and number theory. In addition to weekly seminars and courses, the trimester will have four meetings (with dates in parentheses): Model theory, combinatorics and valued fields (introductory preschool of the trimester,
January 812, 2018, at CIRM, Luminy), Model theory and combinatorics
(January 29February 2, 2018), Model theory of valued fields (March 59, 2018), and Model theory and applications (March 2630, 2018).
The Scientific Committee includes:
E. Bouscaren, E. Breuillard, E. Hrushovski, F. Loeser, A. Pillay, and T. Scanlon.
The members of the Organizing Committee are:
E. Bouscaren, Z. Chatzidakis, M. Hils, D. Macpherson, and F. Wagner.
For further information visit the webpage below.
http://modvac18.math.ens.fr/
Symposium on Logical Foundations of Computer Science (LFCS ’18) Deerfield Beach, Florida
January 811, 2018
This conference series provides an outlet for the fastgrowing body of work in the logical foundations
of computer science, e.g., areas of fundamental theoretical logic related to computer science.
The LFCS General Chair is A. Nerode, the Chair of the Program Committee is S. Artemov, and the Chair
of the Local Organizing Committee is R. Lubarsky. Note that the deadline for ASL student members to apply for
ASL travel grants (see above) has been extended to November 2, 2018.
For further information, visit the webpage below.
http://lfcs.ws.gc.cuny.edu/lfcs2018/
Four Conferences during the Model Theory, Combinatorics and Valued
fields: Trimester at the Institut Henri Poincaré Paris, France
January 8April 6, 2018
The three themes of trimesterlong program are: Model theory and application to combinatorics, Model theory of valued fields and applications, and Applications of model theory in geometry, analysis and number theory. In addition to weekly seminars and courses, the trimester will have four meetings (with dates in parentheses), all ASL sponsored: Model theory, combinatorics and valued fields (introductory preschool of the trimester,
January 812, 2018, at CIRM, Luminy), Model theory and combinatorics
(January 29February 2, 2018, at IHP), Model theory of valued fields (March 59, 2018, at IHP), and
Model theory and applications (March 2630, 2018, at IHP). Note that the deadline for ASL student members to apply for ASL travel grants (see above) to the first two of these conferences, Model theory, combinatorics and valued fields and Model theory and combinatorics has been extended to November 2, 2018; the deadline for each of the last two is 3 months prior to the the start of the meeting.
The Scientific Committee includes:
E. Bouscaren, E. Breuillard, E. Hrushovski, F. Loeser, A. Pillay, and T. Scanlon.
The members of the
Organizing Committee are:
E. Bouscaren, Z. Chatzidakis, M. Hils, D. Macpherson, and F. Wagner.
For further information visit the webpage below.
http://modvac18.math.ens.fr/
Seventh ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2018) Los Angeles, California
January 89, 2018
This event focuses on research areas related to formal
certification of programs and proofs. The invited speakers are B. Pientka and R. Thiemann.
The CoChairs of the Program Committee are J. Andronick and A. Felty. This event is colocated with
POPL 2018 (see below) and is held in cooperation with the Special Interest Group on Logic and Computation (SIGLOG).
For further information, visit the webpage below.
http://conf.researchr.org/track/CPP2018/CPP2018
FortyFifth ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018) Los Angeles, California
January 1012, 2018
This series provides a forum for the discussion of all aspects of programming languages and programming systems.
This event is colocated with CPP 2018 (see above). For further information, visit the webpage below.
https://popl18.sigplan.org
201718 ASL Winter Meeting (with Joint Mathematics
Meetings) San Diego, California
January 1213, 2018
This meeting will take place in conjunction with the Joint
Mathematics Meetings taking place January 1013, 2018.
The invited speakers include: C. Hill, A. Kolokolova, A. Panagiotopoulos, E. Riehl, S. Thomas, S. Vasey, and
K. Yokoyama.
The Joint Mathematics Meetings program includes a joint
AMSASL special session, Set Theory, Logic and Ramsey Theory, organized by A. Caicedo and J. Mijares.
The members of the Program
Committee are J. Reimann (Chair), P. Scowcroft, and A. Tserunyan.
For meeting registration information, visit http://jointmathematicsmeetings.org/meetings/national/jmm2018/2197\reg, and for hotel information, see http://jointmathematicsmeetings.org/meetings/national/jmm2018/2197_hsgpre.
2018 ASL North American Annual Meeting Macomb, Illinois
May 1619, 2018
The invited speakers include:
JC Beall, A. Chernikov, B. Hart, J. Knight, J. Nagloo, D. Sinapova,
S. Solecki, and A. Weiermann. Tutorials will be offered by A. Marks and T. Slaman. The
special sessions planned (with organizers in parentheses)
include: Computablity (L. Bienvenu and K. Lange)
Model Theory (J. Freitag and J. Marikova), Proof Theory
(H. Towsner), and
Set Theory (D. Sinapova and A. Tserunyamn).
The members of the Program Committee include: T. Carlson, B. Csima, T. Eisworth, M. Glanzberg,
I. Kalantari, D. Marker (Chair), and M. Soskova.
The members of the Local Organizing Committee are: J. Chisholm, R. Dimitrov, C. Ealy, D. Haugen, I. Kalantari (Chair), J. Marikova, M. Moniri, G. Pettit, B. Powell, C. Pynes,
N. Vakil, G. Weitkamp, and L. Welch.
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 23, 2018, at the ASL Business Office: ASL, Box 742, Vassar
College, 124 Raymond Avenue, Poughkeepsie, New York 12604, USA; Fax:
18454377830; email:
asl@vassar.edu.
Seventh Federated Logic Conference (FLoC 2018) Oxford, UK
July 619, 2018
This event brings together several international conferences related to mathematical logic
and computer science. These conferences will participate:
the Thirtieth International Conference on ComputerAided Verification (CAV),
the Thirtyfirst IEEE Computer Security Foundations Symposium (CSF),
the Twentythird International Symposium on Formal Methods (FM), the Third International Conference
on Formal Sturctures for Computation and Deduction (FSCD),
the Thirtyfourth International Conference on Logic Programming (ICLP),
the Ninth International Joint Conference on Automated Reasoning (IJCAR),
the Ninth International Conference on Interactive Theorem Proving (ITP),
the ASLsponsored Thirtythird IEEE Symposium on
Logic in Computer Science (LICS; see above), and the Twentyfirst International Conference on Theory
and Applications of Satisfiability Testing (SAT). Preconference
workshops will be held July 78, 2018. The General Chair %for FLoC 2018
is M. Vardi and the Steering Committee CoChairs are D. Kroening and M. Kwiatkowska.
For more information, visit the webpage below.
http://www.floc2018.org
Thirtythird Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2018) Oxford, UK
July 912, 2018
The LICS Symposium is an annual international
forum on theoretical and practical topics in computer science that relate to logic.
LICS 2018 will be organized as part of the the Seventh Federated
Logic Conference (FLoC 2018; see below). The Program Committee Chair is M. Hofmann, the Workshop Chair is
P. Bouyer, the Publicity and Proceedings Chair is S. Staton, and the General Chair is M. Grohe. The Kleene Award for the best student paper, sponsored by the European Association for Theoretical Computer Science,
will be presented at the meeting. For more information, visit
the webpage below.
http://lics.siglog.org/lics18/index.shtml
2018 ASL European Summer Meeting (Logic Colloquium '18) Udine, Italy
July 2328, 2018
The Program Committee members are: S. Demri, A. Kechris, C. Laskowski, D. Macpherson (Chair), A. Marcone,
A. Montalbán, P. Pudlak, G. Sher, and D. Sinapova. The Local Organizing Committee includes: G. D'Agostino (CoChair), V. Dimonte, A. Marcone, A. Montanari (CoChair), F. Parlamento, and C. Piazza.
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 should be submitted as pdf files at
https://easychair.org/conferences/?conf=lc18; for submission instructions see
https://lc18.uniud.it, beginning in January 2018.
The deadline for submissions is April 27, 2018.
If electronic submission is not possible, abstracts should be mailed to:
Prof. H. Dugald Macpherson, PC chair: Logic Colloquium 2018, School of Mathematics, University of Leeds, Leeds LS2 9JT, UK.
Twelfth International Conference on Advances in Modal Logic (AiML 2018) Bern, Switzerland
August 2731, 2018
This conference series is an initiative aimed at presenting the state of the art in modal logic and its various applications.
The invited speakers include: A. Ciabattoni, R. Goldblatt, R. Iemhoff (joint AiMLLATD),
S. Kikot, and D. Scott. The CoChairs of the Program Committee are G. Bezhanishvili and G. D'Agostino, and the CoChairs of the Organizing Committee are G. Metcalfe and T. Studer. The deadline for abstracts of full papers is March 11, 2018; for
short presentations the deadline is May 20, 2018.
AiML 2018 will be colocated with Logic, Algebra and Truth Degrees (LATD 2018,
see below).
For further information, visit the webpage below.
http://www.aiml2018.unibe.ch
Logic, Algebra and Truth Degrees (LATD 2018) Bern, Switzerland
August 2831, 2018
The invited speakers include M. Bílková, N. Galatos, R. Iemhoff (joint AiMLLATD),
T. Moraschini, and D. Petrisan.The Chair of the Program Committee is G. Metcalfe, and the CoChairs of the Organizing Committee are G. Metcalfe and T. Studer. LATD 2018 will be colocated with AiML 2018 (see above).
For further information, visit the webpage below.
http://www.latd2018.unibe.ch/
[ Meetings  Announcements  Membership  Journals  ASL Books  Links to Other Sites  ASL Info  Home]