Four Conferences during the Model Theory, Combinatorics and Valued
fields: Trimester at the Institut Henri Poincaré Paris, France
January 8--April 6, 2018
The three themes of trimester-long 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 8--12, 2018, at CIRM, Luminy), Model theory and combinatorics (January 29--February 2, 2018, at IHP), Model theory of valued fields (March 5--9, 2018, at IHP), and Model theory and applications (March 26--30, 2018, at IHP). 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.
Ouroboros: Formal Criteria of Self-Reference in Mathematics and Philosophy Bonn, Germany
February 16-18, 2018
The meeting is designed as a hybrid between winter school and research conference and will consist of plenary talks as well as introductory workshops which are intended to give insight into related areas of current research. The invited speakers include: E. Brendel, A. Cantini, M. Godziszewski, V. Halbach, J.D. Hamkins, P. Koepke, L. Picollo, G. Priest, L. Rossi, T. Schindler, A. Visser, and P. Welch. The members of the Organizing Committee are: B. Grabmayr, R. Krapf, A. Njegomir, D. Sarikaya and M. Sarikaya. Note that the deadline for ASL student members to apply for ASL travel grants (see above) has been extended to December 21, 2017. For further information, visit the webpage below.
Thirty-third Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2018) Oxford, UK
July 9--12, 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.
[ Meetings | Announcements | Membership | Journals | ASL Books | Links to Other Sites | ASL Info | Home]