2024 Archives by thread

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

Starting: Mon Jan 1 11:50:24 EST 2024
Ending: Thu May 2 17:40:41 EDT 2024
Messages: 255

• [TYPES/announce] PhD/postdoc positions in formal verification at Ecole Polytechnique, Paris, France   Constantin Enea
• [TYPES/announce] Undergraduate PL internship at Penn   Joey Velez-Ginorio
• [TYPES/announce] Call for Participation PLanQC (+ Student Travel Funding)   Mathys Rennela
• [TYPES/announce] Funded Masters and PhD positions at U of Regina   Joseph Eremondi
• [TYPES/announce] PhD/postdoc positions in formal methods for AI at Ecole Polytechnique, Paris, France   Eric Goubault
• [TYPES/announce] Call for ETAPS Test of Time Award 2024 Nominations   jan.kofron at d3s.mff.cuni.cz
• [TYPES/announce] Call for participation: Workshop on Programming for the Planet (PROPL) (20th January)   Dominic Orchard
• [TYPES/announce] Call for participation: Undone Computer Science, Nantes, 5-7 Feb 2024   Guillaume Munch-Maccagnoni
• [TYPES/announce] PLACES 2024 -- CFP (Deadline: 7 Feb 2024 AoE)   Raymond Hu
• [TYPES/announce] Directions and perspectives in the lambda-calculus - Call for Online Participation   Gabriele Vanoni
• [TYPES/announce] 2nd Call for Participation: BOB 2024 (Berlin, Mar 15, Early Bird until Jan 30)   Michael Sperber
• [TYPES/announce] 2nd Joint CfP: DisCoTec 2024 - 19th International Federated Conference on Distributed Computing Techniques Inbox   Bas van den Heuvel
• [TYPES/announce] 30th WoLLIC 2024 - Third Call for Papers   Ruy Jose Guerra Barretto de Queiroz
• [TYPES/announce] OPLSS 2024   Zena Matilde Ariola
• [TYPES/announce] SynCoP 2024 - Call for Talks - Luxembourg City (Luxembourg) - April 6th - 7th, 2024   Jaime ARIAS
• [TYPES/announce] Open positions at the Computer Science department of École polytechnique   Samuel Mimram
• [TYPES/announce] FSCD 2024: Second Call for Papers   Carsten Fuhs
• [TYPES/announce] [Deadline extended] WRLA 2024: Final Call For Papers   Tran Dinh Duong
• [TYPES/announce] ETAPS Doctoral Dissertation Award - deadline on January 15th   Caterina Urban
• [TYPES/announce] 2nd CfP COORDINATION 2024 - 26th International Conference on Coordination Models and Languages (part of DisCoTec 2024)   Saverio Giallorenzo
• [TYPES/announce] Fully-funded PhD studentship in functional programming   Graham Hutton
• [TYPES/announce] CfP 4th IEEE International Conference on Code Quality (ICCQ)   Yegor Bugayenko
• [TYPES/announce] HoTT/UF 2024: Final Call for Contributions and Participation   Jonathan Weinberger
• [TYPES/announce] CICM 2024, Call for Workshop and Tutorial Proposals, Conference on Intelligent Computer Mathematics 2024   Serge Autexier
• [TYPES/announce] Midlands Graduate School in the Foundations of Computing Science 2024   Crole, Roy L. (Dr.)
• [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] Call for Satellite Events (Workshops / Tutorials): DisCoTec 2024   Bas van den Heuvel
• [TYPES/announce] LICS 2024 Final Call for Papers   Sam Staton
• [TYPES/announce] UNIF 2024 Call for Papers   Oliver Fernandez Gil
• [TYPES/announce] Post-doc position at University of Glasgow, UK (PL theory, behavioural types)   Simon Gay
• [TYPES/announce] British Colloquium for Theoretical Computer Science - call for participation   Thomas Powell
• [TYPES/announce] IEEE CSF 2024: Call for Workshops   Ralf Kuesters
• [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] 17th International Workshop on Coalgebraic Methods in Computer Science (CMCS'24): Final Call for Papers   Henning Urbat
• [TYPES/announce] Two PhD positions at Nanyang Technological University   Dr Conrad Watt (Asst Prof)
• [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] prefaculty / postdoc researcher in types systems position at Jane Street   Richard Eisenberg
• [TYPES/announce] PLDI 2024 SRC: Call for Student Research Competition Submissions   Yao Li
• [TYPES/announce] 2nd CfP: TASE 2024   Jun PANG
• [TYPES/announce] CiE 2024: Final call for papers   Benno van den Berg
• [TYPES/announce] Postdoctoral Research Fellow in Formal Methods for Business Process Modelling   Violet Ka I Pun
• [TYPES/announce] 2nd Call for Papers: 17th Conference on Intelligent Computer Mathematics (CICM 2024)   Serge Autexier
• [TYPES/announce] Fully-Funded PhD Studentships at University of Kent (UK)   Marco Paviotti
• [TYPES/announce] Full professor and associate professor positions at IRIF, Paris, France   Giuseppe Castagna
• [TYPES/announce] SPLASH 2024 Call for Workshop Proposals   Qirun Zhang
• [TYPES/announce] CfP: ACM-TOPML Special Issue on "Probabilistic Programming"   Hongseok Yang
• [TYPES/announce] CILC 2024 first Call for Papers   Maurizio Proietti
• [TYPES/announce] ICE 2024: First Call for Papers   Clément Aubert
• [TYPES/announce] ETAPS Mentoring Workshop 2024 - Call for Participation   Caterina Urban
• [TYPES/announce] PhD Position in Formal Methods for Security and Privacy at TU Wien   Maffei, Matteo
• [TYPES/announce] *Extended Deadline* 17th International Workshop on Coalgebraic Methods in Computer Science (CMCS'24)   Urbat, Henning
• [TYPES/announce] TYPES 2024 - Call for Contributions   Patrick Bahr
• [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] ETAPS 2024 Call For Participation   jan.kofron at d3s.mff.cuni.cz
• [TYPES/announce] First Call for Papers - 20th International Conference on Formal Aspects of Component Software (FACS)   Marmsoler, Diego
• [TYPES/announce] PhD studentship in functional programming (closing date 9th Feb)   Graham Hutton
• [TYPES/announce] LangSec 2024 - Call for Papers, Posters, and Panels (fwd)   Erik Poll
• [TYPES/announce] CfP: DisCoTec 2024 - 19th International Federated Conference on Distributed Computing Techniques   Bas van den Heuvel
• [TYPES/announce] PLACES 2024 -- EXTENDED submission deadline (11 Feb 2024 AoE)   Raymond Hu
• [TYPES/announce] Deadline Extension CfP COORDINATION 2024 - 26th International Conference on Coordination Models and Languages (part of DisCoTec 2024)   Saverio Giallorenzo
• [TYPES/announce] Fully-funded PhD position at UMass Lowell   Gollamudi, Anitha
• [TYPES/announce] SynCoP 2024 - Call for Talks - Luxembourg City (Luxembourg) - April 6th - 7th, 2024 [EXTENDED DEADLINE]   Jaime ARIAS
• [TYPES/announce] 14th Panhellenic Logic Symposium   Alex Kavvos
  • [TYPES/announce] Second CfP and Deadline Extension: 14th Panhellenic Logic Symposium   Alex Kavvos
• [TYPES/announce] RC 2024 - call for papers - deadline extension   Clément Aubert
• [TYPES/announce] FSCD 2024: Extended deadline (Abstract: February 12/ Submission: February 19)   Carsten Fuhs
• [TYPES/announce] ICTAC 2024: First call for papers   Hans-Dieter Hiep
• [TYPES/announce] CiE 2024: CALL FOR PAPERS [Deadline Extension]   acie at acie.eu
• [TYPES/announce] CfP: Logica Frameworks and Meta Languages: Theory and Practice (LFMTP24)   Claudio Sacerdoti Coen
• [TYPES/announce] Research Fellow in Programming Languages Foundations, University of Tartu, Estonia   Danel Ahman
• [TYPES/announce] SOAP 2024 Call for Papers (co-located with PLDI'24, taking place in Copenhagen)   Raphaël Monat
• [TYPES/announce] ICFP 2024: Second Call for Papers   ICFP Publicity
• [TYPES/announce] FORTE 2024 Extended Deadline (23 Feb) and Journal Special Issue Confirmed   Adrian Francalanza
• [TYPES/announce] Applied Category Theory (ACT) and Mathematical Foundations of Programming Semantics (MFPS) 2024: Call for papers   Sam Staton
• [TYPES/announce] SYCO 12 - Call for Papers   Thibaut Benjamin
• [TYPES/announce] CFP PPDP 2024 - The 26th International Symposium on, Principles and Practice of Declarative Programming   Alessandro Bruni
• [TYPES/announce] MGS 8-12 April 2024   Crole, Roy L. (Dr.)
• [TYPES/announce] 2nd CfP & Deadline Extension: RAMiCS 2024   Uli Fahrenberg
• [TYPES/announce] PhD position at the University of Strathclyde   Fredrik Nordvall Forsberg
• [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] CfP ITRS 2024   Riccardo Treglia
• [TYPES/announce] FroCoS+ITP+TABLEAUX call for location   Elaine Pimentel
• [TYPES/announce] ITP 2024 : Second call for papers   Yves Bertot
• [TYPES/announce] PhD positions in Nottingham   Nicolai Kraus
• [TYPES/announce] QPL 2024 - Third Call for Papers   Alejandro Díaz-Caro
• [TYPES/announce] Distinguished Postdoctoral Fellowship at Northeastern   Amal Ahmed
• [TYPES/announce] Extended CfP: 4th IEEE International Conference on Code Quality (ICCQ'24)   Yegor Bugayenko
• [TYPES/announce] SMT 2024 Call For Papers   Yoni
  • [TYPES/announce] SMT 2024 Second Call For Papers   Yoni
• [TYPES/announce] WQS 2024 - Call for Papers   Nicola Assolini
• [TYPES/announce] VerifyThis 2024 - Call for Participation / Applications for Travel Grants   Summers, Alexander
• [TYPES/announce] Call for Participation and Registration: HoTT/UF 2024   Jonathan Weinberger
• [TYPES/announce] CfP TASE 2024 (extended deadlines)   Jun PANG
• [TYPES/announce] PhD position at the University of Copenhagen   Dmitriy Traytel
• [TYPES/announce] Five PhD Positions at the department of Computer Science and Engineering, Chalmers   Ana Bove
• [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] CfP: SCSS 2024   Temur Kutsia
• [TYPES/announce] ITP 2024: Call for Workshop and Tutorial Proposals   Besik Dundua
• [TYPES/announce] TYPES 2024 - 2nd Call for Contributions   Patrick Bahr
• [TYPES/announce] Job offer / Researcher-Engineer / Inria & LMF, Saclay, France   Claude Marche
• [TYPES/announce] CfA: PhD in theoretical computer science, Kings College (London / UK), deadline 12 April   Riccardo Treglia
• [TYPES/announce] WiL 2024: first call for papers   Elaine Pimentel
• [TYPES/announce] APLAS 2024: Call for Papers   Mirai Ikebuchi
• [TYPES/announce] CfP: SC-square 2024: The 9th International Workshop on Satisfiability Checking and Symbolic Computation   Daniela Kaufmann
  • [TYPES/announce] Deadline Extension (19 April) - SC-square 2024: The 9th International Workshop on Satisfiability Checking and Symbolic Computation   Daniela Kaufmann
• [TYPES/announce] Logic Colloquium 2024, Gothenburg, 24-28 June 2024   Graham Leigh
• [TYPES/announce] Call for Papers & Essays: Onward! @ SPLASH 2024   Guillaume Munch-Maccagnoni
• [TYPES/announce] ICE 2024: Second Call for Papers   Clément Aubert
• [TYPES/announce] MFPS 2024: final CFP   Alex Simpson
• [TYPES/announce] Call for Participation: BOB 2024 (Berlin, Mar 15)   Michael Sperber
• [TYPES/announce] PLMW at PLDI 2024: Call for Scholarship Applications   Gollamudi, Anitha
• [TYPES/announce] Symbolic Computation in Software Science (SCSS'24): submission deadline extension   Temur Kutsia
• [TYPES/announce] Midlands Graduate School (MGS)   Graham Hutton
• [TYPES/announce] Lectureship positions in Bath   Thomas Powell
• [TYPES/announce] 2nd Call for participation: Differential λ-Calculus and Differential Linear Logic, 20 Years Later (DiλLL 2024)   Giulio Guerrieri
• [TYPES/announce] ITP 2024, Interactive Theorem Proving: Last Call For Papers   Yves Bertot
• [TYPES/announce] TYPES 2024: Call for Contributions - Deadline extension   Patrick Bahr
• [TYPES/announce] GandALF 2024: Call for papers   Antonios Achilleos
• [TYPES/announce] Joint CFP NLS and SLSS 2024   Antonios Achilleos
• [TYPES/announce] MSFP 2024 Call for Papers (short abstracts 26 Apr, papers 30 Apr)   Favonia
• [TYPES/announce] Learning and Automata (LearnAut) 2024 -- ICALP 2024 Workshop, first CFP   Sammartino, Matteo
• [TYPES/announce] ESOP 2025 Call For Papers   jan.kofron at d3s.mff.cuni.cz
• [TYPES/announce] Postdoc in Tallinn - deadline 28 March   Pawel Sobocinski
• [TYPES/announce] SYCO 12 - Third call for papers   Thibaut Benjamin
• [TYPES/announce] OPLSS 2024 at Boston University!   ankushd at alumni.cmu.edu
• [TYPES/announce] ML 2024 – Call for presentations: ACM SIGPLAN ML Family Workshop   Guillaume Munch-Maccagnoni
• [TYPES/announce] ICFP 2024: Call for Tutorials   ICFP Publicity
• [TYPES/announce] CFP: Haskell Symposium 2024   J. Garrett Morris
• [TYPES/announce] Autumn school "Proof and Computation", Fischbachau (Germany), 15-21 Sep 2024   xu at math.lmu.de
• [TYPES/announce] Snd CfP: TAP 2024 (Tests and Proofs 2024), Milan, Italy   Huisman, Marieke (UT-EEMCS)
• [TYPES/announce] Part-time (0.3) senior researcher position in program logics in Tallinn   Tarmo Uustalu
• [TYPES/announce] Call for Papers: ACM Workshop on Functional Software Architecture   Michael Sperber
• [TYPES/announce] Applied Category Theory 2024 Call for Papers   David Jaz Myers
• [TYPES/announce] Postdoc position at the University of Strathclyde   Fredrik Nordvall Forsberg
• [TYPES/announce] 1st cfp of SEFM'24   Alexandre Madeira
• [TYPES/announce] Tenure-Track Assistant/Associate/Full Professor in Software-Intensive Systems - University of Groningen (The Netherlands)   Jorge A. Pérez
• [TYPES/announce] Final Call for Papers: 17th Conference on Intelligent Computer Mathematics (CICM 2024)   Serge Autexier
• [TYPES/announce] Postdoc/Research associate position in modal type theory and secure compilation at the University of Kent   Vineet Rajani
• [TYPES/announce] Agda Implementors' Meeting XXXVIII: Call for talks and participation   Anton Setzer
• [TYPES/announce] Call for Papers: OOPSLA 2024   Umar Farooq
• [TYPES/announce] [ATVA 2024 CfP] 22nd International Symposium on Automated Technology for Verification and Analysis Call for Papers   Ichiro Hasuo
• [TYPES/announce] Postdoc positions in Reykjavik   Tarmo Uustalu
• [TYPES/announce] ESWEEK 2024: Abstract Submissions on March 24th   Lars Bauer
• [TYPES/announce] Call for Papers: 7th International Symposium on AI Verification (SAIV 2024)   Guy Katz
• [TYPES/announce] [CfP] The 19th Int.Workshop on Security (IWSEC 2024), Kyoto, Japan   ウォルゲムト スベン
• [TYPES/announce] PhD at Utrecht   Paige Randall North
• [TYPES/announce] 20th Latin American Symposium in Mathematical Logic   Elaine Pimentel
• [TYPES/announce] PhD position: Software Verification for Programmable 6G Networks (University of Amsterdam, 31/3/2024)   Thomas van Binsbergen
• [TYPES/announce] CILC 2024 - 2nd Call for Papers   Maurizio Proietti
• [TYPES/announce] PhD / Postdoc positions related to quantum verification / programs   Dominique Unruh
• [TYPES/announce] 1st Call for Abstracts: Proof Society School and Workshop [PS24]. 9-13 September, Birmingham, UK.   Anupam das
• [TYPES/announce] VTSA 2024: 1st call for applications   Jun PANG
• [TYPES/announce] Final CFP: Formal Methods and Programming Languages Track at CCS'24   Catalin Hritcu
• [TYPES/announce] 4 fully funded PhD positions in Tallinn   Pawel Sobocinski
• [TYPES/announce] Postdoc positions on foundations of type classes and type families at the University of Iowa   J. Garrett Morris
• [TYPES/announce] [PPDP'2024 CfP] The 26th International Symposium on Principles and Practice of Declarative Programming Call for Papers   Alessandro Bruni
• [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] PhD position in program verification at Uppsala University   Eva Darulova
• [TYPES/announce] Beth Dissertation Prize 2024   Elaine Pimentel
• [TYPES/announce] 3rd Workshop on Hyperproperties - Call for Presentations   Hazem Torfah
  • [TYPES/announce] Postdoc Position in Formal Verification of Cyber-Physical Systems   Hazem Torfah
    • [TYPES/announce] PhD Position in Formal Verification of Autonomous Systems   Hazem Torfah
• [TYPES/announce] Erlang 2024 - Call for Papers   Kiko Fernandez-reyes A
• [TYPES/announce] Volunteers for ICFP 2024 Artifact Evaluation Committee (AEC)   Benoit Montagu
• [TYPES/announce] TyDe 2024: First call for papers and extended abstracts   Jesper Cockx
• [TYPES/announce] SYCO 12, Call For Participation   Thibaut Benjamin
• [TYPES/announce] Extended Deadline April 8, 2024 (abstracts April 1, 2024): 17th Conference on Intelligent Computer Mathematics (CICM 2024)   Serge Autexier
• [TYPES/announce] ICE 2024: Third Call for Papers (abstract deadline tomorrow)   Clément Aubert
• [TYPES/announce] Five PhD Positions in Programming Languages and Software Engineering, Turku, Finland   Jaakko Järvi
• [TYPES/announce] LSFA 2024: CALL FOR PAPERS   Cynthia Kop
• [TYPES/announce] Call for Tutorial Papers at FM 2024: deadline approaching —> April 19!   Luigia Petre
• [TYPES/announce] SAT/SMT/AR Summer School 2024: call for applications   Sophie Tourret
• [TYPES/announce] Postdoc opportunities in quantum computation and information   Vladimir Zamdzhiev
• [TYPES/announce] MFPS 2024: Extended deadline   Sam Staton
• [TYPES/announce] 10 fully-funded PhD scholarships in Computer Science at GSSI   emilio.tuosto at gssi.it
• [TYPES/announce] Postdoc or Assistant Research Professor position in formal methods and probabilistic programming   Tan, G. Gary
• [TYPES/announce] Women in Logic -- 2nd call for papers   Elaine Pimentel
• [TYPES/announce] CfP ITRS 2024 - Eleventh Workshop on Intersection Types and Related Systems   Riccardo Treglia
• [TYPES/announce] PLDI 2024 - Call for Participation (Early registration: May 15)   Yao Li
• [TYPES/announce] Special Issue on Advances in Formal Methods for Autonomous Systems   FMAS Workshop
• [TYPES/announce] SREPLS 15 / Concurrency Workshop at Kent (UK) -- Call for Talks   Marco Paviotti
• [TYPES/announce] Call for Papers: ACM Workshop on Functional Art, Music, Modelling and Design (Deadline June 1)   Michael Sperber
• [TYPES/announce] Structure meets Power 2024   Dan Marsden
• [TYPES/announce] A PhD scholarship in Computer Science in Paris: Model Checking for Malware (Virus) Detection   Tayssir TOUILI
• [TYPES/announce] Faculty position in Formal Methods at DTU Compute, Technical University of Denmark   Alberto Lluch Lafuente
• [TYPES/announce] FroCoS-ITP-TABLEAUX 2025   Elaine Pimentel
• [TYPES/announce] Second Joint CFP NLS and SLSS 2024 and extension   Antonios Achilleos
• [TYPES/announce] GandALF 2024: 2nd Call for Papers and deadline extension   Antonios Achilleos
• [TYPES/announce] Ackermann Award: First call for nominations - Deadline 1st July   Maribel Fernandez
• [TYPES/announce] Postdoc in proof theory - University of Birmingham, 2 years - deadline 30 April   Anupam das
• [TYPES/announce] E.W. Beth Dissertation Prize   Herman Geuvers
• [TYPES/announce] MARKTOBERDORF SUMMER SCHOOL 2024: CALL FOR PARTICIPATION   Alexander Pretschner
• [TYPES/announce] HOPE 2024: Call for Papers   Guilhem Jaber
• [TYPES/announce] Call for papers: Graph Computation Models (GCM 2024)   Joerg Endrullis
• [TYPES/announce] DEADLINE EXTENSION (26 April 2024) - CILC 2024: 39th Italian Conference on Computational Logic   Maurizio Proietti
• [TYPES/announce] UNIF 2024 - 2nd Call for Papers (Extended Deadline)   Oliver Fernandez Gil
• [TYPES/announce] (Submissions can be updated till April 25 AoE) ATVA 2024 2nd CfP   Ichiro Hasuo
• [TYPES/announce] PhD Studentship at VU Amsterdam   Kristina Sojakova
• [TYPES/announce] ESOP 25: NEWS in CFP and ROUND 1 deadline approaching *** May 30, 2024 ***   Luís Caires
• [TYPES/announce] ECOOP 2024 R2: Call for Papers and AEC Nominations   Pascal Weisenburger
• [TYPES/announce] FACS 24 - Second Call for Papers   Marmsoler, Diego
• [TYPES/announce] Learning and Automata (LearnAut) 2024 -- ICALP 2024 Workshop, second CFP   Sammartino, Matteo
• [TYPES/announce] DisCoTec 2024 Joint Call for Participation   Bas van den Heuvel
• [TYPES/announce] TUM professorship in "Fundamentals of programming"   Alexander Pretschner
• [TYPES/announce] CfP - ICTCS24   Riccardo Treglia
• [TYPES/announce] Three Post-doc positions in RECIPROG project (located in France -- Lyon, Nantes and Paris)   Alexis Saurin
• [TYPES/announce] SMT 2024 Third Call For Papers   Yoni
• [TYPES/announce] Two PhD positions in Computing science at Chalmers   Ana Bove
• [TYPES/announce] LMW at LICS and ICALP '24 - Call for participation and scholarship applications   Marie Kerjean
• [TYPES/announce] GandALF 2024: Last Call for Papers   Antonios Achilleos
• [TYPES/announce] Functional programming jobs at Conexus   Wisnesky, Ryan
• [TYPES/announce] Second CFP: Haskell Symposium 2024 (New this year: talk proposals!)   J. Garrett Morris
• [TYPES/announce] VMW at CAV 2024: Call for Scholarship Applications   Jingbo Wang
• [TYPES/announce] 1st cfp: 8th International Workshop on Trends in Linear Logic and Applications   Paolo Pistone
• [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] IJCAR 2024: Call for Participation   Peter Lammich
• [TYPES/announce] WiL 2024: 8th Women in Logic Workshop   Elaine Pimentel
• [TYPES/announce] TYPES 2024: Call for Participation   Patrick Bahr
• [TYPES/announce] PhD position in neuro-symbolic AI for Mathematical Discovery at Chalmers   Ana Bove
• [TYPES/announce] APLAS 2024: 2nd Call for Papers   Mirai Ikebuchi
• [TYPES/announce] Tenure-track position in Systems-Level Security at University of Copenhagen   Andrzej Filinski
• [TYPES/announce] CSL 2025 --- call for papers   Sylvain Schmitz
• [TYPES/announce] Learning and Automata (LearnAut) 2024 -- ICALP 2024 workshop, last CFP and deadline extension   Sammartino, Matteo
• [TYPES/announce] CfP: 6th International Workshop on Formal Methods for Autonomous Systems (FMAS 2024)   FMAS Workshop
• [TYPES/announce] Student Research Competition (SRC) at ICFP 2024   Favonia
• [TYPES/announce] IEEE CSF 2024 - Call for Participation   Ralf Kuesters
• [TYPES/announce] Multiple PhD and postdoc positions in PL/FM at Nanyang Technological University, Singapore   Dr Conrad Watt (Asst Prof)
• [TYPES/announce] APLAS 2024 SRC & Posters   Koko Akazaki Muroya
• [TYPES/announce] School on Univalent Mathematics, Minneapolis (MN, USA), July 29-Aug 2, 2024   Favonia
• [TYPES/announce] Call for Papers--Sixth miniKanren and Relational Programming Workshop   Ekaterina Verbitskaia
• [TYPES/announce] New postdoc position on Frama-C at CEA List, Saclay, France   Julien Signoles
• [TYPES/announce] ICTAC 2024 - Second Call for Papers   Hans-Dieter Hiep
• [TYPES/announce] 2nd Call for Papers: ACM Workshop on Functional Software Architecture [Deadline June 3]   Michael Sperber
• [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] SMT 2024 -- Deadline Extended to May 6   Yoni
• [TYPES/announce] Postdoc position in Theoretical CS @ King's College London   Riccardo Treglia
• [TYPES/announce] Reminder: MSFP 2024 Call for Papers (deadline 30 Apr)   Favonia
• [TYPES/announce] 2nd Call for Papers: ACM Workshop on Functional Art, Music, Modelling and Design (Deadline June 1)   Michael Sperber
• [TYPES/announce] Postdoc positions in Automated Reasoning at Universidade Federal de Minas Gerais   Haniel Barbosa
• [TYPES/announce] ICTCS 2024: Call for Papers (deadline June 9, 2024)   emilio.tuosto at gssi.it
• [TYPES/announce] Coq Workshop 2024 call for presentations   Théo Winterhalter
• [TYPES/announce] PPDP 2024 - Final CFP   Alessandro Bruni
• [TYPES/announce] Deadline Extension: Logical Frameworks and Meta Languages: Theory and Practice (LFMTP24)   Claudio Sacerdoti Coen
• [TYPES/announce] IEEE CSF 2024 - Student Volunteers and Travel Scholarships   Ralf Kuesters
• [TYPES/announce] 2nd Call for Abstracts: Proof Society School and Workshop [PS24]. 9-13 September, Birmingham, UK.   Anupam das
• [TYPES/announce] Call for Papers: Scheme '24   Kristopher K Micinski
• [TYPES/announce] WiL2024 -- deadline extended to May 7!!   Elaine Pimentel
• [TYPES/announce] PhD Studentships in Computer Science at Queen Mary University of London   Raymond Hu
• [TYPES/announce] WoLLIC 2024 call for participation   Ruy Jose Guerra Barretto de Queiroz
• [TYPES/announce] Joint Call for Workshop Submissions - Software Technologies: Applications and Foundations (STAF 2024)   Vadim Zaytsev
• [TYPES/announce] Call for Participation: First PLDI Workshop on Red-Hot Topics in Faculty Mentoring (RTFM)   Yao Li
• [TYPES/announce] VTSA 2024: 2nd call for applications   Jun PANG
• [TYPES/announce] Call for papers: FCS workshop @ CSF’24   Vassena, M. (Marco)
• [TYPES/announce] Call for Papers: the 5th International Workshop on Automated (Co)inductive Theorem Proving, a satellite workshop of IJCAR 2024   sorin stratulat

Last message date: Thu May 2 17:40:41 EDT 2024
Archived on: Fri May 3 09:54:52 EDT 2024

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