[TYPES/announce] PhD position in rewriting for fault trees

or applications can be sent directly to me at c@cs.ru.nl Cynthia Kop.

[TYPES/announce] Open PhD position at Radboud University Nijmegen

. The initial application deadline is 29 April, but will be extended if no suitable candidate is found by that time. *The project* As a PhD candidate, you will work with Dr Cynthia Kop on the NWO-funded project `/Implicit Complexity through Higher Order Rewriting/’. The work will be carried out

[TYPES/announce] Open PhD Position at Radboud University Nijmegen

erm rewriting systems with logical constraints, and apply these techniques towards program analysis. You can build on several existing approaches, but will have a lot of freedom to define your own direction. You will be supervised by Dr Cynthia Kop. If you wish to learn more, feel free to s

[TYPES/announce] PhD position in higher-order rewriting and program equivalence at Radboud University Nijmegen

ype analysis tool. You will be supervised by Dr Cynthia Kop. If you wish to learn more, feel free to send an e-mail to c@cs.ru.nl. *Work environment* Strategically located in Europe, Radboud University is one of the leading academic communities in the Netherlands. It is a pl

[TYPES/announce] WST 2022 - Call for Papers

$ to prepare your submission. PROGRAM COMMITTEE:   * Jose Divasón - U. de La Rioja   * Florian Frohn - AbsInt GmbH   * Jera Hensel - RWTH Aachen   * Dieter Hofbauer - ASW Saarland   * Sebastiaan Joosten - Dartmouth College   * Cynthia Kop (chair) - Radboud U. Nijmegen   * Akihisa Yamada - AIST, Japan

[TYPES/announce] WST 2022: final call for papers (submission deadline changed!)

College   * Cynthia Kop (chair) - Radboud U. Nijmegen   * Akihisa Yamada - AIST, Japan   * Hans Zantema - Eindhoven U. of Technology

[TYPES/announce] WPTE 2023 Call for Papers

Ciobaca, Alexandru Ioan Cuza University, Romania (co-chair) Carsten Fuhs, Birkbeck University of London, United Kingdom Mirai Ikebuchi, National Institute of Informatics, Japan Cynthia Kop, Radboud University, The Netherlands (co-chair) David Nowak, CNRS, France Rubén Rubio, Universidad Complutense

[TYPES/announce] WPTE 2023 -- second Call for Papers and deadline extension

--- Adam Barwell, University of St Andrews, United Kingdom Stefan Ciobaca, Alexandru Ioan Cuza University, Romania (co-chair) Carsten Fuhs, Birkbeck University of London, United Kingdom Mirai Ikebuchi, National Institute of Informatics, Japan Cynthia Kop, Radboud

[TYPES/announce] Meeting IFIP WG 1.6 on Rewriting (5 July 2023): Call for Participation

-- * Chair: Cynthia Kop, Radboud University Nijmegen * Co-Chair and secretary: Carsten Fuhs, Birkbeck, University of London * More information about IFIP WG 1.6: https://urldefense.com/v3/__https://ifip-wg-rewriting.cs.ru.nl/__;!!IBzWLUs

[TYPES/announce] LSFA 2024: Second Call For Papers

(Universidade do Porto, Portugal)     André Galdino (Universidade Federal de Catalão, Brazil)     Alex Kavvos (University of Bristol, UK)     Dohan Kim (University of Innsbruck, Austria)     Cynthia Kop (Radboud University Nijmegen, The Netherlands) -- chair     Thaynara Arielly de Lima (Universidade

[TYPES/announce] LSFA 2024: CALL FOR PAPERS

)     Mário Florido (Universidade do Porto, Portugal)     André Galdino (Universidade Federal de Catalão, Brazil)     Alex Kavvos (University of Bristol, UK)     Dohan Kim (University of Innsbruck, Austria)     Cynthia Kop (Radboud University Nijmegen, The Netherlands) -- chair     Thaynara Arielly de Lima

[TYPES/announce] deadline extended: LSFA 2024

)     Mário Florido (Universidade do Porto, Portugal)     André Galdino (Universidade Federal de Catalão, Brazil)     Alex Kavvos (University of Bristol, UK)     Dohan Kim (University of Innsbruck, Austria)     Cynthia Kop (Radboud University Nijmegen, The Netherlands) -- chair     Thaynara Arielly de