Meetings

   ASL Meetings
   Sponsored Meetings
    >Other Meetings

   Search

January 8--April 6, 2018
Model Theory, Combinatorics and Valued fields: Trimester at the Institut Henri Poincaré
January 8--April 6, 2018
Four Conferences during the Model Theory, Combinatorics and Valued fields: Trimester at the Institut Henri Poincaré
February 16-18, 2018
Ouroboros: Formal Criteria of Self-Reference in Mathematics and Philosophy
May 16--19, 2018
2018 ASL North American Annual Meeting
July 6--19, 2018
Seventh Federated Logic Conference (FLoC 2018)
July 9--12, 2018
Thirty-third Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2018)
July 23--28, 2018
2018 ASL European Summer Meeting (Logic Colloquium '18)
August 6--17, 2018
Thirtieth European Summer School in Logic, Language and Information (ESSLLI-2018)
August 27--31, 2018
Twelfth International Conference on Advances in Modal Logic (AiML 2018)
August 28--31, 2018
Logic, Algebra and Truth Degrees (LATD 2018)

Model Theory, Combinatorics and Valued fields: Trimester at the Institut Henri Poincaré Paris, France
January 8--April 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 8--12, 2018, at CIRM, Luminy), Model theory and combinatorics (January 29--February 2, 2018), Model theory of valued fields (March 5--9, 2018), and Model theory and applications (March 26--30, 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/

<top>

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.
http://modvac18.math.ens.fr/

<top>

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.
www.ouroboros2018.weebly.com

<top>

2018 ASL North American Annual Meeting Macomb, Illinois
May 16--19, 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), Logic and Philosophy (C. Franks), Model Theory (J. Freitag and J. Marikova, Proof Theory (H. Towsner), and Set Theory (D. Sinapova and A. Tserunyan). 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), D. LaFountain, J. Marikovakova, S. Martinelli, M. Moniri, G. Pettit, B. Powell, C. Pynes, N. Vakil, G. Weitkamp, and L. Welch. For further information, visit
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: 1-845-437-7830; email: asl@vassar.edu.
http://wiu.edu/cas/math/asl-conference-2018/index.php

<top>

Seventh Federated Logic Conference (FLoC 2018) Oxford, UK
July 6--19, 2018
This event brings together several international conferences related to mathematical logic and computer science. These conferences will participate: the Thirtieth International Conference on Computer-Aided Verification (CAV), the Thirty-first IEEE Computer Security Foundations Symposium (CSF), the Twenty-third International Symposium on Formal Methods (FM), the Third International Conference on Formal Sturctures for Computation and Deduction (FSCD), the Thirty-fourth 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 ASL-sponsored Thirty-third IEEE Symposium on Logic in Computer Science (LICS; see above), and the Twenty-first International Conference on Theory and Applications of Satisfiability Testing (SAT). Pre-conference workshops will be held July 7--8, 2018. The General Chair %for FLoC 2018 is M. Vardi and the Steering Committee Co-Chairs are D. Kroening and M. Kwiatkowska. For more information, visit the webpage below.
http://www.floc2018.org

<top>

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.
http://lics.siglog.org/lics18/index.shtml

<top>

2018 ASL European Summer Meeting (Logic Colloquium '18) Udine, Italy
July 23--28, 2018
The twenty-ninth annual Gödel Lecture will be delivered by R. Downey. The invited speakers include: M. Antonutti Marfori, A. Atserias, V. Brattka, A. Ciabattoni, P. D'Aquino, P. Oliva, L. Patey, S. Unger, M. Viale, and D. Westerstahl. Tutorials will be offered by U. Sattler and K. Tent. Special sessions (with organizers in parentheses) include: Computability theory (A. Sorbi and P. Shafer), Descriptive set theory and dynamical systems (B. Miller and A. Törnquist), Model theory (E. Casanovas and F. Wagner), Philosophy of logic and mathematics (J. Kennedy and G. Sagi), Proof theory and constructivism (S. Ghilardi and G. Sambin), and Temporal and multivalued logics (B. Gerla and M. Lange). 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 (Co-Chair), V. Dimonte, M. Fiori Carones, G. Gherardi, N. Gigante, A. Marcone, A. Montanari (Co-Chair), A. Molinari, F. Parlamento, C. Piazza, and M. Valenti. For further information, visit the website 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 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.


https://lc18.uniud.it

<top>

Thirtieth European Summer School in Logic, Language and Information (ESSLLI-2018) Sofia, Bulgaria
August 6--17, 2018
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 L. Kallmeyer, and the Local Co-Chair is G. Angelova. The Chair of the Organization Committee is P. Osenova and the Co-Chair is K. Simov. ESSLLI-2018 is organized under the auspices of the Association for Logic, Language and Information (FoLLI). For more information about ESSLLI-2018, visit the webpage below; for further information about FoLLI, visit http://www.folli.info.
http://esslli2018.folli.info

<top>

Twelfth International Conference on Advances in Modal Logic (AiML 2018) Bern, Switzerland
August 27--31, 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 AiML-LATD), S. Kikot, and D. Scott. The Co-Chairs of the Program Committee are G. Bezhanishvili and G. D'Agostino, and the Co-Chairs 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 co-located with Logic, Algebra and Truth Degrees (LATD 2018, see below). For further information, visit the webpage below.
http://www.aiml2018.unibe.ch

<top>

Logic, Algebra and Truth Degrees (LATD 2018) Bern, Switzerland
August 28--31, 2018
The invited speakers include M. Bílková, N. Galatos, R. Iemhoff (joint AiML-LATD), T. Moraschini, and D. Petrisan.The Chair of the Program Committee is G. Metcalfe, and the Co-Chairs of the Organizing Committee are G. Metcalfe and T. Studer. LATD 2018 will be co-located with AiML 2018 (see above). For further information, visit the webpage below.
http://www.latd2018.unibe.ch/

<top>

[ Meetings | Announcements | Membership | Journals | ASL Books | Links to Other Sites | ASL Info | Home]