News Archiv



Bild der Pressemitteilung
Otto Hahn Medal awarded to two MPI-SWS students

Ralf Jung and Bilal Zafar have each been awarded a 2021 Otto Hahn Medal for outstanding scientific achievement. The Max Planck Society awards the Otto Hahn Medal annually to young scientists in recognition of outstanding scientific achievement. Ralf was awarded the medal for his work on the first formal foundations for the cutting-edge systems programming language Rust, while Bilal was awarded the medal for his work on developing responsible and trustworthy AI systems that can help reduce discrimination [...]

Bild der Pressemitteilung
MPI-SWS researchers receive multiple awards at ETAPS

MPI-SWS researchers Rupak Majumdar, Ramanathan S. Thinniyam, and Georg Zetzsche have received the EAPLS Best Paper Award for their TACAS 2021 paper: General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond. In addition, a TACAS 2021 paper by Rosa Abbasi and Eva Darulova (along with their collaborators  Jonas Schiffl, Mattias Ulbrich, and Wolfgang Ahrendt) was one of only a handful of papers nominated for the EAPLS Best Paper Award: Deductive Verification [...]

Bild der Pressemitteilung
Girls‘ Day 2021

MPI-SWS participated jointly with the MPI for Informatics in the annual Girls‘ Day event on April 22, 2021. Our interactive digital program included  programming robots and integrating machine learning models into dialog systems, as well as answering questions about computer science and the work as a computer scientist.

Bild der Pressemitteilung
EU-Millionenförderung soll grundlegende Probleme im Zusammenspiel von Hard- und Software lösen helfen

Viele sicherheitskritische Bereiche unseres Lebens werden heute von Computersystemen gesteuert: von der Airbag-Zündung im Auto, über die Landeklappen an Flugzeugen bis hin zur grundlegenden Infrastruktur wie der Energieversorgung und dem Mobilfunk. Aber sind diese Systeme vertrauenswürdig? Informatik-Professor Jan Reineke von der Universität des Saarlandes verneint – denn ein entscheidender Baustein heutiger Computersysteme mache die Entwicklung sicherer IT-Anwendungen grundsätzlich unmöglich. [...]

Bild der Pressemitteilung
Neuartiges Verfahren: Informatiker erweitert das Wissen von Computern

Computer beantworten Fragen, führen Konversation oder beraten Kunden bei Problemen. Immer mehr IT-Anwendungen greifen auf strukturiertes Wissen zurück. Das Wissen muss dazu in einer Weise aufbereitet sein, die ein Computer verarbeiten kann – in sogenannten Wissensdatenbanken. Die sind das Fachgebiet des Informatikers Simon Razniewski. Am Saarbrücker Max-Planck-Institut für Informatik hat er als erster ein Verfahren entwickelt, mit dem die Wissensvorräte um einen entscheidenden, bisher vernachlässigten [...]

1 ...
1 2 3
4 5 6
7 8 9
10 11 12
13 14 15
16 17 18
19 20 21
22 23 24
25 26 27
28 29 30
31 32 33
34 35 36
37 38 39
40 41 42
43 44 45
46 47 48
49 50 51
52 53 54
55 56 57
58 59 60
61 62 63
64 65 66
67 68 69
70 71 72
73 74 75
76 77 78
79 80 81
82 83 84
85 86 87
88 89 90
91 92 93
94 95 96
97 98 99
100 101 102
103 104 105
106 107 108
109 110 111
112 113 114
115 116 117
118 119 120
121 122 123
124 125 126
127 128 129
130 131 132
133 134 135
136 137 138
139 140 141
142 143 144
145 146 147
148 149 150
151 152 153
154 155 156
157 158 159
160 161 162
163 164 165
166 167 168
169 170 171
172 173 174
175 176 177
178 179 180
181 182 183
184 185 186
187 188 189
190 191 192
193 194
34567 ...
1 2 3
4 5 6
7 8 9
10 11 12
13 14 15
16 17 18
19 20 21
22 23 24
25 26 27
28 29 30
31 32 33
34 35 36
37 38 39
40 41 42
43 44 45
46 47 48
49 50 51
52 53 54
55 56 57
58 59 60
61 62 63
64 65 66
67 68 69
70 71 72
73 74 75
76 77 78
79 80 81
82 83 84
85 86 87
88 89 90
91 92 93
94 95 96
97 98 99
100 101 102
103 104 105
106 107 108
109 110 111
112 113 114
115 116 117
118 119 120
121 122 123
124 125 126
127 128 129
130 131 132
133 134 135
136 137 138
139 140 141
142 143 144
145 146 147
148 149 150
151 152 153
154 155 156
157 158 159
160 161 162
163 164 165
166 167 168
169 170 171
172 173 174
175 176 177
178 179 180
181 182 183
184 185 186
187 188 189
190 191 192
193 194
194