types-announce  

Messages by Thread

• [TYPES/announce] ETAPS 2024 1st joint call for papers jan . kofron
• [TYPES/announce] CFP FLOPS 2024 Symposium on Functional and Logic Programming Dale Miller
• [TYPES/announce] Undone Computer Science — Call for contributions Alessio Guglielmi
• [TYPES/announce] Seeking nominations: POPL 2024 Artifact Evaluation Committee Caleb Stanford
• [TYPES/announce] SBMF 2023 - Second Call for Papers Haniel Barbosa
• [TYPES/announce] PhD scholarships on blockchain & distributed ledger technology emilio . tuosto
• [TYPES/announce] Day of the Camel 2023: OCaml in Academia and Industry (online, 20 July 2023) Roberto Blanco
• [TYPES/announce] VMIL 2023 - Co-located with SPLASH'23 - Deadline Extension Andrea Rosa
• [TYPES/announce] SPLASH 2023 Student Research Competition – Deadline (extended): July 21st, 2023 Xujie SI
• [TYPES/announce] Call for papers: VSTTE 2023 Andrew Reynolds
• [TYPES/announce] [TFP 2024 Call for Papers] 25th International Symposium on Trends in Functional Programming Peter Achten
• [TYPES/announce] DiλLL 2024 (Marseille, France) -- Early announcement Lionel Vaux Auclair
• [TYPES/announce] Second Call for Papers: JFP Special Issue on Program Calculation (papers due 1st Dec) Graham Hutton
• [TYPES/announce] VeriProP 2023 - Final Call for Participation Fredrik Dahlqvist
• [TYPES/announce] Deadline extension: 9th ACM International Workshop on Formal Techniques for Safety-Critical Systems Peter Csaba Ölveczky
• [TYPES/announce] VMIL 2023 - Co-located with SPLASH'23 - 2nd Call for Papers Andrea Rosa
• [TYPES/announce] Göteborgs universitet | Four PhD Positions in Computer Science and Engineering Ana Bove
  • Re: [TYPES/announce] Göteborgs universitet | Four PhD Positions in Computer Science and Engineering Ana Bove
• [TYPES/announce] IWACO 2023 -- (deadline 12 July) Tobias Wrigstad
• [TYPES/announce] IEEE VL/HCC 2023 - grad consortium deadline **extended** to July 14! Rebecca Krosnick
• [TYPES/announce] WLP 2023 - Final Call for Papers (extended deadline) Sibylle Schwarz
• [TYPES/announce] Deadline Extension Doctoral Programme CICM 2023: 14 July 2023 Serge Autexier
• [TYPES/announce] PhD Scholarships in cybersecurity emilio . tuosto
• [TYPES/announce] QPL 2023 -- Final Call for Participation Vladimir Zamdzhiev
• [TYPES/announce] CFP - CPP 2024 - Certified Programs and Proofs Brigitte Pientka
• [TYPES/announce] GPCE 2023: Deadline Extension Youyou Cong
• [TYPES/announce] FACS 2023 - Final Call for Papers (extended deadlines) Sung-Shik Jongmans
• [TYPES/announce] Summer School on Reactive Synthesis + Workshop on Synthesis, Monitoring and Learning at University of Udine Gabriele Puppis
• [TYPES/announce] summer school VTSA 2023 (updated with travel funding) Stephan Merz
• [TYPES/announce] Workshop celebrating 30 Years of Session Types - co-located with SPLASH 2023 - final CFP Simon Gay
• [TYPES/announce] FSTTCS 2023 - Second Call for Papers Shibashis Guha
• [TYPES/announce] IEEE CSF 2023: final call for participation Ralf Kuesters
• [TYPES/announce] ACT 2023: Call for participation Sam Staton
• [TYPES/announce] FMCAD 2023 Student Forum: Call for Contributions Rozier, Kristin-Yvonne [AER E]
• [TYPES/announce] CCC 2023 - second call for contributions Norbert Müller
• [TYPES/announce] CFP: PLOS '23: 12th Workshop on Programming Languages and Operating Systems Eric Eide
• [TYPES/announce] WITS 2023 Deadline Extended to July 15 Jesper Cockx
• [TYPES/announce] EXPRESS/SOS 2023 Last Call for Papers (deadline extension) Claudio Mezzina
• [TYPES/announce] PhD Symposium iFM 2023 - Call for Papers [Deadline Extensions: July 13] Gidon Ernst
• [TYPES/announce] RADICAL 2023: Concurrency & Logic, Antwerp (Belgium) DEADLINE EXTENDED - Final Call for Contributions perelli
• [TYPES/announce] Lecturer position at the University of Bristol Alex Kavvos
• [TYPES/announce] ETAPS 2024 – Call for Satellite Events jan . kofron
• [TYPES/announce] ICFP 2023: Call for Volunteers (Deadline: 30 June!) ICFP Publicity
• [TYPES/announce] PhD student in Computing Science on safe and efficient programming languages Tjark Weber
• [TYPES/announce] PLMW @ ICFP 2023: Call for Scholarship Applications Stefan Muller
• [TYPES/announce] 29th WoLLIC 2023 - Final Call for Participation Ruy Jose Guerra Barretto de Queiroz
• [TYPES/announce] 2nd Summer School on Security Testing and Verification Coen DE ROOVER
• [TYPES/announce] Postdoc position in SE/PL for AI (modular deep learning, robust AI) Rajan, Hridesh [COM S]
• [TYPES/announce] POPL 2024: Final Call for Papers Donaldson, Alastair F
• [TYPES/announce] WITS 2023 Second Call for Contributions (Deadline in one week!) Jesper Cockx
• [TYPES/announce] GandALF 2023: Deadline extension (abstract and paper submission) Luca Geatti
  • [TYPES/announce] GandALF 2023: Deadline extension (abstract and paper submission) Antonios Achilleos
• [TYPES/announce] Workshop on Virtual Machines and Language Implementations (VMIL’23) - Call for Papers Andrea Rosa
• [TYPES/announce] Workshop celebrating 30 Years of Session Types - co-located with SPLASH 2023 - 2nd CFP Simon Gay
• [TYPES/announce] Writing and Speaking with Style (course materials) Benjamin Pierce
• [TYPES/announce] Two PhD studentships at Imperial College London on compiler / verifier / mutation testing Donaldson, Alastair F
• [TYPES/announce] IFL23 2nd Call for papers Pieter Koopman
• [TYPES/announce] VL/HCC 2023 call for posters (due June 28), tutorials (due June 30), grad consortium (due July 7) Rebecca Krosnick
• [TYPES/announce] SPLASH 2023 - Second Combined Call for Contributions Alcides Fonseca
  • [TYPES/announce] SPLASH 2023 - Second Combined Call for Contributions Alcides Fonseca
• [TYPES/announce] Research Associate position at the University of Glasgow Ornela Dardha
• [TYPES/announce] QPL 2023 -- Preliminary Call for Participation Vladimir Zamdzhiev
• [TYPES/announce] New moderator: Ningning Xie Gabriel Scherer
• [TYPES/announce] Call For Contributions: The Second Southeast Regional Programming Languages Seminar (SERPL) Clément Aubert
  • [TYPES/announce] Call For Contributions: The Second Southeast Regional Programming Languages Seminar (SERPL) Rusch, Neea
• [TYPES/announce] APLAS 2023: Deadline Extension Sato, Ryosuke
• [TYPES/announce] CALL FOR NOMINATION - FSCD Steering Committee Membership Election 2023 Carsten Fuhs
• [TYPES/announce] RADICAL 2023: Concurrency & Logic, Antwerp (Belgium) - co-located with CONCUR 2023 - Call for Contributions perelli
• [TYPES/announce] Meeting IFIP WG 1.6 on Rewriting (5 July 2023): Call for Participation Cynthia Kop
• [TYPES/announce] VeriProP 2023 - Call for Participation Fredrik Dahlqvist
• [TYPES/announce] YR-CONCUR 2023 -- Call for papers Léo Stefanesco
• [TYPES/announce] [ICTAC 2023] Final call for papers – New deadlines 25 June (abstract), 02 July (paper) Violet Ka I Pun
• [TYPES/announce] EXPRESS/SOS 2023 Second Call for Papers Claudio Mezzina
• [TYPES/announce] FACS 2023 - Call for Papers Sung-Shik Jongmans
• [TYPES/announce] Call for TYPES 2025 location Henning Basold
• [TYPES/announce] summer school VTSA 2023 Stephan Merz
• [TYPES/announce] APLAS 2023: Final Call for Papers Sato, Ryosuke
• [TYPES/announce] FSTTCS 2023 - Call for papers Shibashis Guha
• [TYPES/announce] Assistant/Associate professor role at Radboud University Wouter Swierstra
• [TYPES/announce] IEEE CSF 2023: early bird registration ends soon Ralf Kuesters
• [TYPES/announce] POPL 2024: Call for Workshops and Co-located Events Donaldson, Alastair F
• [TYPES/announce] PhD Studentships in PL at the University of Glasgow (Deadline: 31st July 2023) Simon Fowler
• [TYPES/announce] PhD and Postdoc positions in PL/FM/Security at LMU Munich, Germany Johannes Kinder
• [TYPES/announce] CfP: 9th ACM International Workshop on Formal Techniques for Safety-Critical Systems Peter Csaba Ölveczky
• [TYPES/announce] Call for Participation :: ICGT'23 (16th International Conference on Graph Transformation) Christopher Michael POSKITT
• [TYPES/announce] Call for Participation: Logic Mentoring Workshop (LMW@LICS 2023) Arthur Azevedo de Amorim
• [TYPES/announce] TyDe 2023 - Second Call for Papers and Deadline Extension Youyou Cong
• [TYPES/announce] CFP WLP2023: 37th Workshop on (Constraint and Functional) Logic Programming Sibylle Schwarz
• [TYPES/announce] MFPS and CALCO 2023: Call for participation Marie Kerjean
• [TYPES/announce] Call for Participation -- LFMTP 2023 Carlos Olarte
• [TYPES/announce] Moderator's note: Working through backlog of unposted message Gabriel Scherer
• [TYPES/announce] ITP 2023 Call for Participation Thiemann , René
• [TYPES/announce] [Call for Participation] LCTES 2023 Anders Miltner
• [TYPES/announce] GandALF 2023: Last Call For Papers Luca Geatti
• [TYPES/announce] [Call for Participation] LSFA 2023 (early registration May 31) D. Ventura
• [TYPES/announce] WiL 2023 - Call for Participation Daniele Nantes
• [TYPES/announce] HOR 2023: Call for Participation Carsten Fuhs
• [TYPES/announce] Call for Papers: JFP Special Issue on Program Calculation Graham Hutton
• [TYPES/announce] VL/HCC 2023 call for posters (due June 28) and graduate consortium (due July 7) Rebecca Krosnick
• [TYPES/announce] [ICTAC 2023] Second call for papers – deadline 16 June 2023 Violet Ka I Pun
• [TYPES/announce] UNIF 2023 Call for Participation Christophe Ringeissen
• [TYPES/announce] Deadline Extension: CfP 2023 Coq workshop, May 30th Yves Bertot
• [TYPES/announce] Haskell Symposium'23 Calls For Papers Niki Vazou
• [TYPES/announce] ML'23: ACM SIGPLAN ML Family Workshop — Call for presentations Guillaume Munch-Maccagnoni
  • Re: [TYPES/announce] ML'23: ACM SIGPLAN ML Family Workshop — Call for presentations Guillaume Munch-Maccagnoni
• [TYPES/announce] SPLASH 2023 Student Research Competition – deadline: July 14th, 2023 Xujie SI
• [TYPES/announce] GPCE 2023 Call for Papers Youyou Cong
• [TYPES/announce] Doctoral Researcher / PhD Student / Postdoc Position Andre Platzer
• [TYPES/announce] CfP for the International Workshop on Aliasing, Capabilities and Ownership Aleksander Boruch-Gruszecki
• [TYPES/announce] 2nd Call for Papers: 19th International Workshop on Termination (WST 2023) YAMADA, Akihisa
• [TYPES/announce] [CFP] HOPE'23: ACM SIGPLAN Workshop on Higher-Order Programming with Effects (3rd CFP) Daniel Hillerström
• [TYPES/announce] VORTEX 2023: Last call for papers Davide Ancona
• [TYPES/announce] WITS 2023 First Call for Contributions Jesper Cockx
• [TYPES/announce] CADE-29: Call for participation Haniel Barbosa
• [TYPES/announce] SBMF 2023 - Call for papers Haniel Barbosa
• [TYPES/announce] [final CfP+new submission link] MODALITIES IN SUBSTRUCTURAL LOGICS at ESSLLI Sadrzadeh, Mehrnoosh
• [TYPES/announce] 2nd Call for Contributions: Programming Languages in The Netherlands 2023 Verano Merino, M. (Mauricio)
• [TYPES/announce] Ackermann Award: Second call for nominations - Deadline 1st July Maribel Fernandez
• [TYPES/announce] Final CFP: IEEE CSF 2024 - Spring Cycle (Submission Deadline: May 15, 2023, AoE) Ralf Kuesters
• [TYPES/announce] RADICAL 2023: Concurrency & Logic, Antwerp (Belgium) - co-located with CONCUR 2023 - 2nd CfP perelli
• [TYPES/announce] Call for Submissions: Student Research Competition and Posters, APLAS 2023 Sato, Ryosuke
• [TYPES/announce] First Call for Papers for ICFEM 2023 Ranald Clouston
• [TYPES/announce] Workshop celebrating 30 Years of Session Types - co-located with SPLASH 2023 - CFP Simon Gay
• [TYPES/announce] Final Call for Papers: ACM Workshop on Functional Art, Music, Modelling and Design (Deadline June 1) Michael Sperber
• [TYPES/announce] CFP RV 2023: 23rd International Conference on Runtime Verification Dmitriy Traytel
• [TYPES/announce] APLAS 2023: Second Call for Papers Sato, Ryosuke
• [TYPES/announce] Last CfP for the 23rd International Conference on Runtime Verification (RV'23) Panagiotis Katsaros
• [TYPES/announce] FSCD 2023: Call for Participation (early registration deadline: 31 May 2023) Carsten Fuhs
• [TYPES/announce] Moderator's note: Working through backlog of unposted messages Derek Dreyer
• [TYPES/announce] LAP 2023 - Logic and Applications: CFP Simona Kašterović
• [TYPES/announce] 29th WoLLIC 2023 - Call for Participation Ruy Jose Guerra Barretto de Queiroz
• [TYPES/announce] Permanent Position S/SL in Applied Formal Methods at Swansea University Markus Roggenbach
• [TYPES/announce] Fully-funded Ph.D. Positions in Software Quality Mirco Tribastone
• [TYPES/announce] CiE 2023: CALL FOR PARTICIPATION - CALL FOR INFORMAL PRESENTATIONS acie
• [TYPES/announce] VORTEX 2023: Extended Submission Deadline, May 22 Davide Ancona
• [TYPES/announce] CfP: JSC special issue on the interaction of SC and ML in AI Temur Kutsia
• [TYPES/announce] 5-year Postdoc fellowship in Computer Science (PL) for Climate Science at University of Cambridge Dominic Orchard
• [TYPES/announce] Postdoc position in automata and concurrency theory at the University of Warsaw Sławomir Lasota
• [TYPES/announce] TYPES 23 - Call for Participation Eduardo Hermo Reyes
• [TYPES/announce] TLLA 2023 : deadline extension Stefano Guerrini
• [TYPES/announce] Assistant Professor in Computer Science at Chalmers University of Technology Ana Bove
• [TYPES/announce] Three Lectureships in Computer Science at Sussex Bernhard Reus
• [TYPES/announce] HoTT 2023 -- Programme and final registration Steve Awodey
• [TYPES/announce] FTfJP 2023 (co-located with ECOOP/ISSTA in Seattle) Call for Papers Summers, Alexander
• [TYPES/announce] 2nd Call for presentations: 2023 Coq workshop Yves Bertot
• [TYPES/announce] Conference in honour of Corrado Böhm Ronchi Della Rocca Simona
• [TYPES/announce] [CFP] Student Research Competition (SRC) at ICFP'23 Daniel Hillerström
  • [TYPES/announce] [CFP] Student Research Competition (SRC) at ICFP'23 Daniel Hillerström
• [TYPES/announce] ICFP 2023: Call for Tutorial, Panel, and Discussion Proposals ICFP Publicity
• [TYPES/announce] Assistant Professor in Theoretical Foundations of AI at Chalmers University of Technology Ana Bove
• [TYPES/announce] LICS 2023 Call for Participation Sam Staton
• [TYPES/announce] DEADLINE EXTENSION — Call for Nominations: E. W. Beth Outstanding Dissertation Prize 2023 Ana Sokolova
• [TYPES/announce] Second Call for Papers SETS 2023 (Deadline Extended) David Delahaye
• [TYPES/announce] (Extended Deadline, May 11 AoE) ATVA 2023 call for papers Ichiro Hasuo
• [TYPES/announce] CfP: Functional Software Architecture - FP in the Large (deadline June 1) Michael Sperber
• [TYPES/announce] HOR 2023: Second Call for Papers Carsten Fuhs
• [TYPES/announce] HoTT 2023: Reduced registration ends May 1 Steve Awodey
• [TYPES/announce] 2nd Call for Papers: ACM Workshop on Functional Art, Music, Modelling and Design (Deadline June 1) Michael Sperber
  • [TYPES/announce] 2nd Call for Papers: ACM Workshop on Functional Art, Music, Modelling and Design (Deadline June 1) Michael Sperber
  • [TYPES/announce] 2nd Call for Papers: ACM Workshop on Functional Art, Music, Modelling and Design (Deadline June 1) Michael Sperber
• [TYPES/announce] Two year postdoc in logic and computation at the University of Bath Thomas Powell
• [TYPES/announce] Call for Nominations: E. W. Beth Outstanding Dissertation Prize 2023 Ana Sokolova
• [TYPES/announce] QEST 2023: Third Call for Papers with Deadline Extension QEST Publicity
• [TYPES/announce] 2023 Coq workshop call for presentations Yves Bertot
• [TYPES/announce] Fwd: Final CfP: Logical and Semantic Frameworks with Applications (LSFA 2023) [extended deadlines] D. Ventura
• [TYPES/announce] VMW at CAV 2023: Call for Scholarship Applications - DEADLINE EXTENSION (May 5th) Sammartino, Matteo
• [TYPES/announce] 5-year PhD Position in Language-based Security @ Utrecht University (Netherlands) Vassena, M. (Marco)
• [TYPES/announce] Call for Papers - TLLA 23 (7th International Workshop on Trends in Linear Logic and Applications) Stefano Guerrini
• [TYPES/announce] POPL 2024: Call for Papers (deadline: July 11) Donaldson, Alastair F
• [TYPES/announce] SMT 2023 - Final CFP - Extended Deadlines to May 5 Mathias Preiner
• [TYPES/announce] WiL 2023: Call for contributions Tephilla
• [TYPES/announce] PPDP 2023: Call for Papers Ugo de Liguoro
• [TYPES/announce] WPTE 2023 -- second Call for Papers and deadline extension Cynthia Kop
• [TYPES/announce] Postdoc in PL, RL, and Networking Nate Foster
• [TYPES/announce] GandALF 2023: 2nd Call For Papers Antonios Achilleos
  • [TYPES/announce] GandALF 2023: 2nd Call For Papers Dario Della Monica
• [TYPES/announce] CCC 2023 - call for contributions Norbert Müller
• [TYPES/announce] CFP: IEEE CSF 2024 - Spring Cycle (Submission Deadline: May 15, 2023, AoE) Ralf Kuesters
• [TYPES/announce] 3-year Research Associate or Research Assistant position in formal verification, using a proof assistant (preferably Isabelle), at the University of Sheffield Andrei Popescu
• [TYPES/announce] [CFP] HOPE'23: ACM SIGPLAN Workshop on Higher-Order Programming with Effects (2nd CFP) Daniel Hillerström
• [TYPES/announce] Call for Papers: 19th International Workshop on Termination (WST 2023) YAMADA, Akihisa
• [TYPES/announce] PPDP 2023 - Call for Papers Santiago Escobar
• [TYPES/announce] CMSB 2023: last call for papers (extended deadlines) Jun PANG
• [TYPES/announce] Call for Papers: Functional Software Architecture - FP in the Large Graham Hutton
  • [TYPES/announce] Final Call for Papers: Functional Software Architecture - FP in the Large (** deadline 1st June **) Graham Hutton
• [TYPES/announce] WORKSHOP on DOCTRINES and FIBRATIONS, May 29 - June 1, 2023 -dedicated to W. Lawvere Maria Emilia Maietti
• [TYPES/announce] SAS 2023 - Final Call for Papers - Paper Deadline: April 24, 2023 louis . rustenholz
  • [TYPES/announce] SAS 2023 - Final CFP - Extended deadlines (updates until May 1st) louis . rustenholz
• [TYPES/announce] CfP - VL/HCC 2023 - abstracts due this week, April 21 - IEEE Symposium on Visual Languages and Human-Centric Computing Rebecca Krosnick
• [TYPES/announce] WiL 2023: Co-located with FSCD 2023 (Abstract Submission Deadline: April 23) CfC Tephilla
• [TYPES/announce] SAS 2023 - Second Call for Papers - Paper Deadline: April 24, 2023 louis . rustenholz
• [TYPES/announce] PhD in Computer Science at GSSI (Italy) emilio . tuosto
• [TYPES/announce] JLAMP: new initiative launched emilio . tuosto
• [TYPES/announce] SPLASH 2023: Combined Call for Contributions Andreea Costea
• [TYPES/announce] Algebra, Categories and Logic in Computing (ACLiC) 2023 - Call for applications Nima Motamed
• [TYPES/announce] Structure Meets Power 2023 announcement Tomáš Jakl
• [TYPES/announce] RADICAL 2023: Concurrency & Logic, Antwerp (Belgium) - co-located with CONCUR 2023 - Preliminary CfP perelli
• [TYPES/announce] 2nd Call For Papers: Logical and Semantic Frameworks with Applications (LSFA 2023) D. Ventura
• [TYPES/announce] Final Call for Papers LFMTP'23 [extended abstract submission deadline, April 20] Carlos Olarte
• [TYPES/announce] SMT 2023 - Second Call For Papers Mathias Preiner

• Earlier messages
• Later messages