About  |  Study  |  Members  |  Projects  |  Publications  |  Events  |  Search  |  Internals  |  Contact & Imprint

Projects on Education and Training


Current Projects

DFG Research Training Group

DFG-Funded Postgraduate Program on Quantative Logics and Automata

European Master's Program in Computational Logic (EMCL)

EU-funded program between the Free University of Bozen-Bolzano, the Technische Universität Dresden, the Universidade Nova de Lisboa, the Technische Universität Wien and the National ICT Australia

IPID

DAAD-funded project on an international PhD in Germany based on the European PhD Program in Computational Logic (EPCL) between the Free University of Bozen-Bolzano, the Technische Universität Dresden, the Universidade Nova de Lisboa and the Technische Universität Wien


Past Projects

European Master's Program in Computational Logic (EMCL)

EU-funded program between the Free University of Bozen-Bolzano, the Technische Universität Dresden, the Universidade Nova de Lisboa, the Universidad Politécnica de Madrid and the Technische Universität Wien

ERASMUS stay of teaching

ERASMUS-funded project for the academic years 2004/05, 2005/06 and 2008/09

Computational Logic as a Foundation for Computer Science and Intelligent Systems

EU-funded Asia-Link project between the TU Dresden, the Universidade Nova de Lisboa, the Hanoi University of Technology and the University of Indonesia at Jakarta

Double Degree Program in Computational Logic

DAAD-funded master program between the Technische Universitšt Dresden and the Universidade Nova de Lisboa

International Quality Network

research program on Rational Mobile Agents and Systems of Agents funded by the DAAD, bmb+f and zip

DFG Research Training Group

DFG-Funded Postgraduate Program on Specification of Discrete Processes and Systems of Processes by Operational Models and Logics