Ruhr-Universität Bochum
Logic and Formal Verification Research Group
ID 501603779Logic
Contact
Logic and Formal Verification Research Group
Wasserstraße 221
44799 Bochum
44799 Bochum
Doctoral Opportunities
Promotionsmöglichkeit hier klicken
Affiliated institutions
- Center for Religious Studies (CERES)Go to institution
- Faculty of Protestant TheologyGo to institution
- Faculty of Civil and Environmental EngineeringGo to institution
- Faculty of Biology and BiotechnologyGo to institution
- Faculty of Chemistry and BiochemistryGo to institution
- Faculty of Electrical Engineering and Information EngineeringGo to institution
- Faculty of GeosciencesGo to institution
- Faculty of HistoryGo to institution
- Faculty of Computer ScienceGo to institution
- Faculty of Mechanical EngineeringGo to institution
- Faculty of MathematicsGo to institution
- Algebra DepartmentGo to institution
- Department of Analysis and TopologyGo to institution
- Department of DidacticsGo to institution
- Department of Computer ScienceGo to institution
- Department of CryptographyGo to institution
- Department of NumericsGo to institution
- Department of StochasticsGo to institution
- Center of Computer ScienceGo to institution
- Distributed and Networked Systems (DNet) GroupGo to institution
- Logic and Formal Verification Research Group
- Faculty of East Asian StudiesGo to institution
- Faculty of Language and LiteratureGo to institution
- Faculty of Philosophy and Educational ScienceGo to institution
- Faculty of Physics and AstronomyGo to institution
- Faculty of PsychologyGo to institution
- Faculty of Social ScienceGo to institution
- Faculty of Sports ScienceGo to institution
- Faculty of EconomicsGo to institution
- Office of Cooperation RUB/IGMGo to institution
- Horst Görtz Institute for IT-Security (HGI)Go to institution
- Institute of Hygiene of the Ruhr District - Institute of Environmental Hygiene and Environmental MedicineGo to institution
- Institute for Applied Work ScienceGo to institution
- Institute for Mining and Energy LawGo to institution
- Institute of Research on GermanyGo to institution
- Institute for International Law of Peace and Armed Conflict (IFHV)Go to institution
- Institute for Neural ComputationGo to institution
- Institute for the Study of Social MovementsGo to institution
- Interdisciplinary Centre for Advanced Materials SimulationsGo to institution
- International Graduate School for Neuroscience (IGSN)Go to institution
- Faculty of LawGo to institution
- Faculty of Catholic TheologyGo to institution
- Landesspracheninstitut (LSI)Go to institution
- Faculty of MedicineGo to institution
- Musical CentreGo to institution
- Professional School of EducationGo to institution
- Research Department of Interfacial Systems Chemistry (IFSC)Go to institution
- Research Department Plasmas with Complex InteractionsGo to institution
- RUB Research SchoolGo to institution
- RUBION, Central Unit for Ion Beams and RadionuclidesGo to institution
- Scientific Writing CentreGo to institution
- University Hospital of Ruhr University BochumGo to institution
- Ruhr Area (UA Ruhr)Go to institution
- University ArchiveGo to institution
- University LibraryGo to institution
- Centre for Foreign Language TrainingGo to institution
- Center for Mediterranean StudiesGo to institution
- Center for Theoretical and Integrative Neuroscience and Cognitive ScienceGo to institution
DFG Projects
Are you affiliated with this institution or do you represent it?
If you would like to request changes, please use our correction form.