March 2020 - Categories - categories.org.au

Job at the University of Leeds
by Nicola Gambino 13 Mar '20

13 Mar '20

CAUTION: The Sender of this email is not from within Dalhousie. Dear colleagues and friends, I am writing to let you know that the School of Mathematics of the Universi= ty of Leeds has just advertised a Lectureship in Pure Mathematics: https://jobs.leeds.ac.uk/Vacancy.aspx?ref=3DEPSMA1014 The closing date is Sunday 26th April.=20 For those unfamiliar with UK academic system, a lectureship is a permanent = position which involves both research and teaching. The job description men= tions a preference for candidates in Analysis and Logic. Both are understoo= d broadly, with Logic including also Category Theory.=20 If you wish to have more information, please feel to contact me.=20 With best regards, Nicola Gambino Dr Nicola Gambino Associate Professor in Pure Mathematics and Director of Research and Innova= tion School of Mathematics, University of Leeds [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Graphical Models in Security 2020 CFP
by Harley D. Eades III 12 Mar '20

12 Mar '20

CAUTION: The Sender of this email is not from within Dalhousie. Hi, everyone. Below you will find the CFP for Graphical Models in Security of which I am one of the cochairs this year. I would like to bring your attention to this years expanded scope. In particular, to the following entries: 1. Graph representations: mathematical, conceptual, and implemented tools for describing and reasoning about security and safety 2. Logical approaches: formal logical tools for representing and reasoning about graphs and their use as modelling tools in security 7. Semantics: developing or studying semantic approaches to graph-based models used in security like set theoretic models, categorical models, logical models, etc. These entries have a large non-empty intersection with topics related to the category theory community. So submissions from this community will be well-received. Feel free to contact me with any questions. Very best, Harley ---- GraMSec 2020: The Seventh International Workshop on Graphical Models for Security Boston, MA, United States of America - June 22, 2020 http://gramsec.uni.lu Co-located with CSF 2020 SCOPE The use of graphical security models to represent and analyse the security of systems has gained an increasing research attention over the last two decades. Formal methods and computer security researchers, as well as security professionals from the industry and government, have proposed various graphical security models, metrics, and measurements. Graphical models are used to capture different security facets and address a range of challenges including security assessment, automated defence, secure services composition, security policy validation, and verification. The International Workshop on Graphical Models for Security is an established scientific event dedicated to study and exchange of experiences on graphical security and safety modelling. TOPICS This year, we encourage excellent submissions related, but not restricted, to the following broad headings: 1. Graph representations: mathematical, conceptual, and implemented tools for describing and reasoning about security and safety 2. Logical approaches: formal logical tools for representing and reasoning about graphs and their use as modelling tools in security 3. Machine learning: modelling and reasoning about the role of big data and machine learning in security operations 4. Networks in national security: terrorist networks, counter-terrorism networks; safety in national infrastructure (e.g., utilities and transportation) 5. Risk analysis and management: models and graphical methodologies for security and privacy risk management in business and organisational architectures 6. Social networks: using and reasoning about social graphs, network analysis, network protocols, social mapping, sociometry. 7. Semantics: developing or studying semantic approaches to graph-based models used in security like set theoretic models, categorical models, logical models, etc. 8. Threat modelling: modelling and analysing software systems security, models for DevSecOps, etc. 9. Security requirements: models and tools for describing and analysing requirements on system security and privacy. 10. Visual security: modelling and analytics for security visualisations. 11. Secure systems: safe and secure system design, quantification of security/safety, models for system security/safety evaluation. We welcome a broad range of contributions: from theory to tools and experience reports. Preference will be given to papers likely to stimulate high-quality debate at the Workshop. SUBMISSION GUIDELINES We solicit two types of submissions: - Regular papers (up to 18 pages, excluding the bibliography and well-marked appendices) describing original and unpublished work within the scope of the workshop. - Short papers (up to 10 pages, excluding the bibliography and well-marked appendices) describing original and unpublished work in progress. The reviewers are not required to read the appendices, so the papers should be intelligible without them. All submissions must be prepared using the LNCS style. Each paper will undergo a thorough review process. Submissions should be made using the GraMSec 2020 EasyChair website: https://easychair.org/conferences/?conf=gramsec2020. PUBLICATION As in previous editions, we plan for the post-proceedings to be made available in the Lecture Notes in Computer Science (LNCS) series, published by Springer (acceptance pending). This will be published after the workshop, thus permitting the authors to incorporate feedback. IMPORTANT DATES We will have two rounds of submissions with different submission and notification deadlines. First round submissions (priority in program and notifications): - Submissions due: Friday, April 1, 2020 - Notifications: Friday, May 1, 2020 Second round submissions (after CSF notification): - Submissions due: Friday, April 24, 2020 - Notifications: May 18, 2020 - Workshop: Monday, June 22, 2020 - Camera ready versions due: Friday, August 7, 2020 PROGRAM CHAIRS Harley Eades III, Augusta University, United States of America Olga Gadyatskaya, Leiden Institute of Advanced Computer Science, Leiden University, The Netherlands STEERING COMMITTEE Sushil Jajodia, George Mason University, United States of America Barbara Fila, INSA Rennes, IRISA, France Sjouke Mauw, University of Luxembourg, Luxembourg Christian W. Probst, Unitec, New Zealand Ketil Stølen, SINTEF Digital and University of Oslo, Norway PUBLICITY CHAIR Barbara Fila, INSA Rennes and IRISA, France WEB CHAIR Reynaldo Gil Pons, University of Luxembourg, Luxembourg [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

CANCELLED: 4th Midwest HoTT Seminar
by Paige Randall North 11 Mar '20

11 Mar '20

CAUTION: The Sender of this email is not from within Dalhousie. Dear all, Following advice from the university, we must cancel this installment of the Midwest Homotopy Type Theory Seminar. Information about the next installment will be sent out in due course. Best, Paige for the organizers On Thu, Mar 5, 2020 at 1:45 PM Paige Randall North <paige.north(a)gmail.com> wrote: > Dear all, > > We are pleased to announce the fourth Midwest Homotopy Type Theory Seminar > which will take place at the Ohio State University on the weekend of April > 25-26, 2020. > > > INVITED SPEAKERS: > > - Evan Cavallo (Carnegie Mellon) > > - Andrew Swan (Carnegie Mellon) > > - Matthew Weaver (Princeton) > > > REGISTRATION: > > There is no registration fee, but registration will help the organizers. > Please register using this form: > > https://forms.gle/zBKZeG3caLGq8JDq7 > > > SUBMITTED TALKS: > > Please submit talks using the registration form. > > > FUNDING: > > Some funding is available to help young researchers attend the seminar. > Please indicate any interest in the registration form. > > > FURTHER DETAILS: > > Further details, including information about lodging, can be found at > > https://paigenorth.github.io/midwesthott/ > > > Best, > Paige Randall North > for the organizers > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

(Extended Deadline) VCLA International Student Awards 2020 for Outstanding Master and Bachelor Theses awarded between 15.11.2018 and 31.12.2019 (inclusive)
by Mihaela Rozman 09 Mar '20

09 Mar '20

! CAUTION: The Sender of this email is not from within Dalhousie. The Vienna Center for Logic and Algorithms of TU Wien (Vienna University of Technology), calls for the nomination of authors of outstanding theses and scientific works in the field of Logic and Computer Science, in the following two categories: =Outstanding Master Thesis Award =Outstanding Undergraduate Thesis Award (Bachelor thesis or equivalent, 1st cycle of the Bologna process) ----------------------------------The main areas of interest are: ---------------------------------- *Computational Logic, covering theoretical and mathematical foundations such as proof theory, model theory, computability theory, Boolean satisfiability (SAT), QBF, constraint satisfaction, satisfiability modulo theories, automated deduction (resolution, refutation, theorem proving), non-classical logics (substructural logics, multi-valued logics, deontic logics, modal and temporal logics). *Algorithms and Computational Complexity, including design and analysis of discrete algorithms, complexity analysis, algorithmic lower bounds, parameterized and exact algorithms, decomposition methods, approximation algorithms, randomized algorithms, algorithm engineering, as well as algorithmic game theory, computational social choice, parallel algorithms, graph drawing algorithms, and distributed algorithms. *Databases and Artificial Intelligence, concerned with logical methods for modeling, storing, and drawing inferences from data and knowledge. This includes subjects like query languages based on logical concepts (Datalog, variants of SQL, XML, and SPARQL), novel database-theoretical methods (schema mappings, information extraction and integration), logic programming, knowledge representation and reasoning (ontologies, answer-set programming, belief change, inconsistency handling, argumentation, planning). *Verification, concerned with logical methods and automated tools for reasoning about the behavior and correctness of complex state-based systems such as software and hardware designs as well as hybrid systems. This ranges from model checking, program analysis and abstraction to new interdisciplinary areas such as fault localization, program repair, program synthesis, and the analysis of biological systems. *Formal Methods for Security and Privacy, covering design and analysis techniques for security and privacy critical systems, such as cryptographic protocols, software, hardware and so on. The category of formal methods is to be meant in a broad sense, including related questions in logic, model checking, static analysis, dynamic monitoring, theorem proving, and artificial intelligence. ----------------------------------In Memory of Helmut Veith---------------------------------- The award is dedicated to the memory of Helmut Veith, the brilliant computer scientist who tragically passed away in March 2016, and aims to carry on his commitment to promoting young talent and promising researchers in these areas. ----------------------------------Awards---------------------------------- *The Outstanding Master Thesis Award: 1200 EUR *The Outstanding Undergraduate Thesis Award: 800 EUR *The winners will be invited to present their work at an award ceremony in Vienna. ----------------------------------Eligibility---------------------------------- *The degree must have been awarded between November 15th, 2018 and December 31st, 2019 (inclusive). *Students who obtained their degree at TU Wien are not eligible. ----------------------------------Nomination Requirements---------------------------------- Nominations must include: *A cover page that contains the name and contact details of the nominated person, the title of the work for which the person is being nominated, award category, the date on which the degree was awarded, and the name of the university *An English summary of the thesis of maximum 3 pages, excluding references (A4 or letter page size, 11pt font min). The summary must clearly state the main contribution of the work, its novelty, and its relevance to some of the aforementioned areas of interest *The CV of the nominated person, including publication list (if applicable *An endorsement letter from a supervisor or another proposing person. The letter must clearly state the independent and novel contribution of the student, and why the proposer believes the student deserves the award. The endorsement letter may be provided after the submission deadline, and emailed directly to award (AT) logic-cs.at. *The full thesis All documents should be in English, with the exception of the thesis. In case the thesis is in a different language, it must be accompanied by a research report in English of at least 10 pages that should be sufficient for the committee to evaluate the merit and quality of the submitted work. ----------------------------------Instructions for submitting nominations---------------------------------- *Nominations should be submitted electronically using the following link to EasyChair here *Submissions consist of two pdf files. The first is a single pdf file containing all documents for the nomination except the full thesis; the documents should appear in the order they are listed above. The second pdf file is the full thesis *The endorsement letter may optionally be sent by email by the endorser and omitted from the Easychair submission. In this case, please email the letter as a pdf file, including the name of the nominated person in the subject, to award (AT) logic-cs DOT at *The submission must be accompanied by a plain text electronic abstract of the thesis of at most 400 words, and three keywords. *The nominated student must be listed as the first and corresponding author in the submission form. ----------------------------------Important dates---------------------------------- *Submission deadline (extended): April 9, 2020 (anywhere on Earth) *Notification of decision: end of June 2020 *Award ceremony: TBA ----------------------------------Contact---------------------------------- Please send all inquiries to award (AT) logic-cs.at ----------------------------------Website and Previous Awardees---------------------------------- https://logic-cs.at/vcla-awards-2020/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Announcement: 4th Midwest HoTT Seminar
by Paige Randall North 06 Mar '20

06 Mar '20

Dear all, We are pleased to announce the fourth Midwest Homotopy Type Theory Seminar which will take place at the Ohio State University on the weekend of April 25-26, 2020. INVITED SPEAKERS: - Evan Cavallo (Carnegie Mellon) - Andrew Swan (Carnegie Mellon) - Matthew Weaver (Princeton) REGISTRATION: There is no registration fee, but registration will help the organizers. Please register using this form: https://forms.gle/zBKZeG3caLGq8JDq7 SUBMITTED TALKS: Please submit talks using the registration form. FUNDING: Some funding is available to help young researchers attend the seminar. Please indicate any interest in the registration form. FURTHER DETAILS: Further details, including information about lodging, can be found at https://paigenorth.github.io/midwesthott/ Best, Paige Randall North for the organizers [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

TAC Announcement: New Managing Editor
by Bob Rosebrugh 05 Mar '20

05 Mar '20

Dear Colleagues, It is a great pleasure to let you know that the Editors of Theory and Applications of Categories have elected a new Managing Editor, Geoff Cruttwell. Geoff's work as Managing Editor has already begun and the transition has been very smooth. As many of you know, Geoff has been a valued colleague of mine at Mount Allison University since 2012 where he is now a tenured Associate Professor. Geoff is an experienced and widely published category theorist. He has collaborated with Canadian and international colleagues, most recently in developing the theory of tangent categories. I am extremely grateful that Geoff's regard for community allowed him to accept the responsibility of the Managing Editor position. Guiding the first 25 years of TAC with the assistance of our distinguished editors has been an incredible privilege for me. My thanks go to them and the many of you who have contributed articles. You have made the job of Managing Editor a constant pleasure, and I will miss interacting with you. Best wishes to all, Bob Rosebrugh [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

2 1

MFPS final call for papers
by Patricia Johann 04 Mar '20

04 Mar '20

--- Effect of Coronavirus The organizers of MFPS and of QPL are jointly monitoring the evolving coronavirus outbreak, and how to respond. We believe it is too early to make a decision about what steps to take, but we will issue a statement by April 1 about how the virus will affect our joint meetings. While we will consider a number of options, at a minimum we intend to support virtual and / or remote participation by those who are unable or unwilling to attend the meeting in person. --- Final CALL FOR PAPERS: MFPS XXXVI https://www.monoidal.net/paris2020/mfps/ Thirty-sixth Conference on the Mathematical Foundations of Programming Semantics University of Paris Saclay, France June 2-6, 2020 Co-located with QPL 2020 ====================================================================== March 30, 2020: Abstract Submission April 3, 2020: Paper Submission May 8, 2020: Notification May 22, 2020: Final Papers Deadline All dates AoE ====================================================================== The 36th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2020) takes place at University of Paris Saclay, France, June 2???6, 2020. MFPS conferences are dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular. This is a forum where researchers in mathematics and computer science can meet and exchange ideas. The participation of researchers in neighbouring areas is strongly encouraged. Topics include, but are not limited to, the following: bio-computation; concurrent qualitative and quantitative distributed systems; process calculi; probabilistic systems; constructive mathematics; domain theory and categorical models; formal languages; formal methods; game semantics; lambda calculus; programming-language theory; quantum computation; security; topological models; logic; type systems; type theory. We also welcome contributions that address applications of semantics to novel areas such as complex systems, markets, and networks, for example. ---------------------------------------------------------------------- INVITED SPEAKERS & SPECIAL SESSIONS: As in previous years, MFPS will have several invited speakers and special session highlighting areas within programming languages semantics. We are pleased to announce the following invited speakers and organizers of special sessions: Gilles Barthe (IMDEA) - plenary speaker Christine Tasson (Paris VII) - plenary speaker Special session on Probabilistic programming languages ----- Dexter Kozen (Cornell) - plenary speaker Fredrik Dahlqvist (London) Ohad Kammar (Edinburgh) Radu Mardare (Strathclyde) Valeria Vignudelli (Lyon) Special session on Quantum programming - joint with QPL ----- Alexandre Miquel (Montevideo) - plenary speaker Pierre Clairambault (Lyon) Claudia Faggian (Paris VII) Vladimir Zamdzhiev (Nancy) ---------------------------------------------------------------------- SUBMISSIONS: Submissions should be prepared using the ENTCS Macros (available from http://www.entcs.org) and should be up to 12 pages long excluding bibliography and appendices. Submissions will be via EasyChair: https://easychair.org/conferences/?conf=mfps20 ---------------------------------------------------------------------- PROCEEDINGS: There will be a preliminary proceedings of the conference papers that will be distributed at the meeting, with a final proceedings published in ENTCS after the meeting. ---------------------------------------------------------------------- PROGRAMME COMMITTEE: Danel Ahman (University of Ljubljana) Andrej Bauer (University of Ljubljana) Stephen Brookes (Carnegie Mellon University) Ugo Dal Lago (University of Bologna & INRIA Sophia Antipolis) Dan Ghica (University of Birmingham) Pierre Hyvernat (Universite Savoie Mount Blanc) Mauro Jaskelioff (Universidad Nacional de Rosario) Patricia Johann (Appalachian State University) - Chair Achim Jung (University of Birmingham) Barbara Koenig (Universitaet Duisburg-Essen) Dexter Kozen (Cornell University) Neel Krishnaswami (Cambridge University) Catherine Meadows (NRL) Mike Mislove (Tulane University) Joel Ouaknine (MPI-SWS) Prakash Panangaden (McGill University) Dirk Pattinson (Australian National University) Maciej Pirog (University of Wroclaw) Peter Selinger (Dalhousie University) Alexandra Silva (University College London) Kristina Sojakova (Cornell University) Ana Sokolova (University of Salzburg) Sam Staton (University of Oxford) Tarmo Uustalu (Reykjavik University) ---------------------------------------------------------------------- STEERING COMMITTEE: The steering committee of the MFPS series consists of Andrej Bauer (Ljubljana), Stephen Brookes (CMU), Achim Jung (Birmingham), Catherine Meadows (NRL), Michael Mislove (Tulane), Joel Ouaknine (Max Planck) and Prakash Panangaden (McGill). ---------------------------------------------------------------------- LOCAL ORGANIZERS: Pablo Arrighi (AMU & INRIA) Shane Mansfield (Sorbonne) Beno??t Valiron (University of Paris Saclay) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Applied Category Theory Conference (ACT2020)
by David Spivak 03 Mar '20

03 Mar '20

CALL FOR PAPERS 3rd Annual International Conference on Applied Category Theory (ACT2020) July 6 – 10, 2020, MIT, USA http://act2020.mit.edu * * * Applied category theory is a topic of interest for a growing community of researchers interested in studying many different kinds of systems using category-theoretic tools. These systems are found across computer science, mathematics, and physics, as well as in social science, linguistics, cognition, and neuroscience. The background and experience of our members is as varied as the systems being studied. The goal of the Applied Category Theory conference is to bring the majority of researchers in the field together and provide a platform for exposing progress in the area. We seek submissions of both original research papers and extended abstracts of work that's ben submitted, accepted, or published elsewhere. Original research papers we accept will be invited for publication in a proceedings volume. Some contributions will be invited to become keynote addresses, and best paper award(s) may also be given. The conference will include a business showcase, and it will be preceded by a tutorial day. This event follows ACT 2018 in Leiden, and ACT 2019 in Oxford. ** IMPORTANT DATES (all in 2020)** - Submission of contributed papers: April 26 - Acceptance/Rejection notification: May 17 - Early bird registration deadline: May 20 - Final registration deadline: June 26 - Tutorial day: July 5 - Main conference: July 6 – 10 ** SUBMISSIONS ** Two types of submissions are accepted, both of which will be reviewed using the same standards: - Proceedings Track. Original contributions of high-quality work consisting of a 5–12 page extended abstract that provides evidence of results of genuine interest, and with enough detail to allow the program committee to assess the merits of the work. Submission of a work-in-progress is encouraged, but it must be more substantial than a research proposal. - Non-Proceedings Track. Descriptions of high-quality work submitted or published elsewhere will also be considered, provided the work is recent and relevant to the conference. The work may be of any length, but the program committee members may only look at the first 3 pages of the submission, so you should ensure that these pages contain sufficient evidence of the quality and rigor of your work. Submissions should be prepared using LaTeX, and must be submitted in PDF format. The submission link is available on the ACT2020 <http://act2020.mit.edu> web page. ** PROGRAM COMMITTEE ** Mathieu Anel, Carnegie Mellon University John Baez, Centre for Quantum Technologies Richard Blute, University of Ottawa Tai-Danae Bradley, City University of New York Andrea Censi, ETH Zurich Bob Coecke, University of Oxford Valeria de Paiva, Samsung Research America and University of Birmingham Ross Duncan, University of Strathclyde Eric Finster, University of Birmingham Brendan Fong, Massachusetts Institute of Technology Tobias Fritz, Perimeter Institute for Theoretical Physics Richard Garner, Macquarie University Fabrizio Romano Genovese, Statebox Amar Hadzihasanovic, IRIF, Université de Paris Helle Hvid Hansen, Delft University of Technology Jules Hedges, Max Planck Institute for Mathematics in the Sciences Kathryn Hess Bellwald, Ecole Polytechnique Fédérale de Lausanne Chris Heunen, The University of Edinburgh Joachim Kock, Universitat Autònoma de Barcelona Tom Leinster, The University of Edinburgh Martha Lewis, University of Amsterdam Daniel R. Licata, Wesleyan University David Jaz Myers, Johns Hopkins University Paolo Perrone, Massachusetts Institute of Technology Vaughan Pratt, Stanford University Peter Selinger, Dalhousie University Michael Shulman, University of San Diego David I. Spivak, Massachusetts Institute of Technology (co-chair) Walter Tholen, York University Todd Trimble, Western Connecticut State University Jamie Vicary, University of Birmingham (co-chair) Maaike Zwart, University of Oxford ** STEERING COMMITTEE ** John Baez (University of California Riverside) Bob Coecke (University of Oxford) David Spivak (MIT) Christina Vasilakopoulou (University of Patras) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

EPIT 2020: Spring School on Homotopy Type Theory (last announcement)
by nicolas tabareau 03 Mar '20

03 Mar '20

[This is a reminder that the deadline for pre-registration is ** March 15, 2020 **, note that we are pleased to have to new lectures by Valery Isaev and Paige North] ==================================================================== Spring School on Theoretical Computer Science (EPIT) – Homotopy Type Theory Ile d’Oléron, CAES CNRS La vieille Perrotine, France. 25th-29th May 2020 https://epit2020cnrs.inria.fr <https://epit2020cnrs.inria.fr/> ==================================================================== The EPIT is a French thematic school proposing, on an yearly basis, an intensive 5-day long training, specializing on a particular topic in theoretical computer science. It is primarily addressed to PhD students, Post-doctoral researchers and junior academics. The 2020 edition of the EPIT will be centered around Homotopy Type Theory, a research topic at the junction of Computer Science and Mathematics. Our hope is hence to provide an introduction that is accessible to researchers in both areas. Pre-registration is now open, please visit https://epit2020cnrs.inria.fr/registration/ <https://epit2020cnrs.inria.fr/registration/> to know more. For any question, please contact epit2020(a)sciencesconf.org <mailto:epit2020@sciencesconf.org> NB: As the number of places is limited, we have fixed a deadline for pre-registration to ** March 15, 2020 **. -------------------------------------------------------------------- Lecturers Andrej Bauer (Ljubljana University): Introduction to Homotopy Type Theory Guillaume Brunerie (Stockholm University): Synthetic Homotopy Theory Valery Isaev (JetBrain, Saint Petersburg): The Arend proof assistant Anders Mörtberg (Stockholm University): Cubical Type Theory Paige North (Ohio State University): Directed Homotopy Type Theory Andy Pitts (Cambridge University): Models of (Univalent) Type Theory Bas Spitters (Aarhus University): The Coq-HoTT library [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

ACKERMANN AWARD 2020: Final Call for Nominations
by EACSL Mail-Account 02 Mar '20

02 Mar '20

ACKERMANN AWARD 2020 - THE EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE Final Call for Nominations Nominations are now invited for the 2020 Ackermann Award. PhD dissertations in topics specified by the CSL and LICS conferences, which were formally accepted as PhD theses at a university or equivalent institution between 1 January 2018 and 31 December 2019 are eligible for nomination for the award. The deadline for submission is 1 April 2020. Submission details follow below. *** The Award The 2020 Ackermann award will be presented to the recipient(s) at CSL 21, the annual conference of the EACSL, in Ljubljana, January 25-28, 2021. The award consists of * a certificate, * an invitation to present the thesis at the CSL conference, * the publication of the laudatio in the CSL proceedings, * an invitation to the winner to publish the thesis in the FoLLI subseries of Springer LNCS, and * financial support to attend the conference. The jury is entitled to give the award to more (or less) than one dissertation in a year. *** The Jury The jury consists of: * Christel Baier (TU Dresden); * Michael Benedikt (Oxford University); * Mikolaj Bojanczyk (University of Warsaw); * Jean Goubault-Larrecq (ENS Paris-Saclay); * Prakash Panangaden (McGill University); * Simona Ronchi Della Rocca (University of Torino), the vice-president of EACSL; * Thomas Schwentick (TU Dortmund) , the president of EACSL; * Alexandra Silva, (University College London), ACM SigLog representative. *** How to submit The candidate or his/her supervisor should submit 1. the thesis (ps or pdf file); 2. a detailed description (not longer than 20 pages) of the thesis in ENGLISH (ps or pdf file); 3. a supporting letter by the PhD advisor and two supporting letters by other senior researchers (in English); supporting letters can also be sent directly to Thomas Schwentick (thomas.schwentick(a)tu-dortmund.de) 4. a short CV of the candidate; 5. a copy of the document asserting that the thesis was accepted as a PhD thesis at a recognized University (or equivalent institution) and that the candidate has received his/her PhD within the specified period. The submission should be sent by e-mail as attachments to the chair of the jury, Thomas Schwentick: thomas.schwentick(a)tu-dortmund.de The e-mail should have the following subject line and text: * Subject: Ackermann Award 20 Submission * Text: Name of candidate, list of attachments Submissions can be sent via several e-mail messages. If this is the case, please indicate it in the text. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0