Website search and Quick Access
Models and Theory of Distributed Systems
Login
TU Portal
Webmail
DE
EN
Faculties / Central Institutes
Faculty I - Humanities and Educational Sciences
Faculty II – Mathematics and Natural Sciences
Faculty III – Process Sciences
Faculty IV – Electrical Engineering and Computer Science
Faculty V – Mechanical Engineering and Transport Systems
Faculty VI – Planning Building Environment
Faculty VII – Economics and Management
Central Institute School of Education (SETUB)
Faculties / Central Institutes
Faculty I - Humanities and Educational Sciences
Faculty II – Mathematics and Natural Sciences
Faculty III – Process Sciences
Faculty IV – Electrical Engineering and Computer Science
Faculty V – Mechanical Engineering and Transport Systems
Faculty VI – Planning Building Environment
Faculty VII – Economics and Management
Central Institute School of Education (SETUB)
Back to overview
⬅️
Models and Theory of Distributed Systems
Studying
Study Programs
All Programs Offered
Bachelor's Programs
Master's Programs
Pre-study Orientation Program
Doctoral Programs
Other Study Offers
Choosing the Right Program
Applying and Enrolling
Requirements for Admission to a Degree Program
Bachelor's Application & Enrollment
Master’s Application & Enrollment
Dates & Deadlines
Allocation Procedure for Study Places
Numerus Clausus (NC)
Recognition of Earned Credits
Advising
Academic Advising
Psychological Counseling
Stays Abroad
Career Entry & Development
Child & Care
Illness & Disability
Further Advisory & Counseling Services
Organizing Your Studies
Student Affairs
Re-Registration & Co
Examinations
IT-Services
Financing Your Studies
Topics A-Z
Course Catalog
University Life
Campus Map
Accommodation
Canteens & Cafeterias
Culture & Sports
Getting involved
Library
Study Spaces
Studies: news & stories
Teaching
Profile
Mission Statement for Teaching
Legal Framework
Key Actors
Services for Instructors
Organizing Your Teaching
Digital Teaching & IT Services
Examinations
University Library Services
Course Evaluation
Effective Teaching
Continuing Education & Coaching
Funding Programs
Awards for Teaching
Sharing Your Experiences
Personal Teaching Portfolio
Quality Management
Quality Management Handbook
Degree Program Evaluation
Evaluating Academics and Teaching
Representatives and Committees
Teaching at TU Berlin: news & stories
Research
Research Profile
Research Focuses
Excellence Strategy
Joint Research
Open Science
Research and Ethics
Appointments
Path to Professorship
Appointment Procedures
Joint Appointments
Endowed Professorships
Research Funding
TU Berlin Internal Funding
National Funding
EU Funding
International Funding
Funding Guidance
Advancement of Junior Scholars
Advising & Support
Doctorate
Postdocs
Continuing education & further qualification
Gender equality
Human Resources Strategy for Researchers
International
Knowledge & Technology Transfer
Research Transfer Advisory Council
Researching with Society
Science Communication
Entrepreneurship
Technology Offers & Patenting
Contract Research
Research: news & stories
Working at TU Berlin
Career
Job Postings
Appointments
Continuing Education
Staff Development
Vocational Training
Dual Career
Advancement of Junior Staff
Staff Services
IT Services & Communications Technology
Procurement, Orders, Purchases
Finances & Budget
Construction, Building & Strategic Space Management
Personnel Matters
Official Trips
Reporting Incidents
Offices & Representatives
Offices & Representatives A-Z
Staff Directory
Staff & Student Representatives
Bodies Representing Specific Interests
Committees
Advisory & Counseling Services
Working Life
Agreement Mobile Working
Work & Family
Health & Sports
Gender Equality & Diversity
Occupational & Environmental Protection
Canteens & Cafeterias
First Aid & Emergencies
Important Documents
Circulars/Current Notices
Resolutions
Legal Provisions
Guidelines/Directives
Reports
Human Resources Strategy for Researchers
Working at TU Berlin: news & stories
About
Profile
University Mission
Welcome culture
Future Perspectives Until 2025
Research Focuses
TU Berlin Statistics
Rankings
Press Releases & News
Organization
Executive Board
Faculties & Central Institutes
Administration
Institutions A-Z
Staff & Student Representatives
Bodies Representing Specific Interests
Committees
Campuses and Offices
Berlin
TU Berlin in Other Countries
Campus Map
Friends, Patrons & Alumni
Sponsoring and Donating
Alumni Program
The Society of Friends of the TU Berlin
University Shop
History
History of the University
People & Portraits
Artworks & Monuments
Catalogus Professorum
University Archives
About TU Berlin: news & stories
Back to overview
⬅️
Models and Theory of Distributed Systems
Research
Projects
Publications
Doctorate
Research Profile
Proof Assistants for Teaching
Software
ProofBuddy
To Research
Study
Lectures
Modules
Examination Boards
Final Theses
External Final Thesis
To Study
About us
Administration
Secretary's Office
Team and Persons
Administration
To About us
You are here:
Models and Theory of Distributed Systems
Models and Theory of Distributed Systems
Upcoming Events
No upcoming events found.
