BEGIN:VCALENDAR
VERSION:2.0
METHOD:PUBLISH
CALSCALE:GREGORIAN
PRODID:-//WordPress - MECv6.2.0//EN
X-ORIGINAL-URL:https://www.inesc-id.pt/
X-WR-CALNAME:INESC-ID
X-WR-CALDESC:25 Years Defining Technology
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-PUBLISHED-TTL:PT1H
X-MS-OLK-FORCEINSPECTOROPEN:TRUE
BEGIN:VEVENT
CLASS:PUBLIC
UID:MEC-076023edc9187cf1ac1f1163470e479a@inesc-id.pt
DTSTART:20190109T080000Z
DTEND:20190112T180000Z
DTSTAMP:20181126T104200Z
CREATED:20181126
LAST-MODIFIED:20190724
PRIORITY:5
TRANSP:OPAQUE
SUMMARY:VMCAI Winter School 2019
DESCRIPTION:VMCAI Winter School is a winter school on formal methods associated with VMCAI 2019 that will take place in Lisbon, Portugal on January 9-12, 2019. In the vein of VMCAI, the school is meant to facilitate interaction, cross-fertilization, and advancement of hybrid methods that combine Verification, Model Checking, Abstract Interpretation, etc.\nThe VMCAI Winter School program will feature two tutorial lectures per day, presented by distinguished speakers and experts in these fields.\nList of tutorial lectures:\n* An Introduction to Learning from Programs, by Marc Brockschmidt (Microsoft Research, Cambridge, UK)\n* Models and Techniques for Analyzing Security Protocols, by Veronique Cortier (Loria, Nancy, France)\n* Neural Network Verification, by M. Pawan Kumar (University of Oxford, UK)\n* Computing with SAT Oracles: From CDCL SAT Solving to Ubiquitous Industry Adoption, by João Marques-Silva (University of Lisbon, Portugal)\n* Abstract Interpretation, by Patrick Cousot  (New York University, USA). This tutorial will be complemented by an invited talk by Sylvie Putot (Ecole Polytechnique, France) on “Zonotopic abstract domains for numerical program analysis”.\n* Developing distributed protocols formally with Ivy, by Ken McMillan (Microsoft Research, Redmond, USA)\nThe First VMCAI Winter School will take place at the Instituto Superior Técnico (Universidade de Lisboa) campus near the city center.  The school location and schedule has been chosen to integrate nicely with POPL (https://popl19.sigplan.org/ ( https://popl19.sigplan.org/ )) and VMCAI (https://popl19.sigplan.org/track/VMCAI-2019 ( https://popl19.sigplan.org/track/VMCAI-2019 )) that will take place in Cascais/Lisboa from January 13-19, 2019.\nA more detailed program is available at the school website ( http://vmcaischool19.tecnico.ulisboa.pt/ )\nOrganizers:\nConstantin Enea (IRIF, University Paris Diderot)\nVasco Manquinho (INESC-ID, IST – Universidade de Lisboa)\nRuzica Piskac   (Yale University)\n \n
URL:https://www.inesc-id.pt/events/vmcai-winter-school-2019/
CATEGORIES:Events
LOCATION:IST
END:VEVENT
END:VCALENDAR