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/2018/newsitem/9322/16-
 --26-June-2018-Workshop-on-Model-Theory-at-UNILOG-
 2018-Vichy-France
DTSTAMP:20170914T171053
SUMMARY:Workshop on Model Theory at UNILOG 2018, V
 ichy, France
DTSTART;VALUE=DATE:20180616
DTEND;VALUE=DATE:20180626
LOCATION:Vichy, France
DESCRIPTION:We organize a workshop on Classificati
 on Questions  in Model Theory at UNILOG 2018. Keyn
 ote speaker of Workshop: Professor Bruno Poizat (L
 yon).  Model theory is the branch of mathematical 
 logic dealing with the connection between a formal
  language and its interpretations, or models, i.e.
 , it represents links between syntactic and semant
 ic objects. These objects can be used to classify 
 each others producing structural classifications o
 f theories and their models. Solving classificatio
 n questions valuable characteristics arise (dimens
 ions, ranks, complexities, spectra etc.) for vario
 us classes of structures and their theories.  We i
 nvite contributions on all aspects of Model Theory
 .
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>We organi
 ze a workshop on Classification Questions<br>\n  i
 n Model Theory at UNILOG 2018. Keynote speaker of 
 Workshop: Professor Bruno Poizat (Lyon).</p>\n\n  
 <p>Model theory is the branch of mathematical logi
 c dealing with the connection between a formal lan
 guage and its interpretations, or models, i.e., it
  represents links between syntactic and semantic o
 bjects. These objects can be used to classify each
  others producing structural classifications of th
 eories and their models. Solving classification qu
 estions valuable characteristics arise (dimensions
 , ranks, complexities, spectra etc.) for various c
 lasses of structures and their theories.</p>\n</di
 v><div>\n  <p>We invite contributions on all aspec
 ts of Model Theory.</p>\n</div>
URL:http://www.uni-log.org/wk6-model-theory.html
CONTACT:sudoplat at math.nsc.ru
END:VEVENT
END:VCALENDAR