BEGIN:VCALENDAR
CALSCALE:GREGORIAN
PRODID:iCalendar-Ruby
VERSION:2.0
BEGIN:VEVENT
DESCRIPTION: In a simple topological drawing of the complete graph $K_n$\, 
 vertices are mapped to points in the plane\, edges are mapped to simple cur
 ves connecting the corresponding end points\, and each pair of edges inters
 ects at most once\, either in a common vertex or in a proper crossing.  We 
 discuss an axiomatization of simple drawings and for various sub-classes an
 d present a SAT model. With the aid of modern SAT solvers\, we investigate 
 some famous and important classical theorems from Convex Geometry (such as 
 Caratheodory’s\, Helly's\, Kirchberger's Theorem\, and the Erdös-Szekeres T
 heorem) in the context of simple drawings.    This is joint work with Helen
 a Bergold\, Stefan Felsner\, Felix Schröder\, and Raphael Steiner.    Resea
 rch is in progress. 
DTSTAMP:20191113T150300
DTSTART:20191125T160000
CLASS:PUBLIC
LOCATION:Freie Universität Berlin \n Institut für Informatik \n Takustr. 9 
 \n 14195 Berlin \n Room 005 (Ground Floor)
SEQUENCE:0
SUMMARY:Manfred Scheucher (Techniche Universität Berlin): Topological Drawi
 ngs meet SAT Solvers and Classical Theorems of Convex Geometry
UID:95692708@/www.mi.fu-berlin.de
URL:https://www.mi.fu-berlin.de/en/facetsofcomplexity/monday/20191125-C-Sch
 eucher.html
END:VEVENT
END:VCALENDAR