[Club2] Einladung: Generalizing Isabelle's Lifting Package - Mi 18. Mai 2022 14:00 - 14:30 (MESZ) (club2 at in.tum.de)

piller at in.tum.de piller at in.tum.de
Wed May 11 11:14:13 CEST 2022


Sie wurden zum folgenden Termin eingeladen.

Titel: Generalizing Isabelle's Lifting Package
Speaker: Juli Gottfriedsen
Type: Guided Research Presentation
Abstract:
The transfer and lifting packages of Isabelle/HOL
allow users to automatically translate statements and definitions between  
different types.
However, the latter is tailored to work with the static type system of  
Isabelle/Pure
and expects its transfer relations to be right-total and right-unique.
As such, it cannot be used to lift terms in a soft type systems,
as recently explored in Isabelle/Set.
We present a generalization of the lifting package that
relaxes the conditions put on its transfer relations and,
in particular, allows users to lift terms between soft types.
We verified the theoretic foundations of our approach in Isabelle/HOL
and propose a generalized lifting algorithm.
Wann: Mi 18. Mai 2022 14:00 – 14:30 Mitteleuropäische Zeit - Berlin
Wo: http://tinyurl.com/ls21coffee
Kalender: club2 at in.tum.de
Wer
     * piller at in.tum.de- Veranstalter
     * j.gottfriedsen at tum.de
     * club2 at in.tum.de

Termininformationen:  
https://calendar.google.com/calendar/event?action=VIEW&eid=MGUwbXBoNmlrcWRxY2hrZjh1bmdnamRoNmQgY2x1YjJAaW4udHVtLmRl&tok=NTIjc2U2ZWJlM3RvZmY0Y2g1bm11bmlibTVtOThAZ3JvdXAuY2FsZW5kYXIuZ29vZ2xlLmNvbTU1MmYyNmQwNDJhMDg2ZGU3MGRhNDJlMTZhZjNlNmNmNDZkYjk0Yjg&ctz=Europe%2FBerlin&hl=de&es=0

Einladung von Google Kalender: https://calendar.google.com/calendar/

Sie erhalten diese E-Mail unter club2 at in.tum.de, da Sie ein Gast bei diesem  
Termin sind.

Lehnen Sie diesen Termin ab, um keine weiteren Informationen zu diesem  
Termin zu erhalten. Sie können auch unter  
https://calendar.google.com/calendar/ ein Google-Konto erstellen und Ihre  
Benachrichtigungseinstellungen für Ihren gesamten Kalender steuern.

Wenn Sie diese Einladung weiterleiten, kann jeder Empfänger eine Antwort an  
den Organisator senden und zur Gästeliste hinzugefügt werden. Außerdem  
könnte er weitere Nutzer einladen und Ihre Antwort ändern. Weitere  
Informationen: https://support.google.com/calendar/answer/37135#forwarding
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/club2/attachments/20220511/0fb1c8bf/attachment.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/calendar
Size: 2235 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/club2/attachments/20220511/0fb1c8bf/attachment.ics>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: invite.ics
Type: application/ics
Size: 2279 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/club2/attachments/20220511/0fb1c8bf/attachment.bin>


More information about the Club2 mailing list