2024 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Mon Jan 1 11:50:24 EST 2024
Ending: Mon Dec 16 06:57:31 EST 2024
Messages: 538

• [TYPES/announce] (2nd CfP) Dafny Workshop at POPL 2025   Stefan Zetzsche
• [TYPES/announce] (CfP) Dafny Workshop at POPL 2025   Stefan Zetzsche
• [TYPES/announce] (Submissions can be updated till April 25 AoE) ATVA 2024 2nd CfP   Ichiro Hasuo
• [TYPES/announce] *Extended Deadline* 17th International Workshop on Coalgebraic Methods in Computer Science (CMCS'24)   Urbat, Henning
• [TYPES/announce] 1-year researcher position at Gothenburg university   Ana Bove
• [TYPES/announce] 10 fully-funded PhD scholarships in Computer Science at GSSI   emilio.tuosto at gssi.it
• [TYPES/announce] 14th Panhellenic Logic Symposium   Alex Kavvos
• [TYPES/announce] 17th International Workshop on Coalgebraic Methods in Computer Science (CMCS'24): Final Call for Papers   Henning Urbat
• [TYPES/announce] 1st Call for Abstracts: Proof Society School and Workshop [PS24]. 9-13 September, Birmingham, UK.   Anupam das
• [TYPES/announce] 1st CALL FOR PAPERS EXPRESS/SOS at CONFEST2024   Cinzia Di Giusto
• [TYPES/announce] 1st cfp: 8th International Workshop on Trends in Linear Logic and Applications   Paolo Pistone
• [TYPES/announce] 1st cfp of SEFM'24   Alexandre Madeira
• [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] 20th Latin American Symposium in Mathematical Logic   Elaine Pimentel
• [TYPES/announce] 24th ANU Logic Summer School   Ranald Clouston
• [TYPES/announce] 26th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2025)   Ashutosh Trivedi
• [TYPES/announce] 2nd Call for Abstracts: Proof Society School and Workshop [PS24]. 9-13 September, Birmingham, UK.   Anupam das
• [TYPES/announce] 2nd Call for Contributions: BOB 2025 (Berlin, March 14 - Deadline Nov 15)   Michael Sperber
• [TYPES/announce] 2nd Call for Papers: 17th Conference on Intelligent Computer Mathematics (CICM 2024)   Serge Autexier
• [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 Software Architecture [Deadline June 3]   Michael Sperber
• [TYPES/announce] 2nd CALL FOR PAPERS EXPRESS/SOS at CONFEST2024   Cinzia Di Giusto
• [TYPES/announce] 2nd Call for Participation: 3rd Summer School on Security Testing and Verification (ST&V 2024)   Dominique Devriese
• [TYPES/announce] 2nd Call for Participation: BOB 2024 (Berlin, Mar 15, Early Bird until Jan 30)   Michael Sperber
• [TYPES/announce] 2nd Call for participation: Differential λ-Calculus and Differential Linear Logic, 20 Years Later (DiλLL 2024)   Giulio Guerrieri
• [TYPES/announce] 2nd CfP & Deadline Extension: RAMiCS 2024   Uli Fahrenberg
• [TYPES/announce] 2nd CfP, 8th International Workshop on Trends in Linear Logic and Applications (TLLA'24)   Paolo Pistone
• [TYPES/announce] 2nd CfP: TASE 2024   Jun PANG
• [TYPES/announce] 2nd CfPart: Proof Society School and Workshop [PS24]. Registration deadline: 2 August. 9-13 September, Birmingham, UK.   Anupam das
• [TYPES/announce] 2nd CfP COORDINATION 2024 - 26th International Conference on Coordination Models and Languages (part of DisCoTec 2024)   Saverio Giallorenzo
• [TYPES/announce] 2nd cfp of SEFM'24   Alexandre Madeira
• [TYPES/announce] 2nd CFS - PLanQC 2025 (+ deadline extension)   Jennifer Paykin
• [TYPES/announce] 2nd EuroProofNet Workshop on the development, maintenance, refactoring and search of large libraries of proofs   Frédéric Blanqui
• [TYPES/announce] 2nd Joint CfP: DisCoTec 2024 - 19th International Federated Conference on Distributed Computing Techniques Inbox   Bas van den Heuvel
• [TYPES/announce] 2 year postdoc in Tallinn - application deadline 15 September   Pawel Sobocinski
• [TYPES/announce] 3-Year Postdoc in Structures and Homotopy in Optimisation   Henning Basold
• [TYPES/announce] 3-years postdoc on Type theory for mathematics and computer science at Gothenburg University   Ana Bove
• [TYPES/announce] 30th WoLLIC 2024 - Third Call for Papers   Ruy Jose Guerra Barretto de Queiroz
• [TYPES/announce] 31st WoLLIC 2025 - 2nd Call for Papers   Ruy Jose Guerra Barretto de Queiroz
• [TYPES/announce] 31st WoLLIC 2025 - Call for Papers   Ruy Jose Guerra Barretto de Queiroz
• [TYPES/announce] 39th Agda Implementor's Meeting (AIM XXXIX) 25-30 Nov 2024 in Gothenburg   Andreas Abel
• [TYPES/announce] 3rd Call for Papers: Mathematical User Interaction (MathUI'24)   Serge Autexier
• [TYPES/announce] 3rd Workshop on Hyperproperties - Call for Presentations   Hazem Torfah
• [TYPES/announce] 4-year PhD position in Innsbruck   Aart Middeldorp
• [TYPES/announce] 4 fully funded PhD positions in Tallinn   Pawel Sobocinski
• [TYPES/announce] [ATVA 2024 CfP] 22nd International Symposium on Automated Technology for Verification and Analysis Call for Papers   Ichiro Hasuo
• [TYPES/announce] [CFP] CiE 2025, 14-18 July 2025, Lisbon (Portugal) – 1st CfP   Simone Martini
• [TYPES/announce] [CFP] PEPM 2025 co-located with POPL   Guillaume Allais
• [TYPES/announce] [CfP] The 19th Int.Workshop on Security (IWSEC 2024), Kyoto, Japan   ウォルゲムト スベン
• [TYPES/announce] [Deadline extended] WRLA 2024: Final Call For Papers   Tran Dinh Duong
• [TYPES/announce] [DEADLINE EXTENSION | DATE CHANGE] Coq Workshop 2024 call for presentations   Théo Winterhalter
• [TYPES/announce] [Deadline extention] ML 2024 – Call for presentations: ACM SIGPLAN ML Family Workshop   Guillaume Munch-Maccagnoni
• [TYPES/announce] [POPL25] Reminder: Call for student volunteers   Ayoun, Sacha-Elie
• [TYPES/announce] [PPDP'2024 CfP] The 26th International Symposium on Principles and Practice of Declarative Programming Call for Papers   Alessandro Bruni
• [TYPES/announce] [Second Call for Papers] Formal Verification of Physical Systems (FVPS-2024) Extended Deadline: June 16, 2024   Serge Autexier
• [TYPES/announce] [TFP 2025 2nd Call for Papers] 25th International Symposium on Trends in Functional Programming (Oxford, UK)   Peter Achten
• [TYPES/announce] [TFP 2025 3rd Call for Papers] 25th International Symposium on Trends in Functional Programming (Oxford, UK)   Peter Achten
• [TYPES/announce] [TFP 2025 Call for Papers] 25th International Symposium on Trends in Functional Programming (Oxford, UK)   Peter Achten
• [TYPES/announce] [Third Call for Papers] Women in Formal Methods (WiFM-2024) Colocated with CICM-2024   Serge Autexier
• [TYPES/announce] [TPSA at POPL25] Call for presentations   Ayoun, Sacha-Elie
• [TYPES/announce] [VORTEX 2024] extended submission deadline: July 8   Davide Ancona
• [TYPES/announce] Ackermann Award: Call for nominations - Deadline approaching - 1st July   Maribel Fernandez
• [TYPES/announce] Ackermann Award: First call for nominations - Deadline 1st July   Maribel Fernandez
• [TYPES/announce] ACT and MFPS 2024 Call for Participation   Sam Staton
• [TYPES/announce] Agda Implementors' Meeting XXXVIII: Call for talks and participation   Anton Setzer
• [TYPES/announce] A PhD scholarship in Computer Science in Paris: Model Checking for Malware (Virus) Detection   Tayssir TOUILI
• [TYPES/announce] APLAS 2024: 2nd Call for Papers   Mirai Ikebuchi
• [TYPES/announce] APLAS 2024: Call for Papers   Mirai Ikebuchi
• [TYPES/announce] APLAS 2024: Final Call for Papers [Deadline extended till May 31]   Mirai Ikebuchi
• [TYPES/announce] APLAS 2024 Call for Participation   Mirai Ikebuchi
• [TYPES/announce] APLAS 2024 SRC & Posters   Koko Akazaki Muroya
• [TYPES/announce] Applied Category Theory (ACT) and Mathematical Foundations of Programming Semantics (MFPS) 2024: Call for papers   Sam Staton
• [TYPES/announce] Applied Category Theory 2024 Call for Papers   David Jaz Myers
• [TYPES/announce] Assistant/associate professor positions at Aarhus University, Denmark   Anders Møller
• [TYPES/announce] Assistant Professor (Tenure Track) position at ETH Zurich   Ralf Jung
• [TYPES/announce] Autumn school "Proof and Computation", Fischbachau (Germany), 15-21 Sep 2024   xu at math.lmu.de
• [TYPES/announce] Autumn school "Proof and Computation", Fischbachau (Germany), 15-21 Sep 2024   xu at math.lmu.de
• [TYPES/announce] Autumn school on Probability in Computer Science (PICS). Early registration deadline approaching!   Andrzej Wasowski
• [TYPES/announce] Beth Dissertation Prize 2024   Elaine Pimentel
• [TYPES/announce] British Colloquium for Theoretical Computer Science - call for participation   Thomas Powell
• [TYPES/announce] BRITISH LOGIC COLLOQUIUM 2024 -- Call for abstracts   Paul Levy
• [TYPES/announce] British Logic Colloquium 2024 -- Call for abstracts   Paul Levy
• [TYPES/announce] British Logic Colloquium 2024 -- Final call for participation   Paul Levy
• [TYPES/announce] Call for Contributions: BOB 2025 (Berlin, March 14 - Deadline Nov 15)   Michael Sperber
• [TYPES/announce] Call for Contributions: Workshop on Choreographic Programming @ PLDI 2024   Marco Peressotti
• [TYPES/announce] Call for Contributions: Workshop on Choreographic Programming @ PLDI 2024   Marco Peressotti
• [TYPES/announce] Call for ECOOP 2025 Workshop Proposals   Clément Aubert
• [TYPES/announce] Call for ETAPS Test of Time Award 2024 Nominations   jan.kofron at d3s.mff.cuni.cz
• [TYPES/announce] CALL FOR NOMINATION - FSCD Steering Committee Membership Election 2024   Carsten Fuhs
• [TYPES/announce] call for nominations: SIGLOG Research Highlights   Liron Cohen
• [TYPES/announce] Call for Nominations for the ETAPS Doctoral Dissertation Award 2025   Caterina Urban
• [TYPES/announce] Call for Papers & Essays: Onward! @ SPLASH 2024   Guillaume Munch-Maccagnoni
• [TYPES/announce] Call for Papers--Sixth miniKanren and Relational Programming Workshop   Ekaterina Verbitskaia
• [TYPES/announce] Call for Papers - Special Issue of JLAMP on Recent Advances on Unification   Oliver Fernandez Gil
• [TYPES/announce] Call for Papers: 3rd Workshop on Formal Verification of Physical Systems (FVPS-2024), Deadline: June 9, 2024   Serge Autexier
• [TYPES/announce] Call for Papers: 7th International Symposium on AI Verification (SAIV 2024)   Guy Katz
• [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 Software Architecture   Michael Sperber
• [TYPES/announce] Call for papers: FCS @ CSF'24 (Extended deadline: May 16 AoE)   Vassena, M. (Marco)
• [TYPES/announce] Call for papers: FCS workshop @ CSF’24   Vassena, M. (Marco)
• [TYPES/announce] Call for papers: Graph Computation Models (GCM 2024)   Joerg Endrullis
• [TYPES/announce] Call for Papers: OOPSLA 2024   Umar Farooq
• [TYPES/announce] Call for Papers: Scheme '24   Kristopher K Micinski
• [TYPES/announce] Call for Papers: Scheme ‘24 (extended deadline: July 25th)   Kristopher K Micinski
• [TYPES/announce] Call for Papers: SPLASH 2024 Student Research Competition   Umar Farooq
• [TYPES/announce] Call for Papers: the 5th International Workshop on Automated (Co)inductive Theorem Proving, a satellite workshop of IJCAR 2024   sorin stratulat
• [TYPES/announce] Call for papers: Workshop on Programming Languages and Analysis for Security (PLAS 2024)   Vineet Rajani
• [TYPES/announce] Call for Papers: Workshop on Women in Formal Methods (WiFM-2024), Deadline: June 9, 2024   Serge Autexier
• [TYPES/announce] Call for Participation, Functional Software Architecture (Sep 6, Milan)   Michael Sperber
• [TYPES/announce] Call for Participation: 3rd Summer School on Security Testing and Verification (ST&V 2024)   Dominique Devriese
• [TYPES/announce] Call for Participation: BLDL 15, Bergen Norway, 26-27 Nov 2024   Jaakko Järvi
• [TYPES/announce] Call for Participation: BOB 2024 (Berlin, Mar 15)   Michael Sperber
• [TYPES/announce] Call for Participation: BOB 2025 (Berlin, Mar 14)   Michael Sperber
• [TYPES/announce] Call for Participation: First PLDI Workshop on Red-Hot Topics in Faculty Mentoring (RTFM)   Yao Li
• [TYPES/announce] Call for Participation: FSTTCS 2024 and allied workshops   Shibashis Guha
• [TYPES/announce] Call for Participation: Scottish PL & Verification Summer School   Guillaume Allais
• [TYPES/announce] Call for participation: Undone Computer Science, Nantes, 5-7 Feb 2024   Guillaume Munch-Maccagnoni
• [TYPES/announce] Call for participation: Workshop on Programming for the Planet (PROPL) (20th January)   Dominic Orchard
• [TYPES/announce] Call for Participation and Registration: HoTT/UF 2024   Jonathan Weinberger
• [TYPES/announce] Call for Participation PLanQC (+ Student Travel Funding)   Mathys Rennela
• [TYPES/announce] Call for remote participation: DiλLL 2024 - Differential λ-Calculus and Differential Linear Logic - 20 Years Later, 13 - 17 May 2024   Lionel Vaux Auclair
• [TYPES/announce] Call for Satellite Events (Workshops / Tutorials): DisCoTec 2024   Bas van den Heuvel
• [TYPES/announce] Call for Submissions to the Doctoral Program - 17th Conference on Intelligent Computer Mathematics - CICM 2024 - Deadline: June 13, 2024   Serge Autexier
• [TYPES/announce] Call for Tutorial Papers at FM 2024: deadline approaching —> April 19!   Luigia Petre
• [TYPES/announce] Call for TYPES 2026 location   Paige Randall North
• [TYPES/announce] Category Theory / Type Theory / Machine Learning research posts at Symbolica   Dominic Verity
• [TYPES/announce] CAV 2024 - Call for Participation (Early Registration Ends June 23)   Norine Coenen
• [TYPES/announce] CCC 2024: Call For Contributions   Olivier Bournez
• [TYPES/announce] CCC 2024: Call For Contributions (deadline extended to 14 September 2024)   Olivier Bournez
• [TYPES/announce] CCC 2024: Call For Participation   Olivier Bournez
• [TYPES/announce] CCC 2024: Continuity, Computability, Constructivity – From Logic to Algorithms (extended deadline)   Olivier Bournez
• [TYPES/announce] CfA: Associate Senior Lecturer in Logic, Gothenburg (Sweden)   Bahareh Afshari
• [TYPES/announce] CfA: PhD in theoretical computer science, Kings College (London / UK), deadline 12 April   Riccardo Treglia
• [TYPES/announce] CFP (extended deadline): HATRA '24: Human Aspects of Types and Reasoning Assistants   Cyrus Omar
• [TYPES/announce] CfP - ICTCS24   Riccardo Treglia
• [TYPES/announce] CfP 4th IEEE International Conference on Code Quality (ICCQ)   Yegor Bugayenko
• [TYPES/announce] CfP: 6th International Workshop on Formal Methods for Autonomous Systems (FMAS 2024)   FMAS Workshop
• [TYPES/announce] CfP: 6th International Workshop on Formal Methods for Autonomous Systems (FMAS 2024)   FMAS Workshop
• [TYPES/announce] CfP: ACM-TOPML Special Issue on "Probabilistic Programming"   Hongseok Yang
• [TYPES/announce] CfP: DisCoTec 2024 - 19th International Federated Conference on Distributed Computing Techniques   Bas van den Heuvel
• [TYPES/announce] CFP: Haskell Symposium 2024   J. Garrett Morris
• [TYPES/announce] CfP: ITP 2024: The Fifteenth International Conference on Interactive Theorem Proving, 9-14. September, Tbilsi (Georgia)   Besik Dundua
• [TYPES/announce] CfP: Logica Frameworks and Meta Languages: Theory and Practice (LFMTP24)   Claudio Sacerdoti Coen
• [TYPES/announce] CfP: PLACES 2025   Jan Hoffmann
• [TYPES/announce] CFP: SAC 2025 -- Programming Languages Track   Marco Giunti
• [TYPES/announce] CfP: SC-square 2024: The 9th International Workshop on Satisfiability Checking and Symbolic Computation   Daniela Kaufmann
• [TYPES/announce] CfP: SCSS 2024   Temur Kutsia
• [TYPES/announce] CfP: STACS'25: 42nd International Symposium on Theoretical Aspects of Computer Science, March 4-7, Jena (Germany)   Elaine Pimentel
• [TYPES/announce] CfP: The Art, Science, and Engineering of Programming Journal volume 9   Jonathan Edwards
• [TYPES/announce] CfPart: Proof Society School and Workshop [PS24]. Registration deadline: 2 August. 9-13 September, Birmingham, UK.   Anupam das
• [TYPES/announce] CfP ICTCS24 - Extended deadline   Riccardo Treglia
• [TYPES/announce] CfP ITRS 2024   Riccardo Treglia
• [TYPES/announce] CfP ITRS 2024 - Eleventh Workshop on Intersection Types and Related Systems   Riccardo Treglia
• [TYPES/announce] CFP PPDP 2024 - The 26th International Symposium on, Principles and Practice of Declarative Programming   Alessandro Bruni
• [TYPES/announce] CfProposals: ESSLLI 2025, July 28 - August 8, 2025, Bochum (Germany)   ESSLLI Publicity
• [TYPES/announce] CfP TASE 2024 (extended deadlines)   Jun PANG
• [TYPES/announce] CICM 2024, Call for Workshop and Tutorial Proposals, Conference on Intelligent Computer Mathematics 2024   Serge Autexier
• [TYPES/announce] CICM 2024 - Call for Participation (August 5-9 in Montreal, Canada   Serge Autexier
• [TYPES/announce] CiE 2024: CALL FOR PAPERS [Deadline Extension]   acie at acie.eu
• [TYPES/announce] CiE 2024: Final call for papers   Benno van den Berg
• [TYPES/announce] CILC 2024 - 2nd Call for Papers   Maurizio Proietti
• [TYPES/announce] CILC 2024 first Call for Papers   Maurizio Proietti
• [TYPES/announce] Computer Science Faculty positions at Oxford   Sam Staton
• [TYPES/announce] CoqPL 2025: Call for Presentations   Delaware, Benjamin J
• [TYPES/announce] Coq Workshop 2024 call for presentations   Théo Winterhalter
• [TYPES/announce] Coq Workshop 2024 call for presentations   Clément Pit-Claudel
• [TYPES/announce] CSL 2025 --- call for papers   Sylvain Schmitz
• [TYPES/announce] CSL 2025 --- call for papers   Sylvain Schmitz
• [TYPES/announce] Dafny Workshop at POPL 2025 (deadline extension)   Stefan Zetzsche
• [TYPES/announce] deadline extended: LSFA 2024   Cynthia Kop
• [TYPES/announce] Deadline Extension (19 April) - SC-square 2024: The 9th International Workshop on Satisfiability Checking and Symbolic Computation   Daniela Kaufmann
• [TYPES/announce] DEADLINE EXTENSION (26 April 2024) - CILC 2024: 39th Italian Conference on Computational Logic   Maurizio Proietti
• [TYPES/announce] Deadline extension--Sixth miniKanren and Relational Programming Workshop   Ekaterina Verbitskaia
• [TYPES/announce] Deadline extension: ACM Workshop on Functional Software Architecture [NOW JUNE 12]   Michael Sperber
• [TYPES/announce] Deadline extension: Graph Computation Models (GCM 2024)   Joerg Endrullis
• [TYPES/announce] Deadline Extension: Logical Frameworks and Meta Languages: Theory and Practice (LFMTP24)   Claudio Sacerdoti Coen
• [TYPES/announce] Deadline Extension CfP COORDINATION 2024 - 26th International Conference on Coordination Models and Languages (part of DisCoTec 2024)   Saverio Giallorenzo
• [TYPES/announce] Deadline extension TAP 2024 (Tests and Proofs 2024), Milan, Italy: new submission deadline June 14   Huisman, Marieke (UT-EEMCS)
• [TYPES/announce] Directions and perspectives in the lambda-calculus - Call for Online Participation   Gabriele Vanoni
• [TYPES/announce] DisCoTec 2024 Final Call for Participation   Bas van den Heuvel
• [TYPES/announce] DisCoTec 2024 Joint Call for Participation   Bas van den Heuvel
• [TYPES/announce] Distinguished Postdoctoral Fellowship at Northeastern   Amal Ahmed
• [TYPES/announce] Doctoral program in math/philosophy/physics at Chapman U   Jonathan Weinberger
• [TYPES/announce] E.W. Beth Dissertation Prize   Herman Geuvers
• [TYPES/announce] Eastern Canada Logic and Programming Seminar 2024   Ryan Kavanagh
• [TYPES/announce] ECCL 24 - a celebration of Pino Rosolini's 70th birthday   Jacopo Emmenegger
• [TYPES/announce] ECOOP 2024 R2: Call for Papers and AEC Nominations   Pascal Weisenburger
• [TYPES/announce] Erlang 2024 - Call for Papers   Kiko Fernandez-reyes A
• [TYPES/announce] ESOP 2025 2nd CfP - New: Two Submission Rounds   jan.kofron at d3s.mff.cuni.cz
• [TYPES/announce] ESOP 2025 Call For Papers   jan.kofron at d3s.mff.cuni.cz
• [TYPES/announce] ESOP 25: NEWS in CFP and ROUND 1 deadline approaching *** May 30, 2024 ***   Luís Caires
• [TYPES/announce] ESWEEK 2024: Abstract Submissions on March 24th   Lars Bauer
• [TYPES/announce] ETAPS 2024 Call For Participation   jan.kofron at d3s.mff.cuni.cz
• [TYPES/announce] ETAPS 2025 1st joint call for papers   Claudio MENGHI
• [TYPES/announce] ETAPS 2025 Final Joint Call for Papers   Claudio MENGHI
• [TYPES/announce] ETAPS Doctoral Dissertation Award - deadline on January 15th   Caterina Urban
• [TYPES/announce] ETAPS Mentoring Workshop 2024 - Call for Participation   Caterina Urban
• [TYPES/announce] Extended CfP: 4th IEEE International Conference on Code Quality (ICCQ'24)   Yegor Bugayenko
• [TYPES/announce] Extended deadline: 8th International Workshop on Trends in Linear Logic and Applications   Paolo Pistone
• [TYPES/announce] Extended Deadline April 8, 2024 (abstracts April 1, 2024): 17th Conference on Intelligent Computer Mathematics (CICM 2024)   Serge Autexier
• [TYPES/announce] FACS 2024 - Third Call for Papers   Marmsoler, Diego
• [TYPES/announce] FACS 24 - Second Call for Papers   Marmsoler, Diego
• [TYPES/announce] Faculty Position at University of Colorado Boulder   Gowtham Kaki
• [TYPES/announce] Faculty position at University of Oregon   Zena Matilde Ariola
• [TYPES/announce] Faculty position in Formal Methods at DTU Compute, Technical University of Denmark   Alberto Lluch Lafuente
• [TYPES/announce] Faculty positions at Florida State University   Grigory Fedyukovich
• [TYPES/announce] Faculty positions at the University of Copenhagen   Dmitriy Traytel
• [TYPES/announce] Final Call: ACM Workshop on Functional Art, Music, Modelling and Design (Deadline June 1)   Michael Sperber
• [TYPES/announce] Final Call for Papers: 17th Conference on Intelligent Computer Mathematics (CICM 2024)   Serge Autexier
• [TYPES/announce] Final Call for Papers: FORMALISE 2025 - EXTENDED DEADLINES   Gwen Salaün
• [TYPES/announce] Final CfA: Proof Society School and Workshop [PS24] (extended deadline). 9-13 September, Birmingham, UK   Anupam das
• [TYPES/announce] Final CFP (extended deadline): HATRA '24: Human Aspects of Types and Reasoning Assistants   Cyrus Omar
• [TYPES/announce] Final CfP: ACM Workshop on Functional Software Architecture [Deadline June 3]   Michael Sperber
• [TYPES/announce] Final CFP: Formal Methods and Programming Languages Track at CCS'24   Catalin Hritcu
• [TYPES/announce] Final CfPart: Proof Society School and Workshop [PS24]. **Extended registration deadline: 16 August**. 9-13 September, Birmingham, UK.   Anupam das
• [TYPES/announce] Final Joint Call for Participation for NLS 2024, SLSS 2024, GandALF 2024   Antonios Achilleos
• [TYPES/announce] First Call for Papers - 20th International Conference on Formal Aspects of Component Software (FACS)   Marmsoler, Diego
• [TYPES/announce] Five PhD Positions at the department of Computer Science and Engineering, Chalmers   Ana Bove
• [TYPES/announce] Five PhD Positions in Programming Languages and Software Engineering, Turku, Finland   Jaakko Järvi
• [TYPES/announce] FME Teaching Tutorial on January 26, 2024, 3pm CEST: Prof Alcino Cunha, University of Minho, Portugal: Teaching Alloy with Alloy4Fun   Luigia Petre
• [TYPES/announce] FME Teaching Tutorial on March 1, 2024, 10am (!) CET: Prof Carroll Morgan, University of New South Wales, Australia: Teaching formal methods informally: a report from the front line   Luigia Petre
• [TYPES/announce] FME Teaching Tutorial on March 28, 2024, 3 pm CET: Prof Wolfram Kahl, McMaster University, Canada: Teaching with CalcCheck   Luigia Petre
• [TYPES/announce] FME Teaching Tutorial on May 24, 2024, 3 pm CEST: Prof Tiziana Margaria, University of Limerick, Ireland: Teaching Formal Methods in Germany vs. Ireland: experience from two very different systems   Luigia Petre
• [TYPES/announce] FME Teaching Tutorial on September 27, 2024, 3 pm CEST: Prof Rosemary Monahan, Maynooth University, Ireland, on Teaching Dafny at undergraduate and MSc level on Irish and Erasmus+ European Degree programmes   Luigia Petre
• [TYPES/announce] FORTE 2024 Extended Deadline (23 Feb) and Journal Special Issue Confirmed   Adrian Francalanza
• [TYPES/announce] Free online participation in MSFP, 8th July 2024   Jeremy Gibbons
• [TYPES/announce] FroCoS+ITP+TABLEAUX call for location   Elaine Pimentel
• [TYPES/announce] FroCoS-ITP-TABLEAUX 2025   Elaine Pimentel
• [TYPES/announce] FSCD 2024: Call for Participation (early registration deadline: *May 17, 2024*)   Carsten Fuhs
• [TYPES/announce] FSCD 2024: Extended deadline (Abstract: February 12/ Submission: February 19)   Carsten Fuhs
• [TYPES/announce] FSCD 2024: Free online participation, 10 - 13 July 2024   Carsten Fuhs
• [TYPES/announce] FSCD 2024: Second Call for Papers   Carsten Fuhs
• [TYPES/announce] FSCD 2025: Call for Workshop Proposals   Carsten Fuhs
• [TYPES/announce] FSCD 2025: First Call for Papers   Carsten Fuhs
• [TYPES/announce] FSCD 2025: Second Call for Papers   Carsten Fuhs
• [TYPES/announce] FSEN 2025 - 2nd Call for Papers   Petra van den Bos
• [TYPES/announce] FSEN 2025 - Call for Papers   Bos, Petra van den (UT-EEMCS)
• [TYPES/announce] FSEN 2025 - Final Call for Papers   Petra van den Bos
• [TYPES/announce] FSTTCS 2024 - Call for papers   Shibashis Guha
• [TYPES/announce] FTfJP 2024 - First CfP   Luca Di Stefano
• [TYPES/announce] FTfJP 2024 - Last CfP (extended deadline)   Luca Di Stefano
• [TYPES/announce] FTfJP 2024 - Second CfP (deadline approaching)   Luca Di Stefano
• [TYPES/announce] Full professor and associate professor positions at IRIF, Paris, France   Giuseppe Castagna
• [TYPES/announce] Fully-funded Ph.D. positions in combating technical debt in Machine Learning systems in New York City   Raffi Khatchadourian
• [TYPES/announce] fully-funded PhD and Research MSc positions at UBC CS: applications by 15th December, information sessions tomorrow (5th December)   Summers, Alexander
• [TYPES/announce] Fully-funded PhD position at UMass Lowell   Gollamudi, Anitha
• [TYPES/announce] Fully-Funded PhD Positions at University of. Massachusetts Lowell   Gollamudi, Anitha
• [TYPES/announce] Fully-Funded PhD Positions at University of South Carolina   Frank Fu
• [TYPES/announce] Fully-funded PhD studentship in functional programming   Graham Hutton
• [TYPES/announce] Fully-Funded PhD Studentships at University of Kent (UK)   Marco Paviotti
• [TYPES/announce] Fully remote postdoc positions at Bar-Ilan University on SMT   Yoni
• [TYPES/announce] Functional programming jobs at Conexus   Wisnesky, Ryan
• [TYPES/announce] Funded Masters and PhD positions at U of Regina   Joseph Eremondi
• [TYPES/announce] Funded PhD Positions at Boston University   Das, Ankush
• [TYPES/announce] GandALF 2024: 2nd Call for Papers and deadline extension   Antonios Achilleos
• [TYPES/announce] GandALF 2024: Call for papers   Antonios Achilleos
• [TYPES/announce] GandALF 2024: Last Call for Papers   Antonios Achilleos
• [TYPES/announce] Glasstone Research Fellowship in Computer Science at Oxford   Sam Staton
• [TYPES/announce] HOPE '24: Second CFP   Max New
• [TYPES/announce] HOPE 2024: Call for Papers   Guilhem Jaber
• [TYPES/announce] HoTT/UF 2024: Final Call for Contributions and Participation   Jonathan Weinberger
• [TYPES/announce] ICALP 2024 - Call for Participation   Pawel Sobocinski
• [TYPES/announce] ICE 2024: First Call for Papers   Clément Aubert
• [TYPES/announce] ICE 2024: Second Call for Papers   Clément Aubert
• [TYPES/announce] ICE 2024: Third Call for Papers (abstract deadline tomorrow)   Clément Aubert
• [TYPES/announce] ICFP 2024: Call for Participation   ICFP Publicity
• [TYPES/announce] ICFP 2024: Call for Tutorials   ICFP Publicity
• [TYPES/announce] ICFP 2024: Call for Volunteers   Gabriele Vanoni
• [TYPES/announce] ICFP 2024: Second Call for Papers   ICFP Publicity
• [TYPES/announce] ICFP 2025: Call for Papers   ICFP Publicity
• [TYPES/announce] ICFP Programming Contest 2024   ICFP Contest 2024
• [TYPES/announce] ICTAC 2024 - Second Call for Papers   Hans-Dieter Hiep
• [TYPES/announce] ICTAC 2024: First call for papers   Hans-Dieter Hiep
• [TYPES/announce] ICTCS 2024: Call for Papers (deadline June 9, 2024)   emilio.tuosto at gssi.it
• [TYPES/announce] ICTCS 24 - Call for Participation   Riccardo Treglia
• [TYPES/announce] ICTCS24 - Second CfP   Riccardo Treglia
• [TYPES/announce] IEEE CSF 2024 - Call for Participation   Ralf Kuesters
• [TYPES/announce] IEEE CSF 2024 - Program is online   Ralf Kuesters
• [TYPES/announce] IEEE CSF 2024 - Second Call for Participation and Update   Ralf Kuesters
• [TYPES/announce] IEEE CSF 2024 - Student Volunteers and Travel Scholarships   Ralf Kuesters
• [TYPES/announce] IEEE CSF 2024 - Student Volunteers and Travel Scholarships: deadline extended to June 2, 2024   Ralf Kuesters
• [TYPES/announce] IEEE CSF 2024: Call for Workshops   Ralf Kuesters
• [TYPES/announce] IEEE CSF 2024 Workshop on Security, Privacy and Information Theory, Protect-IT'24 - Call for Papers (deadline May 4, 2024)   Ralf Kuesters
• [TYPES/announce] IEEE CSF 2025 - Call for Papers   Ralf Kuesters
• [TYPES/announce] IEEE CSF 2025 - Fall Cycle - Deadline October 1, 2024, AoE   Ralf Kuesters
• [TYPES/announce] IJCAR 2024: Call for Participation   Peter Lammich
• [TYPES/announce] ISR 2024: second call for participation + financial support   Thiemann, René
• [TYPES/announce] ISR 2026 - 15th International School on Rewriting - Call for Proposals   Thiemann, René
• [TYPES/announce] ITP 2024, Interactive Theorem Proving: Last Call For Papers   Yves Bertot
• [TYPES/announce] ITP 2024: Call for Online Participation   Besik Dundua
• [TYPES/announce] ITP 2024: Call for Workshop and Tutorial Proposals   Besik Dundua
• [TYPES/announce] ITP 2024 : Second call for papers   Yves Bertot
• [TYPES/announce] ITP 2024 Call for Participation (September 9-14 2024, Tbilisi, Georgia)   Yves Bertot
• [TYPES/announce] ITRS'24 - Free online participation, 9th July 2024   Riccardo Treglia
• [TYPES/announce] Job offer / Researcher-Engineer / Inria & LMF, Saclay, France   Claude Marche
• [TYPES/announce] Joint Call for Workshop Submissions - Software Technologies: Applications and Foundations (STAF 2024)   Vadim Zaytsev
• [TYPES/announce] Joint CFP NLS and SLSS 2024   Antonios Achilleos
• [TYPES/announce] joint PhD position between Grenoble and Genova   Radu Iosif
• [TYPES/announce] Journal of Functional Programming - Call for PhD Abstracts   Graham Hutton
• [TYPES/announce] LAFI 2025 Call for Papers (Deadline Oct 30)   Matthijs Vákár
• [TYPES/announce] LangSec 2024 - Call for Papers, Posters, and Panels (fwd)   Erik Poll
• [TYPES/announce] LAP 2024 - Logic and Applications: CFP   Simona Prokić
• [TYPES/announce] Last Call (deadline Jan 31): School of Formalized Mathematics at the Hausdorff Trimester "Prospects of Formalized Mathematics" (May 13 - 17, 2024)   Valeria de Paiva
• [TYPES/announce] Last CfA: Fully-funded Ph.D. Positions in Computer Science at IMT School for Advanced Studies Lucca   Cosimo P. Brogi
• [TYPES/announce] Last CFP and deadline extension: PPDP 2024   Alessandro Bruni
• [TYPES/announce] LearnAut 2024 First Call for Participation (In-Person ICALP/LiCS/FSCD workshop) – Early registration deadline May 17   Sammartino, Matteo
• [TYPES/announce] Learning and Automata (LearnAut) 2024 -- ICALP 2024 Workshop, first CFP   Sammartino, Matteo
• [TYPES/announce] Learning and Automata (LearnAut) 2024 -- ICALP 2024 workshop, last CFP and deadline extension   Sammartino, Matteo
• [TYPES/announce] Learning and Automata (LearnAut) 2024 -- ICALP 2024 Workshop, second CFP   Sammartino, Matteo
• [TYPES/announce] Lecturer in Computational Linguistics in UCL   Sadrzadeh, Mehrnoosh
• [TYPES/announce] Lectureship positions in Bath   Thomas Powell
• [TYPES/announce] Lectureship positions in Bath   Thomas Powell
• [TYPES/announce] LICS 2024 Final Call for Papers   Sam Staton
• [TYPES/announce] LICS 2025 Call for Papers and Call for Workshops   Sam Staton
• [TYPES/announce] LMW at LICS and ICALP '24 - Call for participation and scholarship applications   Marie Kerjean
• [TYPES/announce] Logic Colloquium 2024, Gothenburg, 24-28 June 2024   Graham Leigh
• [TYPES/announce] Looking for PostDoc in the Formally Verified Security group at MPI-SP   Catalin Hritcu
• [TYPES/announce] Looking for PostDoc in the Formally Verified Security group at MPI-SP   Catalin Hritcu
• [TYPES/announce] LSFA 2024: CALL FOR PAPERS   Cynthia Kop
• [TYPES/announce] LSFA 2024: Second Call For Papers   Cynthia Kop
• [TYPES/announce] MARKTOBERDORF SUMMER SCHOOL 2024: CALL FOR PARTICIPATION   Alexander Pretschner
• [TYPES/announce] MFPS 2024: Extended deadline   Sam Staton
• [TYPES/announce] MFPS 2024: final CFP   Alex Simpson
• [TYPES/announce] MGS 8-12 April 2024   Crole, Roy L. (Dr.)
• [TYPES/announce] Midlands Graduate School (MGS)   Graham Hutton
• [TYPES/announce] Midlands Graduate School in the Foundations of Computing Science 2024   Crole, Roy L. (Dr.)
• [TYPES/announce] Midwest PL Summit 2024   Robert Rand
• [TYPES/announce] ML 2024 – Call for presentations: ACM SIGPLAN ML Family Workshop   Guillaume Munch-Maccagnoni
• [TYPES/announce] MSFP 2024 Call for Papers (short abstracts 26 Apr, papers 30 Apr)   Favonia
• [TYPES/announce] MSFP 2024 deadline extension: Tuesday 28th May   Favonia
• [TYPES/announce] Multiple Ph.D. Positions in Security and Privacy at TU Wien   Maffei, Matteo
• [TYPES/announce] Multiple PhD and postdoc positions in PL/FM at Nanyang Technological University, Singapore   Dr Conrad Watt (Asst Prof)
• [TYPES/announce] New postdoc position on Frama-C at CEA List, Saclay, France   Julien Signoles
• [TYPES/announce] OOPSLA 2025 R1 Call For Papers   publicity at splashcon.org
• [TYPES/announce] Open-rank faculty position in Programming Languages at University of California, Riverside   Manu Sridharan
• [TYPES/announce] Open positions at the Computer Science department of École polytechnique   Samuel Mimram
• [TYPES/announce] Open postdoc positions (4 years) in "Formal Engineering Support for Field-Programmable Gate Arrays", combining FPGAs with formal methods   Rüdiger Ehlers
• [TYPES/announce] OPLSS 2024   Zena Matilde Ariola
• [TYPES/announce] OPLSS 2024 at Boston University!   ankushd at alumni.cmu.edu
• [TYPES/announce] Oxford call for Royal Society Faraday Discovery Fellowships   Sam Staton
• [TYPES/announce] PADL 2025: First Call for Papers   Germán Vidal
• [TYPES/announce] PADL 2025: Second Call for Papers   Germán Vidal
• [TYPES/announce] PaPoC 2025 - Call for Papers   Gowtham Kaki
• [TYPES/announce] Part-time (0.3) senior researcher position in program logics in Tallinn   Tarmo Uustalu
• [TYPES/announce] Permanent lecturer/senior lecturer position at the University of Strathclyde   Fredrik Nordvall Forsberg
• [TYPES/announce] PhD/PostDoc position in Formal Methods at the University of Konstanz   Emanuele D'Osualdo
• [TYPES/announce] PhD/postdoc positions in formal methods for AI at Ecole Polytechnique, Paris, France   Eric Goubault
• [TYPES/announce] PhD/postdoc positions in formal verification at Ecole Polytechnique, Paris, France   Constantin Enea
• [TYPES/announce] PhD / Postdoc positions related to quantum verification / programs   Dominique Unruh
• [TYPES/announce] PhD and Post-Doc Positions Available in PL   Michael D. Adams
• [TYPES/announce] PhD and postdoc position at the University of Copenhagen   Dmitriy Traytel
• [TYPES/announce] PhD and postdoc positions in program verification at Uppsala University   Eva Darulova Bruggisser
• [TYPES/announce] PhD and postdoc positions in type theory (start: Oct 2025; location: Nottingham, UK)   Nicolai Kraus
• [TYPES/announce] PhD at Utrecht   Paige Randall North
• [TYPES/announce] PhD opportunities at the University of Birmingham   Paul Levy
• [TYPES/announce] PhD position: Software Verification for Programmable 6G Networks (University of Amsterdam, 31/3/2024)   Thomas van Binsbergen
• [TYPES/announce] PhD position at the University of Copenhagen   Dmitriy Traytel
• [TYPES/announce] PhD position at the University of Strathclyde   Fredrik Nordvall Forsberg
• [TYPES/announce] PhD Position in Formal Methods for Security and Privacy at TU Wien   Maffei, Matteo
• [TYPES/announce] PhD Position in Formal Verification of Autonomous Systems   Hazem Torfah
• [TYPES/announce] PhD position in neuro-symbolic AI for Mathematical Discovery at Chalmers   Ana Bove
• [TYPES/announce] PhD position in program verification at Radboud University Nijmegen   Robbert Krebbers
• [TYPES/announce] PhD position in program verification at Uppsala University   Eva Darulova
• [TYPES/announce] PhD position on automated verification at ETH Zurich   Michalis Kokologiannakis
• [TYPES/announce] PhD position on multimodal Agda @ KU Leuven, Belgium   Andreas Nuyts
• [TYPES/announce] PhD Positions at Chalmers University in Language-based Security   Alejandro Russo
• [TYPES/announce] PhD Positions Available at the University of Lille – Starting September 2024   David Nowak
• [TYPES/announce] PhD Positions Available in Formal Methods for Reversible Concurrent Calculi   Clément Aubert
• [TYPES/announce] PhD positions in Nottingham   Nicolai Kraus
• [TYPES/announce] PhD scholarship at King's College London   Maribel Fernandez
• [TYPES/announce] PhD Studentship at VU Amsterdam   Kristina Sojakova
• [TYPES/announce] PhD studentship in functional programming (closing date 9th Feb)   Graham Hutton
• [TYPES/announce] PhD Studentship Opportunity: Proof-Theoretic Semantics for Non-Classical and Modal Logics (Leverhulme ECUMENICAL Project)   Elaine Pimentel
• [TYPES/announce] PhD studentships at the University of Strathclyde   Fredrik Nordvall Forsberg
• [TYPES/announce] PhD Studentships in Computer Science at Queen Mary University of London   Raymond Hu
• [TYPES/announce] PhD Studentships in PL at the University of Glasgow   Simon Fowler
• [TYPES/announce] PLACES 2024 -- CFP (Deadline: 7 Feb 2024 AoE)   Raymond Hu
• [TYPES/announce] PLACES 2024 -- EXTENDED submission deadline (11 Feb 2024 AoE)   Raymond Hu
• [TYPES/announce] PLanQC 2025: Call for Submissions   Jennifer Paykin
• [TYPES/announce] PLAS'24 - Deadline extended   Vineet Rajani
• [TYPES/announce] PLAS 2024 - Deadline Approaching, Call For Papers   Vineet Rajani
• [TYPES/announce] PLDI 2024 - Call for Participation (Early registration: May 15)   Yao Li
• [TYPES/announce] PLDI 2024 SRC: Call for Student Research Competition Submissions   Yao Li
• [TYPES/announce] PLDI 2025 Call For Papers   Konstantinos Kallas
• [TYPES/announce] PLDI’25 Artifact Evaluation Committee: Call for nominations   Konstantinos Kallas
• [TYPES/announce] PLMW at ICFP'24: Call for Participation (travel funding application by June 21)   Ningning Xie
• [TYPES/announce] PLMW at ICFP'24: Final call for Participation (travel funding application by June 21)   Ningning Xie
• [TYPES/announce] PLMW at PLDI'24: Call for lightning talks on research group openings   Gollamudi, Anitha
• [TYPES/announce] PLMW at PLDI 2024: Call for Scholarship Applications   Gollamudi, Anitha
• [TYPES/announce] POPL 2025: Call for Workshops and Co-located Events   Ningning Xie
• [TYPES/announce] POPL 2025: Final Call for Workshops and Co-located Events (July 26 AOE)   Ningning Xie
• [TYPES/announce] POPL 2025: First Call for Papers (deadline: July 11 AOE)   Ningning Xie
• [TYPES/announce] POPL 2025 Call for Participation - Early registration: 20 December   Ningning Xie
• [TYPES/announce] POPL 2025 Call for Tutorials   Ningning Xie
• [TYPES/announce] POPL 2025 Call for Tutorials (deadline extended: Oct 25th, 2024)   Ningning Xie
• [TYPES/announce] POPL 2025 Student Research Competition Call for Submissions   Ralf Jung
• [TYPES/announce] POPL 2025 Student Research Competition Call for Submissions   Ralf Jung
• [TYPES/announce] POPL25: Call for Student Volunteers   Ayoun, Sacha-Elie
• [TYPES/announce] POPL25: Student volunteers deadline extension   Ayoun, Sacha-Elie
• [TYPES/announce] Position: Full Professor in Programming Languages and Compilers at TU Wien, Austria   Georg Weissenbacher
• [TYPES/announce] Positions in Eindhoven: Assistant Professor and PhD student   Serebrenik, Alexander
• [TYPES/announce] Post-doc position at University of Glasgow, UK (PL theory, behavioural types)   Simon Gay
• [TYPES/announce] Post-Doctoral Position at CLE-UNICAMP (Campinas, Brazil) - 2 years   Elaine Pimentel
• [TYPES/announce] Post-doctoral Research Associate in Programming Languages and Systems for Climate Modelling at the University of Kent (33 months)   Dominic Orchard
• [TYPES/announce] Postdoc & senior researcher positions in Tokyo   Ichiro Hasuo
• [TYPES/announce] Postdoc/PhD on compiler optimisations/meta-programming for DSLs @ Inria Lyon, France   Gabriel Radanne
• [TYPES/announce] Postdoc/Research associate position in modal type theory and secure compilation at the University of Kent   Vineet Rajani
• [TYPES/announce] Postdoc and PhD student positions at Aarhus University, Denmark   Lars Birkedal
• [TYPES/announce] Postdoc in Chambéry   Tom Hirschowitz
• [TYPES/announce] Postdoc in proof theory - University of Birmingham, 2 years - deadline 30 April   Anupam das
• [TYPES/announce] Postdoc in Tallinn - deadline 28 March   Pawel Sobocinski
• [TYPES/announce] Postdoc in testing and verification of Infrastructure as Code - Programming Group, Univ. of St.Gallen, Switzerland   Guido Salvaneschi
• [TYPES/announce] postdoc on higher category theory in Gothenburg, Sweden   Christian Sattler
• [TYPES/announce] Postdoc opportunities in quantum computation and information   Vladimir Zamdzhiev
• [TYPES/announce] Postdoc or Assistant Research Professor position in formal methods and probabilistic programming   Tan, G. Gary
• [TYPES/announce] Postdoc position at the University of Strathclyde   Fredrik Nordvall Forsberg
• [TYPES/announce] Postdoc position at University of Kent   Vineet Rajani
• [TYPES/announce] Postdoc position in automata and concurrency theory at the University of Warsaw   Sławomir Lasota
• [TYPES/announce] Postdoc Position in Formal Verification of Cyber-Physical Systems   Hazem Torfah
• [TYPES/announce] Postdoc position in Theoretical CS @ King's College London   Riccardo Treglia
• [TYPES/announce] Postdoc positions in Automated Reasoning at Universidade Federal de Minas Gerais   Haniel Barbosa
• [TYPES/announce] Postdoc positions in Reykjavik   Tarmo Uustalu
• [TYPES/announce] Postdoc positions on foundations of type classes and type families at the University of Iowa   J. Garrett Morris
• [TYPES/announce] Postdoctoral Position, VERIFAI, closing June 9th 2024   Rosemary Monahan
• [TYPES/announce] Postdoctoral position in Birmigham, UK   Dan Ghica
• [TYPES/announce] postdoctoral positions at IRIF, Paris, France   Giuseppe Castagna
• [TYPES/announce] Postdoctoral Research Fellow at the University of Surrey   Brijesh Dongol
• [TYPES/announce] Postdoctoral Research Fellow in Formal Methods for Business Process Modelling   Violet Ka I Pun
• [TYPES/announce] Postdoctoral Research Fellow in Formal Methods in Bergen, Norway   Violet Ka I Pun
• [TYPES/announce] PPDP 2024 - Final CFP   Alessandro Bruni
• [TYPES/announce] prefaculty / postdoc researcher in types systems position at Jane Street   Richard Eisenberg
• [TYPES/announce] PriSC @ POPL'25: 2nd Call for Paper   Vassena, M. (Marco)
• [TYPES/announce] PriSC @ POPL'25: Call for Presentations   Vassena, M. (Marco)
• [TYPES/announce] PriSC @ POPL'25: Extended deadline   Vassena, M. (Marco)
• [TYPES/announce] Professorship "Fundamental Aspects of Programming Languages" in Munich, Germany   M G
• [TYPES/announce] Professorship for "Verification of Complex Systems" at the University of Duisburg-Essen   Barbara König
• [TYPES/announce] Programming Language Implementation Summer School (PLISS)   Laurence Tratt
• [TYPES/announce] QPL 2024 - Call for participation   Alejandro Díaz-Caro
• [TYPES/announce] QPL 2024 - Last Call for Participation - Late registration deadline: July 1st   Alejandro Díaz-Caro
• [TYPES/announce] QPL 2024 - Third Call for Papers   Alejandro Díaz-Caro
• [TYPES/announce] QPL 2025: First Call for Papers   Alejandro Díaz-Caro
• [TYPES/announce] Quantitative Principles of CPSs -- call for abstracts   Renato Neves
• [TYPES/announce] RC 2024 - call for papers - deadline extension   Clément Aubert
• [TYPES/announce] RC 2025: First Call for Papers   Robin Kaarsgaard Sales
• [TYPES/announce] Reachability Problems (RP'24) EXTENDED deadline: Abstracts 24 June, Full papers 26 June 2024   Ana Sokolova
• [TYPES/announce] Reminder: MSFP 2024 Call for Papers (deadline 30 Apr)   Favonia
• [TYPES/announce] researcher position in Trieste   Tatjana Petrov
• [TYPES/announce] Research Fellow in Programming Languages Foundations, University of Tartu, Estonia   Danel Ahman
• [TYPES/announce] Research positions in Systems Software Verification   Peter Sewell
• [TYPES/announce] RP 2024 - call for presentation-only abstracts, deadline August 2, 2024   Ana Sokolova
• [TYPES/announce] RRRR 2025 Call for Submissions: Reproducibility and Replication of Research Results   Arnd Hartmanns
• [TYPES/announce] SAT/SMT/AR Summer School 2024: call for applications   Sophie Tourret
• [TYPES/announce] SBMF 2024: Call for papers   Haniel Barbosa
• [TYPES/announce] School on Univalent Mathematics, Minneapolis (MN, USA), July 29-Aug 2, 2024   Favonia
• [TYPES/announce] Second CFP: Haskell Symposium 2024 (New this year: talk proposals!)   J. Garrett Morris
• [TYPES/announce] Second CfP and Deadline Extension: 14th Panhellenic Logic Symposium   Alex Kavvos
• [TYPES/announce] Second CfProposals: ESSLLI 2025, July 28 - August 8, 2025, Bochum (Germany)   ESSLLI Publicity
• [TYPES/announce] Second Joint CFP NLS and SLSS 2024 and extension   Antonios Achilleos
• [TYPES/announce] Seeking nominations: POPL 2025 Artifact Evaluation Committee   Vadim Zaliva
• [TYPES/announce] SEFM'24 -- Deadline extended!   Alexandre Madeira
• [TYPES/announce] SEFM'24 -- Last Call for papers   Alexandre Madeira
• [TYPES/announce] SIGPLAN Research Highlights 2021-2023: Call for Nominations   Sergey, Ilya
• [TYPES/announce] SMT 2024 -- Deadline Extended to May 6   Yoni
• [TYPES/announce] SMT 2024 Call For Papers   Yoni
• [TYPES/announce] SMT 2024 Second Call For Papers   Yoni
• [TYPES/announce] SMT 2024 Third Call For Papers   Yoni
• [TYPES/announce] Snd CfP: TAP 2024 (Tests and Proofs 2024), Milan, Italy   Huisman, Marieke (UT-EEMCS)
• [TYPES/announce] SOAP 2024 Call for Papers (co-located with PLDI'24, taking place in Copenhagen)   Raphaël Monat
• [TYPES/announce] Special Issue on Advances in Formal Methods for Autonomous Systems   FMAS Workshop
• [TYPES/announce] Special Volume of MSCS In Honor Of Phil Scott   Thomas Ehrhard
• [TYPES/announce] SPIN 2025: Call for Papers   Rozier, Kristin-Yvonne [AER E]
• [TYPES/announce] SPLASH'24: Call for Volunteers   Umar Farooq
• [TYPES/announce] SPLASH 2024 Call for Workshop Proposals   Qirun Zhang
• [TYPES/announce] SPLASH 2024 Doctoral Symposium + John Vlissides award   Summers, Alexander
• [TYPES/announce] SPLASH 2024 Doctoral Symposium + John Vlissides award (Second Round Submissions due by 19th August)   Summers, Alexander
• [TYPES/announce] SPLV 2024 --- Call for Participation (first call)   Jan de Muijnck-Hughes
• [TYPES/announce] SREPLS / CW -- Last Call for Registration   Marco Paviotti
• [TYPES/announce] SREPLS15 + CW - Deadline for Talks Extended   Marco Paviotti
• [TYPES/announce] SREPLS 15 / Concurrency Workshop -- Call for Participation   Marco Paviotti
• [TYPES/announce] SREPLS 15 / Concurrency Workshop -- Second Call for Talks   Marco Paviotti
• [TYPES/announce] SREPLS 15 / Concurrency Workshop at Kent (UK) -- Call for Talks   Marco Paviotti
• [TYPES/announce] Structure meets Power 2024   Dan Marsden
• [TYPES/announce] Student Research Competition (SRC) at ICFP 2024   Favonia
• [TYPES/announce] SYCO 12, Call For Participation   Thibaut Benjamin
• [TYPES/announce] SYCO 12 - Call for Papers   Thibaut Benjamin
• [TYPES/announce] SYCO 12 - Third call for papers   Thibaut Benjamin
• [TYPES/announce] Symbolic Computation in Software Science (SCSS'24): submission deadline extension   Temur Kutsia
• [TYPES/announce] SynCoP 2024 - Call for Talks - Luxembourg City (Luxembourg) - April 6th - 7th, 2024   Jaime ARIAS
• [TYPES/announce] SynCoP 2024 - Call for Talks - Luxembourg City (Luxembourg) - April 6th - 7th, 2024 [EXTENDED DEADLINE]   Jaime ARIAS
• [TYPES/announce] Teaching Committee Meeting at FM'24 on Wed 11.9 @12:50-14   Luigia Petre
• [TYPES/announce] Tenure-Track Assistant/Associate/Full Professor in Software-Intensive Systems - University of Groningen (The Netherlands)   Jorge A. Pérez
• [TYPES/announce] Tenure-track Openings at Max Planck Institutes in Computer Science   Catalin Hritcu
• [TYPES/announce] Tenure-Track Position in "Logic, Automata, and Games" at the Technical University of Munich   Javier Esparza
• [TYPES/announce] Tenure-track position in Systems-Level Security at University of Copenhagen   Andrzej Filinski
• [TYPES/announce] Three Post-doc positions in RECIPROG project (located in France -- Lyon, Nantes and Paris)   Alexis Saurin
• [TYPES/announce] TLLA 2024, July 8-9: free online participation   Paolo Pistone
• [TYPES/announce] TUM professorship in "Fundamentals of programming"   Alexander Pretschner
• [TYPES/announce] Two PhD positions at Nanyang Technological University   Dr Conrad Watt (Asst Prof)
• [TYPES/announce] Two PhD positions in Computing science at Chalmers   Ana Bove
• [TYPES/announce] Two post-doc positions at Topos Research UK   David Jaz Myers
• [TYPES/announce] Two Senior Research Fellows on Concurrent and Distributed Programming, and Quantum Computing   Nobuko Yoshida
• [TYPES/announce] TyDe 2024: (EXTENDED DEADLINE: Monday 3 Jun 2024 (AoE))   Sandra Alves
• [TYPES/announce] TyDe 2024: Final call for papers and extended abstracts   Jesper Cockx
• [TYPES/announce] TyDe 2024: First call for papers and extended abstracts   Jesper Cockx
• [TYPES/announce] Types 2024, second call for participation   Patrick Bahr
• [TYPES/announce] TYPES 2024 - 2nd Call for Contributions   Patrick Bahr
• [TYPES/announce] TYPES 2024 - Call for Contributions   Patrick Bahr
• [TYPES/announce] TYPES 2024: Call for Contributions - Deadline extension   Patrick Bahr
• [TYPES/announce] TYPES 2024: Call for Participation   Patrick Bahr
• [TYPES/announce] TYPES 2025: First Call for Contributions   Fredrik Nordvall Forsberg
• [TYPES/announce] Types post-proceedings call for papers   Rasmus Ejlers Møgelberg
• [TYPES/announce] Undergraduate PL internship at Penn   Joey Velez-Ginorio
• [TYPES/announce] UNIF 2024 - 2nd Call for Papers (Extended Deadline)   Oliver Fernandez Gil
• [TYPES/announce] UNIF 2024 - Call for Participation   Oliver Fernandez Gil
• [TYPES/announce] UNIF 2024 Call for Papers   Oliver Fernandez Gil
• [TYPES/announce] University Professorship (W3) Programming Languages and Program Analysis at KIT   André Platzer
• [TYPES/announce] VerifyThis 2024 - Call for Participation / Applications for Travel Grants   Summers, Alexander
• [TYPES/announce] VMW at CAV 2024: Call for Scholarship Applications   Jingbo Wang
• [TYPES/announce] Volunteers for ICFP 2024 Artifact Evaluation Committee (AEC)   Benoit Montagu
• [TYPES/announce] VORTEX 2024: 2nd Call for Papers   Davide Ancona
• [TYPES/announce] VORTEX 2024: Call for Papers   Davide Ancona
• [TYPES/announce] VTSA 2024: 1st call for applications   Jun PANG
• [TYPES/announce] VTSA 2024: 2nd call for applications   Jun PANG
• [TYPES/announce] WebAssembly Workshop (WAW) @ POPL 2025 - Call for Presentations   Conrad Watt
• [TYPES/announce] WebAssembly Workshop (WAW) @ POPL 2025 - Invited Speakers and final CFP   Conrad Watt
• [TYPES/announce] WiL2024 -- deadline extended to May 7!!   Elaine Pimentel
• [TYPES/announce] WiL 2024: 8th Women in Logic Workshop   Elaine Pimentel
• [TYPES/announce] WiL 2024: first call for papers   Elaine Pimentel
• [TYPES/announce] WITS @ POPL 2025: Call for Contributions   Sebastian Ullrich
• [TYPES/announce] WoLLIC 2024 call for participation   Ruy Jose Guerra Barretto de Queiroz
• [TYPES/announce] Women in Logic -- 2nd call for papers   Elaine Pimentel
• [TYPES/announce] Working Formal Methods Symposium (FROM) 2024, Timisoara, Romania   Madalina Erascu
• [TYPES/announce] Workshop on "Big Specification: Specification, Proof, and Testing at Scale"   Peter Sewell
• [TYPES/announce] Workshop on Big Specification (Registration open until 31 Oct)   Peter Sewell
• [TYPES/announce] Workshop on Big Specification (Registration open until 31 Oct)   Peter Sewell
• [TYPES/announce] Workshop on Homotopy Type Theory and Univalent Foundations   Daniel Gratzer
• [TYPES/announce] WQS 2024 - Call for Papers   Nicola Assolini
• [TYPES/announce] WQS 2025 - First Call for Papers   Nicola Assolini

Last message date: Mon Dec 16 06:57:31 EST 2024
Archived on: Mon Dec 16 12:14:39 EST 2024

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...