Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
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
VMCAI-201912:00 - 12:30
Talk
Charlie MurphyPrinceton University, Zachary KincaidPrinceton University
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
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
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

Thu 17 Jan

Hide past events
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
Hide past events

Thu 17 Jan 2019