August 2022 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Tue Aug 2 15:04:03 CEST 2022
Ending: Mon Aug 22 16:08:05 CEST 2022
Messages: 6

• [fg-arc] 3 Stellen Software Engineering für KI / SE für Technical Debt   Klaus Schmid
• [fg-arc] [gi-fg214] Ausschreibung einer unbefristeten Stelle Wiss. Mitarb. in der Softwaretechnik   Prof. Dr. Wolf Zimmermann
• [fg-arc] [OAEI 2022] 2nd call for system participation   Cassia TROJAHN
• [fg-arc] Aufruf zur Einreichung von Workshop-Vorschlägen bei der SE 2023   Iris Groher
• [fg-arc] CFP: PADL 2023   Inclezan, Daniela
• [fg-arc] FME Teaching Tutorials series continues on August 26, at 3 pm CEST: Dr. Robert Lewis (Brown University, US) on "Teaching the theory and practice of proof assistants with Lean"   Luigia Petre

Last message date: Mon Aug 22 16:08:05 CEST 2022
Archived on: Tue Aug 23 10:40:30 CEST 2022

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...