[TYPES/announce] Deadline extension: Graph Computation Models (GCM 2024)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] --- CALL FOR PAPERS GCM 2024 15th International Workshop on Graph Computation Models July 8-12 (precise date to be

[TYPES/announce] Call for papers: Graph Computation Models (GCM 2024)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] --- CALL FOR PAPERS GCM 2024 15th International Workshop on Graph Computation Models July 8-12 (precise date to be

[TYPES/announce] PhD position in Theoretical Computer Science at the VU Amsterdam

. Embedding - The principal investigator of this project is Joerg Endrullis with a background in term rewriting and automata theory. We will collaborate with Helle Hansen from Delft University of Technology (TU Delft) having expertise in logic and coalgebra. At the Vrije Universiteit Amsterdam

[TYPES/announce] Call for Papers :: WIR 2013 :: Workshop on Infinitary Rewriting

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] -- 1st Workshop on Infinitary Rewriting Affiliated with RTA 2013