VenueOmni Hotel
Room nameWatercourt
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Sun 7 Jan

VMCAI-2018
09:00 - 10:00: VMCAI 2018 - Invited Talk by Ranjit Jhala at Watercourt
Chair(s): Isil DilligUT Austin
VMCAI-2018151531200000009:00 - 10:00
Talk
Ranjit JhalaUniversity of California, San Diego
VMCAI-2018
10:30 - 12:00: VMCAI 2018 - Synthesis at Watercourt
Chair(s): K. Rustan M. LeinoAmazon
VMCAI-2018151531740000010:30 - 11:00
Talk
Hila Peleg, Shachar ItzhakyTechnion, Israel, Sharon ShohamTel Aviv university
VMCAI-2018151531920000011:00 - 11:30
Talk
Eric ButlerUniversity of Washington, Emina TorlakUniversity of Washington, Zoran PopovicUniversity of Washington
VMCAI-2018151532100000011:30 - 12:00
Talk
Hila Peleg, Dan RasinTechnion – Israel Institute of Technology, Eran YahavTechnion
VMCAI-2018
14:00 - 15:30: VMCAI 2018 - Verification at Watercourt
Chair(s): Jeffrey S. FosterUniversity of Maryland, College Park
VMCAI-2018151533000000014:00 - 14:30
Talk
Johannes BaderMicrosoft, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile
VMCAI-2018151533180000014:30 - 15:00
Talk
Adi PrabawaNational University of Singapore, Mahmudul Faisal Al AmeenNational University of Singapore, Benedict LeeNational University of Singapore, Wei-Ngan ChinNational University of Singapore
VMCAI-2018151533360000015:00 - 15:30
Talk
VMCAI-2018
16:00 - 17:30: VMCAI 2018 - Security at Watercourt
Chair(s): Francesco RanzatoUniversity of Padova
VMCAI-2018151533720000016:00 - 16:30
Talk
Roberto BruniDipartimento di Informatica, Universita' di Pisa, Roberto GiacobazziUniversity of Verona and IMDEA Software Institute, Roberta GoriDipartimento di Informatica, Universita' di Pisa
VMCAI-2018151533900000016:30 - 17:00
Talk
Fabrizio BiondiCentraleSupelec Rennes, Mike EnescuINRIA, Annelie HeuserCNRS/IRISA, Axel Legay, Kuldeep S. MeelNational University of Singapore, Jean QuilbeufINRIA
VMCAI-2018151534080000017:00 - 17:30
Talk
Samuele BuroUniversità degli Studi di Verona, Isabella MastroeniUniversity of Verona, Italy

Mon 8 Jan

VMCAI-2018
09:00 - 10:00: VMCAI 2018 - Invited Talk by Kenneth L. McMillan at Watercourt
Chair(s): Lenore Zuck
VMCAI-2018151539840000009:00 - 10:00
Talk
Kenneth L. McMillanMicrosoft Research
VMCAI-2018
10:30 - 12:00: VMCAI 2018 - Abstract Interpretation at Watercourt
Chair(s): Patrick Cousot
VMCAI-2018151540380000010:30 - 11:00
Talk
Francesco RanzatoUniversity of Padova
VMCAI-2018151540560000011:00 - 11:30
Talk
Laura TitoloNational Institute of Aerospace, USA, Marco A. FeliuNational Institute of Aerospace, Mariano MoscatoNational Institute of Aerospace, Cesar MunozNASA
VMCAI-2018151540740000011:30 - 12:00
Talk
Julian KranzTechnical University of Munich, Axel SimonGoogle
VMCAI-2018
14:00 - 15:30: VMCAI 2018 - Potpourri at Watercourt
Chair(s): Wei-Ngan ChinNational University of Singapore
VMCAI-2018151541640000014:00 - 14:30
Talk
Nima RoohiUniversity of Pennsylvania, Mahesh ViswanathanUniversity of Illinois at Urbana-Champaign
VMCAI-2018151541820000014:30 - 15:00
Talk
Brijesh DongolBrunel University London, Radha JagadeesanDePaul University, James RielyDePaul University, Alasdair ArmstrongBrunel University
VMCAI-2018151542000000015:00 - 15:30
Talk
Cedric BaumannETH Zurich, Andrei Marian DanETH Zurich, Yuri MeshmanIMDEA, Torsten HoeflerETH Zurich, Martin VechevETH Zürich
VMCAI-2018
16:00 - 17:30: VMCAI 2018 - Invited Tutorial by Mayur Naik at Watercourt
Chair(s): Jens PalsbergUniversity of California, Los Angeles (UCLA)
VMCAI-2018151542360000016:00 - 17:30
Talk
Mayur NaikUniversity of Pennsylvania, Xujie SiUniversity of Pennsylvania, Xin ZhangMassachusetts Institute of Technology, USA, Radu GrigoreUniversity of Kent
VMCAI-2018
18:00 - 22:00: VMCAI 2018 - VMCAI Banquet at Watercourt
VMCAI-2018151543080000018:00 - 22:00
Dinner

Tue 9 Jan

VMCAI-2018
09:00 - 10:00: VMCAI 2018 - Invited Talk by Azadeh Farzan at Watercourt
Chair(s): Isil DilligUT Austin
VMCAI-2018151548480000009:00 - 10:00
Talk
Azadeh FarzanUniversity of Toronto
VMCAI-2018
10:30 - 12:00: VMCAI 2018 - Verifying Protocols and Systems at Watercourt
Chair(s): James RielyDePaul University
VMCAI-2018151549020000010:30 - 11:00
Talk
Swen Jacobs, Mouhammad SakrSaarland University
VMCAI-2018151549200000011:00 - 11:30
Talk
VMCAI-2018151549380000011:30 - 12:00
Talk
Mahsa NajafzadehPurdue University, Marc ShapiroLIP6, Patrick EugsterPurdue University
VMCAI-2018
14:00 - 15:30: VMCAI 2018 - Types and Analysis at Watercourt
Chair(s): Tachio TerauchiWaseda University
VMCAI-2018151550280000014:00 - 14:30
Talk
Tomas FiedorVUT Brno, Lukas HolikBrno University of Technology, Adam RogalewiczBrno University of Technology , Moritz SinnSt. Polten University of Applied Sciences, Tomas VojnarBrno University of Technology, Florian ZulegerTU Vienna
VMCAI-2018151550460000014:30 - 15:00
Talk
Andreas HumenbergerVienna University of Technology, Maximilian JaroschekVienna University of Technology, Laura KovacsChalmers University of Technology
VMCAI-2018151550640000015:00 - 15:30
Talk
Milod Kazerounian, Niki VazouUniversity of Maryland, Austin BourgerieUniversity of Maryland, Jeffrey S. FosterUniversity of Maryland, College Park, Emina TorlakUniversity of Washington
VMCAI-2018
16:00 - 17:30: VMCAI 2018 - Model Checking at Watercourt
Chair(s): Kenneth L. McMillanMicrosoft Research
VMCAI-2018151551000000016:00 - 16:30
Talk
Yong LiInstitute of Software, Chinese Academy of Sciences, Andrea TurriniState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Lijun ZhangInstitute of Software, Chinese Academy of Sciences, Sven ScheweUniversity of Liverpool
VMCAI-2018151551180000016:30 - 17:00
Talk
Tanja SchindlerUniversity of Freiburg, Dejan JovanovićSRI International
VMCAI-2018151551360000017:00 - 17:30
Talk
Benjamin AminofVienna University of Technology, Sasha RubinUniversity of Naples Federico II, Ilina StoilkovskaVienna University of Technology , Josef WidderTU Wien, Florian ZulegerTU Vienna

Sun 7 Jan 2018

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Watercourt
10:30 - 12:00
14:00 - 15:30
16:00 - 17:30

Mon 8 Jan 2018

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:0030
Watercourt
14:00 - 15:30
18:00 - 22:00

Tue 9 Jan 2018

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Watercourt
16:00 - 17:30