LEAN meets MaRDI and OSCAR
December 05 and 06, 2024
Participants are encouraged to bring a laptop with an installed version of LEAN and OSCAR.
Location
The workshop will take place in the E-N building of TU Berlin in the rooms 058 and 057. See here for a pin.
Registration
Please fill out the registration form!
Preliminary Schedule
| Time | Thursday | Friday | |
|---|---|---|---|
| 09:00-12:00 | TBA | ||
| 12:00-14:00 | Lunch and arrival | Lunch and departure | |
| 14:00-15:00 | LEAN intro | ||
| 15:00-18:15 | TBA | ||
| ~18:45 | Dinner (self paid, at Café Hardenberg) | ||
Hotel recommendations in proximity of the Institute of Mathematics:
- B&B Hotel Berlin-Tiergarten, Englische Str. 1-4, Tel: +49 (0)30 33 00 66-0, Mail: berlin-tiergarten@hotelbb.com
- Novum Hotel Gates, Knesebeckstraße 8-9, Buchung über die Hamburger Reservierungszentrale nicht empfehlenswert!
- Hotel Indigo Berlin - Ku’damm, Hardenbergstrasse 15, Tel: +49 (0)30 860 90 90, Mail: info.indigoberlin@ihg.com
- Hotel Motel One Berlin-Ku’Damm, Kannstraße 10, Tel: +49 (0)30 315 17 36-0, Mail: berlin-kudamm@motel-one.com
- Novotel Berlin am Tiergarten, Strasse des 17 Juni 106-108, Tel: +49 (0)30 60 03 50, Mail: h3649@accor.com
Local organizers
Please contact us with any questions about the workshop. To email us, please use LASTNAME@math.tu-berlin.de.