types-announce  

Messages by Thread

• [TYPES/announce] Call for Journal-First @ ICGT 2023 :: 16th International Conference on Graph Transformation Christopher Michael POSKITT
• [TYPES/announce] Onward! 2023 @ SPLASH: Call for Papers & Essays Tijs van der Storm
• [TYPES/announce] VORTEX 2023: 2nd Call for Papers Davide Ancona
• [TYPES/announce] HoTT 2023: registration open Steve Awodey
• [TYPES/announce] APLAS 2023 first Call for Papers Sato, Ryosuke
• [TYPES/announce] Postdoc @ DTU Compute in Modelling and Verification of Concurrent & Distributed Applications Alceste Scalas
• [TYPES/announce] TbiLLC 2023: Final Deadline Extension Mon 3 April 2023 AoE Hansen, H.H.
• [TYPES/announce] TyDe 2023 - Call for Papers Youyou Cong
• [TYPES/announce] Final Call for Papers: Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP'23) Carlos Olarte
• [TYPES/announce] Postdoc position on design and/or verification of distributed systems at the University of Birmingham, UK vincent rahli
• [TYPES/announce] IFL23 first CFP Pieter Koopman
• [TYPES/announce] Autumn school "Proof and Computation", Herrsching (Germany), 10-16 Sep 2023 xu
  • [TYPES/announce] Autumn school "Proof and Computation", Herrsching (Germany), 10-16 Sep 2023 xu
• [TYPES/announce] [CFP] HOPE'23: ACM SIGPLAN Workshop on Higher-Order Programming with Effects (1st CFP) Daniel Hillerström
• [TYPES/announce] Call for Participation: MARKTOBERDORF SUMMER SCHOOL 2023 Javier Esparza
  • [TYPES/announce] Tenure-Track Position in "Logic, Automata, and Games" at the Technical University of Munich Javier Esparza
• [TYPES/announce] Two Senior Research Associates on Concurrent and Distributed Programming / Digital Security by Design Nobuko Yoshida
• [TYPES/announce] MFPS 2023: Deadline Extension Marie Kerjean
• [TYPES/announce] CICM 2023, Extended deadlines 3.4.2023 (abstracts) / 10.4.2023 (full paper) Serge Autexier
• [TYPES/announce] Agda Implementors' Meeting XXXVI: Call for talks and participation Jesper Cockx
• [TYPES/announce] 18th International Summer School on Training And Research On Testing M.R. Mousavi
• [TYPES/announce] Postdoctor in Type theory for mathematics and computer science Ana Bove
• [TYPES/announce] 2nd CfP: 16th Interaction and Concurrency Experience (Revised deadlines & invited speaker) Simon Fowler
• [TYPES/announce] FM Teaching Tutorial on March 31, 3 pm CEST --> Prof Emil Sekerinski (McMaster University, Canada): Teaching Concurrent Programming Luigia Petre
• [TYPES/announce] Call for papers - VL/HCC 2023 - abstracts due April 21 - IEEE Symposium on Visual Languages and Human-Centric Computing Rebecca Krosnick
• [TYPES/announce] SYCO 11 - Call for participation Samuel Mimram
• [TYPES/announce] PPDP 2023 - Preliminary Call for Papers Santiago Escobar
• [TYPES/announce] MPLR’23 Call for Submissions Rodrigo Bruno
• [TYPES/announce] Final CFP Post-Proceedings - Linearity & TLLA 2022 (Open Call) D. Ventura
• [TYPES/announce] EXPRESS/SOS 2023 First Call for Papers Claudio Mezzina
• [TYPES/announce] CfP: Haskell Symposium 2023 Niki Vazou
• [TYPES/announce] CMSB 2023: second call for papers Jun PANG
• [TYPES/announce] VORTEX 2023: Call for Papers Davide Ancona
• [TYPES/announce] Utrecht Summer School on Advanced Functional Programming 2023 Swierstra, W.S. (Wouter)
• [TYPES/announce] Job: research associate in Oxford Sam Staton
• [TYPES/announce] Call for Papers: ACM Workshop on Functional Art, Music, Modelling and Design (Deadline June 1) Michael Sperber
  • [TYPES/announce] Call for Papers: ACM Workshop on Functional Art, Music, Modelling and Design (Deadline June 1) Michael Sperber
• [TYPES/announce] Verification Mentoring Workshop at CAV 2023: Call for Scholarship Applications — deadline April 14th Sammartino, Matteo
• [TYPES/announce] Funding deadline: EuroProofNet WG6 meeting in Vienna Jacopo Emmenegger
• [TYPES/announce] Call for Papers, Functional Software Architecture - FP in the Large Graham Hutton
• [TYPES/announce] ITP 2023: Call for Workshop and Tutorial Proposals Thiemann , René
• [TYPES/announce] TbiLLC 2023: Second Call for Papers incl. Deadline Extension Hansen, H.H.
• [TYPES/announce] SAS 2023 - First Call for Papers - Paper deadline: April 24, 2023 Manuel Hermenegildo
• [TYPES/announce] CALCO 2023: Second Deadline Extension Thorsten Wissmann
• [TYPES/announce] First Call for Papers SETS 2023 David Delahaye
• [TYPES/announce] Erlang 2023 - Call for Papers Kiko Fernandez-reyes A
• [TYPES/announce] PhD or Postdoc Position at LMU Munich about Verified Modal Logics Andrei Popescu
• [TYPES/announce] Lectureships at Lancaster University (Leipzig campus), Deadline 30 March Marco Caminati
• [TYPES/announce] Ackermann Award: Call for nominations Maribel Fernandez
• [TYPES/announce] ITP 2024 - Call for Bids Thiemann , René
• [TYPES/announce] UNIF 2023 Second Call for Papers Christophe Ringeissen
• [TYPES/announce] WPTE 2023 Call for Papers Cynthia Kop
• [TYPES/announce] WTSC23 --- extended deadline! Andrea Bracciali
• [TYPES/announce] MFPS 2023: Second Call for Papers Marie Kerjean
• [TYPES/announce] OPLSS 2023: Summer School Dates Stephanie Weirich
• [TYPES/announce] Vacancy: Assistant/Associate Professor Energy-efficient Software Development, University of Twente, Netherlands, Formal Methods and Tools group Huisman, Marieke (UT-EEMCS)
• [TYPES/announce] TYPES 2023: Call for Contributions - Deadline extension Alicia Villanueva
• [TYPES/announce] 1st CfP: SLE 2023 - 16th ACM SIGPLAN International Conference on Software Language Engineering Andrei Chis
• [TYPES/announce] 2023 Summer School on Formal Techniques (May 24 - 29, 2023) + Formal Methods in the Field Bootcamp (May 30 - June 2, 2023) Natarajan Shankar
  • [TYPES/announce] 2024 Summer School on Formal Techniques (May 25 - May 31, 2024) + Formal Methods in the Field Bootcamp (June 1/2, 2024) Natarajan Shankar
• [TYPES/announce] SMT2023 Call For Papers Mathias Preiner
• [TYPES/announce] Software engineer position available Giuseppe Castagna
• [TYPES/announce] PhD Studentships in Formalising CS/Maths at King's College London Mohammad Abdulaziz
• [TYPES/announce] Tenure Track Faculty Position Bucknell University Lea Wittie
• [TYPES/announce] FMCAD 2023: First Call for Papers Nadel, Alexander
  • [TYPES/announce] FMCAD 2023: Second Call for Papers Nadel, Alexander
• [TYPES/announce] CALCO 2023: Deadline Extension Thorsten Wissmann
• [TYPES/announce] PhD position at Inria / Nantes Université (France) Assia Mahboubi
• [TYPES/announce] PLMW@PLDI23 application is open Limin Jia
• [TYPES/announce] GandALF 2023: Call For Papers Antonios Achilleos
• [TYPES/announce] HoTT 2023: Extended Deadline Steve Awodey
• [TYPES/announce] Postdoc position on Formal Verification for Zero-Trust IoT Systems at Kyoto University Atsushi Igarashi
• [TYPES/announce] Call for papers - VL/HCC 2023 - IEEE Symposium on Visual Languages and Human-Centric Computing Rebecca Krosnick
• [TYPES/announce] HOR 2023: Call for Papers Carsten Fuhs
• [TYPES/announce] PhD and Post-doctoral Positions Available in Formal Methods for Reversible Concurrent Calculi Clément Aubert
  • [TYPES/announce] PhD and Post-doctoral Positions Available in Formal Methods for Reversible Concurrent Calculi Clément Aubert
• [TYPES/announce] Postdoc position at Kyoto University, Japan Kohei SUENAGA
• [TYPES/announce] Second Call for Papers: Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP'23) Carlos Olarte
• [TYPES/announce] ISMM 2023 (colocated with PLDI): call for papers Anders Miltner
• [TYPES/announce] SYCO 11 - Second call for papers Samuel Mimram
• [TYPES/announce] 1st Call For Papers: Logical and Semantic Frameworks with Applications (LSFA 2023) D. Ventura
• [TYPES/announce] HCVS 2023 - Call for Papers (Extended deadline) Jose F. Morales
• [TYPES/announce] CALCO 2023: Final Call for Papers Thorsten Wissmann
• [TYPES/announce] FMTea 2023 - colocated with FM 2023 - call for participation Catherine DUBOIS
• [TYPES/announce] Two Postdocs in Logic, Gothenburg (Sweden) Bahareh Afshari
• [TYPES/announce] Eastern Canada Logic and Programming Seminar 2023 Ryan Kavanagh
• [TYPES/announce] CADE-29 - Second Call for Papers Haniel Barbosa
• [TYPES/announce] 1st Call for Contributions - Women in Logic Workshop (WiL 2023) Daniele Nantes
• [TYPES/announce] New book: Essentials of Compilation Siek, Jeremy
• [TYPES/announce] QPL 2023 -- Final Call for Papers (with updated deadlines) Vladimir Zamdzhiev
• [TYPES/announce] [ICTAC 2023] First call for papers – deadline 16 June 2023 Violet Ka I Pun
• [TYPES/announce] HCVS 2023 - Last Call for Papers Jose F. Morales
• [TYPES/announce] 29th WoLLIC 2023 - Final Call for Papers (>>DEADLINE EXTENDED<<) Ruy Jose Guerra Barretto de Queiroz
• [TYPES/announce] CfP: 16th Interaction and Concurrency Experience (ICE 2023) Simon Fowler
• [TYPES/announce] HoTT/UF 2023: Deadline extended / 3rd Call for Contributions Jonathan Weinberger
• [TYPES/announce] 1st Ecumenical meeting @UCL Elaine Pimentel
• [TYPES/announce] FSCD 2025: Call for Location Carsten Fuhs
• [TYPES/announce] Call for Papers: ACM DEBS 2023 (Deadline Extension) Naohiro Hayashibara
• [TYPES/announce] 2nd Call for Papers, Conference on Intelligent Computer Mathematics (CICM 2023) Serge Autexier
• [TYPES/announce] Call for Papers in Doctoral Symposium, DEBS 2023 Naohiro Hayashibara
• [TYPES/announce] ICFP 2023: Last Call for Papers ICFP Publicity
• [TYPES/announce] The Cornell, Maryland, Max Planck Pre-doctoral Research School 2023 (Call for participation) Catalin Hritcu
• [TYPES/announce] ECOOP 2023: Call for Papers Pascal Weisenburger
• [TYPES/announce] Midlands Graduate School in the Foundations of Computing Science 2023 Paul Levy
• [TYPES/announce] SPLASH 2023: Call for Workshop Proposals Andreea Costea
• [TYPES/announce] ICFP 2023 Artifact Evaluation Committee: call for nominations Quentin Stiévenart
• [TYPES/announce] OOPSLA 2023 - Round 2 CFP Andreea Costea
• [TYPES/announce] TYPES 2023 - Call for Contributions Alicia Villanueva
• [TYPES/announce] Call for papers SC-square 2023 Erika Abraham
  • [TYPES/announce] Call for papers SC-square 2023 Erika Abraham
• [TYPES/announce] Registration open - EuroProofNet Working Group 6 meeting in Vienna, 24-25 April 2023 Jacopo Emmenegger
• [TYPES/announce] Call for Participation: Eelco Visser Commemorative Symposium, 5 April 2023 Jonathan Aldrich
• [TYPES/announce] Call for Nominations: ACM SIGPLAN Software Award - deadline extension 17 March 2023 Dominique Devriese
• [TYPES/announce] Full Professor in Computer Science at IMT Lucca - Expression of Interest Mirco Tribastone
• [TYPES/announce] Call for expressions of interest for open-rank positions at GSSI - Italy emilio . tuosto
• [TYPES/announce] CfP: 2nd International Conference on Homotopy Type Theory Steve Awodey
• [TYPES/announce] SOAP 2023 Call for Papers (co-located with PLDI'23) Liana Hadarean
• [TYPES/announce] Five tenured positions in theoretical computer science at IRIF / Université Paris Cité Giuseppe Castagna
• [TYPES/announce] HoTT/UF 2023: 2nd Call for Contributions Jonathan Weinberger
• [TYPES/announce] Reversible Computation 2023: Call for papers -- Extended deadline Clément Aubert
• [TYPES/announce] TACAS 2023 TOOLympics - Call for Contributions Hartmanns, Arnd (UT-EEMCS)
• [TYPES/announce] SYCO 22 - Call for papers Samuel Mimram
• [TYPES/announce] PhD position in formal methods at the University of Oslo Peter Csaba Ölveczky
• [TYPES/announce] CFP: DISCOTEC 2023 - 18th International Federated Conference on Distributed Computing Techniques Carlos Baquero-Moreno
• [TYPES/announce] CfP FORTE 2023 - 43nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems (deadline extension) Huisman, Marieke (UT-EEMCS)
• [TYPES/announce] Applied Category Theory 2023: First Call for Papers Sam Staton
• [TYPES/announce] QPL 2023 -- Call for Papers Vladimir Zamdzhiev
• [TYPES/announce] CALCO 2023: Second Call for Papers Thorsten Wissmann
• [TYPES/announce] One PhD and Two Postdocs in Logic, Gothenburg (Sweden) Graham Leigh
• [TYPES/announce] 4y fully funded PhD position on verification of efficient and secure parallel algorithms Peter Lammich
  • [TYPES/announce] 4y fully funded PhD position on verification of efficient and secure parallel algorithms Peter Lammich
• [TYPES/announce] Deadline Extension: 2023 Alonzo Church Award Call for Nominations Mariangiola Dezani
• [TYPES/announce] Postdoc position on design and/or verification of distributed systems at the University of Birmingham vincent rahli
• [TYPES/announce] IEEE CSF 2023: Call for Workshops - proposals due by Feb 24, 2023 Ralf Kuesters
• [TYPES/announce] Two PhD Positions in AUTOSARD Georg Moser
• [TYPES/announce] FSCD 2023: Extended deadline (Abstract: February 4/ Submission: February 9) Carsten Fuhs
• [TYPES/announce] ETAPS 2023 Call For Participation jan . kofron
• [TYPES/announce] Call for ECOOP/ISSTA 2023 Workshop Proposals Pascal Weisenburger
• [TYPES/announce] COORDINATION 2023 Second Call For Papers - abstract deadline feb 11 Giorgio Audrito
  • [TYPES/announce] COORDINATION 2023 Final Call For Papers [extended deadline feb 24] Giorgio Audrito
• [TYPES/announce] CFP Post-Proceedings - Linearity & TLLA 2022 (Open Call) D. Ventura
• [TYPES/announce] EuroProofNet Working Group 6 meeting in Vienna, 24-25 April 2023 Jacopo Emmenegger
• [TYPES/announce] CiE 2023: FINAL CALL FOR PAPERS acie
• [TYPES/announce] Faculty positions at the University of Copenhagen Dmitriy Traytel
  • [TYPES/announce] Faculty positions at the University of Copenhagen Dmitriy Traytel
• [TYPES/announce] Full professor of programming languages, U of Tartu Tarmo Uustalu
• [TYPES/announce] Job offer / Researcher-Engineer / Inria, Saclay, France Claude Marche
• [TYPES/announce] ETAPS Mentoring Workshop 2023 - Call for Scholarship Applications (deadline: February 13th, 2023) Caterina Urban
• [TYPES/announce] 29th WoLLIC 2023 - 2nd Call for Papers Ruy Jose Guerra Barretto de Queiroz
• [TYPES/announce] TbiLLC 2023: First Call for Papers Hansen, H.H.
• [TYPES/announce] ITP 2023: Second Call for Papers Thiemann , René
• [TYPES/announce] Call for papers: Mathematical Foundations of Programming Semantics 2023 Paul Levy
• [TYPES/announce] Call for Participation: Logic Mentoring Workshop@CSL'23, Feb 17, Warsaw Michaël Cadilhac
  • Re: [TYPES/announce] Call for Participation: Logic Mentoring Workshop@CSL'23, Feb 17, Warsaw Michaël Cadilhac
  • [TYPES/announce] Last Call for Participation: Logic Mentoring Workshop@CSL'23, Feb 17, Warsaw Michaël Cadilhac
  • [TYPES/announce] Logic Mentoring Workshop@CSL'23, Feb 17: Online Participation Michaël Cadilhac
• [TYPES/announce] Call for ETAPS Test of Time Award 2023 Nominations jan . kofron
• [TYPES/announce] HoTT 2023: first CfP Steve Awodey
• [TYPES/announce] PLACES 2023 - 2nd Call for Papers Alceste Scalas
• [TYPES/announce] Open faculty position in “Software Technology” at Vrije Universiteit Brussel, Belgium Coen DE ROOVER
• [TYPES/announce] CfP: Journal of Systems and Software - Special Issue on Software Language Engineering Andrei Chis
• [TYPES/announce] FSCD 2023: Second Call for Papers Carsten Fuhs
• [TYPES/announce] Reversible Computation 2023: Call for papers Clément Aubert
• [TYPES/announce] 2 PhD positions in Formal Analysis for Concurrent Workflows (deadline extended) Violet Ka I Pun
• [TYPES/announce] Funded PhD positions at Illinois Tech Stefan Muller
• [TYPES/announce] Lecture or Senior Lectureship in Computer Science at Swansea University Monika Seisenberger
• [TYPES/announce] PhD scholarships at University of Kent (UK) Marco Paviotti
• [TYPES/announce] New Undergrad PL Research Internship at Penn Joey Velez-Ginorio
• [TYPES/announce] CONFEST 2023 -- 2nd Call for Workshop Proposals Emmanuel Filiot
• [TYPES/announce] UNIF 2023 Call for Papers Christophe Ringeissen
• [TYPES/announce] CADE-29 - Call for Papers Haniel Barbosa
• [TYPES/announce] RRRR 2023 Call for Submissions Arnd Hartmanns
• [TYPES/announce] CMSB 2023: first call for papers Jun PANG
• [TYPES/announce] ICFP 2023 Call for Papers ICFP Publicity
• [TYPES/announce] Call for Papers: Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP'23) Carlos Olarte
• [TYPES/announce] Fully Funded PhD Scholarship at St Andrews Christopher Brown
• [TYPES/announce] HoTT/UF 2023: Call for Contributions Jonathan Weinberger
• [TYPES/announce] LAFI'23 - Call for participation - POPL-23 workshop on Languages for Inference - Boston, Online and with a local antenna in Paris Christine Tasson
• [TYPES/announce] FM 2023 - Call for Participation Violet Ka I Pun
• [TYPES/announce] cfp ThEdu'23 -- 12th workshop on theorem proving components for educational software Walther Neuper
  • [TYPES/announce] cfp ThEdu'23 -- 12th workshop on theorem proving components for educational software Walther Neuper
• [TYPES/announce] Phd Position in Concurrency Theory Kirstin Peters
• [TYPES/announce] Professorship for System Security @ Ruhr Uni Bochum, Germany Catalin Hritcu
• [TYPES/announce] A fully funded postdoc position in "Quantitative Verification of Software Families based on Coalgebraic Modal Logic and Games" Harsh Beohar
• [TYPES/announce] [TFP 2023 Call For Participation] 24th International Symposium on Trends in Functional Programming Peter Achten
• [TYPES/announce] QEST 2023 first call for papers Nils Jansen
• [TYPES/announce] FORMATS 2023 first call for papers Jeremy Sproston
• [TYPES/announce] CoqPL 2023, final program Benjamin Pierce
• [TYPES/announce] CFP: IEEE CSF 2023 - Winter Cycle (Submission Deadline: February 3, 2023) Ralf Kuesters
• [TYPES/announce] Two open position at the ILLC, University of Amsterdam Benno van den Berg
• [TYPES/announce] FORTE'23 first CfP Antonio Ravara
• [TYPES/announce] CALCO 2023: First Call for Papers Thorsten Wissmann
• [TYPES/announce] ICALP 2023 - 2nd CFP Anca Muscholl
• [TYPES/announce] 2nd Call for Contributions FICS 2023: Workshop on Fixed Points in Computer Science Ralph Matthes
• [TYPES/announce] Call for Participation: CSL'23 Elaine Pimentel
• [TYPES/announce] Extended CFP: ICCQ'23, the 3rd IEEE International Conference on Code Quality Yegor Bugayenko
• [TYPES/announce] HCVS 2023 - First Call for Papers Jose F. Morales
• [TYPES/announce] PLACES 2023 - Call for Papers Alceste Scalas
• [TYPES/announce] Call for Workshops: Conference on Intelligent Computer Mathematics (CICM 2023) Serge Autexier
• [TYPES/announce] Recruiting: Doctoral Researchers / PhD Students Andre Platzer

• Earlier messages
• Later messages