BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.cam.ac.uk//v3//EN
BEGIN:VTIMEZONE
TZID:Europe/London
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:19700329T010000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:19701025T020000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
CATEGORIES:Isaac Newton Institute Seminar Series
SUMMARY:Combining Machine Learning and Automated Reasoning
: Some Training Examples - Josef Urban (Czech Tech
nical University)
DTSTART;TZID=Europe/London:20170718T133000
DTEND;TZID=Europe/London:20170718T143000
UID:TALK73661AThttp://talks.cam.ac.uk
URL:http://talks.cam.ac.uk/talk/index/73661
DESCRIPTION:Co-Author: Cezary Kaliszyk (U. of Innsbruck)
I am planning to \;show some samples \;o
f how machine learning and automated reasoning are
 \;usefully combined in various tasks related
to \;interactive/automated proving\, and autom
ated formalization. My plan is to make the session
a bit more interactive/improvised and show/discus
s things in more \;detail\, such as what featu
res we use\, what are the datasets and benchmarks/
competitions\, what are the training/evaluation ta
sks\, and how the resulting systems are run and us
ed. I encourage questions and discussion.
<
br>
LOCATION:Seminar Room 2\, Newton Institute
CONTACT:INI IT
END:VEVENT
END:VCALENDAR