
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/
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
[ Meetings  Announcements  Membership  Journals  ASL Books  Links to Other Sites  ASL Info  Home]