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