VMCAI 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
co-located with POPL 2019
VenueHotel Cascais Miragem
Room nameSala III
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Sun 13 Jan

VMCAI-2019
09:00 - 10:30: VMCAI 2019 - Invited Talk 1 at Sala III
Chair(s): Constantin EneaUniversité Paris Diderot
VMCAI-201909:00 - 10:30
Talk
Sylvie PutotÉcole Polytechnique
VMCAI-2019
14:00 - 15:30: VMCAI 2019 - Program Synthesis at Sala III
Chair(s): Nuno P. LopesMicrosoft Research
VMCAI-201914:00 - 14:30
Talk
Jad HamzaLIAFA, Université Paris Diderot, Viktor KuncakEPFL, Switzerland
VMCAI-201914:30 - 15:00
Talk
Grigory FedyukovichPrinceton University, Arie GurfinkelUniversity of Waterloo, Aarti GuptaPrinceton University
VMCAI-201915:00 - 15:30
Talk
Thanh-Toan Nguyen, Quang-Trung TaNational University of Singapore, Wei-Ngan ChinNational University of Singapore
VMCAI-2019
16:00 - 17:30: VMCAI 2019 - Abstract Interpretation (2) at Sala III
Chair(s): Mihaela SighireanuIRIF, University Paris Diderot and CNRS, France
VMCAI-201916:00 - 16:30
Talk
Kimball GermaneUniversity of Utah, Jay McCarthyUniversity of Massachusetts Lowell, Michael D. AdamsUniversity of Utah, Matthew MightUniversity of Alabama at Birmingham | Harvard Medical School
VMCAI-201916:30 - 17:00
Talk
Jens NicolayVrije Universiteit Brussel, Belgium, Quentin StiévenartVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel, Coen De RooverVrije Universiteit Brussel
VMCAI-201917:00 - 17:30
Talk
Kimball GermaneUniversity of Utah, Matthew MightUniversity of Alabama at Birmingham | Harvard Medical School

Mon 14 Jan

VMCAI-2019
09:00 - 10:30: VMCAI 2019 - Invited Talk 2 at Sala III
Chair(s): Lenore Zuck
VMCAI-201909:00 - 10:30
Talk
Kedar NamjoshiBell Labs, Nokia
VMCAI-2019
11:00 - 12:30: VMCAI 2019 - Decision Procedures at Sala III
Chair(s): Kedar NamjoshiBell Labs, Nokia
VMCAI-201911:00 - 11:30
Talk
Jochen HoenickeUniversität Freiburg, Tanja SchindlerUniversity of Freiburg
VMCAI-201911:30 - 12:00
Talk
Xiaokang QiuPurdue University, Yanjun WangPurdue University
File Attached
VMCAI-201912:00 - 12:30
Talk
Charlie MurphyPrinceton University, Zachary KincaidPrinceton University
File Attached
VMCAI-2019
14:00 - 15:30: VMCAI 2019 - Probabilistic Systems at Sala III
Chair(s): Justin HsuUniversity of Wisconsin-Madison, USA
VMCAI-201914:00 - 14:30
Talk
VMCAI-201914:30 - 15:00
Talk
Hongfei FuIST Austria, Krishnendu ChatterjeeIST Austria
VMCAI-201915:00 - 15:30
Talk
Stefan Haar, Juraj KolčákLSV, CNRS & ENS Cachan, University Paris Saclay, Loïc Paulevé

Tue 15 Jan

VMCAI-2019
09:00 - 10:30: VMCAI 2019 - Invited Talk 3 at Sala III
Chair(s): Ruzica PiskacYale University, USA
VMCAI-201909:00 - 10:30
Talk
Nuno P. LopesMicrosoft Research
VMCAI-2019
11:00 - 12:30: VMCAI 2019 - Software Verification and Synthesis at Sala III
Chair(s): Ori LahavTel Aviv University
VMCAI-201911:00 - 11:30
Talk
Viorel Preoteasa, Iulia Dragomir, Stavros TripakisAalto University and UC Berkeley
Link to publication DOI Pre-print File Attached
VMCAI-201911:30 - 12:00
Talk
VMCAI-201912:00 - 12:30
Talk
Calvin SmithUniversity of Wisconsin - Madison, Aws AlbarghouthiUniversity of Wisconsin-Madison
VMCAI-2019
14:00 - 15:30: VMCAI 2019 - Software Verification at Sala III
Chair(s): Grigory FedyukovichPrinceton University
VMCAI-201914:00 - 14:30
Talk
Tianhan LuUniversity of Colorado Boulder, Pavol CernyUniversity of Colorado Boulder, Bor-Yuh Evan ChangUniversity of Colorado Boulder, Ashutosh Trivedi
VMCAI-201914:30 - 15:00
Talk
Quentin Bouillaguet, François BobotCEA, Mihaela SighireanuIRIF, University Paris Diderot and CNRS, France, Boris YakobowskiCEA - LIST
File Attached
VMCAI-201915:00 - 15:30
Talk
Anja KarlInstitute of Applied Information Processing and Communications, Graz University of Technology, Robert Schilling, Roderick BloemInstitute of Software Technology, Graz University of Technology , Stefan Mangard
VMCAI-2019
16:00 - 17:30: VMCAI 2019 - Networks and Concurrency at Sala III
Chair(s): Cezara DrăgoiINRIA, ENS, CNRS
VMCAI-201916:00 - 16:30
Talk
Azalea RaadMPI-SWS, Germany, Ori LahavTel Aviv University, Viktor VafeiadisMPI-SWS, Germany
VMCAI-201916:30 - 17:00
Talk
Nuno P. LopesMicrosoft Research, Andrey RybalchenkoMicrosoft Research
VMCAI-201917:00 - 17:30
Talk
Étienne AndréLIPN, CNRS UMR 7030, Université Paris 13, Benoit Delahaye, Paulin Fournier, Didier Lime
File Attached

Thu 17 Jan

POPL-2019-Student-Research-Competition
10:30 - 12:30: Student Research Competition - Finalist Poster Presentations at Sala III

Sun 13 Jan 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Sala III
09:00 - 10:30

Mon 14 Jan 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Sala III
09:00 - 10:30
16:00 - 17:30

Tue 15 Jan 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Sala III
09:00 - 10:30

Thu 17 Jan 2019