[TYPES/announce] Applied Category Theory 2022: Call for Participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PARTICIPATION 5th Annual International Conference on Applied Category Theory (ACT2022) July 18--22, 2022 https://urldefense.com/v3/__https://msp.cis.strath.ac.uk/act2022/__;!!IBzWLUs!QBLWb3ZtIHTutsY-ASVcBGP5mlvnbPIk4N0eWfjOlclZcbJ0PyHTBxOP_h14JpYiOBAw5ZsHudRWbpvX1F75zlo9d7zR_sv0XcXUh8K0ScgmSg$ The 5th International Conference on Applied Category Theory will take place at the University of Strathclyde from 18 to 22 July 2022. This conference follows previous events at Cambridge (2021), MIT (2020), Oxford (2019) and Leiden (2018). HYBRID FORMAT The conference will be fully hybrid, that is, it will be possible for both the audience and presenters to participate remotely over Zoom, if preferred. REGISTRATION We are asking in-person participants to register and pay a nominal registration fee of GB£20 (about US$25) at the following link: https://urldefense.com/v3/__https://onlineshop.strath.ac.uk/conferences-and-events/science-faculty/computer-and-information-science/5th-international-conference-on-applied-category-theory-act-2022__;!!IBzWLUs!QBLWb3ZtIHTutsY-ASVcBGP5mlvnbPIk4N0eWfjOlclZcbJ0PyHTBxOP_h14JpYiOBAw5ZsHudRWbpvX1F75zlo9d7zR_sv0XcXUh8L8iqqMsg$ If the fee is a financial burden for you, please contact us. Online attendance will be free, although we ask that you nevertheless register using the above link. This will allow us to keep track of the numbers of participants, send out zoom links, etc. The university's Covid regulations change unpredictably, and we still don't know what the capacity of the room will be. In the event that we are over-subscribed, we have some side rooms where participants can watch the livestream together while still participating normally in coffee breaks etc. The reason for the registration fee is to give us the option to limit participation if it becomes necessary, and if that happens then places will be first-come-first-served except for accepted speakers. Registration closes: Sunday 10 July FINANCIAL SUPPORT We have a budget for financial assistance for participants thanks to our sponsors, for which priority will be given to accepted speakers, PhD students and early career researchers. Please contact the organisers if this would be useful to you, including information about your status, and your estimated costs. Financial support application deadline: Friday 10 June Anywhere on Earth Financial support notification: Monday 13 June TRAVEL AND ACCOMMODATION: Central Glasgow has many hotels and Airbnbs, but can be busy in the summer months. The conference will be held in the McCance building on the Strathclyde campus: https://urldefense.com/v3/__https://www.openstreetmap.org/way/86419875__;!!IBzWLUs!QBLWb3ZtIHTutsY-ASVcBGP5mlvnbPIk4N0eWfjOlclZcbJ0PyHTBxOP_h14JpYiOBAw5ZsHudRWbpvX1F75zlo9d7zR_sv0XcXUh8J8Lz0XYg$ The nearest hotel is the Premier Inn, about 30 seconds walk away. Glasgow is well served by trains in the UK (e.g. London Euston is 4.5 hours away), and can be reached from the European continent via a Eurostar train to London. Note that advance train tickets can be considerably cheaper in the UK. Glasgow has an international airport, and is also quite easily reachable from Edinburgh airport. Please see https://urldefense.com/v3/__https://msp.cis.strath.ac.uk/act2022/practical.html__;!!IBzWLUs!QBLWb3ZtIHTutsY-ASVcBGP5mlvnbPIk4N0eWfjOlclZcbJ0PyHTBxOP_h14JpYiOBAw5ZsHudRWbpvX1F75zlo9d7zR_sv0XcXUh8IVQxTW2A$ for more information. We look forward to welcoming you in Glasgow! -- The organisers Jules Hedges (jules.hed...@strath.ac.uk) Fredrik Nordvall Forsberg (fredrik.nordvall-forsb...@strath.ac.uk) Jade Master (jade.mas...@strath.ac.uk) James Fairbanks (fairban...@ufl.edu)
[TYPES/announce] ICFP 2022: Call for Tutorials, Panels, and Discussions
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR TUTORIAL, PANEL, AND DISCUSSION PROPOSALS ICFP 2022 27th ACM SIGPLAN International Conference on Functional Programming Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia https://urldefense.com/v3/__https://icfp22.sigplan.org/__;!!IBzWLUs!RIYjYhX-p3kAjoee8mk3ljkI3mZoKw9qgDhnyPP9inZ5dtxLYniHmG_q9ZqLdqCuVfXOxxA4B22S8UZduvxOdbyuz53z3bPaHradr7oQmI4$ The 27th ACM SIGPLAN International Conference on Functional Programming will be held on September 11-16, 2022 in Ljubljana, Slovenia. 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. The tutorials may target an audience who is interested in commercial uses of functional programming, 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, 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 September 11 or September 15-16. -- Submission details Deadline for submission: June 24st, 2022 Notification of acceptance: July 15th, 2022 Prospective organizers of tutorials are invited to submit a completed tutorial proposal form in plain text format to the ICFP 2022 workshop co-chairs (Arthur Azevedo de Amorim and Zoe Paraskevopoulou), via email to icfp-workshops-2...@googlegroups.com by June 24st, 2022. Please note that this is a firm deadline. Organizers will be notified if their event proposal is accepted by July 8th, 2022. The proposal form is available at: https://urldefense.com/v3/__http://www.icfpconference.org/icfp2022-files/icfp22-panel-form.txt__;!!IBzWLUs!RIYjYhX-p3kAjoee8mk3ljkI3mZoKw9qgDhnyPP9inZ5dtxLYniHmG_q9ZqLdqCuVfXOxxA4B22S8UZduvxOdbyuz53z3bPaHradr4myp2I$ https://urldefense.com/v3/__http://www.icfpconference.org/icfp2022-files/icfp22-tutorials-form.txt__;!!IBzWLUs!RIYjYhX-p3kAjoee8mk3ljkI3mZoKw9qgDhnyPP9inZ5dtxLYniHmG_q9ZqLdqCuVfXOxxA4B22S8UZduvxOdbyuz53z3bPaHradbG2aE2I$ -- Selection committee The proposals will be evaluated by a committee comprising the following members of the ICFP 2022 organizing committee. Tutorials Co-Chair: Arthur Azevedo de Amorim (Boston University) Tutorials Co-Chair: Zoe Paraskevopoulou (Northeastern University) General Chair: Andrej Bauer (University of Ljubljana) Program Chair: Zena M. Ariola (University of Oregon) -- Further information Any queries should be addressed to the tutorial co-chairs (Arthur Azevedo de Amorim and Zoe Paraskevopoulou), via email to icfp-workshops-2...@googlegroups.com.
[TYPES/announce] APLAS 2022 Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS 20th Asian Symposium on Programming Languages and Systems (APLAS 2022) Dec 5-Dec 22, 2022 Auckland, New Zealand (co-located with SPLASH 2022) https://urldefense.com/v3/__https://conf.researchr.org/home/aplas-2022__;!!IBzWLUs!XY8a-GXmhdL68TzuptxFsEgKTmuH1JjtcNXFqWpnUVi5Po4bKkx6pa4Zqqwi6wUet1ggKhNZKnywR8zSkvQwJQTefhpK06hSJ5UJ6gk$ Paper Submission Deadline: June 16, 2022, AoE APLAS aims to stimulate programming language research by providing a forum for the presentation of latest results and the exchange of ideas in programming languages and systems. APLAS is based in Asia but is an international forum that serves the worldwide programming languages community. We solicit submissions in the form of regular research papers describing original scientific research results, including system development and case studies. Among others, solicited topics include: * programming paradigms and styles: functional programming; object-oriented programming; probabilistic programming; logic programming; constraint programming; extensible programming languages; programming languages for systems code; novel programming paradigms; * methods and tools to specify and reason about programs and languages: programming techniques; meta-programming; domain-specific languages; proof assistants; type systems; dependent types; program logics, static and dynamic program analysis; language-based security; model checking; testing; * programming language foundations: formal semantics; type theory; logical foundations; category theory; automata; effects; monads and comonads; recursion and corecursion; continuations and effect handlers; program verification; memory models; abstract interpretation; * methods and tools for implementation: compilers; program transformations; rewriting systems; partial evaluation; virtual machines; refactoring; intermediate languages; run-time environments; garbage collection and memory management; tracing; profiling; build systems; program synthesis; * concurrency and distribution: process algebras; concurrency theory; session types; parallel programming; service-oriented computing; distributed and mobile computing; actor-based languages; verification and testing of concurrent and distributed systems; * applications and emerging topics: programming languages and PL methods in education, security, privacy, database systems, computational biology, signal processing, graphics, human-computer interaction, computer-aided design, artificial intelligence and machine learning; case studies in program analysis and verification. Submissions should not exceed 17 pages, excluding bibliography in the Springer LNCS format. The accepted papers will be allowed to use one extra page for the content to accommodate feedback from the reviews in the final paper versions. The review process of APLAS 2022 is double-anonymous, with a rebuttal phase. APLAS 2022 will have post-paper-acceptance voluntary artefact evaluation (new in 2022!). Authors of accepted will be welcome to submit artefacts for evaluation after paper notification. The outcome will not alter the paper acceptance decision. Submit your paper at https://urldefense.com/v3/__https://aplas2022.hotcrp.com__;!!IBzWLUs!XY8a-GXmhdL68TzuptxFsEgKTmuH1JjtcNXFqWpnUVi5Po4bKkx6pa4Zqqwi6wUet1ggKhNZKnywR8zSkvQwJQTefhpK06hS15Viksc$ Call for AEC nominations: https://urldefense.com/v3/__https://conf.researchr.org/track/aplas-2022/aplas-2022-aec*Reviewer-Information__;Iw!!IBzWLUs!XY8a-GXmhdL68TzuptxFsEgKTmuH1JjtcNXFqWpnUVi5Po4bKkx6pa4Zqqwi6wUet1ggKhNZKnywR8zSkvQwJQTefhpK06hSP_mJ9QA$ Important Dates: * Paper Submission Deadline: 16 Jun 2022, AoE * Author Response Period: Mon 1 - Wed 3 Aug 2022 * Author Notification: 15 Aug 2022 Programme Committee: Anders Miltner, UT Austin Andrzej S. Murawski, University of Oxford Anton Podkopaev, Higher School of Economics Aquinas Hobor, University College London Arie Gurfinkel, University of Waterloo Beniamino Accattoli, Inria Casper Bach Poulsen, Delft University of Technology Elena Zucca, University of Genova Eric Koskinen, Stevens Institute of Technology Farzaneh Derakhshan, Carnegie Mellon University Ilya Sergey, National University of Singapore (PC Chair) Isao Sasano, Shibaura Institute of Technology Jan de Muijnck-Hughes, University of Glasgow Jihyeok Park, Oracle Labs Marco Gaboardi, Boston University Marco Patrignani, University of Trento Meenakshi D'Souza, IIIT Bangalore Nengkun Yu, University of Technology Sydney Ondrej Lengál, Brno University of Technology Pierre-Marie Pédrot, Inria Rumyana Neykova, Brunel University London Shachar Itzhaky, Technion Thi Thu Ha Doan, University of Freiburg Umang Mathur, National University of Singapore