October 2019 - Categories - categories.org.au

Volume LX-4 of the "Cahiers"
by Andrée Ehresmann 20 Oct '19

20 Oct '19

Dear colleagues, We are pleased to inform you that Volume LX-4 (4e trimester 2019) of the ?? Cahiers ?? is now freely downloadable from the two websites of the ?? Cahiers ?? : as a whole issue on the site https://ehres.pagesperso-orange.fr/Cahiers/Ctgdc.htm <http://ehres.pagesperso-orange.fr/Cahiers/Ctgdc.htm> and as separate articles on the site http://cahierstgdc.com <http://cahierstgdc.com> Hoping you???ll enjoy reading this new issue, Best regards, Andree Ehresmann, Marino Gran and Rene Guitart [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Open CfP: TYPES 2019 post-proceedings
by Marcus Aloysius Bezem 17 Oct '19

17 Oct '19

TYPES 2019 post-proceedings submission deadline: 11 November 2019 Open call for papers Post-proceedings of the 25th International Conference on Types for Proofs and Programs TYPES 2019 TYPES is a major forum for the presentation of research on all aspects of type theory and its applications. TYPES 2019 was held 11-14 June in Oslo, Norway. The post-proceedings volume will be published in LIPIcs, Leibniz International Proceedings in Informatics, an open-access series of conference proceedings (http://www.dagstuhl.de/en/publications/lipics) Submission to this post-proceedings volume is open to everyone, also to those who did not participate in the conference. We welcome high-quality descriptions of original work, as well as position papers, overview papers, and system descriptions. Submissions should be written in English, not overlapping with published or simultaneously submitted work to a journal or a conference with archival proceedings. The scope of the post-proceedings is the same as the scope of the conference: the theory and practice of type theory. In particular, we welcome submissions on the following topics: * Foundations of type theory and constructive mathematics; * Homotopy type theory and univalent mathematics; * Applications of type theory; * Dependently typed programming; * Industrial uses of type theory technology; * Meta-theoretic studies of type systems; * Proof assistants and proof technology; * Automation in computer-assisted reasoning; * Links between type theory and functional programming; * Formalizing mathematics using type theory. IMPORTANT DATES * Abstract submission: 4 November 2019 * Paper submission: 11 November 2019 * Author notification: 25 March 2020 DETAILS * Papers have to be formatted with LIPIcs style (currently lipics-v2019.cls) and adhere to the style requirements of LIPIcs: http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/ * The upper limit for the length of submissions is 20 pages * Papers have to be submitted in pdf through EasyChair: https://easychair.org/conferences/?conf=types2019postproc * Authors have the option to attach to their submission a zip or tgz file containing code (formalized proofs or programs), but reviewers are not obliged to take the attachments into account and they will not be published. * In case of questions, e.g. on the page limit, contact one of the editors. EDITORS Marc Bezem, Marc.Bezem(a)uib.no, University of Bergen, Norway Assia Mahboubi, assia.mahboubi(a)inria.fr, Inria -- Vrije Universiteit Amsterdam [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Manifesto for Inclusivity
by Eugenia Cheng 14 Oct '19

14 Oct '19

Dear All, During CT 2018 we had an informal discussion session about issues of diversity and inclusion in the Category Theory community and beyond. One idea that arose was to write some sort of "Manifesto for Inclusivity", which I then did, but after showing it to a few people I promptly became too afraid to disseminate it any further. At the highly galvanising workshop that Emily Riehl organised last month on "Professional Norms in Mathematics", many participants urged me to share it, come what may. So here it is. I'm not quite sure what to suggest is done with it but here are some suggestions: a) Conference organisers who believe in it could include it (or a version of it) on the conference website, in conference announcements, and even acknowledge it out loud at the start of a conference. b) Individuals could include it (or a version of it) on their own webpages, as I have now done here: http://eugeniacheng.com/inclusivity/ Incidentally, on this page I have also included a link to Spectra, the association for LGBTQ+ mathematicians, where everyone can sign up to the Out List or the Ally List. http://www.lgbtmath.org/ c) Someone more technically adept than me could make a sign-up form so that we could compile a list of people in the community who agree with this. In the meantime, if you'd like to put your name to it you could email me privately and I could add names to my page manually until the administration of such an ad hoc system becomes too much for me. Best wishes, Eugenia ----------------- Manifesto for inclusivity in Category Theory 1. We believe in inclusivity, that is, a policy of including people who might otherwise be excluded, disadvantaged, or marginalised. 2. Some groups are under-represented or are a minority in our community, and this is not evidence that they are less worthy. 3. We acknowledge many ways in which people can be unfairly disadvantaged in our community including, but not limited to: gender and gender identity, race and ethnicity, sexuality, disability, native language, country, culture, socioeconomic status, institution, seniority, juniority, job title, access to grants. 4. We believe in actively working together to counteract these disadvantages. 5. We believe in the value of a wide range of contributions to our community besides research, including, but not limited to: - exposition - teaching - mentoring - organising conferences 6. We recognise that we are all more advantaged than some people and less advantaged than some other people. We commit to acknowledging our own advantages and compassionately supporting those who experience disadvantages different from our own. [Manifesto for Inclusivity by Eugenia Cheng is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.] --- Dr Eugenia Cheng Scientist In Residence: School of the Art Institute of Chicago Honorary Visiting Fellow of Pure Mathematics: City, University of London www.eugeniacheng.com twitter.com/DrEugeniaCheng [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

4 3

PhD position at University of Birmingham, UK
by Benedikt Ahrens 13 Oct '19

13 Oct '19

Dear All, I would like to invite applications for a fully-funded PhD position in the School of Computer Science at the University of Birmingham, UK. The PhD student will work me on topics related to categorical semantics of programming languages and computer theorem proving. Students broadly interested in these fields of research are strongly encouraged to apply. Topics of particular interest are: * Syntax and semantics of type theory * Formalisation of mathematics in univalent foundations * Directed type theory * Algebraic specification of programming languages Applicants should hold, or be about to obtain, a Masters or Bachelor degree in Computer Science or Mathematics. The PhD position is fully funded, covering tuition fees and a tax-free scholarship. Healthcare is provided for free. Please, do not hesitate to contact me by email for further details: b.ahrens(a)cs.bham.ac.uk In addition, feel free to browse my webpage for more information on my research interests: https://benediktahrens.net The theory group at Birmingham's School of Computer Science is very active, organising regular seminars and informal meetings. Many relevant international events frequently take place in Birmingham such as YaMCATS category theory seminar, Midlands Graduate School, and Workshops on Univalent Mathematics. For more information see http://www.cs.bham.ac.uk/research/groupings/theory/. Information on how to apply is given on http://www.cs.bham.ac.uk/admissions/postgraduate-research/. However, interested candidates are strongly encouraged to contact me in the first instance. Benedikt Ahrens [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

CMCS 2020: First Call for Papers
by Henning Basold 12 Oct '19

12 Oct '19

Call for Papers The 15th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS'20) Dublin, Ireland, 25 - 26 April 2020 (co-located with ETAPS 2020) www.coalg.org/cmcs20 Objectives and scope -------------------- Established in 1998, the CMCS workshops aim to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop series strives to maintain breadth in its scope, areas of interest include neighbouring fields as well. Topics of interest include, but are not limited to, the following: - the theory of coalgebras (including set theoretic and categorical approaches); - coalgebras as computational and semantical models (for programming languages, dynamical systems, term rewriting, etc.); - coalgebras in (functional, object-oriented, concurrent, and constraint) programming; - coalgebraic data types, type systems and behavioural typing; - coinductive definition and proof principles for coalgebras (including "up-to" techniques); - coalgebras and algebras; - coalgebras and (modal) logic; - coalgebraic specification and verification; - coalgebra and control theory (notably of discrete event and hybrid systems); - coalgebra in quantum computing; - coalgebra and game theory; - tools exploiting coalgebraic techniques. Venue and event --------------- CMCS'20 will be held in Dublin, Ireland, co-located with ETAPS 2020 on 25 - 26 April 2020. Important dates (tentative) --------------------------- Abstract regular papers 6 January 2020 Submission regular papers 10 January 2020 Notification 12 February 2020 Camera-ready copy 21 February 2020 Submission short contributions 26 February 2020 Notification short contributions 11 March 2020 Programme committee ------------------- Henning Basold, Leiden University, the Netherlands Nick Bezhanishvili, University of Amsterdam, the Netherlands Corina Cirstea, University of Southampton, United Kingdom Mai Gehrke, CNRS and Université Côte d'Azur, France Helle Hvid Hansen, Delft University of Technology, The Netherlands Shin-Ya Katsumata, National Institute of Informatics, Japan Bartek Klin, Warsaw University, Poland Ekaterina Komendantskaya, Heriot-Watt University, United Kingdom Barbara König, University of Duisburg-Essen, Germany Dexter Kozen, Cornell University, USA Clemens Kupke, University of Strathclyde, United Kingdom Alexander Kurz, Chapman University, USA Daniela Petrisan, Université Paris 7, France Andrei Popescu, Middlesex University London, United Kingdom Damien Pous, CNRS and ENS Lyon, France Jurriaan Rot, UCL and Radboud University, The Netherlands Davide Sangiorgi, University of Bologna, Italy Ana Sokolova, University of Salzburg, Austria David Sprunger, National Institute of Informatics, Japan Henning Urbat, University of Erlangen-Nuremberg, Germany Fabio Zanasi, University College London, United Kingdom Publicity chair --------------- Henning Basold, Leiden University, The Netherlands PC co-chairs -------------- Daniela Petrisan, Université Paris 7, France Jurriaan Rot, UCL and Radboud University, The Netherlands Steering committee ------------------ Filippo Bonchi, University of Pisa, Italy Marcello Bonsangue, Leiden University, The Netherlands Corina Cirstea, University of Southampton, United Kingdom Ichiro Hasuo, National Institute of Informatics, Japan Bart Jacobs, Radboud University Nijmegen, The Netherlands Bartek Klin, University of Warsaw, Poland Alexander Kurz, University of Leicester, United Kingdom Marina Lenisa, University of Udine, Italy Stefan Milius (chair), University of Erlangen-Nuremberg, Germany Larry Moss, Indiana University, USA Dirk Pattinson, Australian National University, Australia Lutz Schröder, University of Erlangen-Nuremberg, Germany Alexandra Silva, University College London, United Kingdom Submission guidelines --------------------- We solicit two types of contributions: regular papers and short contributions. Regular papers must be original, unpublished, and not submitted for publication elsewhere. They should not exceed 20 pages in length in Springer LNCS style. Short contributions may describe work in progress, or summarise work submitted to a conference or workshop elsewhere. They should be no more than two pages. Regular papers and short contributions should be submitted electronically as a PDF file via the Easychair system at http://www.easychair.org/conferences/?conf=cmcs2020. The proceedings of CMCS 2020 will include all accepted regular papers and will be published post-conference as a Springer volume in the IFIP-LNCS series (pending approval). Accepted short contributions will be bundled in a technical report. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

ETAPS 2020 final joint call for papers
by Tarmo Uustalu 11 Oct '19

11 Oct '19

****************************************************************** JOINT CALL FOR PAPERS 23rd European Joint Conferences on Theory and Practice of Software ETAPS 2020 Dublin, Ireland, 25-30 April 2020 http://www.etaps.org/2020 ****************************************************************** -- ABOUT ETAPS -- ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences, accompanied by satellite workshops. ETAPS 2020 is the twenty-third event in the series. -- MAIN CONFERENCES (27-30 April) -- * ESOP: European Symposium on Programming (PC chair: Peter Müller, ETH Zürich, Switzerland) * FASE: Fundamental Approaches to Software Engineering (PC chairs: Heike Wehrheim, Universität Paderborn, Germany, and Jordi Cabot, Universitat Oberta de Catalunya, Spain) * FoSSaCS: Foundations of Software Science and Computation Structures (PC chairs: Barbara König, Univ Duisburg-Essen, Germany, and Jean Goubault-Larrecq, LSV, ENS Paris-Saclay, France) * TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs: Armin Biere, Johannes-Kepler-Univ Linz, Austria, and David Parker, University of Birmingham, United Kingdom) TACAS '20 will host the 9th Competition on Software Verification (SV-COMP). POST, which was an ETAPS conference 2012-2019, has been discontinued. -- INVITED SPEAKERS -- * Unifying speakers: Lars Birkedal (Aarhus Universitet, Denmark) Jane Hillston (University of Edinburgh, United Kingdom) * ESOP invited speaker: Isil Dillig (University of Texas at Austin, USA) * FASE invited speaker: Willem Visser (Stellenbosch University, South Africa) -- IMPORTANT DATES * Papers due: 24 October 2019 23:59 AoE (=GMT-12) * Rebuttal (ESOP, FoSSaCS and, for selected papers, TACAS): 9 December 00:01 AoE - 10 December 23:59 AoE * Notification: 23 December 2019 * Camera-ready versions due: 22 February 2020 -- SUBMISSION INSTRUCTIONS -- The four main conferences of ETAPS 2020 solicit contributions of the following types. All page limits are given **excluding bibliography**. * ESOP: regular research papers of max 25 pp * FASE: regular research papers and empirical evaluation papers of max 18 pp, tool demonstration papers of max 6 pp + mandatory appendix of max 6 pp, * FoSSaCS: regular research papers of max 18 pp * TACAS: regular research papers, case study papers and regular tool papers of max 16 pp, tool demonstration papers of max 6 pp For definitions of the different paper types and specific instructions, where they are present, see the webpages of the individual conferences. All accepted papers will appear in the conference proceedings and have presentations during the conference. A condition of submission is that, if the submission is accepted, one of the authors attends the conference to give the presentation. Submitted papers must be in English presenting original research. They must be unpublished and not submitted for publication elsewhere. In particular, simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden. Submissions must follow the formatting guidelines of Springer's LNCS and be submitted electronically in pdf through the Easychair author interface of the respective conference. Submissions not adhering to the specified format and length may be rejected immediately. FASE will use double-blind reviewing. Authors are asked to omit their names and institutions; refer to own prior work in the third person; not to include acknowledgements that might identify them. Regular tool paper and tool demonstration paper submissions to TACAS must be accompanied by an artifact. The artifact will be evaluated and the outcome will be taken into account in the acceptance decision of the paper. ESOP and FoSSaCS will use an author rebuttal phase. TACAS will have rebuttal for selected papers. -- PUBLICATION The proceedings will be published in the Advanced Research in Computing and Software Science (ARCoSS) subline of Springer's LNCS series. The proceedings volumes will appear in gold open access, so the published versions of all papers will be available for everyone to download from the publisher's website freely, from the date of online publication, perpetually. The copyright of the papers will remain with the authors. -- SATELLITE EVENTS (25-26 April) -- A number of satellite workshops will take place before the main conferences. * 25-26 April (two days): CMCS, GALOP, SynCoP, VerifyThis, VPT, WADT, WRLA * 25 April: CREST, InterAVT, MSFP, TEASE-LP * 26 April: HCVS, MARS, MeTRiD, PLACES, RW -- CITY AND HOST INSTITUTION -- Dublin (Baile Átha Cliath) is the capital and largest city of the Republic of Ireland. It is situated on the East coast of Ireland, at the mouth of the River Liffey, at the centre of the Greater Dublin area with 1.9 million inhabitants. Dublin is a historical and contemporary centre for education, the arts, administration and industry. As of 2018 the city was listed by the Globalization and World Cities Research Network (GaWC) as a global city, with a ranking of Alpha-, which places it among the top thirty cities in the world. ETAPS 2020 is organised by the University of Limerick in cooperation with Lero, the Irish Software Research Centre spanning 9 universities and ITs in Ireland. -- ORGANIZERS -- General chair: Tiziana Margaria (University of Limerick and Lero, Ireland) Workshop chairs: Falk Howar (Technische Universität Dortmund, Germany) and Peter Höfner (Data61, Australia) Practical organization: Easy Conferences -- FURTHER INFORMATION -- Please do not hesitate to contact the general chair at <tiziana.margaria(a)lero.ie>. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

27th WoLLIC 2020 (Lima, Peru) - 1st Call for Papers
by Ruy de Queiroz 10 Oct '19

10 Oct '19

[Please circulate. Apologies for multiple copies.] CALL FOR PAPERS WoLLIC 2020 27th Workshop on Logic, Language, Information and Computation August 4th to 7th, 2020 Lima, Peru ORGANISATION Universidad de Ingenieria y Tecnologia, Lima, Peru Centro de Informática, Universidade Federal de Pernambuco, Brazil CALL FOR PAPERS WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-seventh WoLLIC will be held at Universidad de Ingenieria y Tecnologia, Lima, Peru from August 4th to 7th, 2020. It is scientifically sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL). PAPER SUBMISSION Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; proof mining, type theory, effective learnability; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection; foundations of mathematics; philosophy of mathematics; philosophical logic; philosophy of language. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. Articles should be written in the LaTeX format of LNCS by Springer (see authors instructions at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0) They must not exceed 12 pages, with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. (At least one author is required to pay the registration fee before granting that the paper will be published in the proceedings.) Papers must be submitted electronically at the WoLLIC 2020 EasyChair website. (Please go to http://wollic.org/wollic2020/instructions.html for instructions.) PROCEEDINGS The proceedings of WoLLIC 2020, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published (after a new round of reviewing) as a special post-conference WoLLIC 2020 issue of a scientific journal (to be confirmed). INVITED SPEAKERS (tba) STUDENT GRANTS ASL sponsorship of WoLLIC 2020 will permit ASL student members to apply for a limited travel grant (deadline: 90 days before the event starts). Visit https://aslonline.org/meetings/student-travel-awards/ for details. IMPORTANT DATES April 15, 2020: Full paper deadline May 23, 2020: Author notification May 30, 2019: Final version deadline (firm) PROGRAMME COMMITTEE Carlos Areces (Cordoba, Argentina) Arthur Amorim Azevedo (CMU, USA) Paul Brunet (UCL, UK) Nina Gierasimczuk (Technical University of Denmark, Denmark) Helle Hansen (TU Delft, The Netherlands) Justin Hsu (University of Wisconsin–Madison, USA) Fairouz Kamareddine (Heriot-Watt University, UK) Sandra Kiefer (Aachen University, Germany) Clemens Kupke (Strathclyde University, Scotland) Konstantinos Mamouras (Rice University, USA) Maria Vanina Martinez (Universidad de Buenos Aires, Argentina) Larry Moss (Indiana Univ, USA) Claudia Nalon (University of Brasília, Brazil) Valeria de Paiva (Samsung Research, USA) Elaine Pimentel (UFRN, Brazil) Revantha Ramanayake (TU Wien, Austria) Jurriaan Rot (Radboud University, The Netherlands) Yamilet Serrano (UTEC, Peru) Alexandra Silva (Univ College London) (Co-Chair) Christine Tasson (IRIF, France) Sebastiaan Terwijn (Radboud University, The Netherlands) Renata Wassermann (Univ São Paulo) (Co-Chair) STEERING COMMITTEE Samson Abramsky, Anuj Dawar, Juliette Kennedy, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Lawrence Moss, Luke Ong, Valeria de Paiva, Ruy de Queiroz. ADVISORY COMMITTEE Johan van Benthem, Joe Halpern, Wilfrid Hodges, Angus Macintyre, Hiroakira Ono, Jouko Väänänen. ORGANISING COMMITTEE Ernesto Quadro-Vargas (Universidad de Ingenieria y Tecnologia, Lima, Peru) (Local chair) Anjolina G. de Oliveira (Univ Federal de Pernambuco, Brasil) Ruy de Queiroz (Univ Federal de Pernambuco, Brasil) (co-chair) SCIENTIFIC SPONSORSHIP Interest Group in Pure and Applied Logics (IGPL) The Association for Logic, Language and Information (FoLLI) Association for Symbolic Logic (ASL) European Association for Theoretical Computer Science (EATCS) ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC) Sociedade Brasileira de Computação (SBC) Sociedade Brasileira de Lógica (SBL) SPECIAL SESSION: SCREENING OF MOVIES ABOUT MATHEMATICIANS It is planned to have a special session with the exhibition of a one-hour documentary film about a remarkable mathematician whose contributions were recognized with a Fields Medal just a few years before her untimely death. It is a joint production (still on its course) of The Mathematical Sciences Research Institute (MSRI) and George Csicsery (Zala Films): ‘Secrets of the Surface - The Mathematical Vision of Maryam Mirzakhani’. “The biographical film is about Maryam Mirzakhani, a brilliant woman, and Muslim immigrant to the United States who became a superstar in her field. The story of her life will be complemented with sections about Mirzakhani’s mathematical contributions, as explained by colleagues and illustrated with animated sequences. Throughout, we will look for clues about the sources of Mirzakhani’s insights and creativity." (http://www.zalafilms.com/secrets/) FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE http://wollic.org/wollic2020/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Positions in Edinburgh
by Tom Leinster 09 Oct '19

09 Oct '19

Dear friends, We're hiring. That is, the School of Mathematics at the University of Edinburgh is advertising permanent positions: https://www.maths.ed.ac.uk/school-of-mathematics/jobs/lectureship-readershi… Category theory is specifically mentioned as a possible subject area, and the ad also mentions the importance of glue: "The Hodge Institute is a large world-class group of mathematicians whose research interests lie in Algebra, Geometry and Topology and related fields such as Category Theory and Mathematical Physics. Applicants should demonstrate an outstanding research record and contribute to the productive and strong collaborative research environment in the Hodge Institute. Preference may be given to candidates who strengthen connections between different areas of research within the Hodge Institute or more broadly between the Hodge Institute and other parts of the School." The Hodge Institute is just our name for the set of people within the School who work on the subjects mentioned. We?re advertising for Lecturers or Readers. These are both permanent positions. Lecturer is where almost everyone starts their career, and Reader is more senior (the rough equivalent of a junior full professor in US terminology). Best wishes, Tom -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

PhD position in Theoretical Computer Science at the VU Amsterdam
by Joerg Endrullis 06 Oct '19

06 Oct '19

============================================ Vrije Universiteit Amsterdam PhD position in Theoretical Computer Science ============================================ 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). For more details about the project, please check out http://joerg.endrullis.de/vidi/vidi.pdf, and http://joerg.endrullis.de/research/finite-state-transducers. In this project, we will use and extend techniques from automata theory, combinatorics on words, logic, coalgebra and term rewriting. 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 we will collaborate with Femke van Raamsdonk with a background in higher-order rewriting, and Jasmin Blanchette working on formal verification and theorem provers. Qualifications -------------- Applicants should have a masters degree in computer science, mathematics, logic, or a closely related area. Knowledge of automata theory, coalgebra, logic, term rewriting or lambda calculus is considered an advantage. Fluency in English is important. Dutch language proficiency is not required. Application ----------- Please send applications by email to ??dr. Joerg Endrullis ??j.endrullis(a)vu.nl ??+31 (0)20 5989886 For more details on the salary and employment conditions, see the full vacancy text at http://joerg.endrullis.de/vacancy/2019/09/15/phd-vacancy.html. Feel free to contact us for further information about the project and the position. Formal applications must include: - A motivation letter - A curriculum vitae, including?? a list of courses with grades - A copy of the master's thesis (if already available) - The name of at least one scientist able and willing to provide a reference Deadline -------- Review of applications will begin on December 1, 2019, and will continue until the position is filled. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Coalgebra Day 2019
by Clovis Eberhart 05 Oct '19

05 Oct '19

Dear all, We are pleased to announce that Coalgebra Day 2019 will be organised in Tokyo, Japan. There will be a series of talks by various speakers and it will be an occasion for researchers to exchange on coalgebras and related matters, and for students to get introduced to the field of coalgebra. Date and time: Mon 28 Oct, 2019. 9:30-17:30. Place: room 2009-2010, National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo Access: https://www.nii.ac.jp/en/about/access/ Speakers: - Bart Jacobs (Radboud University Nijmegen) - Jurriaan Rot (Radboud University Nijmegen) - Ana Sokolova (University of Salzburg) - Yuichi Komorida (National Institute of Informatics) - David Sprunger (National Institute of Informatics) - Clovis Eberhart (National Institute of Informatics, Japanese French Laboratory for Informatics) - Shin-ya Katsumata (National Institute of Informatics) - Satoshi Kura (National Institute of Informatics) We are planning to have an informal dinner. Registration is free but mandatory for practical reasons. Please register through this form: https://docs.google.com/forms/d/e/1FAIpQLSdja7qMesKpyA6ed1Z-PfMjP_RYP288zKf… The deadline is Oct 18th 23:59, AoE. For more information, see http://group-mmm.org/coalgebra-day-2019/ or send an email to one of the organisers. Please feel free to distribute this email to people that you think could be interested. Best, Clovis Eberhart for the organisers [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0