Wolfgang Pauli Institute (WPI) Vienna

Home WPI in a nutshell Practical Information Events People WPI Projects
Login Thematic Programs Pauli Fellows Talks Research Groups

Logic and Complexity (2015/2016)

Organizers: Agata Ciabattoni (WPI c/o TU Wien), Reinhard Pichler (TU Wien), Stefan Szeider (WPI c/o TU Wien), Helmut Veith (WPI c/o TU Wien), Stefan Woltran (WPI c/o TU Wien)

Events

Workshop on "Algebra and Coalgebra meet Proof Theory" (external website )

Location: TU Wien, Boecklsaal
Time: 7. Apr 2016 (Thu) - 9. Apr 2016 (Sat); Opening: 9:00
Organisation(s)
TU Wien & WPI
Organiser(s)
Agata Ciabattoni (WPI c/o TU Wien)

ARTEMATICA 2015 - Wolfgang Pauli Lectures

Location: Künstlerhaus, Karlsplatz 5, 1010 Vienna
Time: 12. Oct 2015 (Mon) - 12. Oct 2015 (Mon); Opening: 15:00
Organisation(s)
WPI
Organiser(s)
Georg Gottlob (WPI c/o TU Wien & U. Oxford)
Norbert Mauser (WPI c/o U.Wien)
Remark: Click here for further information

Talks in the framework of this thematic program... (by date) , (by name)

Visitors

Afshari, Bahareh 7. Apr 2016-9. Apr 2016 local address 
Andrea, Aler Tubella 7. Apr 2016-9. Apr 2016 local address 
Antic, Christian 7. Apr 2016-9. Apr 2016 local address 
Aschieri, Federico 7. Apr 2016-9. Apr 2016 local address 
Baaz, Matthias LOCAL 7. Apr 2016-9. Apr 2016 local address 
Baldi, Paolo 7. Apr 2016-9. Apr 2016 local address 
Behrisch, Mike 7. Apr 2016-9. Apr 2016 local address 
Bezhanishvili, Nick 7. Apr 2016-9. Apr 2016 local address 
Bilkova, Marta 7. Apr 2016-9. Apr 2016 local address 
Chaudhuri, Kaustuv 7. Apr 2016-9. Apr 2016 local address 
Chen, Hubie 1. May 2015-7. May 2015 local address 
3. Jun 2015-6. Jun 2015 local address 
Ciabattoni, Agata 7. Apr 2016-9. Apr 2016 local address 
Cintula, Petr 7. Apr 2016-9. Apr 2016 local address 
Condoluci, Andrea 7. Apr 2016-9. Apr 2016 local address 
D'Agostino, Marcello 7. Apr 2016-9. Apr 2016 local address 
Darwiche, Adnan 4. Jun 2015-6. Jun 2015 local address 
De Jongh, Dick 7. Apr 2016-9. Apr 2016 local address 
Delgrande, James P. 7. May 2016-10. May 2016 local address 
Delli, Serena 7. Apr 2016-9. Apr 2016 local address 
Diaconescu, Denisa 7. Apr 2016-9. Apr 2016 local address 
Ebner, Gabriel 7. Apr 2016-9. Apr 2016 local address 
Fargier, Hélène 4. Jun 2015-6. Jun 2015 local address 
Fermüller, Christian 7. Apr 2016-9. Apr 2016 local address 
Forster, Stefan 7. Apr 2016-9. Apr 2016 local address 
Frettlöh, Dirk 11. Oct 2015-13. Oct 2015 local address 
Fritella, Sabine 7. Apr 2016-9. Apr 2016 local address 
Genco, Francesco 7. Apr 2016-9. Apr 2016 local address 
Goncharov, Sergey 7. Apr 2016-9. Apr 2016 local address 
Greco, Giuseppe 7. Apr 2016-9. Apr 2016 local address 
Guglielmi, Alessio 7. Apr 2016-9. Apr 2016 local address 
Gulisano, Francesca 7. Apr 2016-9. Apr 2016 local address 
Hetzl, Stefan 7. Apr 2016-9. Apr 2016 local address 
Hofer, Matthias 7. Apr 2016-9. Apr 2016 local address 
Hosni, Hykel 7. Apr 2016-9. Apr 2016 local address 
Humenberger, Andreas 7. Apr 2016-9. Apr 2016 local address 
Iemhoff, Rosalie 3. Apr 2016-10. Apr 2016 local address 
Kuznets, Roman 7. Apr 2016-9. Apr 2016 local address 
Lauridsen, Frederik 7. Apr 2016-9. Apr 2016 local address 
Leigh, Graham 7. Apr 2016-9. Apr 2016 local address 
Lellmann, Björn 7. Apr 2016-9. Apr 2016 local address 
Litak, Tadeusz 7. Apr 2016-9. Apr 2016 local address 
Lolic, Anela 7. Apr 2016-9. Apr 2016 local address 
Marin, Sonia 7. Apr 2016-9. Apr 2016 local address 
Marques-Silva, Joao 3. Jun 2015-5. Jun 2015 local address 
Metcalfe, George 7. Apr 2016-9. Apr 2016 local address 
Moschner, Markus 7. Apr 2016-9. Apr 2016 local address 
Nikkhoo, Ivan 21. Nov 2015-29. Nov 2015 local address 
Palmigiano, Alessandra 7. Apr 2016-9. Apr 2016 local address 
Peppas, Paul 9. May 2016-11. May 2016 local address 
Pillay, Srikanthan 29. Nov 2015-2. Dec 2015 local address 
Pimentel, Elaine 7. Apr 2016-9. Apr 2016 local address 
Pona, Nika 7. Apr 2016-9. Apr 2016 local address 
Ralph, Benjamin 7. Apr 2016-9. Apr 2016 local address 
Ramanayake, Revantha 7. Apr 2016-9. Apr 2016 local address 
Rauch, Christoph 7. Apr 2016-9. Apr 2016 local address 
Razgon, Igor 4. Jun 2015-6. Jun 2015 local address 
Rebola-Pardo, Adrean 7. Apr 2016-9. Apr 2016 local address 
Reis, Giselle 7. Apr 2016-9. Apr 2016 local address 
Schnüriger, Laura 7. Apr 2016-9. Apr 2016 local address 
Sikimic, Vlasta 7. Apr 2016-9. Apr 2016 local address 
Ternovska, Evgenia 3. Mar 2016-6. Mar 2016 local address 
Terui, Kazushige 3. Apr 2016-10. Apr 2016 local address 
Terwijn, Sebastiaan 7. Apr 2016-9. Apr 2016 local address 
Tzimoulis, Apostolos 7. Apr 2016-9. Apr 2016 local address 
Vigano, Luca 7. Apr 2016-9. Apr 2016 local address 
Weibel, Peter 10. Oct 2015-14. Oct 2015 local address 
Wolfsteiner, Simon 7. Apr 2016-9. Apr 2016 local address 
Wong, Tik Lok 7. Apr 2016-9. Apr 2016 local address 
Yang, Fan 7. Apr 2016-9. Apr 2016 local address 
Zhao, Zhiguang 7. Apr 2016-9. Apr 2016 local address 

PostDocs

Pimentel, Elaine 1. Jun 2015-30. Jun 2015 local address 
Impressum webmaster [Printable version]