Ruhr-Universität Bochum
Arbeitsgruppe Logik und Formale Verifikation
ID 501603779Logik
Kontakt
Arbeitsgruppe Logik und Formale Verifikation
Wasserstraße 221
44799 Bochum
44799 Bochum
Promotionsmöglichkeiten
Promotionsmöglichkeit hier klicken
Zugehörige Einrichtungen
Ruhr-Universität Bochum
Alle Ebenen einblenden | ausblenden
- Centrum für Religionswissenschaftliche Studien (CERES)Zur Einrichtung
- Evangelisch-Theologische FakultätZur Einrichtung
- Fakultät für Bau- und UmweltingenieurwissenschaftenZur Einrichtung
- Fakultät für Biologie und BiotechnologieZur Einrichtung
- Fakultät für Chemie und BiochemieZur Einrichtung
- Fakultät für Elektrotechnik und InformationstechnikZur Einrichtung
- Fakultät für GeowissenschaftenZur Einrichtung
- Fakultät für GeschichtswissenschaftZur Einrichtung
- Fakultät für InformatikZur Einrichtung
- Fakultät für MaschinenbauZur Einrichtung
- Fakultät für MathematikZur Einrichtung
- Arbeitsbereich AlgebraZur Einrichtung
- Arbeitsbereich Analysis und TopologieZur Einrichtung
- Arbeitsbereich DidaktikZur Einrichtung
- Arbeitsbereich InformatikZur Einrichtung
- Arbeitsbereich KryptographieZur Einrichtung
- Arbeitsbereich NumerikZur Einrichtung
- Arbeitsbereich StochastikZur Einrichtung
- Center of Computer ScienceZur Einrichtung
- Arbeitsgruppe Distributed and Networked Systems (DNet)Zur Einrichtung
- Arbeitsgruppe Logik und Formale Verifikation
- Fakultät für OstasienwissenschaftenZur Einrichtung
- Fakultät für PhilologieZur Einrichtung
- Fakultät für Philosophie und ErziehungswissenschaftZur Einrichtung
- Fakultät für Physik und AstronomieZur Einrichtung
- Fakultät für PsychologieZur Einrichtung
- Fakultät für SozialwissenschaftZur Einrichtung
- Fakultät für SportwissenschaftZur Einrichtung
- Fakultät für WirtschaftswissenschaftZur Einrichtung
- Gemeinsame Arbeitsstelle RUB/IGMZur Einrichtung
- Horst-Görtz-Institut für IT-Sicherheit (HGI)Zur Einrichtung
- Hygiene-Institut des Ruhrgebiets - Institut für Umwelthygiene und UmweltmedizinZur Einrichtung
- Institut für Arbeitswissenschaft (IAW)Zur Einrichtung
- Institut für Berg- und EnergierechtZur Einrichtung
- Institut für DeutschlandforschungZur Einrichtung
- Institut für Friedenssicherungsrecht und Humanitäres Völkerrecht (IFHV)Zur Einrichtung
- Institut für Neuroinformatik (INI)Zur Einrichtung
- Institut für soziale BewegungenZur Einrichtung
- Interdisciplinary Centre for Advanced Materials SimulationsZur Einrichtung
- International Graduate School for Neuroscience (IGSN)Zur Einrichtung
- Juristische FakultätZur Einrichtung
- Katholisch-Theologische FakultätZur Einrichtung
- Landesspracheninstitut (LSI)Zur Einrichtung
- Medizinische FakultätZur Einrichtung
- Musisches ZentrumZur Einrichtung
- Professional School of EducationZur Einrichtung
- Research Department Interfacial Systems Chemistry (IFSC)Zur Einrichtung
- Research Department Plasmas with Complex InteractionsZur Einrichtung
- RUB Research SchoolZur Einrichtung
- RUBION, Zentrale Einrichtung für Ionenstrahlen und RadionuklideZur Einrichtung
- Schreibzentrum der Ruhr-Universität BochumZur Einrichtung
- Universitäts-Klinikum der Ruhr-Universität BochumZur Einrichtung
- Universitätsallianz Ruhr (UA Ruhr)Zur Einrichtung
- UniversitätsarchivZur Einrichtung
- UniversitätsbibliothekZur Einrichtung
- Zentrum für Fremdsprachenausbildung (ZFA)Zur Einrichtung
- Zentrum für MittelmeerstudienZur Einrichtung
- Zentrum für Theoretische und Integrative Neuro- und Kognitionswissenschaft (THINK)Zur Einrichtung
DFG Projekte
Gehören Sie dieser Forschungseinrichtung an oder vertreten Sie sie?
Wenn Sie Änderungswünsche haben, nutzen Sie unser Korrekturformular