{"id":11783,"date":"2023-03-05T20:08:54","date_gmt":"2023-03-05T19:08:54","guid":{"rendered":"https:\/\/www.betriebssysteme.org\/?page_id=11783"},"modified":"2025-02-18T16:45:52","modified_gmt":"2025-02-18T15:45:52","slug":"2023-bamberg","status":"publish","type":"page","link":"https:\/\/www.betriebssysteme.org\/aktivitaeten\/treffen\/2023-bamberg\/","title":{"rendered":"Herbsttreffen 2023 in Bamberg"},"content":{"rendered":"
\n
\n\t

\"BlickBlick auf die Regnitz beim Bamberger Stadtteil \"Klein-Venedig\"
\n(CC-BY-SA 3.0 by Reinhard Kirchner<\/a>)<\/p>\n<\/div>\n<\/div><\/div>

\n
\n\t

Das Herbsttreffen 2023 der Fachgruppe Betriebssysteme findet am<\/p>\n

Donnerstag, 28. und Freitag, 29. September 2023<\/i><\/b><\/p>\n

an der Otto-Friedrich-Universit\u00e4t Bamberg<\/strong>\u00a0statt.<\/p>\n

Gastgeber ist Prof. Michael Engel<\/p>\n

Von Programmiersprachen zu Betriebssystemen<\/em><\/strong><\/span><\/h2>\n

Forschung und Entwicklung von Programmiersprachen und Betriebssystemen sind seit \u00fcber f\u00fcnf Jahrzehnten eng miteinander verbunden. Dabei spielt nicht nur die \u00a0Implementierung von Betriebssystemcode in einer Hochsprache, wie z.B. die erste in C geschriebene Version des Unix-Kerns in den 1970er Jahren, sondern auch die Verwendung von kleinen, dom\u00e4nenspezifischen Sprachen eine zunehmend wichtigere Rolle.<\/p>\n

W\u00e4hrend \u00fcber lange Zeit die Sprachen C und C++ bei der Betriebssystementwicklung dominierend waren, sind im Laufe des vergangenen Jahrzehnts neue Sprachen entstanden, die versprechen, die Probleme der von C abgeleiteten Sprachen, wie z.B. Sicherheits- und Zuverl\u00e4ssigkeitsprobleme durch manuelle Speicherverwaltung oder undefiniertes Verhalten, zu lindern. Hierbei existieren verschiedenste Ans\u00e4tze: Forschungssysteme wie Singularity, das C# verwendet, open source Systeme wie Linux, das seit Kurzem die Entwicklung von Kernkomponenten in Rust erm\u00f6glicht, und auch Ans\u00e4tze zur Verbesserung der Zuverl\u00e4ssigkeit von C++-Code durch neue Spracheigenschaften und formale Verifikationsmethoden.<\/p>\n

Fragestellungen an der Schnittstelle von Programmiersprachen und Betriebssystemen sollen daher im Fokus des Herbsttreffens 2023 der Fachgruppe Betriebssysteme stehen. Themen aus dem weiteren Umfeld der Systemsoftware sind aber nat\u00fcrlich, wie immer, auch willkommen.<\/p>\n

Vortragsvorschl\u00e4ge k\u00f6nnen in Form eines maximal einseitigen Abstracts oder optional in Form eines kurzen (bisher unpublizierten) Papiers zum Thema in deutscher oder englischer Sprache eingereicht werden. Im Falle der Annahme eines Papiers w\u00fcrde dieses in der digitalen Bibliothek der Gesellschaft f\u00fcr Informatik<\/a> publiziert werden. Ein kleines Programmkomitee aus Mitgliedern des Leitungsgremiums der Fachgruppe entscheidet \u00fcber die Annahme der Vortragsvorschl\u00e4ge.<\/p>\n

Wir erbitten die Einreichung von Abstracts und Papieren in deutscher oder englischer Sprache bis zum 7. September 2023. Bitte formatieren Sie Einreichungen mit Hilfe des \u00a0ACM LaTeX-Templates<\/a>.<\/p>\n

Michael Engel (Otto-Friedrich-Universit\u00e4t Bamberg)<\/p>\n

 <\/p>\n<\/div>\n<\/div><\/div>

\n
\n\t

The 2023 autumn meeting of the Operating Systems SIG takes place on<\/p>\n

Thursday, September 28th and Friday, September 29th 2023<\/strong><\/p>\n

hosted by Prof. Michael Engel at the University of Bamberg<\/strong><\/span>.<\/p>\n

From Programming Languages to Operating Systems<\/strong><\/em><\/span><\/h3>\n

Research and Development of programming languages and operating systems are\u00a0closely related for more than fifty years. In this relation, not only\u00a0<\/span>the implementation of OS code in high-level languages, such as the Unix kernel\u00a0being reimplemented in C in the 1970s, but also the use of small,\u00a0<\/span>domain-specific languages, plays an important role.<\/p>\n

While C and C++ dominated OS development for a long time, new languages have\u00a0appeared during the previous decade which try to mitigate the problems\u00a0<\/span>connected with languages derived from C, such as dependability and security\u00a0problems introduced by manual memory management or undefined behavior.\u00a0<\/span>Here, a number of different approaches exist. Research systems such as\u00a0Singularity employ C#, open source systems like Linux enable the development\u00a0of kernel components in Rust, and approaches exist to improve the reliability\u00a0of C++ code through new language properties and formal verification.<\/p>\n

Accordingly, topics on the intersection of programming languages and\u00a0\u00a0<\/span>operating systems are in the focus of this year's autumn meeting of the\u00a0\u00a0<\/span>OS SIG. As always, contributions from all areas of system software are\u00a0<\/span>also welcome.<\/p>\n

Please submit either a one-page abstract (presentation only) or a 2- to 4-page unpublished paper (ACM conference style<\/a>) in German or English. A program committee consisting of members of the two steering boards will review the submissions and decide on their acceptance. In case of acceptance, papers (2-4 pages) will be published in the digital library of the Gesellschaft f\u00fcr Informatik<\/a>.<\/p>\n

We explicitly welcome presentations in English. The talks' language will be indicated in the program to facilitate non-German members' participation in our workshops in the future. The event will also be organized in a hybrid format.<\/p>\n

Michael Engel (University of Bamberg)<\/p>\n

 <\/p>\n<\/div>\n<\/div><\/div><\/div>

Termine:<\/b><\/h3>\n
\n
\n\n\n\n\n\n
7. September 2023<\/del><\/td>\nMeldung von Beitr\u00e4gen<\/td>\n<\/tr>\n
14. September 2023<\/del><\/td>\nAnmeldung zum Treffen<\/td>\n<\/tr>\n
28.\/29. September 2023<\/del><\/td>\nTreffen<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/dd>\n<\/dl>\n

Links:<\/b><\/h3>\n