Links to Activities in Logic and Computer Science
Activities and Events
- National Research Network on Rigorous Systems Engineering (RiSE)
http://www.arise.or.at/ - Vienna Center for Logics and Algorithms (VCLA)
https://www.vcla.at/ - Kurt Gödel Society (KGS)
http://kgs.logic.at/ - Vienna Summer of Logic 2014 (VSL 2014)
http://vsl2014.at/ - Alpine Verification Meeting (AVM)
http://avm.sosy-lab.org/pastfuture.php
Master and PhD Programs
- Mater’s Program in Computational Intelligence
http://www.informatik.tuwien.ac.at/lehre/studien/master/computational-intelligence - European Master’s Program in Computational Logic (EMCL)
http://www.emcl-study.eu/ - European PhD Program in Computational Logic (EPCL)
http://www.epcl-study.eu/ - Doctoral Programme “Mathematical Logic in Computer Science” (MLiCS)
http://www.dbai.tuwien.ac.at/drkolleg/ - Vienna PhD School of Informatics
http://www.informatik.tuwien.ac.at/teaching/phdschool
Universities
- Vienna University of Technology (TU Vienna)
http://www.tuwien.ac.at/- Cyber-Physical Systems Group (CPS)
http://ti.tuwien.ac.at/cps - Database and Artificial Intelligence Group (DBAI)
http://www.dbai.tuwien.ac.at/ - Knowledge-Based Systems Group (KBS)
http://www.kr.tuwien.ac.at/ - Formal Methods in Systems Engineering Group (FORSYTE)
http://forsyte.at/ - Theory and Logic Group
http://www.logic.at/ - Research Unit Computational Logic
http://www.dmg.tuwien.ac.at/fg2/
- Cyber-Physical Systems Group (CPS)
- Johannes Kepler University Linz (JKU Linz)
http://www.jku.at/- Institute for Formal Models and Verification (FMV)
http://fmv.jku.at/
- Institute for Formal Models and Verification (FMV)
- Graz University of Technology (TU Graz)
http://www.tugraz.at/- Formal Methods for Design & Verification
http://www.iaik.tugraz.at/content/research/design_verification/
- Formal Methods for Design & Verification
Institutional Cooperations
- Institute of Science and Technology Austria (IST)
http://ist.ac.at/ - University of Salzburg
http://www.uni-salzburg.at/ - PUMA Doctoral Colleg (PUMA)
http://puma.in.tum.de/wiki/Doctorate_Program_PUMA - National Institute for Informatics, Tokyo (NII)
http://www.nii.ac.jp/en/ - Austrian Computer Society (OCG)
http://www.ocg.at/ - Wolfgang Pauli Institute (WPI)
http://www.wpi.ac.at/ - Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
http://fwf.ac.at/ - Wiener Wissenschafts-, Forschungs- und Technologiefonds (WWTF)
http://www.wwtf.at/ - Austrian Research Promotion Agency (FFG)
http://www.ffg.at/