Filter
Tue 13 Jan
11:00 - 12:30: PEPM 2015 - Welcome & Invited Talk at AG80 Chair(s): Kostis SagonasUppsala University / NTUA | ||||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:15 Day opening | ||||||||||||||||||||||||||||||||||||||||||
| 11:15 - 12:30 Talk | Shriram KrishnamurthiBrown University | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:30 Talk | Casper Bach PoulsenSwansea University, Peter D. MossesSwansea University, Paolo TorriniSwansea University | |||||||||||||||||||||||||||||||||||||||||
| 14:30 - 15:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
16:00 - 17:30: PEPM 2015 - Tree and Grammars at AG80 Chair(s): Jeremy GibbonsUniversity of Oxford, UK | ||||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 16:30 - 17:00 Talk | Jeroen BransenUtrecht University, Atze DijkstraUtrecht University, S. Doaitse SwierstraUtrecht University | |||||||||||||||||||||||||||||||||||||||||
| 17:00 - 17:30 Talk | L. Thomas van BinsbergenUniversity of London, Jeroen BransenUtrecht University, Atze DijkstraUtrecht University | |||||||||||||||||||||||||||||||||||||||||
Wed 14 Jan
| 09:00 - 09:30 Talk | Kazuyuki AsadaUniversity of Tokyo, Ryosuke SatoUniversity of Tokyo, Naoki KobayashiUniversity of Tokyo | |||||||||||||||||||||||||||||||||||||||||
| 09:30 - 10:00 Talk | Duy-Khanh LeNational University of Singapore, Wei-Ngan ChinNational University of Singapore, Yong Meng TeoNational University of Singapore | |||||||||||||||||||||||||||||||||||||||||
| 10:00 - 10:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
11:00 - 12:30: PEPM 2015 - Transformation / Slicing at AG80 Chair(s): Jurriaan HageUtrecht University | ||||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:30 Talk | Jun LiPeking University, Chenglong WangPeking University, Yingfei XiongPeking University, Zhenjiang HuNational Institute of Informatics | |||||||||||||||||||||||||||||||||||||||||
| 11:30 - 12:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 12:00 - 12:30 Talk | Bjorn LisperMalardalen University, Abu Naser MasudMalardalen University, Husni KhanfarMalardalen University | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 14:30 - 15:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:30 Talk | Kostis SagonasUppsala University / NTUA, John P. GallagherRoskilde University, Roberto GiacobazziUniversity of Verona, Italy, Abu Naser MasudMalardalen University | |||||||||||||||||||||||||||||||||||||||||
Tue 13 Jan 2015
| Room | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | 17:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| AG80 | 11:00 - 12:30 | 14:00 - 15:30 | 16:00 - 17:30 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Wed 14 Jan 2015
| Room | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| AG80 | 09:00 - 10:30 | 11:00 - 12:30 | 14:00 - 15:30 | 16:00 - 16:30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Tue 13 Jan 2015
| Room | 11:00 | 15 | 30 | 45 | 12:00 | 15 | 30 | 45 | 13:00 | 15 | 30 | 45 | 14:00 | 15 | 30 | 45 | 15:00 | 15 | 30 | 45 | 16:00 | 15 | 30 | 45 | 17:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| AG80 | 11:00 - 11:15 | 14:30 - 15:00 | 16:00 - 16:30 | 17:00 - 17:30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Wed 14 Jan 2015
| Room | 9:00 | 15 | 30 | 45 | 10:00 | 15 | 30 | 45 | 11:00 | 15 | 30 | 45 | 12:00 | 15 | 30 | 45 | 13:00 | 15 | 30 | 45 | 14:00 | 15 | 30 | 45 | 15:00 | 15 | 30 | 45 | 16:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| AG80 | 12:00 - 12:30 | 15:00 - 15:30 | 16:00 - 16: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