Write a Blog >>
APLAS 2019
Sun 1 - Wed 4 December 2019 Bali, Indonesia
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 1 Dec
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

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

Mon 2 Dec
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

08:50 - 10:00: Keynote 1Keynote Talks at Bali Room
Chair(s): Anthony Widjaja LinTechnische Universität Kaiserslautern
08:50 - 10:00
Talk
Keynote Talks
K: Annabelle McIverMacquarie University
10:00 - 10:30: Coffee BreakCatering
10:30 - 12:00: TypesResearch Papers at Bali Room
Chair(s): Tachio TerauchiWaseda University
10:30 - 11:00
Talk
Research Papers
Yuki NishidaKyoto University, Atsushi IgarashiKyoto University, Japan
Pre-print
11:00 - 11:30
Talk
Research Papers
Akira KawataKyoto University, Atsushi IgarashiKyoto University, Japan
Pre-print
11:30 - 12:00
Talk
Research Papers
Raimil CruzUniversity of Chile, Éric TanterUniversity of Chile & Inria Paris
12:00 - 13:30: LunchCatering at El Patio Restaurant
13:30 - 15:00: Program AnalysisResearch Papers at Bali Room
Chair(s): Annabelle McIverMacquarie University
13:30 - 14:00
Talk
Research Papers
14:00 - 14:30
Talk
Research Papers
Youkichi HosoiThe University of Tokyo , Naoki KobayashiUniversity of Tokyo, Japan, Takeshi TsukadaUniversity of Tokyo, Japan
14:30 - 15:00
Talk
Research Papers
Tukaram MuskeTata Consultancy Services Ltd, Rohith TalluriTata Consultancy Services Ltd, Alexander SerebrenikEindhoven University of Technology
15:00 - 15:30: Coffee BreakCatering
15:30 - 17:00: SemanticsResearch Papers at Bali Room
Chair(s): Atsushi IgarashiKyoto University, Japan
15:30 - 16:00
Talk
Research Papers
Beniamino AccattoliInria & Ecole Polytechnique, Claudia FaggianIRIF, Giulio GuerrieriUniversity of Bath
16:00 - 16:30
Talk
Research Papers
Masayuki MizunoTohoku University , Eijiro SumiiTohoku University
16:30 - 17:00
Talk
Research Papers
Kosuke MurataKyushu Institute of Technology , Kento EmotoKyushu Institute of Technology
18:00 - 20:00: ReceptionCatering at El Patio Restaurant
18:00 - 20:00: Poster sessionPosters at Puri Bali
Chair(s): Andreea CosteaSchool of Computing, National University Of Singapore

Tue 3 Dec
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

09:00 - 10:00: Keynote 2Keynote Talks at Bali Room
Chair(s): Anthony Widjaja LinTechnische Universität Kaiserslautern
09:00 - 10:00
Talk
Keynote Talks
Nate FosterCornell University
10:00 - 10:30: Coffee BreakCatering
10:30 - 12:00: Language Design and ImplementationResearch Papers at Bali Room
Chair(s): Sandrine BlazyUniv Rennes- IRISA
10:30 - 11:00
Talk
Research Papers
Nada AminHarvard University, William E. ByrdUniversity of Alabama at Birmingham, USA, Tiark RompfPurdue University
11:00 - 11:30
Talk
Research Papers
Daan LeijenMicrosoft Research, USA, Ben ZornMicrosoft, Leonardo De MouraMicrosoft Research, n.n.
11:30 - 12:00
Talk
Research Papers
Yutaka NagashimaData61, Australia
12:00 - 13:30: LunchCatering at El Patio Restaurant
13:00 - 13:30: Poster talk sessionPosters at Bali Room
Chair(s): Andreea CosteaSchool of Computing, National University Of Singapore
13:00 - 13:30
Talk
Posters
13:30 - 15:00: ConcurrencyResearch Papers at Bali Room
Chair(s): Philipp RuemmerUppsala University
13:30 - 14:00
Talk
Research Papers
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
Research Papers
Thomas DickersonBrown University, Paul GazzilloUniversity of Central Florida, Maurice HerlihyBrown University, USA, Eric KoskinenStevens Institute of Technology
14:30 - 15:00
Talk
Research Papers
Jonathan DiLorenzoCornell University, Kathryn ManciniCornell University, Kathleen FisherTufts University, USA, Nate FosterCornell University
15:00 - 15:30: Coffee BreakCatering
15:30 - 17:15: VerificationResearch Papers at Bali Room
Chair(s): Zhilin WuState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
15:30 - 15:45
Talk
Research Papers
Yu-Fang ChenAcademia Sinica, Chang-Yi ChiangGraduate Institute of Information Management, National Taipei University, Taiwan, Lukáš HolíkBrno 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, Tomáš VojnarBrno University of Technology, Wei-Cheng WuInstitute of Information Science, Academia Sinica, Taiwan
15:45 - 16:15
Talk
Research Papers
Wenbo Zhang, Huan LongShanghai Jiao Tong University, Xian XuEast China University of Science and Technology
16:15 - 16:45
Talk
Research Papers
Makoto TatsutaNational Institute of Informatics, Koji NakazawaGraduate School of Informatics, Nagoya University, Daisuke KimuraToho University
16:45 - 17:15
Talk
Research Papers
Long H. PhamSingapore University of Technology and Design, Jun SunSingapore Management University, Singapore, Quang Loc LeTeesside University
17:15 - 17:30: PC Chair ReportPC Chair Report at Bali Room
18:00 - 21:00: BanquetCatering at Temple Garden

Wed 4 Dec
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

09:00 - 10:00: Keynote 3Keynote Talks at Bali Room
Chair(s): Anthony Widjaja LinTechnische Universität Kaiserslautern
09:00 - 10:00
Talk
Keynote Talks
Philipp RuemmerUppsala University
10:00 - 10:30: Coffee BreakCatering
10:30 - 12:00: Logic and AutomataResearch Papers at Bali Room
Chair(s): Peter ThiemannUniversity of Freiburg, Germany
10:30 - 11:00
Talk
Research Papers
Aquinas HoborNational University of Singapore, Singapore, Elaine LiRuntime Verification, Inc., Frank StephanNational University of Singapore
11:00 - 11:30
Talk
Research Papers
Yu-Fang ChenAcademia Sinica, Vojtěch HavlenaBrno University of Technology, Ondřej LengálBrno University of Technology
11:30 - 12:00
Talk
Research Papers
Lukáš HolíkBrno University of Technology, Tomáš VojnarBrno University of Technology, Ondřej LengálBrno University of Technology , Lenka TuroňováBrno University of Technology, Margus VeanesMicrosoft Research, Olli Saarikivi
12:00 - 13:30: LunchCatering at El Patio Restaurant

Sun 1 Dec
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Mon 2 Dec
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Wed 4 Dec
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

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)