[Club2] Invitation: Talk by Andrew Reynolds @ Wed Dec 3, 2014 14:00 - 15:00 (Club2)

[julianbrunner at gmail.com]

You have been invited to the following event.

Title: Talk by Andrew Reynolds
Title: Induction in CVC4
Author: Andrew Reynolds

Abstract:
Satisfiability modulo theory (SMT) solvers are increasingly being used to  
solve problems with quantified formulas over structures such as integers  
and term algebras.  They typically handle such formulas using heuristic  
instantiation-based approaches.  Unfortunately, these approaches are often  
insufficient to prove many formulas of interest.  This talk presents an  
overview of the SMT solver CVC4, and describes new techniques that increase  
its precision for common cases of conjectures that require inductive  
reasoning.

Bio:
Andrew Reynolds is currently a post-doctoral researcher in the LARA group  
at EPFL, led by Viktor Kuncak.  He completed his doctorate last December at  
the University of Iowa under the supervision of Cesare Tinelli.  He is the  
primary developer of the module for handling quantified formulas in the  
Satisfiability Modulo Theories (SMT) solver CVC4.  His recent research  
interests include decision procedures, finite model finding, and approaches  
for induction and synthesis within SMT solvers.
When: Wed Dec 3, 2014 14:00 - 15:00 Berlin
Where: MI 00.09.038 (Turing)
Calendar: Club2
Who:
     * Julian Brunner - creator
     * puma-doktoranden at lists.tcs.ifi.lmu.de
     * Andrew Reynolds
     * club2 at mailbroy.informatik.tu-muenchen.de

Event details:  
https://www.google.com/calendar/event?action=VIEW&eid=bjZnN2xyazBjb2wwMXQ3amYzcTBhZDU2Z3MgY2x1YjJAbWFpbGJyb3kuaW5mb3JtYXRpay50dS1tdWVuY2hlbi5kZQ&tok=NTIjc2U2ZWJlM3RvZmY0Y2g1bm11bmlibTVtOThAZ3JvdXAuY2FsZW5kYXIuZ29vZ2xlLmNvbTMxYTA3YjE1NWUzNjk3NjJjNjU4ODJjZGY4ZTVkYjdiMmY5ZjMxN2Q&ctz=Europe/Berlin&hl=en

Invitation from Google Calendar: https://www.google.com/calendar/

You are receiving this courtesy email at the account  
club2 at mailbroy.informatik.tu-muenchen.de because you are an attendee of  
this event.

To stop receiving future updates for this event, decline this event.  
Alternatively you can sign up for a Google account at  
https://www.google.com/calendar/ and control your notification settings for  
your entire calendar.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/club2/attachments/20141130/a911fea8/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/calendar
Size: 2668 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/club2/attachments/20141130/a911fea8/attachment.ics>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: invite.ics
Type: application/ics
Size: 2723 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/club2/attachments/20141130/a911fea8/attachment.bin>