Formale Systeme

Wahlpflichtvorlesung im Wintersemester 2008/2009

Prof. Dr. Bernhard Beckert (im WS 08/09 Universität Karlsruhe und Universität Koblenz-Landau)
Mattias Ulbrich

Gruppeneinteilung zur zweiten Zwischenklausur am 29.1.09

Bitte beachten Sie auch die Hinweise zur Zwischenklausur.

Erste Gruppe - 14:00 Uhr

MatrikelnrGruppePlatznummer
117901911
118309312
118616113
122929214
122946315
123100916
123108717
123364118
124999419
1252384110
1268273111
1271356112
1275461113
1276986114
1277069115
1281032116
1290431117
1299563118
1299712119
1300129120
1300425121
1302181122
1302294123
1302647124
1302932125
1303399126
1307051127
1311977128
1313393129
1320354130
1321788131
1326205132
1328405133
1331373134
1334054135
1334167136
1334883137
1338874138
1341140139
1343215140
1343237141
1343395142
1343420143
1343771144
1344274145
1344376146
1344876147
1344945148
1346941149
1346985150
1347091151
1347115152
1347148153
1347182154
1347206155
1347228156
1348367157
1348527158
1349586159
1349655160
1349746161
1349871162
1355066163
1355077164
1355124165
1355431166
1355759167
1355771168
1356296169
1365479170
1369017171
1369711172
1369744173
1372861174
1375699175
1418811176
1430177177
1446464178
1480906179
1480917180

Zweite Gruppe - 14:40 Uhr

MatrikelnrGruppePlatznummer
93832321
110516622
115105123
115389724
116333525
123056226
123397027
125216828
126622229
1268057210
1268820211
1272791212
1277003213
1278471214
1278551215
1281203216
1282853217
1293418218
1294568219
1299154220
1299701221
1299892222
1300049223
1300561224
1301597225
1301713226
1302523227
1310792228
1313246229
1313439230
1326250231
1330916232
1332252233
1342610234
1343179235
1344296236
1344398237
1344581238
1344694239
1344729240
1344730241
1344752242
1344821243
1344923244
1344989245
1346554246
1346816247
1347159248
1347433249
1347455250
1348118251
1348129252
1348323253
1348345254
1348403255
1348505256
1348550257
1349553258
1350016259
1355102260
1355475261
1355497262
1355884263
1356365264
1368478265
1368934266
1369777267
1375100268
1376307269
1377617270
1377775271
1384054272
1384076273
1384145274
1387871275
1459194276
1492597277
1492746278

Bernhard Beckert
Mattias Ulbrich