Write a Blog >>
APLAS 2019
Sun 1 - Wed 4 December 2019 Bali, Indonesia
Filter
Dates
Rooms
Tracks
Badges
Your Program

Sun 1 Dec

aplas-2019-APLAS-NIER
10:30 - 12:00: APLAS NIER - Session 1 at Bali Room
aplas-2019-APLAS-NIER10:30 - 11:00
Talk
Sora BaeOracle Labs, Australia, Sungho LeeKAIST, South Korea, Sukyoung RyuKAIST, South Korea
aplas-2019-APLAS-NIER11:00 - 11:30
Talk
Shengyi Wang, Anshuman MohanNational University of Singapore, Qinxiang CaoShanghai Jiao Tong University, Aquinas HoborNational University of Singapore, Singapore
aplas-2019-APLAS-NIER11:30 - 12:00
Talk
Sandrine BlazyUniv Rennes- IRISA
aplas-2019-catering
12:00 - 13:30: Catering - Lunch at El Patio Restaurant
aplas-2019-catering12:00 - 13:30
Lunch
aplas-2019-APLAS-NIER
13:30 - 15:00: APLAS NIER - Session 2 at Bali Room
aplas-2019-APLAS-NIER13:30 - 14:00
Talk
Yuxi FuShanghai Jiao Tong University, China
aplas-2019-APLAS-NIER14: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
aplas-2019-APLAS-NIER14:30 - 15:00
Talk
Anthony Widjaja LinTechnische Universität Kaiserslautern, Rupak MajumdarMax Planck Institute for Software Systems (MPI-SWS)
aplas-2019-catering
15:00 - 15:30: Catering - Coffee Break
aplas-2019-catering15:00 - 15:30
Coffee break
aplas-2019-APLAS-NIER
15:30 - 17:00: APLAS NIER - Session 3 at Bali Room
aplas-2019-APLAS-NIER15:30 - 16:00
Talk
Peter ThiemannUniversity of Freiburg, Germany, Vasco VasconcelosLASIGE, Faculty of Sciences, University of Lisbon
aplas-2019-APLAS-NIER16:00 - 16:30
Talk
Atsushi IgarashiKyoto University, Japan, Yuya TsudaKyoto University, Tomoya TabuchiKyoto University
aplas-2019-APLAS-NIER16:30 - 17:00
Talk

Mon 2 Dec

aplas-2019-Tool-and-system-paper
08:50 - 10:00: Keynote Talks - Keynote 1 at Bali Room
Chair(s): Anthony Widjaja LinTechnische Universität Kaiserslautern
aplas-2019-Tool-and-system-paper08:50 - 10:00
Talk
Annabelle McIverMacquarie University
aplas-2019-catering
10:00 - 10:30: Catering - Coffee Break
aplas-2019-papers
10:30 - 12:00: Research Papers - Types at Bali Room
Chair(s): Tachio TerauchiWaseda University
aplas-2019-papers10:30 - 11:00
Talk
Yuki NishidaKyoto University, Atsushi IgarashiKyoto University, Japan
Pre-print
aplas-2019-papers11:00 - 11:30
Talk
Akira KawataKyoto University, Atsushi IgarashiKyoto University, Japan
Pre-print
aplas-2019-papers11:30 - 12:00
Talk
Raimil CruzUniversity of Chile, Éric TanterUniversity of Chile & Inria Paris
aplas-2019-catering
12:00 - 13:30: Catering - Lunch at El Patio Restaurant
aplas-2019-papers
13:30 - 15:00: Research Papers - Program Analysis at Bali Room
Chair(s): Annabelle McIverMacquarie University
aplas-2019-papers13:30 - 14:00
Talk
aplas-2019-papers14:00 - 14:30
Talk
Youkichi HosoiThe University of Tokyo , Naoki KobayashiUniversity of Tokyo, Japan, Takeshi TsukadaUniversity of Tokyo, Japan
aplas-2019-papers14:30 - 15:00
Talk
Tukaram MuskeTata Consultancy Services Ltd, Rohith TalluriTata Consultancy Services Ltd, Alexander SerebrenikEindhoven University of Technology
aplas-2019-catering
15:00 - 15:30: Catering - Coffee Break
aplas-2019-papers
15:30 - 17:00: Research Papers - Semantics at Bali Room
Chair(s): Atsushi IgarashiKyoto University, Japan
aplas-2019-papers15:30 - 16:00
Talk
Beniamino AccattoliInria & Ecole Polytechnique, Claudia FaggianIRIF, Giulio GuerrieriUniversity of Bath
aplas-2019-papers16:00 - 16:30
Talk
Masayuki MizunoTohoku University , Eijiro SumiiTohoku University
aplas-2019-papers16:30 - 17:00
Talk
Kosuke MurataKyushu Institute of Technology , Kento EmotoKyushu Institute of Technology
aplas-2019-posters
18:00 - 20:00: Posters - Poster session at Puri Bali
Chair(s): Andreea CosteaSchool of Computing, National University Of Singapore
aplas-2019-catering
18:00 - 20:00: Catering - Reception at El Patio Restaurant

Tue 3 Dec

aplas-2019-Tool-and-system-paper
09:00 - 10:00: Keynote Talks - Keynote 2 at Bali Room
Chair(s): Anthony Widjaja LinTechnische Universität Kaiserslautern
aplas-2019-Tool-and-system-paper09:00 - 10:00
Talk
Nate FosterCornell University
aplas-2019-catering
10:00 - 10:30: Catering - Coffee Break
aplas-2019-papers
10:30 - 12:00: Research Papers - Language Design and Implementation at Bali Room
Chair(s): Sandrine BlazyUniv Rennes- IRISA
aplas-2019-papers10:30 - 11:00
Talk
Nada AminHarvard University, William E. ByrdUniversity of Alabama at Birmingham, USA, Tiark RompfPurdue University
aplas-2019-papers11:00 - 11:30
Talk
Daan LeijenMicrosoft Research, USA, Ben ZornMicrosoft, Leonardo De MouraMicrosoft Research, n.n.
aplas-2019-papers11:30 - 12:00
Talk
Yutaka NagashimaData61, Australia
aplas-2019-catering
12:00 - 13:30: Catering - Lunch at El Patio Restaurant
aplas-2019-posters
13:00 - 13:30: Posters - Poster talk session at Bali Room
Chair(s): Andreea CosteaSchool of Computing, National University Of Singapore
aplas-2019-posters13:00 - 13:30
Talk
aplas-2019-papers
13:30 - 15:00: Research Papers - Concurrency at Bali Room
Chair(s): Philipp RuemmerUppsala University
aplas-2019-papers13: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
aplas-2019-papers14:00 - 14:30
Talk
Thomas DickersonBrown University, Paul GazzilloUniversity of Central Florida, Maurice HerlihyBrown University, USA, Eric KoskinenStevens Institute of Technology
aplas-2019-papers14:30 - 15:00
Talk
Jonathan DiLorenzoCornell University, Kathryn ManciniCornell University, Kathleen FisherTufts University, USA, Nate FosterCornell University
aplas-2019-catering
15:00 - 15:30: Catering - Coffee Break
aplas-2019-papers
15:30 - 17:15: Research Papers - Verification at Bali Room
Chair(s): Zhilin WuState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
aplas-2019-papers15: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
aplas-2019-papers15:45 - 16:15
Talk
Wenbo Zhang, Huan LongShanghai Jiao Tong University, Xian XuEast China University of Science and Technology
aplas-2019-papers16:15 - 16:45
Talk
Makoto TatsutaNational Institute of Informatics, Koji NakazawaGraduate School of Informatics, Nagoya University, Daisuke KimuraToho University
aplas-2019-papers16:45 - 17:15
Talk
Long H. PhamSingapore University of Technology and Design, Jun SunSingapore Management University, Singapore, Quang Loc LeTeesside University
aplas-2019-pc-chair-report
17:15 - 17:30: PC Chair Report - PC Chair Report at Bali Room
aplas-2019-catering
18:00 - 21:00: Catering - Banquet at Temple Garden

Wed 4 Dec

aplas-2019-Tool-and-system-paper
09:00 - 10:00: Keynote Talks - Keynote 3 at Bali Room
Chair(s): Anthony Widjaja LinTechnische Universität Kaiserslautern
aplas-2019-Tool-and-system-paper09:00 - 10:00
Talk
Philipp RuemmerUppsala University
aplas-2019-catering
10:00 - 10:30: Catering - Coffee Break
aplas-2019-papers
10:30 - 12:00: Research Papers - Logic and Automata at Bali Room
Chair(s): Peter ThiemannUniversity of Freiburg, Germany
aplas-2019-papers10:30 - 11:00
Talk
Aquinas HoborNational University of Singapore, Singapore, Elaine LiRuntime Verification, Inc., Frank StephanNational University of Singapore
aplas-2019-papers11:00 - 11:30
Talk
Yu-Fang ChenAcademia Sinica, Vojtěch HavlenaBrno University of Technology, Ondrej LengalBrno University of Technology
aplas-2019-papers11: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
aplas-2019-catering
12:00 - 13:30: Catering - Lunch at El Patio Restaurant

Sun 1 Dec 2019

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Bali Room
10:30 - 12:00
13:30 - 15:00
15:30 - 17:00
El Patio Restaurant
12:00 - 13:30

Mon 2 Dec 2019

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:0030
Bali Room
El Patio Restaurant
12:00 - 13:30
Puri Bali

Tue 3 Dec 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:0030
Bali Room
El Patio Restaurant
12:00 - 13:30
Temple Garden

Wed 4 Dec 2019

Room9:003010:003011:003012:003013:0030
Bali Room
El Patio Restaurant
12:00 - 13:30
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
Session Calendar (ical)
Detailed Event Calendar (ical)