May 2021 - Categories - categories.org.au

Re: "First" use of 'Category theory' to describe our field
by David Roberts 24 Feb '24

24 Feb '24

Dear Ross, no, that's pretty good! It's mildly surprising that it took ~20 years for the name to 'stick', but maybe less so given that the field grew slowly to start. Thanks, David David Roberts Webpage: https://ncatlab.org/nlab/show/David+Roberts Blog: https://thehighergeometer.wordpress.com On Thu, 11 Jul 2019 at 08:21, Ross Street <ross.street(a)mq.edu.au> wrote: > > Dear David > > From memory, the Pure Mathematics Honours (USyd) course that Max Kelly taught in 1965 > was called ``Category Theory''. It concentrated on different kinds of morphisms > and factorizations in a category, and finished with adjoint functors. > Also John Gray's (UIllinois) 1968-69 graduate course had that name. > > From Eilenberg I heard that each person using categories should have their own category of expertise. > I told this to John Gray who said that was fine; the time had come for that category to be Cat. > > I would suggest that the first category theorists to think of themselves as such were Eilenberg's students at Columbia. > However, Mac Lane was definitely a category theorist. > > This is probably not the verifiable stuff you were seeking. > > Ross > > > On 10 Jul 2019, at 10:01 PM, David Roberts <droberts.65537(a)gmail.com> wrote: > > Hi all, > > the (idle) question is: when did the phrase 'category theory' catch on > for the field? Clearly it didn't leap from either of the heads of > Eilenberg or Mac Lane full-grown, since they used the phrase 'General > theory of natural equivalences'. There are the old 'Reports of the > Midwest Category Seminar' lecture notes (the first in 1967), which > hints that 'category theory' wasn't quite the name in use. > > Even more interesting: who was the first "category theorist", by that name? > > Answers referring to verifiable sources would be best. > > Thoughts? > > David > > > > David Roberts > Webpage: https://ncatlab.org/nlab/show/David+Roberts > Blog: https://thehighergeometer.wordpress.com > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

3 4

***SPAM?*** categories: Categories and Companions Symposium 2021 — Final announcement
by Categories and Companions 2021 31 May '21

31 May '21

CAUTION: The Sender of this email is not from within Dalhousie. ================================================================= FINAL ANNOUNCEMENT Categories and Companions Symposium 2021 (CaCS2021) 08:00–10:30 and 20:00–23:00, June 8–12, 2021 (UTC+10) on Zoom http://web.science.mq.edu.au/groups/coact/seminar/CaCS2021/ ================================================================= BACKGROUND CaCS2021 is an event for research students (Honours/Masters/PhD) in category theory and related disciplines from around the world to meet each other and share their work. Everyone is welcome to attend the event. Each day will feature a 50 minute talk by an invited speaker and a series of 20 minute contributed talks by research students, split across two sessions — the first aimed at Australasian and American time zones and the second at Australasian, African and European time zones. Attendees will have the opportunity to participate in social activities including trivia and Q&A, as well as platforms to meet and talk to each other in smaller groups throughout the symposium. This symposium is supported by MATRIX and AMSI. To support post-symposium research collaboration between PhD student participants, MATRIX and AMSI are providing funding through the MATRIX-AMSI PhD Student Research Collaboration Scheme. For more information, see https://www.matrix-inst.org.au/phd-student-research-collaboration-scheme-gu… . Please share the details of this event with research students in your local academic community. ================================================================= IMPORTANT DATES - Registration for attendance: Friday, June 4, 2021 23:59:59 Anywhere on Earth. - Symposium: Tuesday, June 8 to Saturday, June 12, 2021. ================================================================= REGISTRATION Registration is open (for both research students and the wider community) via the linked Google Form https://forms.gle/ZdEfrpzeaD3zkUzT8. A Zoom link will be sent to all the participants the day before the symposium. ================================================================= SCHEDULE The following invited speakers will each deliver an extended 50 minute talk: - John Baez (University of California, Riverside) - Eugenia Cheng (School of the Art Institute of Chicago) - Tobias Fritz (University of Innsbruck) - Emily Riehl (Johns Hopkins University) - Ross Street (Macquarie University) A complete schedule of the event, including titles and abstracts of all the speakers, can be found on the CaCS2021 website: http://web.science.mq.edu.au/groups/coact/seminar/CaCS2021/ ================================================================= ORGANISERS Bryce Clarke (Macquarie University) Matthew Di Meglio (Macquarie University) Nicola Di Vittorio (Macquarie University) Eli Hazel (Macquarie University) Yuki Maehara (Kyushu University) Adrian Miranda (Macquarie University) Giacomo Tendas (Macquarie University) Paula Verdugo (Macquarie University) Giulian Wiggins (University of Sydney) For any additional information, please contact us at catscomps2021(a)gmail.com [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

CALCO 2021: Deadline extension and invited speakers
by Thorsten Wissmann 30 May '21

30 May '21

CAUTION: The Sender of this email is not from within Dalhousie. [Apologies if you receive multiple copies of this message] ========================================================= CALL FOR PAPERS: CALCO 2021 9th International Conference on Algebra and Coalgebra in Computer Science 31 Aug - 03 Sep 2021 Salzburg, Austria (if possible) Co-located with MFPS XXXV ========================================================== Paper submission: 10 June 2021 AoE (NEW) Author notification: 29 July 2021 Final version due: 12 August 2021 ========================================================== Scope ===== Algebraic and coalgebraic methods and tools are a mainstay of computer science. From data types to development techniques and specification formalisms, both theoreticians and practitioners have benefited from the large body of research proposed and implemented since the pioneering works of the 1960s. CALCO aims to bring together researchers with interests in both foundational and applicative uses of algebra and coalgebra in computer science, traditional as well as emerging ones. CALCO is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science) and WADT (the Workshop on Algebraic Development Techniques). Previous CALCO editions took place in Swansea (Wales, 2005), Bergen (Norway, 2007), Udine (Italy, 2009), Winchester (UK, 2011), Warsaw (Poland, 2013), Nijmegen (the Netherlands, 2015), Ljubljana (Slovenia,2017), and London (UK, 2019). The 9th edition will be held in Salzburg, Austria, co-located with MFPS XXXVII. Joint CALCO-MFPS Invited Speaker ================================ * Eugenia Cheng (School of the Art Institute of Chicago) CALCO Invited Speakers ====================== * Valeria De Paiva (Topos Institute, Berkeley) * Holger Giese (Hasso-Plattner Institute, Potsdam) * Viktor Vafeiadis (Max Plank Institute, Kaiserslautern) Joint CALCO-MFPS Special Session on Termination Analysis and Synthesis ====================================================================== * Azadeh Farzan (University of Toronto) Submission Categories ===================== CALCO invites papers relating to all aspects of algebraic and coalgebraic theory and applications, and distinguishes between four categories of submissions. 1. Regular papers that report * results on theoretical foundations * novel methods and techniques for software development * experiences with the technology transfer to industry. 2. (Co)Algebraic Pearls papers that * present possibly known material in a novel and enlightening way. 3. Early ideas abstracts that lead to * presentations of work in progress * proposals for original venues of research. 4. Tool presentation papers that * report on the features and uses of algebraic/coalgebra-based tools. Topics of Interests =================== All topics relating to algebraic and coalgebraic theory and applications are of interest for CALCO, and among them * Models and logics - Automata and languages - Graph transformations and term rewriting - Modal logics - Proof systems - Relational systems * Algebraic and coalgebraic semantics - Abstract data types - Re-engineering techniques (program transformation) - Semantics of conceptual modelling methods and techniques - Semantics of programming languages * Methodologies in software and systems engineering - Development processes - Method integration - Usage guidelines * Specialised models and calculi - Hybrid, probabilistic, and timed systems - Concurrent, distributed, mobile, cyber-physical, and context-aware computational paradigms - Systems theory and computational models (chemical, biological, etc.) * System specification and verification - Formal testing and quality assurance - Generative programming and model-driven development - Integration of formal specification techniques - Model-driven development - Specification languages, methods, and environments * Tools supporting algebraic and coalgebraic methods for - Advances in automated verification - Model checking - Theorem proving - Testing * String diagrams and network theory - Theory of PROPs and operads - Rewriting problems and higher-dimensional approaches - Automated reasoning with string diagrams - Applications of string diagrams * Quantum computing - Categorical semantics for quantum computing - Quantum calculi and programming languages - Foundational structures for quantum computing - Applications of quantum algebra Submissions Guidelines ====================== All submissions will be handled via EasyChair https://easychair.org/conferences/?conf=calco2021 The format for all submissions is specified by LIPIcs. Please use the latest version of the style http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/ It is recommended that submissions adhere to that format and length. Submissions that are clearly too long may be rejected immediately. Regular papers ============== Prospective authors are invited to submit full papers in English presenting original research. Submitted papers must be unpublished and not submitted for publication elsewhere. Regular papers should be maximum 15 pages long, excluding references. Proofs omitted due to space limitations may be included in a clearly marked appendix. Each submission will be evaluated by at least three reviewers. Proceedings will be published in the Dagstuhl LIPIcs Leibniz International Proceedings in Informatics series. A special issue of the open access journal Logical Methods in Computer Science (http://www.lmcs-online.org) will contain the extended versions of selected papers. (Co)algebraic pearls ==================== This is a new submission category in 2021. Explaining a known idea in a new way may make as strong a contribution as inventing a new idea. We encourage the submission of pearls: elegant essays that illustrate an idea in a beautiful or didactically clever way, perhaps by developing an application. Pearls are typically short and concise and so should not be longer than regular papers in the format specified by LIPIcs. Authors who feel they need a bit more space should consult with the PC co-chairs. The accepted papers will be included in the final proceedings of the conference. Each submission will be evaluated by at least two reviewers. Early ideas abstracts ===================== Submissions should not exceed 2 pages in the format specified by LIPIcs. The volume of selected abstracts will be made available on arXiv and on the CALCO pages. Authors will retain copyright, and are also encouraged to disseminate the results by subsequent publication elsewhere. Each submission will be evaluated by at least two reviewers. Tool papers =========== Submissions should not exceed 5 pages in the format specified by LIPIcs. The accepted tool papers will be included in the final proceedings of the conference. The tools should be made available on the web at the time of submission for download and evaluation. Each submission will be evaluated by at least three reviewers, and one or more of the reviewers will be asked to download and use the tool. Best Paper and Best Presentation Awards ======================================= This edition of CALCO will feature two awards: a Best Paper Award whose recipients will be selected by the PC before the conference and a Best Presentation Award, elected by the participants. Programme Committee =================== * Zena M. Ariola (University of Oregon) * Paolo Baldan (University of Padova) * Rui Soares Barbosa (International Iberian Nanotechnology Laboratory) * Luis Caires (NOVA University Lisbon) * Francisco Dur?n (University of M?laga) * Brendan Fong (Massachusetts Institute of Technology) * Fabrizio Romano Genovese (University of Pisa) * Jules Hedges (University of Strathclyde, Glasgow) * Thomas Hildebrandt (IT University of Copenhagen) * Peter Jipsen (Chapman University) * Wolfram Kahl (McMaster University) * Marie Kerjean (CNRS -- Laboratoire d'Informatique de Paris Nord) * Jean Krivine (CNRS -- Universit? de Paris) * Michele Loreti (University of Camerino) * Sonia Marin (University College London) * Manuel A. Martins (University of Aveiro) * Annabelle McIver (Macquarie University) * Hernan Melgratti (University of Buenos Aires) * Koko Muroya (RIMS, Kyoto University) * Elaine Pimentel (UFRN) * Elvinia Riccobene (University of Milan) * Alex Simpson (University of Ljubljana) * David I. Spivak (Massachusetts Institute of Technology) * Christine Tasson (LIP6 - Sorbonne Universit?) * Tarmo Uustalu (Reykjavik University/Tallinn U. of Technology) * Maaike Zwart (University of Oxford) * Rob van Glabbeek (Data61 - CSIRO) Chairs ====== * Fabio Gadducci (University of Pisa) * Alexandra Silva (University College London) Local Organiser =============== * Ana Sokolova (University of Salzburg) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

PhD position at the University of Amsterdam
by Benno van den Berg 28 May '21

28 May '21

CAUTION: The Sender of this email is not from within Dalhousie. Dear colleague, The ILLC (part of the University of Amsterdam) is advertising an open PhD position (at the Faculty of Science); the deadline is 13 June 2021. The vacancy can be found here: https://www.uva.nl/shared-content/uva/en/vacancies/2021/05/21-315-phd -in-logic-language-and-computation.html?origin=RrhWo%2FMXSgW7Uzvhwnl%2B%2Fg Please pass this on to potential candidates. And candidates who are interested in category theory, type theory, proof theory or constructive maths, should feel free to contact me. Best wishes, Benno [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Call For Short Papers - 37th International Conference on Logic Programming (ICLP 2021)
by Miguel Areias 27 May '21

27 May '21

CAUTION: The Sender of this email is not from within Dalhousie. ========================================================================= ?????????????????????????????????????????????????? CALL FOR SHORT PAPERS ?????? The 37th International Conference on Logic Programming (ICLP 2021) ========================================================================= We are pleased to announce our distinguished invited speakers. ** William W. Cohen, Google AI ** John Hooker, CMU ** Phokion Kolaitis, UC Santa Cruz and IBM Almaden ** Stuart Russell, UC Berkeley ** Jeffrey Ullman, Stanford University ========================================================================= Contributions are sought in all areas of logic programming, including but not restricted to: ** Foundations: Semantics, Formalisms, Nonmonotonic reasoning, ???? Knowledge representation. ** Languages issues: Concurrency, Objects, Coordination, Mobility, ???? Higher order, Types, Modes, Assertions, Modules, Meta-programming, ???? Logic-based domain-specific languages, Programming techniques. ** Programming support: Program analysis, Transformation, Validation, ???? Verification, Debugging, Profiling, Testing, Execution ???? visualization. ** Implementation: Compilation, Virtual machines, Memory management, ???? Parallel/distributed execution, Constraint handling rules, Tabling, ???? Foreign interfaces, User interfaces. ** Related Paradigms and Synergies: Inductive and coinductive logic ???? programming, Constraint logic programming, Answer set programming, ???? Interaction with SAT, SMT and CSP solvers, Theorem proving, ???? Argumentation, Probabilistic programming, Machine learning. ** Applications: Databases, Big data, Data integration and federation, ???? Software engineering, Natural language processing, Web and semantic ???? web, Agents, Artificial intelligence, Computational life sciences, ???? Cybersecurity, Robotics, Education. Important Dates *************** ** Short Paper Submission: July 4, 2021 ** Notification: July 30, 2021 ** Camera-ready copy due: August 10, 2021 ** Conference: September 20--27, 2021 Submission Details ****************** Expected submissions must follow the instructions: ** Short papers (7 pages in EPTCS format (http://info.eptcs.org/) ???? including references) can describe published research. ???? The accepted short papers that describe original and previously ???? unpublished work will be published as technical communications, ???? along with the selected ICLP technical communications papers. ???? The accepted short papers that describe published research will be ???? made available at the conference webpage, with the permission of ???? the authors. All submissions must be written in English. Accepted technical communications will be presented during the conference. Authors of accepted technical communications will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost. Submissions will be done via EasyChair. The submission Web page for ICLP2021 is https://easychair.org/conferences/?conf=iclp2021 More details ************ https://iclp2021.dcc.fc.up.pt Any additional question can be directed towards ICLP Chairs: iclp2021(a)easychair.org ========================================================================= [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

***SPAM?*** categories: PhD position in HoTT/UF at TU Delft
by Benedikt Ahrens 27 May '21

27 May '21

CAUTION: The Sender of this email is not from within Dalhousie. A PhD position [1] is open in the Programming Languages group [2] at TU Delft, in the area of HoTT/UF. The student will be supervised by Benedikt Ahrens [3]. Information about the position is available on the dedicated website [1]. If you have any questions or consider applying, please get in touch with Benedikt (benedikt.ahrens(a)gmail.com) [1] https://pl.ewi.tudelft.nl/hiring/2021/phd-student-hottuf/ [2] https://pl.ewi.tudelft.nl/ [3] https://benediktahrens.gitlab.io/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

PhD position on the formalization of logical calculi in Saarbrücken
by Andrei Popescu 26 May '21

26 May '21

CAUTION: The Sender of this email is not from within Dalhousie. A PhD position is open at the MPI for Informatics in Saarbrücken, supervised by Christoph Weidenbach, Jasmin Blanchette and Sophie Tourret. The project is about using Isabelle/HOL to formalize logical calculi. See https://www.cs.vu.nl/~jbe248/sb_job.html for more information. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

One-day conference "Advances in Hopf Algebroids"
by SARACCO Paolo 24 May '21

24 May '21

CAUTION: The Sender of this email is not from within Dalhousie. Dear Colleagues,=0A= =0A= We are glad to announce the online event "Advances in Hopf Algebroids" that= will be held on the 7th of July, 2021.=0A= This one-day conference is aimed at gathering together junior and senior re= searchers who are interested in bialgebroids, Hopf algebroids and their app= lications.=0A= Five invited speakers will deliver an extended one hour talk on a topic of = current interest.=0A= =0A= Please, feel free to share the details of this event in your local academic= community.=0A= =0A= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=0A= =0A= REGISTRATION=0A= =0A= Registration is now open via a Google Form on the webpage https://sites.goo= gle.com/view/advhopfalgd21.=0A= Please, register before the 2nd of July at 23:59:59 Anywhere on Earth.=0A= =0A= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=0A= =0A= INVITED SPEAKERS=0A= =0A= The following invited speakers will each deliver an extended one hour talk.= Further information, including the titles and abstracts of their talks, wi= ll be announced on the website: https://sites.google.com/view/advhopfalgd21= =0A= =0A= - Xiao Han=0A= - Niels Kowalzig=0A= - Daniel Sch=E4ppi=0A= - Kenichi Shimizu=0A= - Zoran =A6koda=0A= =0A= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=0A= =0A= ORGANISERS=0A= =0A= Aryan Ghobadi (Queen Mary University of London)=0A= Paolo Saracco (ULB - Universit=E9 Libre de Bruxelles)=0A= =0A= For any additional information, please contact us at paolo.saracco(a)ulb.be o= r a.ghobadi(a)qmul.ac.uk.=0A= =0A= =0A= =0A= =0A= =0A= =0A= =0A= -- =0A= Paolo Saracco, PhD (he/him)=0A= =0A= ULB - Universit=E9 Libre de Bruxelles=0A= D=E9partement de Math=E9matique=0A= Campus de la Plaine CP 216=0A= Bd du Triomphe=0A= =0A= sites.google.com/view/paolo-saracco=0A= homepages.ulb.ac.be/~psaracco=0A= --=0A= - Le mie parole sono incise nelle montagne -=0A= =A0- My words are carved into the mountains -= [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

CFP - 17th Doctoral Consortium (DC) on Logic Programming (ICLP-DC 2021)
by Miguel Areias 22 May '21

22 May '21

CAUTION: The Sender of this email is not from within Dalhousie. ========================================================================= ?????????????????????????????????????????????????? CALL FOR PAPERS ???????? ICLP DC 2021 - 17th Doctoral Consortium (DC) on Logic Programming ========================================================================= The 17th Doctoral Consortium (DC) on Logic Programming provides students with the opportunity to present and discuss their research directions, and to obtain feedback from both peers and experts in the field. The preliminary website of the DC can be found at: https://sites.google.com/view/iclp-dc-2021/iclp-2021-doctoral-consortium The DC will take place during the 37th International Conference on Logic Programming (ICLP) https://iclp2021.dcc.fc.up.pt (September 20-27, 2021), as a fully virtual event. The best paper from the DC will be given the opportunity to make a presentation in a session of the main ICLP conference. Important Dates *************** Paper submission: July 15, 2021 Notification: August 01, 2021 Camera-ready copy: August 10, 2021 DC presentations: TBA (fully virtual event) DC students are highly recommended to attend the Autumn School on Logic Programming and Constraint Programming (https://sites.google.com/view/iclp-dc-2021/autumn-school-on-logic-programmi…) Audience ******** The DC is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Master's program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply for participation in the DC. Applicants are expected to conduct research in areas related to logic and constraint programming; topics of interest include (but are not limited to): ** Foundations: Semantics, Formalisms, Nonmonotonic reasoning, ???? Knowledge representation. ** Languages: Concurrency, Objects, Coordination, Mobility, Higher ???? Order, Types, Modes, Assertions, Modules, Meta-programming, ???? Logic-based domain-specific languages, Programming Techniques. ** Declarative programming: Declarative program development, Analysis, ???? Type and mode inference, Partial evaluation, Abstract ???? interpretation, Transformation, Validation, Verification, ???? Debugging, Profiling, Testing, Execution visualization. ** Implementation: Virtual machines, Compilation, Memory management, ???? Parallel/distributed execution, Constraint handling rules, Tabling, ???? Foreign interfaces, User interfaces. ** Related Paradigms and Synergies: Inductive and Co-inductive Logic ???? Programming, Constraint Logic Programming, Answer Set Programming, ???? Interaction with SAT, SMT and CSP solvers, Logic programming ???? techniques for type inference and theorem proving, Argumentation, ???? Probabilistic Logic Programming, Relations to object-oriented and ???? Functional programming. ** Applications: Databases, Big Data, Data integration and federation, ???? Software engineering, Natural language processing, Web and Semantic ???? Web, Agents, Artificial intelligence, Computational life sciences, ???? Education, Cybersecurity, and Robotics. Submissions by students who have presented their work at previous ICLP DC editions are allowed, but should occur only if there are substantial changes or improvements to the student's work. The DC offers participants a convenient, more informal way to interact with established researchers and fellow students, through presentations, question-answer sessions, panel discussions, and invited presentations. The Doctoral Consortium will also provide the possibility to reflect - through short activities, information sessions, and discussions - on the process and lessons of research and life in academia. Each participant will give a short, critiqued, research presentation. Discussants *********** Renowned experts and researchers in the fields of logic and constraint programming will join in evaluating submissions and will participate in the DC, providing valuable feedback to DC participants. Goals ***** ** To provide doctoral students working in the fields of logic and ???? constraint programming with a friendly and open forum to present ???? their research ideas, listen to ongoing work from peer students, ???? and receive constructive feedback. ** To provide students with relevant information about important ???? issues for doctoral candidates and future academics. ** To develop a supportive community of scholars and a spirit of ???? collaborative research. ** To support a new generation of researchers with information and ???? advice on academic, research, industrial, and non-traditional ???? career paths. Submission Details ****************** Submissions of the research summary must be made in EPTCS format (http://info.eptcs.org/) and submitted via EasyChair. All papers must be written in English and should be between 5 and 10 pages. For all accepted DC papers, the student is required to attend the DC program and give a presentation during the DC. A program committee consisting of experts in various areas related to logic and constraint programming reviews the submissions. Papers are reviewed by at least two, and usually three, referees.?? The submission package should consist of the research summary in the format mentioned above, a short vita or cover letter of the applicant, a letter of recommendation from applicant's faculty advisor, and one paragraph statement outlining how the school will benefit the applicant. All material is to be submitted electronically, in PDF format on the Easychair system. Easychair link: https://easychair.org/conferences/?conf=iclp2021 (Doctoral Consortium track) Research summary (make sure to include your complete name, address, and affiliation): The body of your research summary (no more than 10 pages, but 5 is fine as well!) should provide a clear overview of your research, its potential impact, and its current status. You are encouraged to include the following sections: ** Introduction and problem description ** Background and overview of the existing literature ** Goal of the research ** Current status of the research ** Preliminary results accomplished (if any) ** Open issues and expected achievements ** Bibliographical references Review Criteria *************** The DC program committee will select participants based on their anticipated contribution to the DC objectives. Participants typically have settled on their thesis directions and have their research proposal accepted by their thesis committee. Students will be selected based on clarity and completeness of their submission package, relevance of their research area w.r.t. the focus of ICLP, stage of research, recommendation letter, and evidence of promise towards a successful career in research and academia, such as published papers or technical reports. Registration ************ Registration is part of the ICLP 2021 registration. Registration costs for ICLP will be lower than usual since it is virtual this year. We aim to find sponsoring to cover the registration cost of students participating in the DC, but this still has to be confirmed. Program co-chairs ***************** Bart Bogaerts, Vrije Universiteit Brussel Carmine Dodaro, University of Calabria Program Committee ***************** Daniela Inclezan, Miami University OH Johannes Fichte, TU Dresden Fabio Fioravanti, University of Chieti-Pescara Gregory Gelfond, University of Nebraska at Omaha Zeynep G. Saribatur, Vienna University of Technology Frank Valencia, LIX, Ecole Polytechnique Matthias Van der Hallen, KU Leuven Yi Wang, Arizona State University Jessica Zangari, University of Calabria [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

ICALP 2021 Call for Student Volunteers
by Simon Gay 21 May '21

21 May '21

CAUTION: The Sender of this email is not from within Dalhousie. ICALP 2021 is offering a student volunteer programme which offers free registration in exchange for technical assistance with running the sessions. Please check http://easyconferences.eu/icalp2021/registration/ for details. The main duties of a student volunteer: - To provide support in technical sessions, either for the main conference or workshops or both. This mainly consists of helping presenters to work with the online conference platform. Training will be given. - To help with social sessions, in as-yet-unspecified ways ??? for example, helping to assign people to groups, or technical troubleshooting. - To answer queries from conference participants, passing such queries to members of the organising committee if necessary. The dates when you will be needed are as follows: - Morning of the 1st and afternoon of the 2nd July for conference rehearsal and training. - Tuesday 13th to Friday 16th July inclusive for the main conference - though you will only be asked to volunteer over two of these days. We will do our best to accomodate preferences in our scheduling. The benefits of volunteering: - Helping with a major event. - Experience for your CV. - Free registration for the conference, including access to social events and invited talks. However, you will not have a free choice of technical sessions because you will be assigned to certain sessions as a volunteer. - Camaraderie with fellow volunteers, and our gratitude - we are planning appreciation events for our student volunteers. If you are interested in volunteering, please see the draft job description, and email Dr Jess Enright (jessica.enright(a)glasgow.ac.uk) to register your interest, including ???ICALP Student Volunteer??? in the subject line. Applications are open until sufficient volunteers are recruited, or until June 18th at the latest. You should be notified of the outcome of your application within 5 business days of your application. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0