News | Jörg Endrullis

Sep 15, 2019 PhD Vacancy: We are seeking applications for a fully-funded, 4-year PhD position in the Section of Theoretical Computer Science of the Vrije Universiteit Amsterdam (VUA). The goal of the project is the development of techniques for reasoning about automata that transform finite and infinite words (also known as transducers).
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.
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.
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.
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 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.
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 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.