From jan.kofron at d3s.mff.cuni.cz  Tue Feb  3 13:50:03 2026
From: jan.kofron at d3s.mff.cuni.cz (Jan Kofron)
Date: Tue, 3 Feb 2026 13:50:03 +0100
Subject: Fwd: David Corfield visit in Prague
In-Reply-To: <s_hlndmSeU4vqNPryrfUh16pwyqzsJuCXoXIvyKyV3a44bPWkwxJcplGg8GhMrKNt3sZNn8fWLvKbVoYdYJbuUb4jyUWDyus2N5zX_1r0t8=@tomasp.net>
References: <s_hlndmSeU4vqNPryrfUh16pwyqzsJuCXoXIvyKyV3a44bPWkwxJcplGg8GhMrKNt3sZNn8fWLvKbVoYdYJbuUb4jyUWDyus2N5zX_1r0t8=@tomasp.net>
Message-ID: <b8b0c559-b6f3-482b-8ad1-e9c68da472fc@d3s.mff.cuni.cz>

Dear all,

Sorry for a short notice, nonetheless, in there is a seminar starting in 
ten minutes in S8, if you would like to join. David Corfield (Uni of 
Kent) will talk about Safeguarding via category-theoretic systems theory.

Thanks, best regards!
Jan



-------- Forwarded Message --------
Subject: David Corfield visit in Prague
Date: Tue, 27 Jan 2026 23:15:39 +0000
From: Tomas Petricek <tomas at tomasp.net>
To: ladislav.kvasz at pedf.cuni.cz <ladislav.kvasz at pedf.cuni.cz>, 
anstenklev at gmail.com <anstenklev at gmail.com>, pablo.donato at tuta.io 
<pablo.donato at tuta.io>, Joel Jakubovic <jakubovic at d3s.mff.cuni.cz>, 
'Jaroslav Ne?et?il' <jarik at nesetril.cz>, tomas.jakl at cvut.cz 
<tomas.jakl at cvut.cz>, 'Kolman, Vojt?ch' <Vojtech.Kolman at ff.cuni.cz>, 
'V?t ?efl' <sefl at ksvi.mff.cuni.cz>, kratochvil at ksi.mff.cuni.cz 
<kratochvil at ksi.mff.cuni.cz>, 'Petr Tuma' <petr.tuma at d3s.mff.cuni.cz>, 
'Pavel Parizek' <parizek at d3s.mff.cuni.cz>, 'Jan Kofron' 
<jan.kofron at d3s.mff.cuni.cz>
CC: David Corfield <dcorfield48 at gmail.com>

Dear all,
as you may know already, David Corfield (cc'ed) was awarded the Donatio 
Chair award by Charles University to join us at MFF UK for 2 years from 
September. We are working out the details of his stay in Prague and, as 
part of that, David is visiting us next week (arriving on Sunday, 
leaving on Thursday).

As you know (know of) David, I wanted to share some information about 
his visit, in case you wanted to join or talk to him:

* David will be doing a talk at MFF on Tuesday at 2pm, talking about his 
recent work Safeguarding via category-theoretic systems theory: 
https://d3s.mff.cuni.cz/seminar/

* We also plan to go for a dinner on Tuesday evening. Please let me know 
if you want to join!

* We plan to meet on Monday 11am for an informal discussion about topics 
we are interested in (and for lunch). We'll meet in my office (S204, 
MFF, Malostranske nam.) - or the corridor outside. If you want to 
explore potential collaboration possibilities, please join us!

If you want to meet with David, please let him know! (And perhaps let me 
know too, so that I can coordinate times?) I suppose we will be mostly 
at MFF on Monday and Tuesday, but I'm sure David would be also happy to 
visit Institute of Philosophy and meet people there.

Thanks!
Tomas Petricek
-------------- next part --------------
A non-text attachment was scrubbed...
Name: OpenPGP_signature.asc
Type: application/pgp-signature
Size: 236 bytes
Desc: OpenPGP digital signature
URL: <http://d3s.mff.cuni.cz/pipermail/seminar/attachments/20260203/bf0a47b6/attachment.sig>