[TYPES/announce] Postdoc position in automata and concurrency theory at the University of Warsaw
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We invite applications of motivated and research-focused individuals to carry out research on mathematical models of concurrent systems as part of the NCN project "Frontiers of automatic analysis of concurrent systems". The project aims at advancing theoretical foundations at the borderline between automata theory, concurrency and formal verification. The successful candidate will be hosted by the automata theory group at the University of Warsaw, offering: - a vibrant working atmosphere, - exciting and challenging research problems, - competitive salary, - collaborations worldwide. ** - Application deadline: May 25, 2023 - Starting date: flexible - Duration: one year, possible extension to another year - Principal investigator: Slawomir Lasota (https://urldefense.com/v3/__http://www.mimuw.edu.pl/*sl__;fg!!IBzWLUs!S4XLjs3gkFcYkQ3PSrdNZaHGAp4ZtdvOy0saU95hcu5Y23A8l_anoTyRGRYHrXRj_2nqYyeOktcv08Hmc7VT-PQlTbKSPNWbYQ$ ) - Contact: s...@mimuw.edu.pl ** The ideal candidate is expected to have: - PhD degree or equivalent in computer science or math - solid background in formal methods or automata theory - excellent publication record - strong motivation for research work in foundations of computer science - advanced skills in written and spoken English. For details of application and recruitment procedure, please contact Sławomir Lasota at s...@mimuw.edu.pl
[TYPES/announce] Postdoc position in automata and concurrency theory, at the University of Warsaw
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We invite applications of motivated and research-focused individuals to carry out research on Petri nets and their extensions as part of the NCN project "Data-enriched models of computation". The project aims at advancing theoretical foundations at the borderline between automata theory, concurrency and formal verification. The successful candidate will be hosted by the automata theory group at the University of Warsaw, offering a vibrant working atmosphere, and exciting and challenging research problems. ** - Application deadline: November 30, 2022 - Starting date: flexible - Duration: one year, possible extension to another year - Principal investigator: Slawomir Lasota (https://urldefense.com/v3/__http://www.mimuw.edu.pl/*sl__;fg!!IBzWLUs!Teyogg7Xi7WiQvgI177N8amJu29J6mt7iUfhFa5eIgg7cjoBRFFDfPKjLQmW7vXJV6WdpQ_pb3RJ2vwIv1akIHwe9uuYicML7w$ ) - Contact: s...@mimuw.edu.pl ** Further details: https://urldefense.com/v3/__https://www.mimuw.edu.pl/*sl/2022-postdoc-recr.txt__;fg!!IBzWLUs!Teyogg7Xi7WiQvgI177N8amJu29J6mt7iUfhFa5eIgg7cjoBRFFDfPKjLQmW7vXJV6WdpQ_pb3RJ2vwIv1akIHwe9uv7MAn2JA$
[TYPES/announce] postdoc position, University of Warsaw
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [ erratum: mistaken salary amount corrected ] Postdoc position in automata theory, University of Warsaw ** - Application deadline: March 31, 2022 - Starting date: As soon as possible - Salary: 27.000 EUR per annum (very competitive in Poland) - Duration: one year, possible extension to another year - Project: "Data-enriched models of computation" funded by NCN - Principal investigator: Prof. Sławomir Lasota (https://urldefense.com/v3/__http://www.mimuw.edu.pl/*sl__;fg!!IBzWLUs!EHBRhAjeYEDUNQwhE6Oizf3ysQHhCfrM64bEGeqiw5AEo4uvAQEo_0JzR29C8gnYnG9kBakO3hXXeA$ ) - Contact: s...@mimuw.edu.pl ** The project aims at advancing theoretical foundations at the borderline between automata theory, concurrency and verification. We promise, except for very competitive salary, a vibrant working atmosphere in the automata group at the University of Warsaw, and exciting and challenging research problems. The ideal candidate is expected to have: • PhD degree or equivalent in computer science or math • Solid background in formal methods and automata theory • Significant publication record • Strong motivation for research work in foundations of computer science • Advanced skills in written and spoken English. To apply, please send your curriculum vitae to s...@mimuw.edu.pl.
[TYPES/announce] CONCUR 2022: 2nd CFP
, Université de Paris, France Bernd Finkbeiner, CISPA Helmholtz Center for Information Security, Germany Blaise Genest, CNRS, France Rob van Glabbeek, CSIRO, Sydney, Australia Daniele Gorla, University of Rome La Sapienza, Italy Jean Goubault-Larrecq, ENS Paris-Saclay, France Ichiro Hasuo, National Institute of Informatics, Japan Marcin Jurdzinski, The University of Warwick, UK Stefan Kiefer, University of Oxford, UK Bartek Klin, University of Oxford, UK (co-chair) Barbara König, University of Duisburg-Essen, Germany Sławomir Lasota, University of Warsaw, Poland (co-chair) Martin Leucker, University of Lübeck, Germany Bas Luttik, Eindhoven University of Technology, The Netherlands P. Madhusudan, University of Illinois at Urbana-Champaign, US Hernan Melgratti, Universidad de Buenos Aires, Argentina Anca Muscholl, Bordeaux University, France (co-chair) Jan Otop, University of Wrocław, Poland Joel Ouaknine, Max Planck Institute for Software Systems, Germany Jean-François Raskin, Université libre de Bruxelles, Belgium Grigore Rosu, University of Illinois at Urbana-Champaign, US Jurriaan Rot, Radboud University, The Netherlands Davide Sangiorgi, University of Bologna, Italy Alexandra Silva, University College London, UK and Cornell University, US Paweł Sobociński, Tallinn University of Technology, Estonia Ana Sokolova, University of Salzburg, Austria Alwen Tiu, The Australian National University, Australia Frits Vaandrager, Radboud University, The Netherlands Nobuko Yoshida, Imperial College London, UK Lijun Zhang, Chinese Academy of Sciences, China STEERING COMMITTEE Javier Esparza, TU München, Germany (chair) Pedro D’Argenio, National University of Cordoba, Argentina Wan Fokkink, Vrije Universiteit Amsterdam, The Netherlands Joost-Pieter Katoen, RWTH, Germany Catuscia Palamidessi, INRIA and Ecole Polytechnique, France Davide Sangiorgi, University of Bologna, Italy Jiri Srba, Aalborg University, Denmark
[TYPES/announce] postdoc position, University of Warsaw
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Postdoc position in automata theory, University of Warsaw ** - Application deadline: March 31, 2022 - Starting date: As soon as possible - Salary: 27.000 PLN per annum (very competitive in Poland) - Duration: one year, possible extension to another year - Project: "Data-enriched models of computation" funded by NCN - Principal investigator: Prof. Sławomir Lasota (https://urldefense.com/v3/__http://www.mimuw.edu.pl/*sl__;fg!!IBzWLUs!BtApIM-cXc3QIz-uFVhZyCjZ2BOhP7hAkMH_R2QVfeCgW11UeT8lSuTsD640A1V5VM0Mc321-Gz1Ew$ ) - Contact: s...@mimuw.edu.pl ** The project aims at advancing theoretical foundations at the borderline between automata theory, concurrency and verification. We promise, except for very competitive salary, a vibrant working atmosphere in the automata group at the University of Warsaw, and exciting and challenging research problems. The ideal candidate is expected to have: • PhD degree or equivalent in computer science or math • Solid background in formal methods and automata theory • Significant publication record • Strong motivation for research work in foundations of computer science • Advanced skills in written and spoken English. To apply, please send your curriculum vitae to s...@mimuw.edu.pl.
[TYPES/announce] PhD position, University of Warsaw
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] PhD position in concurrency theory, University of Warsaw ** Fully-Funded 4-year Ph.D. position in automata theory Department of Mathematics, Informatics and Mechanics, University of Warsaw Project: "Frontiers of automatic analysis of concurrent systems" funded by NCN Principal investigator: Prof. Sławomir Lasota (https://urldefense.com/v3/__http://www.mimuw.edu.pl/*sl__;fg!!IBzWLUs!GLJkhlvh4of-oECqW9D3qenJPM0LZpSxW-R36qAtkltVcopJeR7gyE0mX0ECMYjH--NPA_4sVndI9g$ ) Contact: s...@mimuw.edu.pl Start: Oct 1, 2022 (or earlier) Application deadline: April 15, 2022 ** We offer a fully-funded PhD position within the NCN grant "Frontiers of automatic analysis of concurrent systems". The project aims at advancing theoretical foundations at the borderline between automata theory, concurrency and verification, but anticipates also development of prototype analysis tools. A successful candidate is expected to enroll into the PhD program in the University of Warsaw. We offer: • very competitive salary • vibrant working atmosphere in the automata group at Warsaw • exciting and challenging research problems • scientific collaborations worldwide. The successful candidate is expected to have: • Master’s degree or equivalent in computer science or math • solid background in formal methods and automata theory • strong motivation for research work in foundations of computer science • advanced skills in written and spoken English.
[TYPES/announce] Highlights of Logic, Games, and Automata 2021: 3rd Call for Presentations
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] HIGHLIGHTS 2021: 9th annual conference on Highlights of LOGIC, GAMES, and AUTOMATA 15-17 September 2021, online (originally planned to be held in Aachen) http://highlights-conference.org We invite submissions for contributed talks (around 10 minutes). IMPORTANT DATES: + Submission deadline: 4 JUNE AoE + Notification: 18 JUNE SUBMISSION WEB PAGE: https://easychair.org/conferences/?conf=highlights2021 HIGHLIGHTS 2021 is the 9th conference on Highlights of Logic, Games, and Automata that aims to integrate the diverse research community working in the areas of Logic, Finite Model Theory, Automata Theory, Games and Verification. Individual papers are dispersed across many conferences, which makes them challenging to follow. Participating in the annual Highlights conference offers a wide picture of the latest research in the field and a chance to meet and interact with most of the members of the research community. The speakers are encouraged to present their best recent work at Highlights, whether already published elsewhere or not. The three-day conference (15-17 September) will be preceded by a tutorial day (14 September). This year's edition will be held online, with no registration fees or with a moderate one (around 10 EUR). TUTORIALS (September 14) + Christoph Haase, "A guided tour through Presburger arithmetic and friends" + Michał Pilipczuk, "Old and new advances in model checking first order logic" KEYNOTES + Rajeev Alur + Balder ten Cate + Karoliina Lehtinen + Nutan Limaye + Joel Ouaknine
[TYPES/announce] Highlights of Logic, Games, and Automata 2021: 1st Call for Presentations
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] HIGHLIGHTS 2021: 9th annual conference on Highlights of LOGIC, GAMES, and AUTOMATA 15-17 September 2021, Aachen (but most probably online) http://highlights-conference.org We invite submissions for contributed talks (around 10 minutes). IMPORTANT DATES: + Submission deadline: 4 JUNE, 7pm GMT + Notification: 18 JUNE, 7pm GMT Submission instructions and more detailed information about the conference to be found at http://highlights-conference.org HIGHLIGHTS 2021 is the 9th conference on Highlights of Logic, Games, and Automata that aims to integrate the diverse research community working in the areas of Logic, Finite Model Theory, Automata Theory, Games and Verification. Individual papers are dispersed across many conferences, which makes them challenging to follow. Participating in the annual Highlights conference offers a wide picture of the latest research in the field and a chance to meet and interact with most of the members of the research community. The speakers are encouraged to present their best recent work at Highlights, whether already published elsewhere or not. There will be a tutorial day (14 September) and three days for the conference (15-17 September). This year's edition will be most probably held online, with no registration fees. TUTORIAL (September 14) + Christoph Haase + Michał Pilipczuk KEYNOTES + Rajeev Alur + Balder ten Cate + Karoliina Lehtinen + Nutan Limaye + Joel Ouaknine
[TYPES/announce] Fundamenta Informaticae ---> OPEN ACCESS
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We are happy to announce that Fundamenta Informaticae, a journal with over four decades of tradition, has moved to the open-access episciences.org platform. The journal was established in 1977 by Helena Rasiowa, and has been publishing scientific works in theoretical foundations of Computer Science ever since. With the move to episciences.org, an established overlay journal platform, we are embracing open access as a necessity for modern academic publication venues. At the same time, we shall keep the production of printed issues distributed by the IOS publishing house. Please consider submitting your best work to us. We are also open for suggestions of special issues in the general field of Theoretical Computer Science. Best regards, Damian Niwiński (editor-in-chief) Bartek Klin (managing editor) Sławek Lasota (managing editor)