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

Visitors

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

PostDocs

Pimentel, Elaine

1. Jun 2015-30. Jun 2015