PEPM 2015
Tue 13 - Wed 14 January 2015 Mumbai, India
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Tue 13 Jan
Times are displayed in time zone: Chennai, Kolkata, Mumbai, New Delhi change

11:00 - 12:30: Welcome & Invited TalkPEPM 2015 at AG80
Chair(s): Konstantinos (Kostis) SagonasUppsala University / NTUA
11:00 - 11:15
Day opening
PEPM 2015
Kenichi AsaiOchanomizu University, Konstantinos (Kostis) SagonasUppsala University / NTUA
11:15 - 12:30
Talk
PEPM 2015
Shriram KrishnamurthiBrown University
14:00 - 15:30: Types / Code MiningPEPM 2015 at AG80
Chair(s): Simon ThompsonUniversity of Kent
14:00 - 14:30
Talk
PEPM 2015
Casper Bach PoulsenSwansea University, Peter D. MossesSwansea University, Paolo TorriniSwansea University
14:30 - 15:00
Talk
PEPM 2015
Henk Erik van der HoekUtrecht University, Jurriaan HageUtrecht University
15:00 - 15:30
Talk
PEPM 2015
16:00 - 17:30: Tree and GrammarsPEPM 2015 at AG80
Chair(s): Jeremy GibbonsUniversity of Oxford, UK
16:00 - 16:30
Talk
PEPM 2015
Patrick BahrUniversity of Copenhagen, Emil AxelssonChalmers University of Technology
16:30 - 17:00
Talk
PEPM 2015
Jeroen BransenUtrecht University, Atze DijkstraUtrecht University, S. Doaitse SwierstraUtrecht University
17:00 - 17:30
Talk
PEPM 2015
L. Thomas van BinsbergenUniversity of London, Jeroen BransenUtrecht University, Atze DijkstraUtrecht University

Wed 14 Jan
Times are displayed in time zone: Chennai, Kolkata, Mumbai, New Delhi change

09:00 - 10:30: VerificationPEPM 2015 at AG80
Chair(s): Konstantinos (Kostis) SagonasUppsala University / NTUA
09:00 - 09:30
Talk
PEPM 2015
Kazuyuki AsadaUniversity of Tokyo, Ryosuke SatoUniversity of Tokyo, Naoki KobayashiUniversity of Tokyo
09:30 - 10:00
Talk
PEPM 2015
Duy-Khanh LeNational University of Singapore, Wei-Ngan ChinNational University of Singapore, Yong Meng TeoNational University of Singapore
10:00 - 10:30
Talk
PEPM 2015
Bishoksan KafleRoskilde University, John P. GallagherRoskilde University
11:00 - 12:30: Transformation / SlicingPEPM 2015 at AG80
Chair(s): Jurriaan HageUtrecht University
11:00 - 11:30
Talk
PEPM 2015
Jun LiPeking University, Chenglong WangPeking University, Yingfei XiongPeking University, Zhenjiang HuNational Institute of Informatics
11:30 - 12:00
Talk
PEPM 2015
Huiqing LiUniversity of Kent, Simon ThompsonUniversity of Kent
12:00 - 12:30
Talk
PEPM 2015
Bjorn LisperMalardalen University, Abu Naser MasudMalardalen University, Husni KhanfarMalardalen University
14:00 - 15:30: AnalysisPEPM 2015 at AG80
Chair(s): Kenichi AsaiOchanomizu University
14:00 - 14:30
Talk
PEPM 2015
Ruud KootUtrecht University, Jurriaan HageUtrecht University
14:30 - 15:00
Talk
PEPM 2015
Hidde VerstoepUtrecht University, Jurriaan HageUtrecht University
15:00 - 15:30
Talk
PEPM 2015
Konstantinos (Kostis) SagonasUppsala University / NTUA, John P. GallagherRoskilde University, Roberto GiacobazziUniversity of Verona, Italy, Abu Naser MasudMalardalen University
16:00 - 16:30: DemoPEPM 2015 at AG80
Chair(s): Konstantinos (Kostis) SagonasUppsala University / NTUA
16:00 - 16:30
Demonstration
PEPM 2015

Tue 13 Jan
Times are displayed in time zone: Chennai, Kolkata, Mumbai, New Delhi change

Wed 14 Jan
Times are displayed in time zone: Chennai, Kolkata, Mumbai, New Delhi change

Room9:003010:003011:003012:003013:003014:003015:003016:0030
AG80
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)