News | Jörg Endrullis

Apr 28, 2025 PhD defence of Aloïs Rosset: On April 28, 2025, Aloïs Rosset successfully defended his PhD thesis Uniform Monad Presentations and Graph Quasitoposes at the Vrije Universiteit Amsterdam (co-supervised with Helle Hvid Hansen). Congratulations, Aloïs!
Nov 15, 2024 18th International Conference on Graph Transformation (ICGT 2025): Together with Matthias Tichy, I am program committee co-chair of the International Conference on Graph Transformation (ICGT) 2025 in Koblenz, part of STAF 2025. Please consider submitting a paper; submission deadline February 4, 2025 (abstracts January 28, 2025).
Apr 15, 2024 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025): Together with Sylvain Schmitz, I am program committee co-chair of Computer Science Logic (CSL) 2025, held at CWI in Amsterdam. Please consider submitting a paper; submission deadline July 23, 2024 (abstracts July 18, 2024).
Mar 1, 2024 19th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2024): Please consider submitting a paper to the Workshop on Logical and Semantic Frameworks with Applications (LSFA) 2024 in Goiânia, Brazil; submission deadline June 7, 2024 (abstracts May 31, 2024).
Feb 15, 2024 15th International Workshop on Graph Computation Models (GCM 2024): Together with Dominik Grzelak, I am program committee co-chair of the International Workshop on Graph Computation Models (GCM) 2024 in Enschede, part of STAF 2024. Please consider submitting a paper; submission deadline May 14, 2024 (abstracts May 7, 2024).
Jan 30, 2024 PhD defence of Roy Overbeek: On January 30, 2024, Roy Overbeek successfully defended his PhD thesis A Unifying Theory for Graph Transformation at the Vrije Universiteit Amsterdam. Congratulations, Roy!
Nov 15, 2023 17th International Conference on Graph Transformation (ICGT 2024): Please consider submitting a paper to the International Conference on Graph Transformation (ICGT) 2024 in Enschede, part of STAF 2024; submission deadline February 27, 2024 (abstracts February 20, 2024).
Aug 1, 2022 Invited talk and tutorial at TERMGRAPH 2022: I gave an invited talk PBPO+ Graph Rewriting in Context at the 12th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2022), part of FLoC 2022 in Haifa, Israel. Together with Roy Overbeek, I also gave a tutorial on PBPO+ graph rewriting; see our paper A PBPO+ Graph Rewriting Tutorial.
Aug 6, 2019 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS): Please consider submitting a paper to the ACM/IEEE Symposium on Logic in Computer Science (LICS) 2020; submission deadline January 6, 2020.
Jun 9, 2019 Vidi grant!: The Dutch Research Council (NWO) has awarded me a Vidi grant. This grant enables me to hire a research team to work on challenging problems in automata theory.
Jan 5, 2019 8th Int. Workshop on Confluence: Consider submitting a paper to the International Workshop on Confluence (IWC) 2019; submission deadline April 22, 2019.
Jul 25, 2018 Welcome to Jekyll!: You’ll find this post in your _posts directory. Go ahead and edit it and re-build the site to see your changes. You can rebuild the site in many different ways, but the most common way is to run jekyll serve, which launches a web server and auto-regenerates your site when a file is updated.
Jan 5, 2018 9th Workshop on Higher-Order Rewriting: Please consider contributing to the Workshop on Higher-Order Rewriting (HOR) 2018; submission deadline July 7, 2018.
Mar 6, 2017 6th Int. Workshop on Confluence: Please consider contributing to the International Workshop on Confluence (IWC) 2017; submission deadline July 5, 2017.
Aug 10, 2016 44th Int. Colloquium on Automata, Languages, and Programming: Please consider contributing a paper to the International Colloquium on Automata, Languages, and Programming (ICALP) 2017; submission deadline February 17, 2017.
Apr 8, 2016 Invited talk at TERMGRAPH 2016: I gave an invited talk Non-Termination of Cycle Rewriting by Finite Automata at the 9th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2016), part of ETAPS 2016 in Eindhoven.
Feb 28, 2016 15th Int. Workshop on Termination: Please consider submitting a paper to the International Workshop on Termination (WST) 2016; submission deadline June 22, 2016.
Oct 28, 2015 Invited talk at the workshop Automatic Sequences, Number Theory, Aperiodic Order: I gave an invited talk Finite State Transducers and Infinite Sequences at the workshop Automatic Sequences, Number Theory, Aperiodic Order in Delft, the Netherlands.
Sep 14, 2015 Invited talk at WORDS 2015: I gave an invited talk Degrees of Transducibility at the 10th International Conference on Combinatorics on Words (WORDS 2015) in Kiel, Germany. For more on this topic, see my research page on finite state transducers.
Aug 3, 2015 11th Int. Workshop on Rewriting Logic and its Applications: Consider contributing to the International Workshop on Rewriting Logic and its Applications (WRLA) 2016; submission deadline January 15, 2016.
Jul 5, 2015 Best paper award at RTA 2015: Our paper on A Coinductive Framework for Infinitary Rewriting and Equational Reasoning got the best paper award at RTA 2015!
May 1, 2015 Research visit at the University of Turku, Finland: Visiting the group of Juhani Karhumäki at the University of Turku, Finland, for 2 weeks.
Mar 26, 2015 20th Int. Conference on Logic for Programming, Artificial Intelligence and Reasoning: Please consider submitting a paper to the International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR). submission deadline June 30, 2015.
Feb 12, 2014 10th Int. Workshop on Developments in Computational Models: Please consider contributing to the 10th International Workshop on Developments in Computational Models (DCM) 2014; submission deadline May 16, 2014.
Feb 3, 2014 Conference on Theoretical Computer Science 2014: Please consider submitting a paper to the Conference on Theoretical Computer Science (TCS) 2014; submission deadline April 27, 2014.
Jan 21, 2014 2nd Workshop on Infinitary Rewriting: Please consider contributing to the Workshop on Infinitary Rewriting (WIR) 2014; submission deadline April 30, 2014.
Sep 18, 2013 12th International Workshop on Coalgebraic Methods in Computer Science: Please consider submitting a paper to the International Workshop on Coalgebraic Methods in Computer Science (CMCS) 2014; submission deadline January 6, 2014.
Aug 1, 2013 Visiting professor at Indiana University, USA: Visiting Larry Moss at Indiana University in Bloomington, USA, for 5 months.
Mar 15, 2013 1st International Workshop on Infinitary Rewriting (WIR 2013): I am organizing the first Workshop on Infinitary Rewriting (WIR 2013), held on June 28, 2013 in Eindhoven as part of the International Conference on Rewriting, Deduction, and Programming (RDP) 2013. Please consider contributing a talk!
Mar 11, 2013 19th Int. Conference on Logic for Programming, Artificial Intelligence and Reasoning: Please consider submitting a paper to the International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR); submission deadline July 22, 2013.
Jun 24, 2012 Invited tutorial at LICS 2012: Together with Jan Willem Klop, I gave the invited tutorial Term Rewriting and Lambda Calculus at the 27th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2012) in Dubrovnik, Croatia.
Oct 24, 2011 12th Int. Workshop on Termination: Consider contributing to the International Workshop on Termination (WST) 2012; submission deadline January 22, 2012.
Aug 11, 2011 23rd Int. Conference on Rewriting Techniques and Applications: Please consider contributing to the International Conference on Rewriting Techniques and Applications (RTA) 2012; submission deadline January 11, 2012.
Jul 15, 2010 Veni grant!: The Netherlands Organisation for Scientific Research (NWO) has awarded me a Veni grant for my project A Term Rewriting Perspective on Program Termination.
Jul 1, 2009 Best paper award at RTA 2009: Our paper on From Outermost to Context-Sensitive Rewriting got the best paper award at RTA 2009!
Oct 1, 2008 Visiting researcher at NICTA in Sydney, Australia: Visiting Ansgar Fehnker and Rob van Glabbeek at NICTA in Sydney, Australia, from October to December.