Meetings

   ASL Meetings
   Sponsored Meetings
    >Other Meetings

   Search

September 26--30, 2016
Workshop on Set-theoretical Aspects of the Model Theory of Strong Logics
September 30-October 2, 2016
Cherlin Weekend
October 19--22, 2016
BN-Pair 2016
November 14--18, 2016
Applications of Strong Logics in Other Areas of Mathematics
January 6--7, 2017
2016-17 ASL Winter Meeting (with Joint Mathematics Meetings)
January 5--7, 2017
Seventh Indian Conference on Logic and its Applications (ICLA)
January 5--8, 2017
Computability and Complexity Symposium 2017
January 9--13, 2017
Model Theory Conference
January 9--14, 2017
New Zealand Mathematical Research Institute Summer School 2017
January 16--19, 2017
Model Theory and Applications
March 20--23 2017
2017 ASL North American Annual Meeting
April 12--15, 2017
2016-17 ASL Spring Meeting (with APA)

Workshop on Set-theoretical Aspects of the Model Theory of Strong Logics Bellaterra, Catalonia, Spain
September 26--30, 2016
The workshop is one of two main events of the research program on Large Cardinals and Strong Logics that will take place at the Centre de Recerca Matemàtica, September 5--December 16, 2016. The workshop is intended to provide an opportunity to learn about the recent exciting results on the connections between the theory of large cardinals and the model theory of strong logics and to serve as a springboard for future research. The Scientific Committee includes: M. Magidor, and J. Väänänen. For further information, visit the webpage below.
http://www.crm.cat/en/Activities/Curs_2016-2017/Pages/W1_LargeCardinals.aspx

<top>

Cherlin Weekend New Brunswick, New Jersey
September 30-October 2, 2016
The invited speakers include: Z. Chatzidakis., A. Chernikov, L. van den Dries, L. Haykazyan, A. Kechris, A. Macintyre, M. Mallaris, T. Scanlon, S. Shelah, and B. Zilber. For further information, visit the webpage below.
http://www.math.rutgers.edu/~gs481/cherlinweekend.html

<top>

BN-Pair 2016 Istanbul, Turkey
October 19--22, 2016
This conference is being held in honor of the 60th birthdays of Alexandre Borovik and Ali Nesin. The invited speakers include: L. Bélair, Z. Chatzidakis, G. Cherlin, A. Deloro, O. Frécon, E. Hrushovski, M. Kassabov, E. Khukhro, A. Macintyre, F. Point, B. Poizat, C. Roney-Dougal, K. Tent, S. Thomas, A. Vdovina, F. Wagner, J. Wiscons, and B. Zilber. The members of the organizing Committee are: T. Altinel, A. Berkman, Ö. Beyarslan, M. Haluk Sengun, P. Ugurlu, and S. Yalcinkaya. For further information, visit the webpage below.
https://sites.google.com/site/bnpair2016/home

<top>

Applications of Strong Logics in Other Areas of Mathematics Bellaterra, Catalonia, Spain
November 14--18, 2016
This is the second of the two main events of the research program on Large Cardinals and Strong Logics that will take place at the Centre de Recerca Matemàtica, September 5--December 16, 2016 (see above for the first workshop). The Scientific Committee includes: M. Magidor, and J. Väänänen. For further information, visit the webpage below.
http://www.crm.cat/en/Activities/Curs_2016-2017/Pages/IRP-Large-Cardinals-and-Strong-Logics.aspx

<top>

2016-17 ASL Winter Meeting (with Joint Mathematics Meetings) Atlanta, Georgia
January 6--7, 2017
This meeting will take place in conjunction with the Joint Mathematics Meetings taking place January 4-7, 2016. The invited speakers include: C. Conley, A. Dolich, M. Foreman, R. Moosa, A. Shlapentokh, H. Towsner, and L. Brown Westrick. The members of the Program Committee are J. Franklin, I. Goldbring, and C. Rosendal (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 September 12, 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: asl@vassar.edu.

<top>

Seventh Indian Conference on Logic and its Applications (ICLA) Kanpur, India
January 5--7, 2017
This event will be held at the Institute of Technology in Kanpur, and will be co-located with the Ninth Methods for Modalities Conference to be held January 8-10, 2017 (see https://www.cse.iitk.ac.in/users/icla/M4M/). The invited speakers include: N. Asher, N. Dobrinen, L. Ong, and R. Zach. The Program Committee Co-Chairs are S. Ghosh and S. Prasad. For further information, visit the webpage below.
http://www.cse.iitk.ac.in/users/icla/

<top>

Computability and Complexity Symposium 2017 Raumati, New Zealand
January 5--8, 2017
This meeting is in honor of the sixtieth birthday of Rod Downey. The organizers are: P. Cholak, A. Day, M. Fellows, N. Greenberg, B. Khoussainov, and A. Melnikov. For further information, visit the webpage below.
http://sms.victoria.ac.nz/Events/CCS2017/WebHome

<top>

Model Theory Conference Stellenbosch, South Africa
January 9--13, 2017
The invited speakers include: A. Chernikov, F. Jahnke, G. Jones, and A. Macintyre. The organizers are G. Boxall and C. Kestner. For further information, visit the webpage below.
http://math.sun.ac.za/boxall-conference/

<top>

New Zealand Mathematical Research Institute Summer School 2017 Napier, New Zealand
January 9--14, 2017
The program for this event includes five tutorial series aimed at graduate students. The tutorials will be offered by: D. Hirschfeldt, J. Lutz, M. Malliaris, A. Montalban, and W.H. Woodin. The organizers are A. Day and N. Greenberg. For further information, visit the webpage below.
http://sms.victoria.ac.nz/Events/NZMRI2017/WebHome

<top>

Model Theory and Applications Mons, Belgium
January 16--19, 2017
The invited speakers include: L. Bélair, A. Bès, Z. Chatzidakis, R. Cluckers, P. D'Aquino, A.M.W. Glass, I. Halupczok, A. Macintyre, N. Mariaule, D. Macpherson, M. Rigo, K. Tent, and F. Wagner. The members of the Scientific Committee are: R. Cluckers, F. Delon, I. Halupczok, and F. Point. The Organizing Committee includes: Q. Brouette, P.-E. Caprace, C. Michaux, M. Rigo, and M. Volkov. For further information, visit the webpage below.
http://www.mathconf.org/mta2017/

<top>

2017 ASL North American Annual Meeting Boise, Idaho
March 20--23 2017
The twenty-eighth annual Gödel Lecture will be delivered. The invited speakers include: M. Aschenbrenner, C. Conley, I. Kalimullin, P. Koellner, A. Medvedev, A. Rinot, and M. Seisenberger. A tutorial will be offered by V. Harizanov. The members of the Program Committee are: L. Babinkostova, G. Cherlin, B. Csima, A. Kolokolova, and J. Moore (Chair). The Local Organizing Committee includes: L. Babinkostova, A. Cortens, S. Coskey, S. Crowley, R. Holmes, A. Jackson, and M. Scheepers (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 December 2, 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: asl@vassar.edu.

<top>

2016-17 ASL Spring Meeting (with APA) Seattle, Washington
April 12--15, 2017
This meeting will be held jointly with the Annual Meeting of the Pacific Division of the American Philosophical Association. There will be three invited sessions (with speakers in parentheses): Inclusiveness in logic education (organized by A. Yap on behalf of the ASL Committee on Logic Education, with details to come); Intuitionism and intuitionistic logic (R. Iemhoff, J. Rand Moschvakis, and M. van Atten); and, Modality and modal logic (P. Fritz, T. Lando, and F. Liu). The members of the Program Committee are W. Holliday, A. Yap, and R. Zach (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 September 12, 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: asl@vassar.edu.

<top>

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