PROGRAM FOR FRIDAY, JULY 30TH: TALK VIEW
Days:
previous day
next day
all days
View: with abstractssession overview
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
18:00
18:30
19:00
13:30-16:00
Martin Raška, Štěpán Starosta
13:30-16:00
Flavio L. C. de Moura, Leandro O. Rezende
14:00-16:00
Takeo Noda, Takahiro Nakahara, Masataka Kaneko
14:00-16:00
Andrea Kohlhase, Michael Kohlhase
14:00-16:00
Takuto Asakura, Yusuke Miyao, Akiko Aizawa, Michael Kohlhase
16:30-18:30
Richard Marcus, Michael Kohlhase, Navid Roux, John Schihada
16:30-18:30
Akhilesh Pai, James H. Davenport
16:30-18:30
Mohamed H. Zaki
16:30-18:30
Muhammad Ahmed, Adnan Rashid
16:30-18:30
Sobia Ashraf, Ibrahim Evkay, Ugur Selamogullari, Mustafa Baysal
18:30-19:15 Towards Formal Mathematics Activities at International Research Institutes
16:00-16:30 Coffee Break