BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Combining Machine Learning and Automated Reasoning: Some Training 
 Examples - Josef Urban (Czech Technical University)
DTSTART:20170718T123000Z
DTEND:20170718T133000Z
UID:TALK73661@talks.cam.ac.uk
CONTACT:INI IT
DESCRIPTION:Co-Author: Cezary Kaliszyk (U. of Innsbruck)<br><br>I am plann
 ing to&nbsp\;show some samples&nbsp\;of how machine learning and automated
  reasoning are&nbsp\;usefully combined in various tasks related to&nbsp\;i
 nteractive/automated proving\, and automated formalization. My plan is to 
 make the session a bit more interactive/improvised and show/discuss things
  in more&nbsp\;detail\, such as what features we use\, what are the datase
 ts and benchmarks/competitions\, what are the training/evaluation tasks\, 
 and how the resulting systems are run and used. I encourage questions and 
 discussion.<br><br><br><br><br>
LOCATION:Seminar Room 2\, Newton Institute
END:VEVENT
END:VCALENDAR