BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2017/newsitem/8676/20-
 --23-March-2017-2017-ASL-North-American-Annual-Mee
 ting-Boise-ID-U-S-A-
DTSTAMP:20170214T170116
SUMMARY:2017 ASL North American Annual Meeting, Bo
 ise ID, U.S.A.
DTSTART;VALUE=DATE:20170320
DTEND;VALUE=DATE:20170323
LOCATION:Boise ID, U.S.A.
DESCRIPTION:*2017 ASL North American Annual Meetin
 g* *Boise, Idaho* *March 20--23 2017*  The twenty-
 eighth annual Gödel Lecture will be delivered by 
 C. Parsons. The invited speakers include: M. Asche
 nbrenner, C. Conley, I. Kalimullin, P. Koellner, A
 . Rinot, M. Seisenberger, and C. Terry. A tutorial
  will be offered by V. Harizanov. Special sessions
  (with organizers in parentheses) include: Computa
 ble structures (D. Hirschfeldt and R. Miller), Com
 puter-aided proofs (S. Buss and V. Ganesh), Contin
 uous model theory (B. Hart and W. Henson), Proofs 
 in mathematical practice (K. Easwaran and C. Dutil
 h Novaes), and Set theory and its applications to 
 analysis and topology (M. Hrusak and M. Scheepers)
 . The members of the Program Committee are: L. Bab
 inkostova, G. Cherlin, B. Csima, A. Kolokolova, an
 d J. Moore (Chair). The Local Organizing Committee
  includes: L. Babinkostova, A. Cortens, S. Coskey,
  S. Crowley, R. Holmes, A. Jackson, and M. Scheepe
 rs (Chair). Electronic registration is available a
 t  http://www.aslonline.org/meeting_registrationse
 cure.html. The complete program for this meeting i
 s included in the January 2017 Newsletter mailing 
 (as a pdf attachment for those receiving the Newsl
 etter via email). For further information, visit t
 he webpage below.  https://asl2017.boisestate.edu
X-ALT-DESC;FMTTYPE=text/html:\n  <p>*2017 ASL Nort
 h American Annual Meeting* *Boise, Idaho* *March 2
 0--23 2017*</p>\n\n  <p>The twenty-eighth annual G
 ödel Lecture will be delivered by C. Parsons. The
  invited speakers include: M. Aschenbrenner, C. Co
 nley, I. Kalimullin, P. Koellner, A. Rinot, M. Sei
 senberger, and C. Terry. A tutorial will be offere
 d by V. Harizanov. Special sessions (with organize
 rs in parentheses) include: Computable structures 
 (D. Hirschfeldt and R. Miller), Computer-aided pro
 ofs (S. Buss and V. Ganesh), Continuous model theo
 ry (B. Hart and W. Henson), Proofs in mathematical
  practice (K. Easwaran and C. Dutilh Novaes), and 
 Set theory and its applications to analysis and to
 pology (M. Hrusak and M. Scheepers). The members o
 f the Program Committee are: L. Babinkostova, G. C
 herlin, B. Csima, A. Kolokolova, and J. Moore (Cha
 ir). The Local Organizing Committee includes: L. B
 abinkostova, A. Cortens, S. Coskey, S. Crowley, R.
  Holmes, A. Jackson, and M. Scheepers (Chair). Ele
 ctronic registration is available at</p>\n\n  <p>h
 ttp://www.aslonline.org/meeting_registrationsecure
 .html. The complete program for this meeting is in
 cluded in the January 2017 Newsletter mailing (as 
 a pdf attachment for those receiving the Newslette
 r via email). For further information, visit the w
 ebpage below.</p>\n\n  <p>https://asl2017.boisesta
 te.edu</p>\n
URL:https://asl2017.boisestate.edu
END:VEVENT
END:VCALENDAR