Hi everybody,
I was thinking for a while about our meeting and the next steps. At the moment, I am unsure how to proceed. Our research interests are pretty much in the same spot. This is great, but I am concerned with whether we can expand the research program towards covering our vision.
Clearly, we need to involve more people, but what we miss is work on the reasoning and the programming language side. Jörg would be ideal, but he is not able to participate (workload-wise). Derek would be great, but I have my doubts whether he is willing to diverge that far from his research agenda.
So, the question is whom to ask and involve next? Suggestions?
Best
Sven
Am 18.06.24 um 13:28 schrieb Michael Hahn:
Hi everyone,
sorry I had to leave last meeting before the end. Are there any plans for the next meeting or TODOs until then?
Thank you!
Best, Michael
Am 14.05.24 um 15:33 schrieb Sven Apel:
Hi everybody,
for easier communication, we set up a mailing list. Please "ack" if you got this note.
Thanks in advance!
Sven
Rtg-prog mailing list -- rtg-prog@lists.se.cs.uni-saarland.de To unsubscribe send an email to rtg-prog-leave@lists.se.cs.uni-saarland.de
Rtg-prog mailing list -- rtg-prog@lists.se.cs.uni-saarland.de To unsubscribe send an email to rtg-prog-leave@lists.se.cs.uni-saarland.de