types-announce  

Messages by Thread

• [TYPES/announce] LAFI 2023 - Final Call for Extended Abstracts (deadline Oct. 27) - POPL 2023 workshop on Languages for Inference Christine Tasson
• [TYPES/announce] Call for participation: The Proof Society Autumn School and Workshop, Utrecht 7-12 November 2022 Bahareh Afshari
• [TYPES/announce] CFP for PEPM 2023 (Deadline extended) Edwin Brady
• [TYPES/announce] POPL 23 -- Call for student volunteers Konstantinos Kallas
• [TYPES/announce] open faculty search (including PL) in computer science at Boston University Alley Stoughton
• [TYPES/announce] Faculty position in PL at the CS Dept of the University of Oregon Zena Matilde Ariola
• [TYPES/announce] Faculty position in Cambridge, closing date December 5 Jamie Vicary
• [TYPES/announce] Ph.D. positions at Portland State University Yao Li
• [TYPES/announce] PLDI 2023, Call for Workshops and Tutorials William J. Bowman
• [TYPES/announce] LAST CALL: Agda Implementors' Meeting XXXI - Edinburgh, 10-16 November 2022 Orestis Melkonian
• [TYPES/announce] Permanent Chancellor's Fellow positions at the University of Strathclyde (application deadline 23 Oct) Fredrik Nordvall Forsberg
• [TYPES/announce] Selected Papers of Dana S. Scott Steve Awodey
• [TYPES/announce] SPLASH 2022 - Call For Participation: OOPSLA/APLAS/DLS/GPCE/SAS/SLE and more Andreea Costea
• [TYPES/announce] PhD and postdoc positions in theory of quantum computing in Paris Benoît Valiron
• [TYPES/announce] Internship for master students at CNES Paris-Daumesnil Ilik Danko
• [TYPES/announce] SYCO 10 – Call for submissions Robin Kaarsgaard
• [TYPES/announce] Multiple PhD positions at The Australian National University Nisansala Yatapanage
  • [TYPES/announce] 2nd call for PhD positions at ANU Nisansala Yatapanage
  • [TYPES/announce] Multiple PhD positions at The Australian National University Nisansala Yatapanage
• [TYPES/announce] Call for Workshop Proposals for <Programming> 2023 Atsushi Igarashi
• [TYPES/announce] ETAPS Doctoral Dissertation Award 2023 jan . kofron
• [TYPES/announce] ECI 2023 – Call for course proposals – Buenos Aires, July 2023 Pablo Barenbaum
• [TYPES/announce] ETAPS 2023 Final joint call for papers jan . kofron
• [TYPES/announce] Four (4) PhD student positions in dependent type theory for mathematics and computer science Ana Bove
• [TYPES/announce] 14 PhD positions in Austria within the SPyCoDe Special Research Program Maffei, Matteo
• [TYPES/announce] Two postdocs in Type theory for mathematics and computer science Ana Bove
• [TYPES/announce] [Deadline Extension] The 33rd Nordic Workshop on Programming Theory, NWPT '22 Crystal Chang Din
• [TYPES/announce] Faculty position in Verification at Sheffield University Mike Stannett
• [TYPES/announce] Post-doc in Programming Languages at IRIF (Paris) Giuseppe Castagna
• [TYPES/announce] SRC@POPL 2023: Call For Submissions (DEADLINE: 11/11 AoE) Zhang, Danfeng
• [TYPES/announce] Postdoc position (6 years) at the Security and Privacy group, TU Wien Maffei, Matteo
• [TYPES/announce] CFP for PEPM 2023 (Partial Evaluation and Program Manipulation) Edwin Brady
• [TYPES/announce] Call for Participation (online/in-person): type theory workshop, Nottingham, 12 Oct Nicolai Kraus
• [TYPES/announce] Call for Presentations - 7th Workshop on Principles of Secure Compilation (PriSC - colocated with POPL) Marco Guarnieri
• [TYPES/announce] POPL 2023 Call for Tutorials Kristopher K Micinski
• [TYPES/announce] Faculty positions at Iowa State University Rajan, Hridesh [COM S]
• [TYPES/announce] Faculty positions at Indiana University Siek, Jeremy
• [TYPES/announce] Postdoc Positions in Programming Languages, Types, Choreographies (Protocols), and Distributed Systems -- University of Southern Denmark -- Deadline: 6 October 2022 Fabrizio Montesi
• [TYPES/announce] Postdoc contract at the University of Lisbon Vasco Thudichum Vasconcelos
• [TYPES/announce] UPDATED CfP: Eelco Visser Commemorative Symposium Jonathan Aldrich
• [TYPES/announce] PLMW@POPL 2023: Call For Scholarship Applications (DEADLINE: 10/14 AoE) Favonia
• [TYPES/announce] RAMiCS 2023 - Deadline extension Luigi Santocanale
• [TYPES/announce] CoqPL 2023: Call for Presentations Tej Chajed
• [TYPES/announce] Summary of results from the Coq Community Survey 2022 Théo Zimmermann
• [TYPES/announce] [CfPart / Reminder] Proofs, computation and meaning II (28 September, online) Luca Tranchini
• [TYPES/announce] [TFP 2023 Call for Papers] 24th International Symposium on Trends in Functional Programming Peter Achten
• [TYPES/announce] 1st Call for Papers: NASA Formal Methods (NFM) 2023 Rozier, Kristin-Yvonne [AER E]
• [TYPES/announce] PLDI 2023 First Call for Papers Anders Miltner
• [TYPES/announce] NJPLS on Friday, October 21st, at UMD Leonidas Lampropoulos
• [TYPES/announce] NWPT 2022 call for contributions Crystal Chang Din
• [TYPES/announce] Recruitment of a research engineer in automated proof at LIRMM in Montpellier (France) David Delahaye
  • [TYPES/announce] Recruitment of a research engineer in automated proof at LIRMM in Montpellier (France) David Delahaye
• [TYPES/announce] Postdoc Position on Hardware Verification via Model Learning, Royal Holloway University of London -- Application deadline 15 Oct 2022 Sammartino, Matteo
• [TYPES/announce] Faculty positions at Oxford Jeremy Gibbons
• [TYPES/announce] Teaching faculty positions at Princeton CS David Walker
• [TYPES/announce] (Deadline Extended: Sep 22) Call for Papers for FAVPQC 2022 - International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols 2022 TRAN Dinh Duong
• [TYPES/announce] LAFI 2023 - Call for Extended Abstracts (deadline Oct. 20) - POPL 2023 workshop on Languages for Inference Christine Tasson
• [TYPES/announce] Looking for PostDoc on Program Verification Techniques in F* and Coq Catalin Hritcu
• [TYPES/announce] 2022 Alonzo Church Award Announcement Andrzej Murawski
• [TYPES/announce] RAMiCS 2023 - Third call for papers Luigi Santocanale
• [TYPES/announce] OOPSLA 2023: Round 1 Call for Papers Andreea Costea
• [TYPES/announce] Call for Papers: ESOP 2023 Thomas Wies
• [TYPES/announce] Call for Papers: Unsound - Sources of Unsoundness in Verification (Deadline Extension: 2022-09-16) Jan Bessai
• [TYPES/announce] CAV 2023 PC Nomination Constantin Enea
• [TYPES/announce] TYPES 2022 First Post-proceeding CfP Pierre-Marie Pédrot
• [TYPES/announce] ProLaLa 2023 -- Programming Languages and the Law (Jan 15th 2023, Boston) : Deadline Oct 27th 2022 Denis Merigoux
• [TYPES/announce] Day of the Camel 2022: OCaml in Academia and Industry (online, 9 September 2022) Roberto Blanco
• [TYPES/announce] ETAPS 2023 2nd joint call for papers Jan Kofron
• [TYPES/announce] STACS 2023 - second call for papers Anuj Dawar
• [TYPES/announce] New release of Software Foundations Benjamin Pierce
• [TYPES/announce] Formal Methods Teaching Workshop (FMTea 2023) Call for Paper Catherine DUBOIS
• [TYPES/announce] SYCO 9 - Last call for participation Elena Di Lavore
• [TYPES/announce] Postdoc Position in Testing AI Ethics at King's College London M.R. Mousavi
• [TYPES/announce] FoPSS 2023 - Preliminary Announcement and Call for Participation Ugo Dal Lago
• [TYPES/announce] Last CfP: FM 2023 - 25th International Symposium on Formal Methods (strict deadline: Sept. 4, 2022) emilio . tuosto
• [TYPES/announce] Senior Lectureship in Computer Science at Swansea University Monika Seisenberger
• [TYPES/announce] CfP: FoSSaCS '23: 26th International Conference on Foundations of Software Science and Computation Structures Pawel Sobocinski
• [TYPES/announce] Postdoc and PhD positions in Paris in collaboration with Fujitsu Japan Caterina Urban
• [TYPES/announce] Functional Art, Music, Modeling and Design (FARM 2022) Sep 15: Call for Participation Michael Sperber
• [TYPES/announce] SYCO 9 - Call for participation Elena Di Lavore
• [TYPES/announce] CCC2022 - 3rd call for contributions - deadline extended to 23rd August Maria Emilia Maietti
  • [TYPES/announce] special issue of Journal of Logic and Analysis dedicated to the 75th birthday of Dieter Spreen Maria Emilia Maietti
• [TYPES/announce] VMCAI 2023 Call for Papers Cezara
• [TYPES/announce] IFL22: Early registration deadline August 15th Pieter Koopman
• [TYPES/announce] SPLASH 2022 - Combined Call For Workshop Papers Andreea Costea
• [TYPES/announce] PLanQC 2022: Call for posters Julien Ross
• [TYPES/announce] PhD positions on formal methods and program analysis available at the University of Oslo Martin Steffen
• [TYPES/announce] PPDP 2022 and LOPSTR 2022 Call for Participation Beniamino Accattoli
• [TYPES/announce] Conference in honour of Thomas Ehrhard’s 60th birthday Lorenzo Tortora de Falco
• [TYPES/announce] Postdoc and PhD positions at the University of Birmingham vincent rahli
• [TYPES/announce] Post Doctoral Research Fellowship at the University of Lisbon Vasco Thudichum Vasconcelos
• [TYPES/announce] Assistant Professorships at Heriot-Watt University Stark, Kathrin
• [TYPES/announce] Agda Implementors' Meeting XXXI - Edinburgh, 10-16 November 2022 Orestis Melkonian
• [TYPES/announce] CCC2022 -September 19-23, 2022- 2nd call for contributions Maria Emilia Maietti
• [TYPES/announce] SYCO 9 - 2nd call for submissions - Deadline 1st August Elena Di Lavore
• [TYPES/announce] SPLASH 2022 Student Research Competition – Deadline: July 28th, 2022 (extended) Xujie SI
• [TYPES/announce] Vacancies at TU Braunschweig Roland Meyer
• [TYPES/announce] PhD Scholarship on Blockchains. Deadline 26/08/22 Emilio Tuosto
• [TYPES/announce] Call for Papers: Eelco Visser Commemorative Symposium Jonathan Aldrich
• [TYPES/announce] SPLASH 2022 Doctoral Symposium - Call for Submissions Fabian MÜHLBÖCK
• [TYPES/announce] PhD Student or Postdoc Position in Alexander von Humboldt Professor group Andre Platzer
• [TYPES/announce] International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols 2022: Call for Papers TRAN Dinh Duong
• [TYPES/announce] GPCE 2022 - Call for Papers Yukiyoshi Kameyama
• [TYPES/announce] 2nd CFP - IFL22 - The 34th Symposium on Implementation and Application of Functional Languages Pieter Koopman
• [TYPES/announce] Nominate the next editor-in-chief of PACMPL Adrian Sampson
• [TYPES/announce] Summer School on Security Testing and Verification, 20-21-22 September, Leuven, Belgium Coen DE ROOVER
• [TYPES/announce] Fully funded PhD position on efficient and provably correct execution environments at Uppsala University Tobias Wrigstad
• [TYPES/announce] Soliciting nominations for the POPL 2023 Artifact Evaluation Committee Leonidas Lampropoulos
• [TYPES/announce] CONCUR + FMICS + FORMATS + QUEST + workshops = CONFEST: call for participation Bartek Klin
• [TYPES/announce] QEST 2022 Call for Participation QEST Publicity
• [TYPES/announce] Call for Participation: Online Workshop Series "Proofs, Computation and Meaning" Paolo Pistone
  • [TYPES/announce] R: Call for Participation: Online Workshop Series "Proofs, Computation and Meaning" Paolo Pistone
  • [TYPES/announce] Call for Participation: Online Workshop Series "Proofs, Computation and Meaning" Paolo Pistone
• [TYPES/announce] Two PhD opportunities at Swansea University: λ-calculi and automata/dynamical systems and computability ppradic
• [TYPES/announce] FROM 2022: last CFP (with extended deadlines) vlad
• [TYPES/announce] FSTTCS 2022 - second call for papers Anuj Dawar
• [TYPES/announce] FMCAD 2022 Student Forum CFP (Deadline July 15) Mathias Preiner
• [TYPES/announce] SPLASH 2022 - Combined Call For Contributions Andreea Costea
• [TYPES/announce] Call for Papers: Unsound - Sources of Unsoundness in Verification Jan Bessai
• [TYPES/announce] Call for Papers: 15th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2022) Andrei Chis
• [TYPES/announce] CICM 2022, final call for applications to the doctoral programme, 15. July 2022 Serge Autexier
• [TYPES/announce] Autumn School & Workshop on Proof Theory, Utrecht (The Netherlands), 7-12 Nov 2022 Bahareh Afshari
• [TYPES/announce] SYCO 9 - Call for submissions - Deadline 1 August Elena Di Lavore
• [TYPES/announce] Advancing Separation Logic 2022, July 31, Haifa, Israel -- Call for Participation RADU IOSIF
• [TYPES/announce] EXPRESS/SOS 2022 final call for Papers Claudio Mezzina
• [TYPES/announce] CSL 2023 -- Final cfp Elaine Pimentel
• [TYPES/announce] RC2022 call for online attendance Claudio Mezzina
• [TYPES/announce] STACS 2023 - first call for papers Anuj Dawar
• [TYPES/announce] SEFM Summer School 2022 Markus Roggenbach
• [TYPES/announce] 2 Year postdoc position Emilio Tuosto
• [TYPES/announce] IEEE CSF 2022: Call for Participation - Early Bird Registration Ends Today! Ralf Kuesters
• [TYPES/announce] Professor positions at Ruhr University Bochum Catalin Hritcu
• [TYPES/announce] PLanQC 2022: Submission Deadline Extension Julien Ross
• [TYPES/announce] Tenure-track Assistant Professor Position Open at NOVA University Lisbon (PL \/ SE) Luis Caires
• [TYPES/announce] Postdoc position on specification and verification of heterogeneous systems at Imperial Donaldson, Alastair F
• [TYPES/announce] TERMGRAPH 2022 Workshop: First Call for Participation Clemens Grabmayer
• [TYPES/announce] Certified Programs and Proofs (CPP) 2023 Call for Papers Steve Zdancewic
  • [TYPES/announce] Certified Programs and Proofs (CPP) 2023 Call for Papers Steve Zdancewic
• [TYPES/announce] CfP: SPLASH Onward! 2022 KAMMAR Ohad
• [TYPES/announce] FME Tutorial series lecture this week, June 17, at 3 pm CET: Dr Tim Nelson (Brown University, US) on "Building Formal Methods Classes for Everybody" Luigia Petre
• [TYPES/announce] WiL 2022 - Call for Participation Daniele Nantes
• [TYPES/announce] CALL FOR PAPERS - IFL22 - The 34th Symposium on Implementation and Application of Functional Languages Pieter Koopman
• [TYPES/announce] PLanQC 2022: Final call for submissions and student travel support Julien Ross
• [TYPES/announce] FSTTCS 2022 - Call for Papers Anuj Dawar
• [TYPES/announce] CSL 2023 -- 2nd cfp Elaine Pimentel
• [TYPES/announce] Engineer and postdoc positions in France: proof assistant for crypto protocols David Baelde
• [TYPES/announce] Call for TYPES Steering Committee Nominations Henning Basold
• [TYPES/announce] ICFP 2022: Call for Tutorials, Panels, and Discussions ICFP Publicity
• [TYPES/announce] Applied Category Theory 2022: Call for Participation Fredrik Nordvall Forsberg
• [TYPES/announce] APLAS 2022 Call for Papers Andreea Costea
• [TYPES/announce] Call for Participation (RC 2022) Claudio Mezzina
• [TYPES/announce] Call for STSMs, deadline 1 July 2022 Ambrus Kaposi
  • [TYPES/announce] Call for STSMs, deadline 1 July 2022 Ambrus Kaposi
  • [TYPES/announce] Call for STSMs, deadline 1 January 2023 Ambrus Kaposi
  • [TYPES/announce] Call for STSMs and ITC conference grants, deadline 1 January 2023 Ambrus Kaposi
• [TYPES/announce] CfP deadline extension June 8 - ACM Workshop on Functional Art, Music, Modelling and Design Michael Sperber
• [TYPES/announce] [CFP] HOPE'22: ACM SIGPLAN Workshop on Higher-Order Programming with Effects (DEADLINE EXTENSION) Daniel Hillerström
• [TYPES/announce] Deadline Extension: TyDe 2022 Harley D. Eades III
• [TYPES/announce] ESSLLI 2022 - Early Bird Registration extended once more, to 12th June Fransen, Theodorus
• [TYPES/announce] two funded PhD positions at Inria Nancy Stephan Merz
• [TYPES/announce] Job offer / Researcher-Engineer / Inria, France Claude Marche
• [TYPES/announce] ICFP 2022 Student Research Competition: Final Call for Submissions Danel Ahman
• [TYPES/announce] ML Family Workshop 2022: DEADLINE EXTENSION Benoit Montagu
• [TYPES/announce] Last CfP: 3rd Joint Workshop Linearity & TLLA [FLoC 2022] D. Ventura
• [TYPES/announce] [CFP] HOPE'22: ACM SIGPLAN Workshop on Higher-Order Programming with Effects (3rd CFP) Daniel Hillerström
• [TYPES/announce] GandALF 2022 -- Call For Papers [extended deadline] Dario Della Monica
• [TYPES/announce] ESSLLI 2022 - Early Bird Registration extended to 5th June Fransen, Theodorus
• [TYPES/announce] Deadline extension: AMAI Special Issue on Symbolic Computation in Software Science Temur Kutsia
• [TYPES/announce] Days in Logic 2022 - Call for participation José Carlos Espírito Santo
• [TYPES/announce] Call for Papers: Workshop on Type-Driven Development (TyDe) co-located with ICFP Nada Amin
• [TYPES/announce] Final CfP [deadline extended]: 3rd Joint Workshop Linearity & TLLA [FLoC 2022] D. Ventura
• [TYPES/announce] Nominate the next editor-in-chief of TOPLAS Adrian Sampson
• [TYPES/announce] TYPES 2022 -- Second call for participation Pierre-Marie Pédrot
• [TYPES/announce] Final CfP: AMAI Special Issue on Symbolic Computation in Software Science Temur Kutsia
• [TYPES/announce] Job advert -- Research Fellow in Programming Languages and Systems. University of Kent, UK. Mark Batty
• [TYPES/announce] GandALF 2022 -- Last Call For Papers Dario Della Monica
• [TYPES/announce] ICALP 2022 - Call for Participation - Extended early registration ends TODAY Anca Muscholl
• [TYPES/announce] PPDP 2022 - 3rd Call for Papers - deadline extended Beniamino Accattoli
• [TYPES/announce] ICTAC'22 Last Call For Papers Peter Lammich
• [TYPES/announce] 2nd CfP (deadline 27 May): Autumn school "Proof and Computation" 2022 Chuangjie Xu
• [TYPES/announce] CCC2022 -September 19-23, 2022- call for contributions Maria Emilia Maietti
• [TYPES/announce] ML Family Workshop 2022: Final Call for Presentations Benoit Montagu
• [TYPES/announce] Open postdoc or PhD position at Reykjavik University, department of Computer Science Antonios Achilleos
• [TYPES/announce] WPTE 2022 final CFP (deadline: 31 May, publication JLAMP) Stefan Ciobaca
• [TYPES/announce] ICTCS'22: Final CFP with deadlines extended Daniele Gorla
• [TYPES/announce] Final CfP - ACM Workshop on Functional Art, Music, Modelling and Design - Deadline June 1 Michael Sperber
• [TYPES/announce] Call for Presentations for "Teaching Functional Programming in OCaml" as part of the OCaml Workshop 2022 Brigitte Pientka
• [TYPES/announce] Structure meets Power workshop 2022 (Extended deadline) Daniel Marsden
• [TYPES/announce] ACKERMANN AWARD 2022: 2ND CALL FOR NOMINATIONS EACSL Mail-Account
• [TYPES/announce] CICM 2022, Abstract Submnission Deadline Extension May 23rd, 2022; uodate hybrid conference format; 15th Conf. Intelligent Computer Mathematics Serge Autexier
• [TYPES/announce] Workshop in honour of Thierry Coquand's 60th birthday Ana Bove
• [TYPES/announce] second CFP: 6th Working Formal Methods Symposium vlad
• [TYPES/announce] Extended Deadline for HoTT/UF 2022: 15 May Evan Cavallo
• [TYPES/announce] Deadline extension: SMT Workshop 2022 Antti Hyvärinen
• [TYPES/announce] Call for Reviewers APLAS 2022 Artifact Evaluation Committee Jan de Muijnck-Hughes
• [TYPES/announce] WADT'22 - 26th International Workshop on Algebraic Development Techniques 2022 (CALL FOR PARTICIPATION) Alexandre Madeira
• [TYPES/announce] Final call for participation (Deadline Friday 13 May): Workshop on Syntax and Semantics of Type Theories in Stockholm, Sweden, May 20-21, 2022 Anders Mortberg
• [TYPES/announce] SPLV 2022 - Call for Participation Filip Sieczkowski
• [TYPES/announce] PLanQC 2022: First call for submissions Julien Ross
• [TYPES/announce] [TERMGRAPH-2022] 2-day extension submission deadline: May 12 Clemens Grabmayer

• Earlier messages
• Later messages