APLAS 2019 (series) /
APLAS 2019 Program
Filter
Dates
Rooms
Tracks
Badges
Your Program
This program is tentative and subject to change.
Sun 1 Dec
10:30 - 12:00: APLAS NIER - Session 1 | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 11:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:30 Talk | Andreea CosteaSchool of Computing, National University Of Singapore | |||||||||||||||||||||||||||||||||||||||||
| 11:30 - 12:00 Talk | Sandrine BlazyUniv Rennes- IRISA | |||||||||||||||||||||||||||||||||||||||||
13:30 - 15:00: APLAS NIER - Session 2 | ||||||||||||||||||||||||||||||||||||||||||
| 13:30 - 14:00 Talk | Yuxi FuShanghai Jiao Tong University, China | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:30 Talk | Julian MackayVictoria University of Wellington, Yu Xiang ZhuCarnegie Mellon University, Alex PotaninVictoria University of Wellington, Jonathan AldrichCarnegie Mellon University, Lindsay GrovesVictoria University of Wellington | |||||||||||||||||||||||||||||||||||||||||
| 14:30 - 15:00 Talk | Anthony Widjaja LinTechnische Universität Kaiserslautern, Rupak MajumdarMax Planck Institute for Software Systems (MPI-SWS) | |||||||||||||||||||||||||||||||||||||||||
15:00 - 15:30: Catering - Coffee Break | ||||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:30 Coffee break | ||||||||||||||||||||||||||||||||||||||||||
15:30 - 17:00: APLAS NIER - Session 3 | ||||||||||||||||||||||||||||||||||||||||||
| 15:30 - 16:00 Talk | Peter ThiemannUniversity of Freiburg, Germany, Vasco VasconcelosLASIGE, Faculty of Sciences, University of Lisbon | |||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 16:30 - 17:00 Talk | Florian ZulegerTU Vienna | |||||||||||||||||||||||||||||||||||||||||
Mon 2 Dec
08:50 - 10:00: Keynote Talks - Keynote 1 Chair(s): Anthony Widjaja LinTechnische Universität Kaiserslautern | ||||||||||||||||||||||||||||||||||||||||||
| 08:50 - 10:00 Talk | Annabelle McIverMacquarie University | |||||||||||||||||||||||||||||||||||||||||
10:00 - 10:30: Catering - Coffee Break | ||||||||||||||||||||||||||||||||||||||||||
12:00 - 13:30: Catering - Lunch | ||||||||||||||||||||||||||||||||||||||||||
| 13:30 - 14:00 Talk | Graeme Gange, Jorge A. NavasSRI International, Peter Schachte, Harald Sondergaard, Peter J. StuckeyMonash University | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:30 Talk | Youkichi HosoiThe University of Tokyo , Naoki KobayashiUniversity of Tokyo, Japan, Takeshi TsukadaUniversity of Tokyo, Japan | |||||||||||||||||||||||||||||||||||||||||
| 14:30 - 15:00 Talk | Tukaram MuskeTata Consultancy Services Ltd, Rohith TalluriTata Consultancy Services Ltd, Alexander SerebrenikEindhoven University of Technology | |||||||||||||||||||||||||||||||||||||||||
15:00 - 15:30: Catering - Coffee Break | ||||||||||||||||||||||||||||||||||||||||||
| 15:30 - 16:00 Talk | Beniamino AccattoliInria & Ecole Polytechnique, Claudia FaggianIRIF, Giulio GuerrieriUniversity of Bath | |||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 16:30 - 17:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
17:00 - 17:15: PC Chair Report - PC Chair Report | ||||||||||||||||||||||||||||||||||||||||||
18:00 - 21:00: Posters - Poster session Chair(s): Andreea CosteaSchool of Computing, National University Of Singapore | ||||||||||||||||||||||||||||||||||||||||||
18:00 - 21:00: Catering - Reception | ||||||||||||||||||||||||||||||||||||||||||
Tue 3 Dec
09:00 - 10:00: Keynote Talks - Keynote 2 Chair(s): Anthony Widjaja LinTechnische Universität Kaiserslautern | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:00 Talk | Nate FosterCornell University | |||||||||||||||||||||||||||||||||||||||||
10:00 - 10:30: Catering - Coffee Break | ||||||||||||||||||||||||||||||||||||||||||
10:30 - 12:00: Research Papers - Language Design and Implementation Chair(s): Éric TanterUniversity of Chile & Inria Paris | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 11:00 Talk | Nada AminHarvard University, William E. ByrdUniversity of Alabama at Birmingham, USA, Tiark RompfPurdue University | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 11:30 - 12:00 Talk | Yutaka NagashimaData61, Australia | |||||||||||||||||||||||||||||||||||||||||
12:00 - 13:30: Catering - Lunch | ||||||||||||||||||||||||||||||||||||||||||
| 13:30 - 14:00 Talk | Taolue ChenBirkbeck, University of London, Jilong HeInstitute of Software, Chinese Academy of Sciences, Yu-Ping WangTsinghua University, China, Zhilin WuState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Jun YanInstitute of Software, Chinese Academy of Sciences | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:30 Talk | Thomas DickersonBrown University, Paul GazzilloUniversity of Central Florida, Maurice HerlihyBrown University, USA, Eric KoskinenStevens Institute of Technology | |||||||||||||||||||||||||||||||||||||||||
| 14:30 - 15:00 Talk | Jonathan DiLorenzoCornell University, Kathryn ManciniCornell University, Kathleen FisherTufts University, USA, Nate FosterCornell University | |||||||||||||||||||||||||||||||||||||||||
15:00 - 15:30: Catering - Coffee Break | ||||||||||||||||||||||||||||||||||||||||||
15:30 - 17:15: Research Papers - Verification Chair(s): Zhilin WuState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences | ||||||||||||||||||||||||||||||||||||||||||
| 15:30 - 15:45 Talk | Yu-Fang ChenAcademia Sinica, Chang-Yi ChiangGraduate Institute of Information Management, National Taipei University, Taiwan, Lukas HolikBrno University of Technology, Wei-Tsung KaoInstitute of Information Science, Academia Sinica, Taiwan, Hsin-Hung LinInstitute of Information Science, Academia Sinica, Taiwan, Yean-Fu WenGraduate Institute of Information Management, National Taipei University, Taiwan, Tomas VojnarBrno University of Technology, Wei-Cheng WuInstitute of Information Science, Academia Sinica, Taiwan | |||||||||||||||||||||||||||||||||||||||||
| 15:45 - 16:15 Talk | Wenbo Zhang, Huan LongShanghai Jiao Tong University, Xian XuEast China University of Science and Technology | |||||||||||||||||||||||||||||||||||||||||
| 16:15 - 16:45 Talk | Makoto TatsutaNational Institute of Informatics, Koji NakazawaGraduate School of Information Science, Nagoya University, Daisuke KimuraToho University | |||||||||||||||||||||||||||||||||||||||||
| 16:45 - 17:15 Talk | Long H. PhamSingapore University of Technology and Design, Jun SunSingapore Management University, Singapore, Quang Loc LeTeesside University | |||||||||||||||||||||||||||||||||||||||||
18:00 - 21:00: Catering - Banquet | ||||||||||||||||||||||||||||||||||||||||||
Wed 4 Dec
09:00 - 10:00: Keynote Talks - Keynote 3 Chair(s): Anthony Widjaja LinTechnische Universität Kaiserslautern | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:00 Talk | Philipp RuemmerUppsala University | |||||||||||||||||||||||||||||||||||||||||
10:00 - 10:30: Catering - Coffee Break | ||||||||||||||||||||||||||||||||||||||||||
10:30 - 12:00: Research Papers - Logic and Automata Chair(s): Peter ThiemannUniversity of Freiburg, Germany | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 11:00 Talk | Aquinas HoborNational University of Singapore, Singapore, Elaine LiRuntime Verification, Inc., Frank StephanNational University of Singapore | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:30 Talk | Yu-Fang ChenAcademia Sinica, Vojtěch HavlenaBrno University of Technology, Ondrej LengalBrno University of Technology | |||||||||||||||||||||||||||||||||||||||||
| 11:30 - 12:00 Talk | Lukas HolikBrno University of Technology, Tomas VojnarBrno University of Technology, Ondrej LengalBrno University of Technology , Lenka TuronovaBrno University of Technology, Margus VeanesMicrosoft Research, Olli Saarikivi | |||||||||||||||||||||||||||||||||||||||||
12:00 - 13:30: Catering - Lunch | ||||||||||||||||||||||||||||||||||||||||||
This program is tentative and subject to change.
Sun 1 Dec 2019
No events planned for this day yet.
Mon 2 Dec 2019
No events planned for this day yet.
Tue 3 Dec 2019
No events planned for this day yet.
Wed 4 Dec 2019
No events planned for this day yet.
This program is tentative and subject to change.
Sun 1 Dec 2019
No events planned for this day yet.
Mon 2 Dec 2019
No events planned for this day yet.
Tue 3 Dec 2019
No events planned for this day yet.
Wed 4 Dec 2019
No events planned for this day yet.
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format