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