Write a Blog >>
VenueJW Marriott New Orleans
Room nameSt Jerome
Floor3
Additional informationThere is no additional information of this room available.
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 19 Jan
Times are displayed in time zone: Saskatchewan, Central America change

09:00 - 10:00: Invited 1VMCAI at St Jerome
Chair(s): Dirk BeyerLMU Munich
09:00 - 10:00
Talk
VMCAI
Moshe VardiRice University
10:30 - 12:30: Papers 1VMCAI at St Jerome
Chair(s): Natasha SharyginaUSI Lugano, Switzerland
10:30 - 11:00
Talk
VMCAI
Kedar NamjoshiBell Labs, Nokia, Lucas M. TabajaraRice University
11:00 - 11:30
Talk
VMCAI
Pietro FerraraUniversità Ca' Foscari, Venezia, Italy, Luca OlivieriJuliaSoft SRL, Fausto SpotoU. Verona
11:30 - 12:00
Coffee break
VMCAI
12:00 - 12:30
Talk
VMCAI
Sorawee PorncharoenwaseUniversity of Washington, James BornholtUniversity of Texas at Austin, Emina TorlakUniversity of Washington
14:00 - 15:05: Invited 2VMCAI at St Jerome
Chair(s): Damien ZuffereyMPI-SWS
14:00 - 15:05
Talk
VMCAI
Marta KwiatkowskaUniversity of Oxford
15:35 - 17:45: Papers 2VMCAI at St Jerome
Chair(s): Kedar NamjoshiBell Labs, Nokia
15:35 - 16:07
Talk
VMCAI
Nathanaël CourantINRIA, Antoine SereEcole Polytechnique, Natarajan ShankarSRI International, USA
16:07 - 16:40
Talk
VMCAI
Jack GarzellaUniversity of Utah, Marek S. BaranowskiUniversity of Utah, Shaobo HeUniversity of Utah, Zvonimir RakamaricUniversity of Utah
16:40 - 17:12
Coffee break
VMCAI
17:12 - 17:45
Talk
VMCAI
Oren Ish-ShalomTel Aviv University, Israel, Shachar ItzhakyTechnion, Israel, Noam RinetzkyTel Aviv University, Sharon ShohamTel Aviv university

Mon 20 Jan
Times are displayed in time zone: Saskatchewan, Central America change

09:00 - 10:00: Invited 3VMCAI at St Jerome
Chair(s): Damien ZuffereyMPI-SWS
09:00 - 10:00
Talk
VMCAI
Rajeev AlurUniversity of Pennsylvania
10:30 - 12:30: Papers 3VMCAI at St Jerome
Chair(s): Dirk BeyerLMU Munich
10:30 - 11:00
Research paper
VMCAI
Sven KeidelJGU Mainz, Sebastian ErdwegJGU Mainz
Pre-print
11:00 - 11:30
Talk
VMCAI
Marc ChevalierENS, CNRS, PSL University, INRIA, Jerome FeretINRIA Paris
11:30 - 12:00
Coffee break
VMCAI
12:00 - 12:30
Talk
VMCAI
Oren Ish-ShalomTel Aviv University, Israel, Shachar ItzhakyTechnion, Israel, Roman ManevichMellanox Technologies, Noam RinetzkyTel Aviv University
14:00 - 15:05: Papers 4VMCAI at St Jerome
Chair(s): Ruzica PiskacYale University, USA
14:00 - 14:32
Talk
VMCAI
Hongce ZhangPrinceton University, Weikun YangPrinceton University, Grigory FedyukovichFlorida State University, Aarti GuptaPrinceton University, Sharad MalikPrinceton University
14:32 - 15:05
Talk
VMCAI
Eric Rothstein-MorrisSingapore University of Technology and Design, Jun SunSingapore Management University, Singapore, Sudipta ChattopadhyaySingapore University of Technology and Design
15:35 - 17:45: Papers 5VMCAI at St Jerome
Chair(s): Nikolaj BjørnerMicrosoft Research
15:35 - 16:07
Talk
VMCAI
Daniel HausmannFriedrich-Alexander-Universität Erlangen-Nürnberg, Tadeusz LitakFAU Erlangen-Nuremberg, INF 8, Christoph RauchFAU Erlangen-Nürnberg, Lehrstuhl 8, Matthias ZinnerFAU Erlangen-Nürnberg
16:07 - 16:40
Talk
VMCAI
Martin BlichaUniversità della Svizzera italiana, Antti HyvärinenUniversità della Svizzera Italiana, Matteo MarescottiUniversità della Svizzera Italiana, Natasha SharyginaUSI Lugano, Switzerland
16:40 - 17:12
Coffee break
VMCAI
17:12 - 17:45
Talk
VMCAI
Kohei SuenagaGraduate School of Informatics, Kyoto University, Takuya IshizawaKyoto University
Link to publication Pre-print

Tue 21 Jan
Times are displayed in time zone: Saskatchewan, Central America change

09:00 - 10:00: Papers 6VMCAI at St Jerome
Chair(s): Andreas PodelskiUniversity of Freiburg, Germany
09:00 - 09:30
Talk
VMCAI
Helmut SeidlTechnische Universität München, Christian MüllerTechnical University of Munich, Bernd FinkbeinerSaarland University
09:30 - 10:00
Talk
VMCAI
Ruben LapauwKatholieke Universiteit Leuven, Maurice BruynoogheKatholieke Universiteit Leuven, Marc DeneckerKatholieke Universiteit Leuven
10:30 - 12:30: Papers 7VMCAI at St Jerome
Chair(s): Thomas WiesNew York University
10:30 - 11:00
Talk
VMCAI
Andreas FellnerAIT - Austrian Institute of Technology, Thorsten TarrachAustrian Institute of Technology, Georg WeissenbacherTechnische Universität Wien
11:00 - 11:30
Talk
VMCAI
Swen JacobsCISPA Helmholtz Center for Information Security, Mouhammad SakrSaarland University, Martin ZimmermannUniversity of Liverpool
11:30 - 12:00
Coffee break
VMCAI
12:00 - 12:30
Talk
VMCAI
Maxwell LevatichYale, Nikolaj BjørnerMicrosoft Research, Ruzica PiskacYale University, USA, Sharon ShohamTel Aviv university
14:00 - 15:05: Papers 8VMCAI at St Jerome
Chair(s): Ori LahavTel Aviv University
14:00 - 14:32
Talk
VMCAI
Ahmed BouajjaniIRIF, Université Paris Diderot, Constantin EneaIRIF, University Paris Diderot & CNRS, Madhavan MukundChennai Mathematical Institute, Gautham Shenoy RChennai Mathematical Institute, S.P. SureshChennai Mathematical Institute
14:32 - 15:05
Talk
VMCAI
Wytse OortwijnETH Zürich, Dilian GurovKTH Royal Institute of Technology, Marieke HuismanUniversity of Twente
15:35 - 17:45: Panel SessionVMCAI at St Jerome
Chair(s): Dirk BeyerLMU Munich
15:35 - 17:45
Other
VMCAI
Lenore ZuckUIC, Michael WhalenAmazon Web Services and the University of Minnesota, Natarajan ShankarSRI International, USA, Andreas PodelskiUniversity of Freiburg, Germany, Dirk BeyerLMU Munich

Thu 23 Jan
Times are displayed in time zone: Saskatchewan, Central America change

14:00 - 15:30: SRC Finalists PresentationsStudent Research Competition at St Jerome
14:00 - 15:30
Talk
Student Research Competition

Sun 19 Jan
Times are displayed in time zone: Saskatchewan, Central America change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
St Jerome

Mon 20 Jan
Times are displayed in time zone: Saskatchewan, Central America change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
St Jerome

Tue 21 Jan
Times are displayed in time zone: Saskatchewan, Central America change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
St Jerome

Thu 23 Jan
Times are displayed in time zone: Saskatchewan, Central America change

Thu 23 Jan
Times are displayed in time zone: Saskatchewan, Central America change