Department of Mathematics and Philosophy

Association for Symbolic Logic

2018 North American Annual Meeting

May 16 - May 19, 2018

Western Illinois University • Macomb, Illinois

ASL Group Photo.

Link to ASL Conference pictures

News & Updates:

Invited Speakers:

Plenary Speakers:

J. C. Beall, University of Connecticut
(Logic form a subclassical point of view)

Artem Chernikov, University of California at Los Angeles
(Local distality and distal expansions of stable theories)

Bradd Hart, McMaster University
(In defense of ultraproducts)

Julia Knight, University of Notre Dame
(Roots of polynomials in fields of generalized power series)

Joel Nagloo, Bronx Community College
(Model theory and classical differential equations)

Dima Sinapova, University of Illinois at Chicago
(Stronger tree properties and the SCH)

Slawomir Solecki, Cornell University
(Fraïssé limits and compact spaces)

Andreas Weiermann, Ghent University, Belgium
(Generalized Goodstein sequences and notation systems for finite numbers)


Andrew Marks, University of California at Los Angeles
(Descriptive set theory and geometrical paradoxes)

Theodore Slaman, University of California at Berkeley 
(Recursion theory and Diophantine approximation)

Special Sessions:
  • Computability (Organized by Laurent Bienvenu and Karen Lange)
  • Logic and Philosophy (Organized by Curtis Franks)
  • Model Theory (Organized by James Freitag and Jana Marikova)
  • Proof Theory (Organized by Henry Towsner)
  • Set Theory (Organized by Dima Sinapova and Anush Tserunyan)

Important Deadlines:

Abstract Submission Deadline: February 23, 2018, at ASL Business Office (email preferred).  Click for abstract rules.

Student Travel Grant Deadline: March 9, 2018, to Program Chair D. Marker (email only: Click for application procedure.

Online Pre-registration Deadline: April 16, 2018  Click for pre-registration form.


WIU Campus

City of Macomb

McDonough County

2018 Calendar:

Feb 23: Abstract Submission Deadline - Contributed Talks
Mar  9: ASL Student Travel Grant Deadline
Apr 16: Online Pre-registration Deadline
May 16: Meeting Day 1 - On-site Registration, Plenary Talks, Sessions and Tutorial, Welcome Reception, ASL Council  Meeting
May 17: Meeting Day 2 - Plenary Talks, Sessions and Tutorial
May 18: Meeting Day 3 - Plenary Talks, Sessions and Tutorial, Banquet 
May 19: Meeting Day 4 - Plenary Talks, Sessions

Banquet Information:

Date: Friday, May 18
Time: 6:30 p.m.; Dinner at 7:00 p.m.
Location: University Union Lamoine Room
Cost: $30.00 USD
Registration Deadline: May 14, 2018
Go to Banquet page to register 

Reception Information:

Date: Wednesday, May 16
Time: 6:45 p.m.
Location: University Union William Brattain Lounge

Program Committee:

Tim Carlson: Ohio State University
Barbara Csima: University of Waterloo
Todd Eisworth: Ohio University
Michael Glanzberg: Northwestern University
Iraj Kalantari: Western Illinois University
Dave Marker (Chair): University of Illinois-Chicago
Mariya Soskova: University of Wisconsin-Madison

Local Organizers:

John Chisholm  (Mathematics) 
Rumen Dimitrov (Mathematics) 
Clifton Ealy (Mathematics)  
David Haugen  (Philosophy)  
Iraj Kalantari  (Chair) (Mathematics)
Doug LaFountain  (Mathematics) 
Jana Marikova (Mathematics) 
Susan A. Martinelli (Philosophy)
Mojtaba Moniri (Mathematics) 
Gordon Pettit (Philosophy)  
Brian Powell (Philosophy) 
Christopher Pynes (Philosophy) 
Nader Vakil (Emeritus - Mathematics) 
Galen Weitkamp (Emeritus - Mathematics) 
Larry Welch (Mathematics)