SciDay: Programmsynthese - Wie Computer (manchmal) selbst programmieren
Topic: Online-Angebot, Vorträge, Schülerforschungszentrum

SciDay: Programmsynthese - Wie Computer (manchmal) selbst programmieren

Programmsynthese automatisiert das Programmieren selbst. Die Idee, dass wir einem Computer nur sagen müssen was wir wollen und, dass dieser dann automatisch herausfindet, wie dies zu erreichen ist, hat Wissenschaftler schon lange fasziniert.

In einigen Bereichen ist dies heute schon möglich. Tatsächlich benutzt Microsoft Excel Programmsynthese um viele Aufgaben zu automatisieren. Dieser Vortrag zeigt anhand des konkreten Beispiels der Textverarbeitung wie (eine Art der) Programmsynthese funktioniert und an welchen Herausforderungen die Wissenschaft momentan arbeitet.

Dr. Eva Darulova leitet eine Forschungsgruppe am Max-Planck-Institut für Softwaresysteme der Technischen Universität Kaiserslautern. Ihre Forschung beschäftigt sich mit der Verifikation und Synthese von numerischen Programmen.

SciDay ist eine wissenschaftliche Vortragsreihe für Schüler/-innen ab 14 Jahren, Lehrkräfte und sonstige Interessierte. Im Anschluss besteht die Möglichkeit zum Austausch mit den Dozenten.

Diese Veranstaltung findet als Online-Termin statt. Eine Anmeldung unter den unten aufgeführten Kontaktdaten ist nötig und bis maximal 30 Minuten vor Vortragsbeginn möglich. Den entsprechenden Link zum Online-Termin bekommen Sie dann von uns zugeschickt.
  • Organizer
    experimenta gGmbH
  • Start date:
    23.06.2021 17:30 o'clock
  • End date
    23.06.2021 18:30 o'clock
  • Location
    Online-Termin
  • Charge
    Free of charge

COM_EXPEVENTS_SIMILAR_EVENTS

SciDay: Leben in heißen und salzigen Habitaten: Archaea

SciDay: Leben in heißen und salzigen Habitaten: Archaea

Start: 21.07.2021 17:30 o'clock
End: 21.07.2021 18:30 o'clock
Manche Bakterien und vor allem Archaeen sind an extrem heiße oder salzige und für uns unwirtliche Lebensräume optimal angepasst. Sie bilden neben Bakterien und Eukaryoten die dritte Domäne des Lebens...
Online-Schülertagung

Online-Schülertagung

Start: 19.06.2021 14:00 o'clock
End: 19.06.2021 17:00 o'clock
Das Schülerforschungszentrum Nordwürttemberg in der experimenta lädt alle wissenschaftsbegeisterten Schülerinnen und Schüler ab 14 Jahren und alle Interessierten zu einem Tag der offenen Tür im Online-Format...

Für Grundschüler: Chemie zu Hause

Start: 25.06.2021 14:00 o'clock
End: 25.06.2021 15:30 o'clock
Bei diesem Kurs dreht sich alles um Pflanzenfarbstoffe! Du kannst erfahren, wie sich die Farben mancher Pflanzen verändern, wenn sie mit verschiedenen Stoffen in Kontakt kommen. Du kannst dir in diesem...

We use cookies on our website. Some of them are essential for the operation of the site, while others help us to improve this site and the user experience (tracking cookies). You can decide for yourself whether you want to allow cookies or not. Please note that if you reject them, you may not be able to use all the functionalities of the site.