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

This program is tentative and subject to change.

Sun 1 Dec

aplas-2019-APLAS-NIER
10:30 - 12:00: APLAS NIER - Session 1
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
Andreea CosteaSchool of Computing, National University Of Singapore
aplas-2019-APLAS-NIER11:30 - 12:00
Talk
Sandrine BlazyUniv Rennes- IRISA
aplas-2019-catering
12:00 - 13:30: Catering - Lunch
aplas-2019-catering12:00 - 13:30
Lunch
aplas-2019-APLAS-NIER
13:30 - 15:00: APLAS NIER - Session 2
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
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
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
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
aplas-2019-papers
13:30 - 15:00: Research Papers - Program Analysis
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
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 EmotoUniversity of Tokyo
aplas-2019-pc-chair-report
17:00 - 17:15: PC Chair Report - PC Chair Report
aplas-2019-posters
18:00 - 21:00: Posters - Poster session
Chair(s): Andreea CosteaSchool of Computing, National University Of Singapore
aplas-2019-catering
18:00 - 21:00: Catering - Reception

Tue 3 Dec

aplas-2019-Tool-and-system-paper
09:00 - 10:00: Keynote Talks - Keynote 2
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
Chair(s): Éric TanterUniversity of Chile & Inria Paris
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
aplas-2019-papers
13:30 - 15:00: Research Papers - Concurrency
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
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 Information Science, 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-catering
18:00 - 21:00: Catering - Banquet

Wed 4 Dec

aplas-2019-Tool-and-system-paper
09:00 - 10:00: Keynote Talks - Keynote 3
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
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

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
Session Calendar (ical)
Detailed Event Calendar (ical)