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
|
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) |
|
|
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