[TYPES/announce] CSL 2022 - call for papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ==Apologies for cross-posting== = Second call for papers (CSL'22) = News: Invited speakers announced, Helena-Rasiowa-Award, website open, submission site open, colocated events = Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL), see https://www.eacsl.org/. It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science. CSL'22 will be held on February 14 - 19, 2022, in Göttingen, Germany. Currently, we expect that the conference will be organized in a hybrid way: both with an in-presence component and an online component. Website: http://csl2022.uni-goettingen.de/ Invited speakers: - Annabelle McIver Macquarie (University, Sydney, Australia) Udi Boker (IDC Herzliya, Israel) Martin Escardo (University of Birmingham, UK) Rosalie Iemhoff (Utrecht University, The Netherlands) Karen Lange (Wellesley College, USA) Submission guidelines: -- Submitted papers must be in English and must provide sufficient detail to allow the Programme Committee to assess the merits of the paper. Full proofs may appear in a clearly marked technical appendix which will be read at the reviewers' discretion. Authors are strongly encouraged to include a well written introduction which is directed at all members of the PC. The CSL 2022 conference proceedings will be published in Leibniz International Proceedings in Informatics (LIPIcs), see https://submission.dagstuhl.de/documentation/authors. Authors are invited to submit contributed papers of no more than 15 pages in LIPIcs style (not including references), presenting unpublished work fitting the scope of the conference. Papers may not be submitted concurrently to another conference with refereed proceedings. The PC chairs should be informed of closely related work submitted to a conference or a journal. Papers authored or co-authored by members of the PC are not allowed. At least one of the authors of each accepted paper is expected to register for the conference and attend it in person or online, in order to present their papers. Submissions should be made via easychair: https://easychair.org/conferences/?conf=csl2022 Helena-Rasiowa-Award: - The Helena Rasiowa Award is the best student paper award for the CSL conference series, starting from CSL 2022. The award will be given to the best paper (as decided by the PC) written solely by students or for which students were the main contributors. A student in this context is any person who is currently studying for a degree or whose PhD award date is less than one year prior to the first day of the conference. Important dates: Abstract submission: July 5, 2021 (AoE), Paper submission: July 12, 2021 (AoE), Notification: September 30, 2021, Conference: February 14-19, 2022 List of topics: --- automated deduction and interactive theorem proving constructive mathematics and type theory equational logic and term rewriting automata and games, game semantics modal and temporal logic model checking decision procedures logical aspects of computational complexity finite model theory computability computational proof theory logic programming and constraints lambda calculus and combinatory logic domain theory categorical logic and topological semantics database theory specification, extraction and transformation of programs logical aspects of quantum computing logical foundations of programming paradigms verification and program analysis linear logic higher-order logic nonmonotonic reasoning Program Committee: -- Thorsten Altenkirch (Nottingham, UK) Benedikt Bollig (Cachan, France) Agata Ciabattoni (Vienna, Austria) Liron Cohen (Ben-Gurion University, Israel) Anupam Das (Birmingham, UK) Claudia Faggian (Paris, France) Francesco Gavazzo (Bologna, Italy) Stefan Göller (Kassel, Germany) Willem Heijltjes (Bath, UK) Sandra Kiefer (Aachen, Germany) Emanuel Kieronski (Wroclaw, Poland) Bartek Klin (Warsaw, Poland) Juha Kontinen (Helsinki, Finland) Anthony Lin (Kaiserslautern, Germany) Karoliina Lehtinen (Marseille, France) Florin Manea (Göttingen, Germany, co-chair) Fredrik Nordvall Forsberg (Strathclyde, UK) Liat Peterfreund (Paris, France and Edinburgh, UK) Daniela Petrisan (Paris, France) Karin Quaas (Lepizig) Alex Simpson (Ljubljana, Slovenia, co-chair) Pawel Sobocinski (Tallin, Estonia) Anna Sokolova (Salzburg, Austria) Linda Brown Westrick (Connecticut, US) Organization Committee: --- Fundamentals of Computer Science Group - University of
[TYPES/announce] Call for Tutorial, Panel, and Discussion Proposals: ICFP 2021
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR TUTORIAL, PANEL, AND DISCUSSION PROPOSALS ICFP 2020 25th ACM SIGPLAN International Conference on Functional Programming August 22 - 27, 2021 Virtual https://icfp21.sigplan.org/ The 25th ACM SIGPLAN International Conference on Functional Programming will be held virtually on August 22-27, 2021. ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. Proposals are invited for tutorials, lasting approximately 3 hours each, to be presented during ICFP and its co-located workshops and other events. These tutorials are the successor to the CUFP tutorials from previous years, but we also welcome tutorials whose primary audience is researchers rather than practitioners. Tutorials may focus either on a concrete technology or on a theoretical or mathematical tool. Ideally, tutorials will have a concrete result, such as "Learn to do X with Y" rather than "Learn language Y". Just like last year, following the success of the #ShutDownPL event @ ICFP, we are also inviting proposals for panels and discussions on topics of broader interest to the PL community. Tutorials, panels, and discussions may occur before or after ICFP, co-located with the associated workshops, on August 22 or August 26-27. -- Submission details Deadline for submission: June 28th, 2020 Notification of acceptance: July 5th, 2020 Prospective organizers of tutorials are invited to submit a completed tutorial proposal form in plain text format to the ICFP 2021 workshop co-chairs (Leonidas Lampropoulos and Zoe Paraskevopoulou), via email to icfp-workshops-2...@googlegroups.com by June 28th, 2021. Please note that this is a firm deadline. Organizers will be notified if their event proposal is accepted by July 5th, 2021. The proposal form is available at: http://www.icfpconference.org/icfp2021-files/icfp21-panel-form.txt http://www.icfpconference.org/icfp2021-files/icfp21-tutorials-form.txt -- Selection committee The proposals will be evaluated by a committee comprising the following members of the ICFP 2021 organizing committee. Tutorials Co-Chair: Zoe Paraskevopoulou (Northeastern) Tutorials Co-Chair: Leonidas Lampropoulos (University of Maryland) General Chair: Sukyoung Ryu (KAIST) Program Chair: Ron Garcia(University of British Columbia) -- Further information Any queries should be addressed to the tutorial co-chairs ( Leonidas Lampropoulos and Zoe Paraskevopoulou), via email to icfp-workshops-2...@googlegroups.com
[TYPES/announce] MFPS 2021: Deadline Extension and Invited Speakers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = CALL FOR PAPERS: MFPS XXXVII https://www.coalg.org/calco-mfps-2021/mfps 37th Conference on Mathematical Foundations of Programming Semantics August 30 - September 2, 2021 Online or hybrid, from Salzburg Co-located with CALCO 2021 == Paper submission: June 14, 2021 AoE (NEW) Author notification: August 2, 2021 Final version due: August 16, 2021 == We are delighted to announce the 37th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2021). MFPS 2021 will be hosted by the University of Salzburg, Austria, and will take place on August 30 - September 2, 2021. Due to the pandemic situation, the conference will take place online. Should the situation improve and allow some international travel, we will do our best to organize a small component of the meeting in Salzburg for those participants who wish to attend the meeting in person. 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; constructive mathematics; domain theory and categorical models; formal languages; formal methods; game semantics; lambda calculus; logic; probabilistic systems; process calculi; programming-language theory; quantum computation; security; topological models; 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. MFPS 2021 is co-located with the 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021). - INVITED SPEAKERS: Eugenia Cheng, School of the Art Institute of Chicago (joint with CALCO) Amina Doumane, ENS Lyon Shin-Ya Katsumata, NII Tokyo Krishna S., IIT Bombay INVITED TUTORIAL SPEAKERS (SPECIAL SESSIONS): Azadeh Farzan, University of Toronto (Termination Analysis and Synthesis -- joint with CALCO) Sam Staton, University of Oxford (Probabilistic Programming Semantics) Paul André Melliès, IRIF Université Paris Denis Diderot (Categorical Type Theory) Filippo Bonchi, University of Pisa and Pawel Sobocinski, Taltech (String Diagrams) - PROGRAMME COMMITTEE: Sandra Alves, University of Porto, Portugal Henning Basold, University of Leiden, Netherlands Andrej Bauer, University of Ljubljana, Slovenia Stephen Brookes, Carnegie Mellon University, USA Corina Cirstea, University of Southampton, UK Fabio Gadducci, University of Pisa, Italy Ichiro Hasuo, NII, Japan Helle Hvid Hansen, University of Groningen, Netherlands Justin Hsu, University of Wisconsin-Madison, USA Patricia Johann, Appalachian State University, USA Achim Jung, University of Birmingham, UK Sandra Kiefer, RWTH Aachen University, Germany / University of Warsaw, Poland Barbara König, University of Duisburg-Essen, Germany Catherine Meadows, NRL, USA Michael Mislove, Tulane University, USA Joel Ouaknine, Max Planck Institute for Software Systems, Germany Prakash Panangaden, McGill University Montreal, Canada Daniela Petrisan, IRIF, Paris 7, France Tatjana Petrov, University of Konstanz, Germany Jurriaan Rot, Radboud University Nijmegen, Netherlands Mehrnoosh Sadrzadeh, UCL, UK Lutz Schröder, Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany Ana Sokolova, University of Salzburg, Austria (PC chair) Valeria Vignudelli, CNRS/ENS Lyon, France - MFPS ORGANIZERS: Andrej Bauer, University of Ljubljana, Slovenia Stephen Brookes, Carnegie Mellon University, USA Achim Jung, University of Birmingham, UK Catherine Meadows, NRL, USA Michael Mislove, Tulane University, USA Joel Ouaknine, Max Planck Institute for Software Systems, Germany Prakash Panangaden, McGill University Montreal, Canada - SUBMISSIONS Submissions via https://easychair.org/conferences/?conf=mfps37 - PROCEEDINGS Elsevier ceased publication of ENTCS at the end of 2020. ENTCS was the traditional publication venue for MFPS. Negotiations are underway to establish a new arrangement for MFPS proceedings publication going forward. The new venue will be announced as soon as arrangements are complete. We anticipate the formal proceedings of this year’s
[TYPES/announce] [Call for Participation] 12th International School on Rewriting
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == CALL FOR PARTICIPATION == 12th International School on Rewriting (ISR 2021) 5-16 July 2021 Virtual event hosted via zoom by Universidad Complutense de Madrid https://dalila.sip.ucm.es/isr2021/ Registration is already open: https://eventos.ucm.es/66824/detail/12th-international-school-on-rewriting-isr-2021.html == Rewriting is a powerful model of computation that underlies much of declarative programming and is ubiquitous in mathematics, logic, theorem proving, verification, model-checking, compilation, biology, chemistry, physics, etc. In 2021, the 12th International School on Rewriting (ISR 2021) will take place online as a virtual event hosted via zoom by the Computer Science School at Universidad Complutense de Madrid, Spain. The school is aimed at Master and PhD students, researchers and practitioners interested in the use or the study of rewriting and its applications. >From July 5 to July 16 a course will be taught every day, according to the schedule published in the web page. == COURSES == Christiano Braga: Compiler construction in Maude Paola Bruscoli: An introduction to deep inference methodology in proof theory Santiago Escobar: Unification and Narrowing in Maude 3.0 Maribel Fernandez: Nominal rewriting Carsten Fuhs: Automated complexity analysis for term rewriting Maja H. Kirkeby & Robert Glück: Inversion and term rewriting systems Jean-Jacques Levy: Lambda calculus, the generalized finite development theorem Luigi Liquori & Vincent van Oostrom: Lambda calculi with patterns Dorel Lucanu, Xiaohong Chen & Grigore Rosu: From rewriting to matching logic Jorge A. Perez: Session types for message-passing concurrency Carolyn Talcott: Pathway Logic, using rewriting logic to understand how cells work == REGISTRATION == Registration is free but required. https://eventos.ucm.es/66824/detail/12th-international-school-on-rewriting-isr-2021.html == ORGANIZERS == David de Frutos Escrig Narciso Marti-Oliet Albert Rubio Manuel Montenegro Adrian Riesco Contact: narc...@ucm.es ISR 2021 is promoted by the IFIP WG1.6 and supported by Universidad Complutense de Madrid. ==
[TYPES/announce] PhD funding on "Reasoning about Concurrent Game Structures with Numerical Resources"
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] PhD Fellowship - Labex Digicosme - Paris-Saclay (LIX, LMF) Urgent: deadline for application = June 10th 2021 We are looking for a candidate for the PhD proposal "REASONING ABOUT CONCURRENT GAME STRUCTURES WITH NUMERICAL RESOURCES" More details can be found at http://www.lsv.fr/~demri/PhDProposal2021.pdf Financement is secured, assuming that the candidate is known to Labex Digicosme by June 15th. The candidate must hold a Master degree in Computer Science, with a solid background in Theoretical Computer Science or Symbolic AI. Typically, candidates with a good knowledge on formal methods, logics for artificial intelligence and proof theory are much appreciated. Applications can be sent either in English or in French. To apply to the position, please send a CV to de...@lsv.fr and l...@lix.polytechnique.fr. --- Stéphane Demri (CNRS, LMF) https://cv.archives-ouvertes.fr/stephane-demri
[TYPES/announce] OPLSS 2021 - See You At The Oregon Programming Languages Summer School
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We hope to see you at the Oregon Programming Languages Summer School! https://www.cs.uoregon.edu/research/summerschool/summer21/intro.mp4 The OPLSS speakers are not singing (it's hard to compete after PLDI's video). Nonetheless, they give a short introduction to their lectures this year: https://www.cs.uoregon.edu/research/summerschool/summer21/preview.mp4 https://www.youtube.com/watch?v=mUB7_G_Zw4M If you still intend to register, please do so as soon as possible. Space is filling quickly! More information can be found at: https://www.cs.uoregon.edu/research/summerschool/ As in years past, videos of the lectures will be available to all, posted online as soon as we can to the main OPLSS website https://www.cs.uoregon.edu/research/summerschool/summer21/topics.php and to the OPLSS youtube channel https://www.youtube.com/channel/UCDe6N9R7U-RYWA57wzJQ2SQ >From all of us at OPLSS: Stephanie Balzer — Carnegie Melon University Session-Typed Concurrent Programming Ugo Dal Lago — University of Bologna >From Program Equivalences to Program Metrics Robert Harper — Carnegie Melon University Principles of Programming Languages Justin Hsu — University of Wisconsin–Madison Reasoning about Probabilistic Programs Patricia Johann — Appalachian State University Semantics of Advanced Data Types Alejandro Russo — Chalmers University Information-flow Control Libraries Alexandra Silva — University College London Kleene Algebras and Applications Nikhil Swamy — Microsoft Research Proof-oriented Programming in F* Tarmo Uustalu — Reykjavik University Monads and Interaction Zena Ariola, Marco Gaboardi, and Paul Downen [image: OPLSS_Logo.png]