March 2021 - Categories - categories.org.au

Call for Nominations: VCLA International Student Awards 2021
by Traxler, Alexandra 25 Mar '21

25 Mar '21

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 degree must have been awarded between November 15th, 2019 and December 31st, 2020 (inclusive). ---------------------------------- 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. ---------------------------------- 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, if the situation allows ---------------------------------- Eligibility ---------------------------------- -The degree must have been awarded between November 15th, 2019 and December 31st, 2020 (inclusive). -Submissions already submitted to the VCLA Awards 2020 cannot be re-submitted. -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 self-nominations ---------------------------------- -Nominations should be submitted electronically by the applicants using the following link to EasyChair here<https://easychair.org/conferences/?conf=vclaawards2021> -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 only author in the submission form. ---------------------------------- Important dates ---------------------------------- -Submission deadline: April 30th, 2021 (anywhere on Earth) -Notification of decision: After July 15th, 2021 -Award ceremony: Depending on the COVID-19 situation ---------------------------------- Contact ---------------------------------- Please send all inquiries to award(a)logic-cs.at ---------------------------------- Website with the information on the award committee, and the previous awardees ---------------------------------- https://logic-cs.at/vcla-international-student-awards-2021 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Faculty positions at Birmingham, UK
by Martin Escardo 25 Mar '21

25 Mar '21

CAUTION: The Sender of this email is not from within Dalhousie. We are hiring lecturers / senior lecturers (corresponding to assistant / associate professors https://en.wikipedia.org/wiki/Senior_lecturer) at the School of Computer Science, University of Birmingham, UK. The official advert is here: https://bham.taleo.net/careersection/external/jobdetail.ftl?job=210000DX&tz… In particular, applicants with interests close to our Theory Group are very welcome: https://www.birmingham.ac.uk/research/activity/computer-science/theory-of-c… The interests of this group include, among other things, higher category theory, homotopy type theory, constructive mathematics, string diagrams and graphical calculi, proof assistants, topology and domain theory, game semantics, quantum computation, programming languages, verification and model checking, algorithms and complexity. Feel free to approach me or other members of the theory group for further information Martin Escardo [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Barry Mitchell
by Niefield, Susan 24 Mar '21

24 Mar '21

CAUTION: The Sender of this email is not from within Dalhousie. With great sadness, I learned today that my dissertation advisor Barry Mitchell passed away in late January in a nursing home in Kingston, New York. As part of the group at Columbia University in the sixties, Barry was involved in the development of category theory and wrote one of the earliest books on the subject. He was active through the seventies and early eighties writing papers on abelian categories and homological algebra. He was a great supervisor and mentor, and will be remembered for his insightful and interesting approach to mathematics. [Note from moderator: There is an obituary at: https://www.legacy.com/obituaries/dailyfreeman/obituary.aspx?n=barry-m-mitc… ] [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

2 1

Research position at UCL, London
by Pym, David 24 Mar '21

24 Mar '21

CAUTION: The Sender of this email is not from within Dalhousie. Research position at UCL, London:=20 Research Fellow in Programming Principles, Logic, and Verification: Systems= Security Modelling The PPLV group conducts world-leading research in logical and algebraic met= hods and their applications to program and systems modelling and verificati= on. The Interface Reasoning for Interacting Systems (IRIS) project, led by = Professor David Pym, uses logical and algebraic methods to understand the = compositional structure of systems and their communications, seeking to dev= elop analyses at all scales, from code through distributed systems to organ= izational structure, generically and uniformly. =20 Applicants must hold, or be about to receive, a PhD in rigorous computer sc= ience, or a closely related area. The post holder will demonstrate the foll= owing criteria:=20 - actively contribute to both the theory and implementation of interfaces a= nd composition in a distributed systems modelling context, construction of = models - possess a solid grounding and understanding of process algebras and modal= logics coupled with a strong programming background, including experience= with or the ability to learn the Julia language - demonstrable experience or ability to work with industrial partners (from= HP labs and BT) and academic partners from UCL and other institutions as= part of the project is essential.=20 In addition the knowledge of or interest in learning about computer securit= y, networks, and information systems management will be essential to succee= ding in this post. This post will contribute to the EPSRC-funded IRIS project: Interface Reaso= ning for Interacting Systems. Part of the IRIS project is concerned with lo= oking at organizational policy decisions and how they affect the performanc= e of the organization in different dimensions, such as efficiency and secur= ity. Modelling tools can be used to help decision makers understand the beh= aviour of a system and how it will behave given different policy decisions.= Organizations are complex systems, with technical, structural, human, and= policy components that interact in complex ways. To deal with this comple= xity, compositional approaches are needed, where parts of the system can be= modelled independently and combined together according to rigorously speci= fied interfaces. The purpose of this job is to develop and apply the methodology and tools r= equired to construct models that capture the structure, dynamics, and polic= y of organizations. This will involve working with companies, including BT= and HP Labs, to create models to help them make decisions about their real= -world challenges. Enquiries: David Pym (d.pym(a)ucl.ac.uk, http://www.cs.ucl.ac.uk/staff/D.Pym= /) or Tristan Caulfield (t.caulfield(a)ucl.ac.uk, https://www.tristancaulfield.com)= =20 Closing date: 18 April 2021 UCL: www.ucl.ac.uk=20 UCL CS: https://www.ucl.ac.uk/computer-science/=20 PPLV: http://pplv.cs.ucl.ac.uk/welcome/=20 Information Security: http://sec.cs.ucl.ac.uk/home/ UCL HR page, including how to apply:=20 https://atsv7.wcn.co.uk/search_engine/jobs.cgi?SID=3DamNvZGU9MTg3NTUwOCZ2dF= 90ZW1wbGF0ZT05NjUmb3duZXI9NTA0MTE3OCZvd25lcnR5cGU9ZmFpciZicmFuZF9pZD0wJmpvY= l9yZWZfY29kZT0xODc1NTA4JnBvc3RpbmdfY29kZT0yMjQ=3D [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

TYPES 2021: Call for Contributions
by Henning Basold 23 Mar '21

23 Mar '21

CAUTION: The Sender of this email is not from within Dalhousie. Call for Contributions TYPES 2021 26th International Conference on Types for Proofs and Programs 14 - 19 June 2021 Virtual and possibly Leiden, The Netherlands https://types21.liacs.nl/ Background -------------- The TYPES meetings are a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming. The TYPES areas of interest include, but are not limited to: * Foundations of type theory and constructive mathematics; * Applications of type theory (e.g., linguistics or concurrency); * 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; * Formalising mathematics using type theory; * Homotopy type theory and univalent mathematics. We encourage talks proposing new ways of applying type theory. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. Contributed Talks -------------------- TYPES solicits contributed talks to stimulate discussions. The contributed talks are selected on the base of extended abstracts/short papers of 2 pages (excluding bibliography) formatted with the LaTeX EasyChair3.5 (https://easychair.org/publications/for_authors) style. An abstract can be based on existing, submitted or novel work, and is not in conflict with any other forms of publication. Submissions are handled via EasyChair: https://easychair.org/conferences/?conf=types2021 Upon submission, authors have to select the category of their contribution: presentation-only talks and talks with the intent to contribute to the post-proceedings. Presentation-only talks will consist of a 5 minutes recorded video that is shown during the conference in combination with 5 minutes live discussion. The purpose of recording the talk beforehand is to avoid technical issues. Talks with the intent for post-proceedings submission get a slot for a 10 minutes live talk plus 5 minutes discussion during the conference. The idea is that in this case, an interactive discussion with more in-depth feedback will help to submit to the post-proceedings. Note that the selection at this stage only expresses an intent to submit to the post-proceedings, and that you are neither obliged to submit your work nor are you excluded from the submission to the post-proceedings should you not submit an intent at this stage. The idea is only to help you with more feedback during the conference. Please be fair in selecting this category because the time in a virtual conference is very limited and should be given to those authors who really need it. Important dates ------------------ * Submission of abstract 16 April 2021 AoE * Author notification 14 May 2021 * Camera-ready version of abstract 4 June 2021 AoE * Conference 14 - 18 June 2021 Camera-ready versions of the accepted contributions will be published in an informal book of abstracts for distribution during the conference. Venue ---------- This year’s TYPES will be held virtually (online), possibly in combination with a physical meeting in Leiden in the Netherlands if the political situation permits that. That the conference is held virtually constraints the time of talks, and complicates exchange and collaboration. TYPES 2021 will therefore not only consist of presentations, but also a setup of working groups that get together throughout the week. Every day will be split into a session of talks and tutorials, and a collaboration session during which the working groups will get together. The hope is that we can retain at least some of the exchange and chatter that is the heart of the TYPES conference series. Attendance and Fees ----------------------- Despite the difficulty that a virtual event brings, it also offers a chance. We will make TYPES as inclusive as possible, which means that attending virtually is free of charge, if you are not in the position to pay fees. For everyone else, the fees will be low and only to cover the costs of setting up the infrastructure and organisation. Should it be possible that we can have a hybrid virtual-physical meeting, then there will also be some costs for recording and streaming that will have to be shared between local and virtual attendees. However, we will keep these low in general and free for those who cannot afford to pay fees. About Types --------------- The TYPES meetings from 1990 to 2008 were annual workshops of a sequence of five EU funded networking projects. From 2009 to 2015, TYPES has been run as an independent conference series. From 2016, TYPES is partially supported by COST Action EUTypes CA15123. Previous TYPES meetings were held in Antibes (1990), Edinburgh (1991), Båstad (1992), Nijmegen (1993), Båstad (1994), Torino (1995), Aussois (1996), Kloster Irsee (1998), Lökeberg (1999), Durham (2000), Berg en Dal near Nijmegen (2002), Torino (2003), Jouy-en-Josas near Paris (2004), Nottingham (2006), Cividale del Friuli (2007), Torino (2008), Aussois (2009), Warsaw (2010), Bergen (2011), Toulouse (2013), Paris (2014), Tallinn (2015), Novi Sad (2016), Budapest (2017), Braga (2018), Oslo (2019) and Turin (2020). Post-proceedings ------------------- Similarly to TYPES 2011 and TYPES 2013-2020, a post-proceedings volume will be published in the Leibniz International Proceedings in Informatics (LIPIcs) series. Submission to that volume will be open to everyone. Tentative dates for post-proceedings: * Non-binding intent (abstract) 29 October 2021 * Paper submission 26 November 2021 * Author notification 25 March 2022 The formal call with binding dates for the post-proceedings will be issued after the conference. Contact ----------- Email: types21(a)liacs.leidenuniv.nl Web form: https://types21.liacs.nl/contact/ Programme Committee --------------------- Henning Basold (LIACS -- Leiden University) (chair) Stefano Berardi (Università di Torino) Marc Bezem (University of Bergen) Frédéric Blanqui (INRIA -- ENS Paris-Saclay) Sandrine Blazy (INRIA -- University of Rennes) Ana Bove (Chalmers / U. of Gothenburg) Paolo Caprotti (TU Darmstadt) Jesper Cockx (TU Delft) José Espírito Santo (University of Minho) Herman Geuvers (Radboud University Nijmegen) Silvia Ghilezan (University of Novi Sad) Nicolai Kraus (U. of Nottingham) Sergueï Lenglet (Univ. de Lorraine) Assia Mahboubi (INRIA -- Nantes and VU Amsterdam) Ralph Matthes (IRIT -- CNRS and University of Toulouse) Keiko Nakata (Kyoto University) Fredrik Nordvall Forsberg (University of Strathclyde) Jorge A. Pérez (University of Groningen) Gabriel Scherer (INRIA Saclay) Aleksy Schubert (University of Warsaw) Niccolò Veltri (Tallin UT) Stephanie Weirich (U. of Pennsylvania) Organiser ------------ Henning Basold (LIACS -- Leiden University) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

2-year researcher position in HoTT, Stockholm University; deadline 9 April
by Peter LeFanu Lumsdaine 22 Mar '21

22 Mar '21

CAUTION: The Sender of this email is not from within Dalhousie. Dear all, I’m pleased to announce that we’re hiring for a researcher position in Homotopy Type Theory at Stockholm University. It’s a 2 year position, provisionally starting this August, in the logic group of the Mathematics Department, supported by the Wallenberg Foundation project grant “Type Theory for Mathematics and Computer Science” (PI Thierry Coquand). The application deadline is 9 April. We welcome all applicants interested in working on homotopy type theory and related topics — either with previous background in HoTT, or with background in related fields but interested in moving into HoTT. Full details and application at https://www.su.se/english/about-the-university/work-at-su/available-jobs?rm… Departmental webpage: https://www.math.su.se Please get in touch with me if you have any questions about the position! Best, –Peter. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

21st Midlands Graduate School in the Foundations of Computing Science: Final Call for Participation
by Andrei Popescu 17 Mar '21

17 Mar '21

CAUTION: The Sender of this email is not from within Dalhousie. FINAL CALL FOR PARTICIPATION 21st Midlands Graduate School in the Foundations of Computing Science MGS 21 12-16 April 2021, virtually https://staffwww.dcs.shef.ac.uk/people/G.Struth/mgs21.html OVERVIEW The annual Midlands Graduate School in the Foundations of Computing Science (MGS) offers an intensive programme of lectures on the mathematical foundations of computing. It addresses first of all PhD students in their first or second year, but is open to anyone interested in its topics, from academia to industry and around the world. The MGS has been run since 1999 and is hosted alternately by the Universities of Birmingham, Leicester, Nottingham and Sheffield. MGS 21 is its 21st incarnation. Information about previous events can be found at the MGS web site http://www.cs.nott.ac.uk/MGS PROGRAMME MGS 21 consists of eight courses, each with four or five hours of lectures and a similar number of exercise sessions. Three courses are introductory; one is given by an invited lecturer. These should be attended by all participants. The remaining more advanced courses should be selected based on interest. MGS 21 aims at a mix of livestreamed and prerecorded lectures and livestreamed exercise sessions, with additional social online events. Invited lectures: Monads and Interactions Tarmo Uustalu, Reykjavik Introductory courses: Category Theory Jacopo Emmenegger, Birmingham Type Theory Thorsten Altenkirch, Nottingham Proof Theory Anupam Das, Birmingham Advanced courses: Homotopy Type Theory Nicolai Kraus, Nottingham Inductive and Coinductive Reasoning with Isabelle/HOL Andrei Popescu, Sheffield Effects and Call-by-Push-Value Paul Levy, Birmingham Formal Modelling and Analysis of Concurrent Systems Mohammad Mousavi, Leicester In addition we are organising a session where participants can briefly present and discuss their own research. A call will be made in March. REGISTRATION Participation at MGS 21 is free of charge, but selective. Requests must be submitted online via https://staffwww.dcs.shef.ac.uk/people/G.Struth/mgs21.html Registration deadline is April 1. ORGANISATION Please direct all queries about MGS 21 to Georg Struth. The Sheffield organisers are Harsh Beohar (H.Beohar(a)sheffield.ac.uk) Andrei Popescu (A.Popescu(a)sheffield.ac.uk) Georg Struth (G.Struth(a)sheffield.ac.uk) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Re: Invitation: GReTA online seminar, March 26 at 15:00 CET
by Heckel, Reiko (Prof.) 15 Mar '21

15 Mar '21

CAUTION: The Sender of this email is not from within Dalhousie. Please mark your calendars for our seminar Friday next week! Reiko On 15/03/2021, 09:36, "GReTA seminar organisers" <greta(a)irif.fr> wrote: Dear colleagues, It is our great pleasure to invite you to the next seminar of the “GReTA - Graph Transformation Theory and Applications” series: Friday, March 26, 15:00 CET “Formal Graph Language Theory & Fusion Grammars”, H.-J. Kreowski & A.F. Lye (abstracts: see attached) Please refer to http://www.irif.fr/~greta<https://eur03.safelinks.protection.outlook.com/?url=http:%2F%2Fwww.irif.fr%…> for further information on how to register for this Zoom meeting, or alternatively on how to attend the meeting via a YouTube live stream! The GReTA seminar series aims to serve as a platform for the international graph rewriting community, to promote recent developments and trends in the field, and to permit a regular networking and interaction between members of this community. Seminars are scheduled twice a month (cf. https://www.irif.fr/~greta/#talks<https://eur03.safelinks.protection.outlook.com/?url=https:%2F%2Fwww.irif.fr…> for a list of upcoming events). With best regards, Nicolas Behr, Jean Krivine and Reiko Heckel (GReTA organisers) ___________________________________________________ Date and time: Friday, March 26, 15:00 CET Title: Formal Graph Language Theory & Fusion Grammars Speakers: Hans-Jörg Kreowski & Aaron Frederick Lye (University of Bremen, Germany) Abstract: In the first part of the presentation, some aspects of formal graph language theory are discussed. A few variants of graph grammars were introduced in the early 1970s as generalizations of Chomsky grammars. This first step into a formal graph language theory was further developed by the investigation of edge and hyperedge replacement on one hand and on some variants of node replacement on the other hand starting in the late 1970s. Since then, a good number of structural and decidability properties were proved. In particular, it turned out that hyperedge replacement grammars behave to a large degree in a context-free manner. In the second part of the presentation, the novel approach of fusion grammars is surveyed. A fusion grammar is a hypergraph grammar which provides a start hypergraph of small connected components. To derive hypergraphs, connected components can be copied multiple times and can be fused by the application of fusion rules (where such an application removes two complementary hyperedges and merges their attachment vertices). The generated hypergraph language contains all terminal connected components of derived hypergraphs. The main results for various kinds of fusion grammars concern their generative power. Zoom registration link: https://zoom.us/meeting/register/tJIrdO2prjsqG9MrJ5ahIxtg3vbAkwLqIXfO<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fzoom.us%2…> Link to YouTube live stream: https://youtu.be/142aNpKPv04<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fyoutu.be%…> ___________________________________________________ ---------------------------------------------------------------------------- GReTA - Graph TRansformation Theory and Applications International Online Seminar Series ---------------------------------------------------------------------------- Contact: greta(a)irif.fr<mailto:greta@irif.fr> Webpage: www.irif.fr/~greta<https://eur03.safelinks.protection.outlook.com/?url=http:%2F%2Fwww.irif.fr%…> YouTube: https://www.youtube.com/channel/UC6j-G6oPmkqCgOx6UQOUhSQ<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.youtu…> Twitter: https://twitter.com/GReTAseminars<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Ftwitter.c…> [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Call For Workshops - 37th International Conference on Logic Programming(ICLP 2021)
by Miguel Areias 14 Mar '21

14 Mar '21

CAUTION: The Sender of this email is not from within Dalhousie. ========================================================================= ?????????????????????????????????????????????????????? CALL FOR WORKSHOPS ========================================================================= The 37th International Conference on Logic Programming (ICLP 2021) https://iclp2021.dcc.fc.up.pt/ September 20--27, 2021 Fully virtual event organized by the Department of Computer Science of the University of Porto. ========================================================================= The ICLP conference series has a long standing tradition of hosting a rich set of co-located workshops. ICLP workshops provide a unique opportunity for the presentation and discussion of work that can be preliminary in nature, novel ideas, and new open problems to a wide and interested audience. Co-located workshops also provide an opportunity for presenting specialized topics and opportunities for intensive discussions and project collaboration. The topics of the workshops co-located with ICLP 2021 can cover any areas related to logic programming (e.g., theory, implementation, environments, language issues, alternative paradigms, applications), including cross-disciplinary areas. However, any relevant workshop proposal will be considered. The format of the workshop will be decided by the workshop organizers, but ample time should be allowed for general discussion. Workshops can vary in length, but the optimal duration will be half a day or a full day. Workshop Proposals ****************** Those interested in organizing a workshop at ICLP 2021 are invited to submit a workshop proposal. Proposals should be in English and about two pages in length. They should contain: ** The title of the workshop; ** A brief technical description of the topics covered by the workshop; ** A discussion of the timeliness and relevance of the workshop; ** A list of any related workshops held in the last years; ** The estimated length of the workshop and an estimate of the number ???? of expected attendees; ** The names, affiliation and contact details (email, web page, phone) ???? of the workshop organizers together with a designated contact ???? person; ** Previous experience of the workshop organizers in ???? workshop/conference organization. Proposals are expected in text or PDF format. All proposals should be submitted to the Workshop Chair by email by May 3rd, 2021. Reviewing Process ***************** Each submitted proposal will be reviewed by the Workshop, Program and General Chairs. Proposals that appear well-organized and that fit the goals and scope of ICLP will be selected. The decision will be notified by email to the responsible organizer by May 10th, 2021. The definitive length of the workshop will be planned according to the number of submissions received by the different workshops. For every accepted workshop, the ICLP local organizers will prepare meeting facilities. The workshops and the conference organizers will collaborate in establishing a uniform approach to produce proficient and accessible proceedings for the workshops. Workshop Organizers' Tasks ************************** ** Producing a "Call for Papers" for the workshop and posting it on ???? the Internet and other means. A web page URL should be provided by ???? May 15th, 2021, and will be published on the ICLP 2021 home page; ** Providing a brief description of the workshop for the conference ???? program; ** Reviewing/accepting submitted papers; ** Scheduling workshop activities in collaboration with the local ???? organizers and the Workshop Chair; ** Providing a workshop program in a format specified by the ???? conference organizers for posting by August 31st, 2021; ** Coordinating the preparation of the workshop proceedings according ???? to the specifications provided by the Workshop Chair. Location ******** Workshops will be virtually collocated with ICLP 2021. See the ICLP 2021 web site (https://iclp2021.dcc.fc.up.pt/) for further details. Important Dates (Tentative) *************************** ** May 3rd, 2021: Proposal submission deadline ** May 10th, 2021: Notification ** May 15th, 2021: Deadline for receipt of CfP and workshop web page URL ** August 18th, 2020: Deadline for acceptance notification to paper authors ** August 31st, 2020: Deadline for workshop program Submissions *********** Please submit your workshop proposals by email to the Workshop Chair. Workshop Chair ************** Nicos Angelopoulos https://www.cardiff.ac.uk/people/view/2436650-angelopoulos-nicos ========================================================================= [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Em-Cats: Emerging Researchers in Category Theory Virtual Seminar
by Brendan Fong 13 Mar '21

13 Mar '21

CAUTION: The Sender of this email is not from within Dalhousie. Dear categories list, I'm pleased to announce a new seminar series, the Emerging Researchers in Category Theory (Em-Cats) Virtual Seminar, which will comprise talks given by graduate students in Category Theory around the world. The series is led by Eugenia Cheng, and organized by Topos Institute. The aims are, broadly: 1. Help the next generation of category theorists become wonderful speakers. 2. Make use of the virtual possibilities, and give opportunities to graduate students in places where there is not a category theory group or local seminar they can usefully speak in. 3. Give an opportunity to graduate students to have a global audience, especially giving more visibility to students from less famous/large groups. 4. Make a general opportunity for community among category theorists who are more isolated than those with local groups. 5. Make a series of truly intelligible talks, which we hope students and researchers around the world will enjoy and appreciate. Eugenia will assist each speaker in the preparation of their talk, to ensure that all talks are excellent. We expect to plan one talk per month initially, starting in August or September 2021. Applications to speak in the seminar are now open. A first round of applications will close on April 30th, 2021. If you are a student or recent graduate, please do consider applying. If not, please do share the word and encourage students or recent graduates to apply. In line with the aims above, we would appreciate any particular efforts to reach out to those who may, for whatever reason, have fewer opportunities within the category theory community. For more information, including the application form, see: https://topos.site/em-cats/ With kind regards, Brendan [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0