types-announce  

Messages by Thread

• [TYPES/announce] LICS 2024 Second Call for Papers Sam Staton
• [TYPES/announce] Call for Papers: TAP 2024 (Tests and Proofs 2024), Milan, Italy Huisman, Marieke (UT-EEMCS)
• [TYPES/announce] [TFP (and TFPiE) 2024] Call For Participation (January 9-12, Seton Hall University, NJ, USA) Peter Achten
• [TYPES/announce] CFP: IEEE CSF 2024 - Winter Cycle (Submission Deadline: February 3, 2024, AoE) Ralf Kuesters
• [TYPES/announce] [CFP] HCVS24 - 11th Workshop on Horn Clauses for Verification and Synthesis - 7 April 2024 - Luxembourg Fabio Fioravanti
• [TYPES/announce] 17th International Workshop on Coalgebraic Methods in Computer Science (CMCS'24): Second Call for Papers Henning Urbat
• [TYPES/announce] QPL 2024 - Second Call for Papers Alejandro Díaz-Caro
  • [TYPES/announce] QPL 2024 - Third Call for Papers Alejandro Díaz-Caro
• [TYPES/announce] 2nd Call: Student Research Competition at Programming Conference 2024 - deadline 25 January Philipp Haller
• [TYPES/announce] HoTT/UF 2024: Second Call for Contributions and Participation Jonathan Weinberger
• [TYPES/announce] Multiple PhD and Postdoc positions in Artificial Intelligence and Formal Methods Nils Jansen
• [TYPES/announce] Several post-doc positions at GSSI (deadline extended to 31/01/2024) emilio . tuosto
• [TYPES/announce] Visiting/postdoc researcher in Logic, Semantics, Concurrency -- University of Groningen (NL). Jorge A . Pérez
• [TYPES/announce] Full Professorship in Formal Methods at the Johannes Kepler University Linz Martina Seidl
• [TYPES/announce] Fully-funded PhD positions at ISTA in the area of Programming Languages and Verification Michael Sammler
• [TYPES/announce] ITP 2024: First Call for Papers Yves Bertot
• [TYPES/announce] ICFP 2024: Call for Workshops and Co-Located Events ICFP Publicity
• [TYPES/announce] CfP: TASE 2024 Jun PANG
• [TYPES/announce] Certified Programs and Proofs (CPP'24) - Call for Participation Brigitte Pientka
• [TYPES/announce] PLDI'24 Artifact Evaluation Committee: Call for nominations Ningning Xie
• [TYPES/announce] Subject: 2024 Alonzo Church Award Call for Nominations Marcelo Fiore
• [TYPES/announce] Call for papers: Festschrift for Prof. Alan Mycroft Dominic Orchard
• [TYPES/announce] CfP COORDINATION 2024 - 26th International Conference on Coordination Models and Languages Saverio Giallorenzo
• [TYPES/announce] ECOOP 2024 R1: Call for Papers, AEC Nominations and Workshop Proposals Pascal Weisenburger
• [TYPES/announce] Nordic Online Logic Seminar: next talk on Monday, 18 December by Göran Sundholm Graham Leigh
• [TYPES/announce] Funded PhD Positions at Boston University Ankush Das
  • [TYPES/announce] Funded PhD Positions at Boston University Das, Ankush
• [TYPES/announce] Research fellowship about spatio-temporal logics - deadline Jan 12, 2024 Marino Miculan
• [TYPES/announce] [Deadline Extension] FormaliSE 2024 - Call for Papers Abhishek Tiwari
• [TYPES/announce] (Extended deadline) CfP: Automated Program and Proof Synthesis (AP2S at AAAI '24) Kristopher K Micinski
• [TYPES/announce] Joint CfP: DisCoTec 2024 - 19th International Federated Conference on Distributed Computing Techniques Bas van den Heuvel
• [TYPES/announce] Deadline extension for FICS Workshop (new deadline: 6/12/2023) Alexis Saurin
• [TYPES/announce] ICFP 2024: Call for Papers ICFP Publicity
• [TYPES/announce] FLOPS 2024: final call for abstracts and papers Dale Miller
• [TYPES/announce] [TFP 2024 Final Call for Papers] 25th International Symposium on Trends in Functional Programming Peter Achten
• [TYPES/announce] Fully Funded PhD Position in Refactoring Fault-Tolerant Session Types Adam Barwell
• [TYPES/announce] 'Call for Papers: 17th Conference on Intelligent Computer Mathematics (CICM 2024) Serge Autexier
• [TYPES/announce] multiple PhD Studentships at Queen Mary University of London Raymond Hu
• [TYPES/announce] Third Call for Contributions - FICS Workshop (submission deadline: 1st December 2023) Alexis Saurin
• [TYPES/announce] Postdoc in Inria Gallinette team, Nantes -- Compositional Automated Verification for OCaml Guilhem Jaber
• [TYPES/announce] Relational and Algebraic Methods in Computer Science (RAMiCS) 2024 in Prague Uli Fahrenberg
• [TYPES/announce] Tenure-track openings in UVM CS Christian Skalka
• [TYPES/announce] HoTT/UF 2024: First Call for Contributions and Participation Jonathan Weinberger
• [TYPES/announce] 17th International Workshop on Coalgebraic Methods in Computer Science (CMCS'24): First Call for Papers Urbat, Henning
• [TYPES/announce] Quantum information faculty positions at Indiana University Sabry, Amr A.
• [TYPES/announce] Several post-doc positions at GSSI emilio . tuosto
• [TYPES/announce] 30th WoLLIC 2024 - Second Call for Papers Ruy Jose Guerra Barretto de Queiroz
• [TYPES/announce] Faculty positions at the University of Iowa J. Garrett Morris
• [TYPES/announce] Lectureships available at Sussex University Bernhard Reus
• [TYPES/announce] Fully funded PhD position in categorical semantics Alessio Santamaria
• [TYPES/announce] POPL 2024 - Call for Participation - Early registration: 14 December Donaldson, Alastair F
• [TYPES/announce] PhD positions at the University of Bergen Håkon Robbestad Gylterud
• [TYPES/announce] PhD opportunities at the University of Birmingham Paul Levy
  • [TYPES/announce] PhD opportunities at the University of Birmingham Paul Levy
• [TYPES/announce] ICALP-LICS-FSCD joint call for workshops Sam Staton
• [TYPES/announce] Directions and perspectives in the lambda-calculus - Call for Partecipation Gabriele Vanoni
• [TYPES/announce] FormaliSE 2024 - Call for Papers Abhishek Tiwari
• [TYPES/announce] 31st Netherlands Functional Programming Day (FP Dag): Call for Participation Jesper Cockx
  • Re: [TYPES/announce] 31st Netherlands Functional Programming Day (FP Dag): Call for Participation Jesper Cockx
• [TYPES/announce] EuroPLoP 2024 - Call for Papers and Focus Group Proposals Filipe Correia
• [TYPES/announce] Tenure-Track Faculty Positions at McGill University: Secure Software and Computer Systems Brigitte Pientka
• [TYPES/announce] Call for papers and deadline extension for: TYPES 2023 post-proceedings Benno van den Berg
• [TYPES/announce] CFP - FICS Workshop (submission deadline: 1st December 2023) Alexis Saurin
• [TYPES/announce] RRRR 2024 Call for Submissions - Reproducibility and Replication of Research Results Arnd Hartmanns
• [TYPES/announce] Fully funded PhD Studentship in Proof-theoretic Semantics at UCL Pym, David
• [TYPES/announce] PriSC 2024: Call for Presentations PriSC PC Chairs
• [TYPES/announce] POPL 2024 Student Research Competition - deadline Friday 10 November Donaldson, Alastair F
• [TYPES/announce] 2nd Call for Submissions PLanQC (Programming Languages for Quantum Computing) Mathys Rennela
• [TYPES/announce] Call for Contributions - Workshop on Programming for the Planet (PROPL) co-located with POPL Dominic Orchard
• [TYPES/announce] VerifyThis Verification Competition: Announcement and Call for Problems Summers, Alexander
• [TYPES/announce] Postdoctoral Research Fellow (3 years) Brijesh Dongol
• [TYPES/announce] SRC@POPL 2024 Call for Submissions Neel Krishnaswami
• [TYPES/announce] Postdoctoral opportunities in verification/synthesis for AI at Oxford Marta Kwiatkowska
• [TYPES/announce] Expression of interest for two post-doc positions on blockchain and formal methods emilio . tuosto
• [TYPES/announce] PhD or postdoc position in logical modelling of notarial procedures at FAU Erlangen-Nürnberg Lutz Schröder
• [TYPES/announce] Research Internship position in Formal verification for quantum programming at CEA Paris-Saclay Nicolas Blanco
• [TYPES/announce] Assistant Prof at Barnard College, Columbia U Mark Santolucito
• [TYPES/announce] APLAS 2023: Second Call for Participation Sato, Ryosuke
• [TYPES/announce] POPL24 - Call for Student Volunteers Ayoun, Sacha-Elie
• [TYPES/announce] ICTAC 2023: Call for Participation Silvia Lizeth Tapia Tarifa
• [TYPES/announce] Postdoctoral fellowship at Stockholm University Anders Mortberg
• [TYPES/announce] IJCAR 2024 --- Call for Papers Peter Lammich
• [TYPES/announce] Call for Participation: S-REPLS / Fun in the Afternoon at Bristol Alex Kavvos
• [TYPES/announce] (Extended Deadline) Dafny Workshop at POPL 24 Stefan
• [TYPES/announce] Call for Participation: FMAS 2023 FMAS Workshop
• [TYPES/announce] CFP: Workshop on the Implementation of Type Systems (WITS) '24 Richard Eisenberg
• [TYPES/announce] CiE 2024: CALL FOR PAPERS acie
  • [TYPES/announce] CiE 2024: Call for papers Benno van den Berg
  • [TYPES/announce] CiE 2024: CALL FOR PAPERS acie
• [TYPES/announce] QPL 2024 - 1st CFP Alejandro Díaz-Caro
• [TYPES/announce] Preliminary CFP - FICS Workshop (submission deadline: 1st December 2023) Alexis Saurin
• [TYPES/announce] PhD/postdoc vacancy on the verification of cryptographic protocols at Aarhus University Bas Spitters
• [TYPES/announce] Registrations closing soon for New Jersey Programming Languages and Systems (NJPLS) -- November 10th at Princeton University Tim Alberdingk Thijm
• [TYPES/announce] Tenure-track PL faculty position at Tufts University Jeff Foster
• [TYPES/announce] ESSLLI 2024 - Call for Proposals Beniamino Accattoli
• [TYPES/announce] First CFP: GALOP 2024 Pierre Clairambault
• [TYPES/announce] Undone Computer Science — Second call for contributions Guillaume Munch-Maccagnoni
• [TYPES/announce] Expressions of interests in two postdoctoral positions in Logic and Computer Science Claudio Mezzina
• [TYPES/announce] ESOP 2024: Call for papers Stephanie Weirich
• [TYPES/announce] Call for papers: TYPES 2023 post-proceedings Benno van den Berg
• [TYPES/announce] The 15th International Workshop on Rewriting Logic and its Applications: Call for Papers Tran Dinh Duong
  • [TYPES/announce] The 15th International Workshop on Rewriting Logic and its Applications: Call for Papers Tran Dinh Duong
• [TYPES/announce] Logic Colloquium 2024, Gothenburg, 24-28 June 2024 Gianluca Curzi
  • [TYPES/announce] Logic Colloquium 2024, Gothenburg, 24-28 June 2024 Graham Leigh
• [TYPES/announce] ETMF 2023 (co-located with SBMF 2023) - Call for participation Haniel Barbosa
• [TYPES/announce] PADL'24: Last Call for Papers ICFP Publicity
• [TYPES/announce] PLDI 2023 Call for Papers Anders Miltner
• [TYPES/announce] FACS 2023 - Call for Participation Sung-Shik Jongmans
• [TYPES/announce] ICALP 2024 - First Call for Papers Pawel Sobocinski
• [TYPES/announce] ETAPS 2024 final joint call for papers jan . kofron
• [TYPES/announce] PLanQC (Programming Languages for Quantum Computing) 2024: Call for Submissions Mathys Rennela
• [TYPES/announce] (2nd CfP) Dafny Workshop at POPL 24 Stefan
• [TYPES/announce] Call for Participation: VerifyThis Long-Term Collaborative Challenge Gidon Ernst
• [TYPES/announce] PROBPROG Seminar Series Sam Staton
• [TYPES/announce] CiE 2024: FIRST CALL FOR PAPERS Elaine Pimentel
• [TYPES/announce] 2 year postdoc in Tallinn - compositional approaches in cryptography and/or cybersecurity Pawel Sobocinski
• [TYPES/announce] APLAS 2023: Call for Participation Sato, Ryosuke
• [TYPES/announce] Computer Science Faculty positions at Oxford Sam Staton
  • [TYPES/announce] Computer Science Faculty positions at Oxford Sam Staton
• [TYPES/announce] LAST CFP: SAC 2024 -- Programming Languages Track Marco Giunti
• [TYPES/announce] 30th WoLLIC 2024 - 1st Call for Papers Ruy Jose Guerra Barretto de Queiroz
• [TYPES/announce] LICS 2024 Call for Papers Sam Staton
• [TYPES/announce] PPDP 2023 Call for Participation Santiago Escobar
• [TYPES/announce] Expressions of interests in two postdoctoral positions in Logic and Computer Science (Cagliari & Urbino) Claudio Mezzina
• [TYPES/announce] Research faculty positions Open @ Tecnico – ULisboa (BIG ERA Chair Research Team Luís Caires
• [TYPES/announce] S-REPLS 13 / Fun in the Afternoon, Bristol, UK Alex Kavvos
• [TYPES/announce] CfP: FoSSaCS '24: 27th International Conference on Foundations of Software Science and Computation Structures Naoki Kobayashi
• [TYPES/announce] OOPSLA 2024: Round 1 Call for Papers Umar Farooq
• [TYPES/announce] SPLASH 2023 Call for Participation Alcides Fonseca
• [TYPES/announce] Call for participation: Workshop Celebrating 30 Years of Session Types (ST30 @ SPLASH) Simon Gay
• [TYPES/announce] ESOP 2024 Call For Papers Stephanie Weirich
• [TYPES/announce] CFP: PEPM 2024, ACM SIGPLAN Workshop Alex Kavvos
• [TYPES/announce] Permanent Position in Applied Formal Methods at Swansea University Markus Roggenbach
• [TYPES/announce] PhD student position in Principled Application Security at Chalmers Ana Bove
• [TYPES/announce] CoqPL 2024: Call for Presentations Stark, Kathrin
• [TYPES/announce] Final CFP: IEEE CSF 2024 - Fall Cycle (Submission Deadline: September 30, 2023, AoE) Ralf Kuesters
• [TYPES/announce] SAS 2023 - Call for Participation - Early deadline: Sept 22 Louis Rustenholz
• [TYPES/announce] 2nd CfP AIM37 : Agda Implementors' Meeting XXXVII in Taipei, 20-25 November 2023 Liang-Ting Chen
• [TYPES/announce] PhD Vacancy: Position on Verifying Quantum Programs Dominique Unruh
• [TYPES/announce] Call for Papers: JFP Special Issue on Program Calculation (papers due 1st Dec) Graham Hutton
• [TYPES/announce] LAFI 2024 - Call for Extended Abstracts (deadline Oct. 27) Matthijs Vákár
• [TYPES/announce] prefaculty / postdoc researcher in type systems at Jane Street Richard Eisenberg
• [TYPES/announce] PhD position in automata learning at Radboud University Jurriaan Rot
• [TYPES/announce] FSCD 2024: First Call for Papers Carsten Fuhs
• [TYPES/announce] Dafny Workshop at POPL 24 (Call for Papers) Stefan
• [TYPES/announce] PSSV-2023 Call for Papers Alexander Chichigin
  • [TYPES/announce] Deadline extension: PSSV-2023 Call for Papers Alexander Chichigin
• [TYPES/announce] Call for Participation: ANU Logic Summer School, Dec 4 -- 15, 2023 Dirk Pattinson
• [TYPES/announce] Talk on Operational Transform / Collaborative Editing via Category Theory David Espinosa
• [TYPES/announce] VMCAI 2024: Extended Deadline September 7th Rayna Dimitrova
• [TYPES/announce] The 2nd International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols: Call for Papers TRAN Dinh Duong
• [TYPES/announce] Three postdoc positions on Quantum Programming in Edinburgh Chris Heunen
• [TYPES/announce] CCC 2023 - call for participation Norbert Müller
• [TYPES/announce] Four PhD positions at Dept. of Computer Science (University of Sheffield) Harsh Beohar
• [TYPES/announce] PADL 2024: Call for Papers ICFP Publicity
• [TYPES/announce] Research Associate at the University of Kent, Canterbury, UK Mark Batty
• [TYPES/announce] ACM SIGLOG Research Highlights call for nominations Liron Cohen
• [TYPES/announce] PhD position in Secure Software and Microarchitectures Roberto Guanciale
• [TYPES/announce] PhD position in in Formal Methods for Business Process Modelling Violet Ka I Pun
• [TYPES/announce] University Assistant position (limited to 6 years) at TU Wien Ezio Bartocci
• [TYPES/announce] Midwest Programming Languages Summit 2023 - Call for Participation Max New
  • [TYPES/announce] Midwest Programming Languages Summit 2023 - Call for Participation Max New
• [TYPES/announce] PhD Position in Higher-Order Mathematical Operational Semantics at FAU Sergey Goncharov
• [TYPES/announce] VMCAI 2024: Second Call for Papers Rayna Dimitrova
• [TYPES/announce] Postdoc position, Logic and Semantics Group in Tallinn Tarmo Uustalu
• [TYPES/announce] CfP FMAS 2023: Deadline Extension FMAS Workshop
• [TYPES/announce] Senior Lecturer (with Tenure) in Programming Languages Stefan Leue
• [TYPES/announce] 2nd CFP - CPP 2024 Certified Programs and Proofs Brigitte Pientka
• [TYPES/announce] Second Call for Submissions: Student Research Competition and Posters, APLAS 2023 Sato, Ryosuke
• [TYPES/announce] GandALF 2023: Registration is open – Call For Participation Luca Geatti
• [TYPES/announce] Extended deadline: JSC special issue on the interaction of SC and ML in AI Temur Kutsia
• [TYPES/announce] WITS '23 Call for Participation Jesper Cockx
• [TYPES/announce] Functional Art, Music, Modeling and Design (FARM 2023) Sep 8: Call for Participation Michael Sperber
• [TYPES/announce] PhD Student Position at University of Konstanz Stefan Leue
• [TYPES/announce] Open PhD and Postdoc positions in Formal Analysis of Autonomous Systems at Chalmers University Hazem Torfah
• [TYPES/announce] CCC 2023 - extended deadline for contributions Norbert Müller
• [TYPES/announce] ICFP 2023: Call for Participation ICFP Publicity
• [TYPES/announce] Assistant Professor positions in Programming Languages and Systems, University of Southern Denmark (deadline 14 august 2023) Fabrizio Montesi
• [TYPES/announce] IFL23 - Deadline extension - Symposium on Implementation and Application of Functional Languages Pieter Koopman
• [TYPES/announce] Announcing the Pittsposium -- August 22-23 -- Cambridge, UK Jamie Vicary
• [TYPES/announce] IFL23 last Call for papers Pieter Koopman
• [TYPES/announce] Dahl-Nygaard junior and senior prizes - deadline for nominations: 30 September 2023 Donaldson, Alastair F
• [TYPES/announce] [IEEE VL/HCC 2023] Registration is now open! Rebecca Krosnick
• [TYPES/announce] POPL 2024 - Call for Tutorials (deadline: 15 October) Donaldson, Alastair F
• [TYPES/announce] Job: Postdoctoral position in verification/robustness of AI Marta Kwiatkowska
• [TYPES/announce] CFP: IEEE CSF 2024 - Fall Cycle (Submission Deadline: September 30, 2023, AoE) Ralf Kuesters
• [TYPES/announce] Call for Participation, Functional Software Architecture - FP in the Large Graham Hutton
• [TYPES/announce] PhD Position in Programming Languages at Uppsala University, Sweden (lots of type opportunities) Tobias Wrigstad
• [TYPES/announce] Call for nominations for the new HaPoC Council felice cardone
• [TYPES/announce] VMIL 2023 - Co-located with SPLASH'23 - Call for Work-in-progress and Position Papers Andrea Rosa
• [TYPES/announce] Several assistant/associate professor positions at TU Delft Software Technology Jesper Cockx
• [TYPES/announce] SBMF 2023 - Final Call for Papers with *** Deadline Extensions *** Haniel Barbosa
• [TYPES/announce] Call For Papers: OpenCERT 2023 - 11th Int. Work. on Open Community approaches to Education, Research and Technology Antonio Cerone
• [TYPES/announce] CICM 2023 - Call for Participation Catherine DUBOIS
• [TYPES/announce] FORMATS 2023 (at CONFEST): Call for participation Jeremy Sproston
• [TYPES/announce] Two Postdoctoral Research Fellows at the University of Surrey, UK Brijesh Dongol
• [TYPES/announce] VMCAI 2024: First Call for Papers Rayna Dimitrova
• [TYPES/announce] PhD position on Program Analysis for LLVM-IR and all its source languages @ University of Twente, Netherlands Huisman, Marieke (UT-EEMCS)
• [TYPES/announce] ETAPS 2024 1st joint call for papers jan . kofron
• [TYPES/announce] CFP FLOPS 2024 Symposium on Functional and Logic Programming Dale Miller

• Earlier messages
• Later messages