| Third International Conference on Information* | Information'2004 | Tokyo, Japan | November/December 2004 |
Partially supported by BCRI. |
|
Research Visit at the Dept. of Mathematics and Physics, Jagiellonian University | Krakow, Poland | 2004 (1 month) |
Partially funded by the Foundation for Polish Science and the Mianowski Fund. |
|
| 27th German Conference on Artificial Intelligence* | KI2004 | Ulm, Germany | September 2004 | |
| SmartWeb kick-off meeting, szenario workshop, general meeting | SmartWeb | DFKI Saarbrücken, Germany | June/July 2004 | |
| International Workshop on Proof, Computation, Complexity* | PCC'04 | Dresden, Germany | June 2004 | |
| ICCL Summer School 2004 on Proof Theory and Automated Theorem Proving | Link | Dresden, Germany | June 2004 | |
|
Research Visit at CENTRIA (Group of Prof. Luís Moniz Pereira) Universidade Nova de Lisboa | Link | Caparica, Portugal | May 2004 (6 days) |
|
| 15th International Conference on Applications of Declarative Programming and Knowledge Management and 18th Workshop on Logic Programming* | INAP/WLP 2004 | Potsdam, Germany | March 2004 | |
|
Research Visit at the Dept. of EECS, Syracuse University* | Syracuse, New York, USA | December 2003 (3 days) |
Supported by the Department. | |
|
Research Associate* Dept. of EECS, CWRU | Link | Cleveland, Ohio, USA | October-December 2003 | Funded by DAAD. |
| 26th German Conference on Artificial Intelligence* | KI2003 | Hamburg, Germany | September 2003 | |
| International Joint Conference on Artificial Intelligence* | IJCAI03 | Acapulco, Mexico | August 2003 | |
| International Conference on Conceptual Structures* | ICCS03 | Dresden, Germany | July 2003 | |
|
Research Visit at BCRI (Anthony K. Seda) University College Cork* |
BCRI | Cork, Ireland | July 2003 (7 days) |
Supported by BCRI. |
| Summer School and Workshop on Proof Theory, Computation and Complexity* | Link | Dresden, Germany | June/July 2003 | |
| First International Conference on Formal Concept Analysis* | ICFCA03 | Darmstadt, Germany | February 2003 | |
|
Research Visit at the Graduiertenkolleg Wissensrepräsentation, Universität Leipzig* |
Link | Leipzig, Germany | February 2003 (3 days) |
Supported by the Graduiertenkolleg. |
| 17th Workshop Logische Programmierung* | WLP2002 | Dresden, Germany | December 2002 | |
|
Research Visit at CENTRIA* (Group of Prof. Luís Moniz Pereira) Universidade Nova de Lisboa | Link | Caparica, Portugal | November 2002 (2 weeks) |
Supported by CENTRIA. |
| 25th German Conference on Artificial Intelligence* | KI2002 | Aachen, Germany | September 2002 | |
| Workshop on Proof Theory and Computation* | Link | Dresden, Germany | June 2002 | Invited Speaker (guest talk). |
| Dagstuhl Seminar 02221 Mathematical Structures for Computable Topology and Geometry* |
Link | Dagstuhl, Germany | May 2002 | |
| 4th Slovakian Student Conference in Applied Mathematics | SCAM2002 | Bratislava, Slovak Republic | April 2002 | |
| Workshop Proof, Computation, Complexity* | PCC 2002 | Tübingen, Germany | April 2002 | |
| Workshop Weighted Automata: Theory and Applications | WATA 2002 | Dresden, Germany | March 2002 | |
| Presentation at Dept. of Mathematics, Bonn University* |
| Bonn, Germany |
January 2002 |
Supported by the Bonn Graduate School |
|
| Promotion Tour Engineering Sciences in Germany | Indonesia | November 2001 | Event was scheduled, then cancelled. | |
| DAAD Alumni Meeting | Jakarta, Indonesia | November 2001 | Event was scheduled, then cancelled. | |
| Postgraduate Expo 2001 | Jakarta, Indonesia | November 2001 | Event was scheduled, then cancelled. | |
| International Symposium on Domain Theory 2001* | ISDT 2001 | Chengdu, China | October 2001 | |
| Workshop Wissensrepräsentation: The Next Generation | Link | Dresden, Germany | April 2001 | |
| 3rd Slovakian Student Conference in Applied Mathematics(*) | SCAM2001 | Bratislava, Slovak Republic | April 2001 | Participation had to be cancelled |
| 18th International Symposium on Theoretical Aspects of Computer Science | STACS2001 | Dresden, Germany | February 2001 | |
| Irish Formal Methods Special Interest Group Winter Meeting | Link | Waterford, Ireland | January 2001 | |
| 14th European Conference on Artificial Intelligence | ECAI2000 | Berlin, Germany | August 2000 | Partially supported by the Department of Mathematics at UCC. |
| 1st International Conference on Computational Logic | CL2000 | London, UK | July 2000 | |
| 1st Irish Conference on the Mathematical Foundations of Computer Science and Information Technology* | MFCSIT2000 | Cork, Ireland | July 2000 | Assistant of the Local Organizing
Committee. Partially supported by the organizers. |
| 4th Irish Workshop on Formal Methods* | IWFM'00 | Maynooth, Ireland | July 2000 | |
| Dagstuhl Seminar 00231
Topology in Computer Science: Constructivity; Asymmetry and Partiality; Digitization* |
Link | Schloß Dagstuhl, Germany | June 2000 | |
| 2nd Slovakian Student Conference in Applied Mathematics* | SCAM2000 | Bratislava, Slovak Republic | April 2000 | |
| 5th International Conference on Logic Programming and Nonmonotonic Reasoning* | LPNMR'99 | El Paso, Texas, US | December 1999 | Partially supported by the organizers. |
| Workshop on Verification in Logic Programming* | at ICLP'99 | Las Cruces, New Mexico, US | December 1999 | |
| 16th International Conference on Logic Programming | ICLP'99 | Las Cruces, New Mexico, US | November/December 1999 | Partially supported by the Association of Logic Programming. |
| 3rd Irish Workshop on Formal Methods* | IWFM'99 | Galway, Ireland | July 1999 | |
| Workshop on Proof-Theoretic Semantics | Link | Tübingen, Germany | January 1999 | |
| 2nd Irish Workshop on Formal Methods* | IWFM'98 | Cork, Ireland | July 1998 | Partially supported by the organizers. |
| Presentation for the AG Domains and Type Theory Darmstadt University of Technology* |
Darmstadt, Germany | June 1998 | Supported by the AG |
An asterisk * indicates that a presentation has been given by either
me or my coauthor.
| Name | Location | Date | Activities |
| BCU Mathematics Contest | Cork | March 2001 | co-organization, assessment |
| Intensivkurs Mathematik Konstanz-Ulm | Donaueschingen | September 2000 | co-organization, teaching, supervision |
| BCU Mathematics Contest | Cork | March 2000 | co-organization, assessment |
| Intensivkurs Mathematik Konstanz-Ulm | Donaueschingen | September 1999 | co-organization, teaching, supervision |
| BCU Mathematics Contest | Cork | March 1999 | co-organization, assessment |
| Intensivkurs Mathematik Konstanz-Ulm | Donaueschingen | September 1998 | co-organization, teaching, supervision |
| Begabtenförderungs-Workshop | Tübingen | March 1998 | main organization, teaching |
| Intensivkurs Mathematik Konstanz-Ulm | Donaueschingen | September 1997 | co-organization, teaching, supervision |
| Emmy-Noether Tagung | Ulm | March 1997 | participant |
| Intensivkurs Mathematik Konstanz-Ulm | Donaueschingen | September 1996 | co-organization, teaching, supervision |
| Intensivkurs Mathematik Konstanz-Ulm | Konstanz | September 1989 | participant |
Back to my home page.