Termtools February 2024

termtools@lists.rwth-aachen.de
  • 2 participants
  • 3 discussions

TRS format at TermComp
by Florian Frohn
1 week, 4 days

discussions & poll regarding the new termCOMP format
by Florian Frohn
4 months

FSCD 2024: Extended deadline (Abstract: February 12/ Submission:
by Carsten Fuhs
4 months, 2 weeks
Results per page: