types-announce  

Messages by Thread

• [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] 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] Second Joint CFP NLS and SLSS 2024 and extension Antonios Achilleos
• [TYPES/announce] A PhD scholarship in Computer Science in Paris: Model Checking for Malware (Virus) Detection Tayssir TOUILI
• [TYPES/announce] FroCoS-ITP-TABLEAUX 2025 Elaine Pimentel
• [TYPES/announce] Faculty position in Formal Methods at DTU Compute, Technical University of Denmark Alberto Lluch Lafuente
• [TYPES/announce] Women in Logic -- 2nd call for papers Elaine Pimentel
• [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] Structure meets Power 2024 Dan Marsden
• [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] 10 fully-funded PhD scholarships in Computer Science at GSSI emilio . tuosto
• [TYPES/announce] Postdoc or Assistant Research Professor position in formal methods and probabilistic programming Tan, G. Gary
• [TYPES/announce] MFPS 2024: Extended deadline Sam Staton
• [TYPES/announce] Postdoc opportunities in quantum computation and information Vladimir Zamdzhiev
• [TYPES/announce] SAT/SMT/AR Summer School 2024: call for applications Sophie Tourret
• [TYPES/announce] Call for Tutorial Papers at FM 2024: deadline approaching —> April 19! Luigia Petre
• [TYPES/announce] LSFA 2024: CALL FOR PAPERS Cynthia Kop
• [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] Extended Deadline April 8, 2024 (abstracts April 1, 2024): 17th Conference on Intelligent Computer Mathematics (CICM 2024) Serge Autexier
• [TYPES/announce] SYCO 12, Call For Participation Thibaut Benjamin
• [TYPES/announce] TyDe 2024: First call for papers and extended abstracts Jesper Cockx
  • [TYPES/announce] TyDe 2024: Final call for papers and extended abstracts Jesper Cockx
• [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] 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] Beth Dissertation Prize 2024 Elaine Pimentel
• [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] [PPDP'2024 CfP] The 26th International Symposium on Principles and Practice of Declarative Programming Call for Papers Alessandro Bruni
• [TYPES/announce] Postdoc positions on foundations of type classes and type families at the University of Iowa J. Garrett Morris
  • [TYPES/announce] Postdoc positions on foundations of type classes and type families at the University of Iowa J. Garrett Morris
• [TYPES/announce] 4 fully funded PhD positions in Tallinn Pawel Sobocinski
• [TYPES/announce] Final CFP: Formal Methods and Programming Languages Track at CCS'24 Catalin Hritcu
• [TYPES/announce] VTSA 2024: 1st call for applications Jun PANG
• [TYPES/announce] 1st Call for Abstracts: Proof Society School and Workshop [PS24]. 9-13 September, Birmingham, UK. Anupam das
• [TYPES/announce] PhD / Postdoc positions related to quantum verification / programs Dominique Unruh
• [TYPES/announce] ESWEEK 2024: Abstract Submissions on March 24th Lars Bauer
• [TYPES/announce] 20th Latin American Symposium in Mathematical Logic Elaine Pimentel
• [TYPES/announce] CILC 2024 - 2nd Call for Papers Maurizio Proietti
• [TYPES/announce] PhD position: Software Verification for Programmable 6G Networks (University of Amsterdam, 31/3/2024) Thomas van Binsbergen
• [TYPES/announce] [CfP] The 19th Int.Workshop on Security (IWSEC 2024), Kyoto, Japan ウォルゲムト スベン
• [TYPES/announce] PhD at Utrecht Paige Randall North
• [TYPES/announce] Call for Papers: 7th International Symposium on AI Verification (SAIV 2024) Guy Katz
• [TYPES/announce] Postdoc positions in Reykjavik Tarmo Uustalu
• [TYPES/announce] Final Call for Papers: 17th Conference on Intelligent Computer Mathematics (CICM 2024) Serge Autexier
• [TYPES/announce] [ATVA 2024 CfP] 22nd International Symposium on Automated Technology for Verification and Analysis Call for Papers Ichiro Hasuo
• [TYPES/announce] Call for Papers: OOPSLA 2024 Umar Farooq
• [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] Tenure-Track Assistant/Associate/Full Professor in Software-Intensive Systems - University of Groningen (The Netherlands) Jorge A . Pérez
• [TYPES/announce] 1st cfp of SEFM'24 Alexandre Madeira
• [TYPES/announce] Postdoc position at the University of Strathclyde Fredrik Nordvall Forsberg
• [TYPES/announce] Applied Category Theory 2024 Call for Papers David Jaz Myers
• [TYPES/announce] Snd CfP: TAP 2024 (Tests and Proofs 2024), Milan, Italy Huisman, Marieke (UT-EEMCS)
• [TYPES/announce] Call for Papers: ACM Workshop on Functional Software Architecture Michael Sperber
• [TYPES/announce] Part-time (0.3) senior researcher position in program logics in Tallinn Tarmo Uustalu
• [TYPES/announce] Autumn school "Proof and Computation", Fischbachau (Germany), 15-21 Sep 2024 xu
  • [TYPES/announce] Autumn school "Proof and Computation", Fischbachau (Germany), 15-21 Sep 2024 xu
• [TYPES/announce] SYCO 12 - Third call for papers Thibaut Benjamin
• [TYPES/announce] CFP: Haskell Symposium 2024 J. Garrett Morris
• [TYPES/announce] ICFP 2024: Call for Tutorials ICFP Publicity
• [TYPES/announce] ML 2024 – Call for presentations: ACM SIGPLAN ML Family Workshop Guillaume Munch-Maccagnoni
  • [TYPES/announce] [Deadline extention] ML 2024 – Call for presentations: ACM SIGPLAN ML Family Workshop Guillaume Munch-Maccagnoni
• [TYPES/announce] OPLSS 2024 at Boston University! [email protected]
• [TYPES/announce] Learning and Automata (LearnAut) 2024 -- ICALP 2024 Workshop, first CFP Sammartino, Matteo
• [TYPES/announce] Postdoc in Tallinn - deadline 28 March Pawel Sobocinski
• [TYPES/announce] MSFP 2024 Call for Papers (short abstracts 26 Apr, papers 30 Apr) Favonia
• [TYPES/announce] ESOP 2025 Call For Papers jan . kofron
• [TYPES/announce] GandALF 2024: Call for papers Antonios Achilleos
• [TYPES/announce] Joint CFP NLS and SLSS 2024 Antonios Achilleos
• [TYPES/announce] TYPES 2024: Call for Contributions - Deadline extension Patrick Bahr
• [TYPES/announce] ITP 2024, Interactive Theorem Proving: Last Call For Papers Yves Bertot
• [TYPES/announce] 2nd Call for participation: Differential λ-Calculus and Differential Linear Logic, 20 Years Later (DiλLL 2024) Giulio Guerrieri
• [TYPES/announce] Lectureship positions in Bath Thomas Powell
  • [TYPES/announce] Lectureship positions in Bath Thomas Powell
• [TYPES/announce] Midlands Graduate School (MGS) Graham Hutton
• [TYPES/announce] Symbolic Computation in Software Science (SCSS'24): submission deadline extension Temur Kutsia
• [TYPES/announce] PLMW@PLDI 2024: Call for Scholarship Applications Gollamudi, Anitha
• [TYPES/announce] Call for Participation: BOB 2024 (Berlin, Mar 15) Michael Sperber
• [TYPES/announce] MFPS 2024: final CFP Alex Simpson
• [TYPES/announce] ICE 2024: Second Call for Papers Clément Aubert
• [TYPES/announce] CfP: SCSS 2024 Temur Kutsia
• [TYPES/announce] APLAS 2024: Call for Papers Mirai Ikebuchi
• [TYPES/announce] Call for Papers & Essays: Onward! @ SPLASH 2024 Guillaume Munch-Maccagnoni
• [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] WiL 2024: first call for papers Elaine Pimentel
• [TYPES/announce] CfA: PhD in theoretical computer science, Kings College (London / UK), deadline 12 April Riccardo Treglia
• [TYPES/announce] Job offer / Researcher-Engineer / Inria & LMF, Saclay, France Claude Marche
• [TYPES/announce] TYPES 2024 - 2nd Call for Contributions Patrick Bahr
• [TYPES/announce] ITP 2024: Call for Workshop and Tutorial Proposals Besik Dundua
• [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] Five PhD Positions at the department of Computer Science and Engineering, Chalmers Ana Bove
• [TYPES/announce] CfP TASE 2024 (extended deadlines) Jun PANG
• [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] Extended CfP: 4th IEEE International Conference on Code Quality (ICCQ'24) Yegor Bugayenko
• [TYPES/announce] WQS 2024 - Call for Papers Nicola Assolini
• [TYPES/announce] SMT 2024 Call For Papers Yoni
  • [TYPES/announce] SMT 2024 Second Call For Papers Yoni
• [TYPES/announce] Distinguished Postdoctoral Fellowship at Northeastern Amal Ahmed
• [TYPES/announce] ITP 2024 : Second call for papers Yves Bertot
• [TYPES/announce] FroCoS+ITP+TABLEAUX call for location Elaine Pimentel
• [TYPES/announce] PhD positions in Nottingham Nicolai Kraus
• [TYPES/announce] CfP ITRS 2024 Riccardo Treglia
• [TYPES/announce] PhD position at the University of Strathclyde Fredrik Nordvall Forsberg
• [TYPES/announce] 2nd CfP & Deadline Extension: RAMiCS 2024 Uli Fahrenberg
• [TYPES/announce] SYCO 12 - Call for Papers Thibaut Benjamin
• [TYPES/announce] MGS 8-12 April 2024 Crole, Roy L. (Dr.)
• [TYPES/announce] CFP PPDP 2024 - The 26th International Symposium on, Principles and Practice of Declarative Programming Alessandro Bruni
• [TYPES/announce] Applied Category Theory (ACT) and Mathematical Foundations of Programming Semantics (MFPS) 2024: Call for papers Sam Staton
• [TYPES/announce] FORTE 2024 Extended Deadline (23 Feb) and Journal Special Issue Confirmed Adrian Francalanza
• [TYPES/announce] ICFP 2024: Second Call for Papers ICFP Publicity
• [TYPES/announce] SOAP 2024 Call for Papers (co-located with PLDI'24, taking place in Copenhagen) Raphaël Monat
• [TYPES/announce] Research Fellow in Programming Languages Foundations, University of Tartu, Estonia Danel Ahman
• [TYPES/announce] CfP: Logica Frameworks and Meta Languages: Theory and Practice (LFMTP24) Claudio Sacerdoti Coen
• [TYPES/announce] ICTAC 2024: First call for papers Hans-Dieter Hiep
• [TYPES/announce] CiE 2024: CALL FOR PAPERS [Deadline Extension] acie
• [TYPES/announce] FSCD 2024: Extended deadline (Abstract: February 12/ Submission: February 19) Carsten Fuhs
• [TYPES/announce] RC 2024 - call for papers - deadline extension Clément Aubert
• [TYPES/announce] 14th Panhellenic Logic Symposium Alex Kavvos
  • [TYPES/announce] Second CfP and Deadline Extension: 14th Panhellenic Logic Symposium Alex Kavvos
• [TYPES/announce] SynCoP 2024 - Call for Talks - Luxembourg City (Luxembourg) - April 6th - 7th, 2024 [EXTENDED DEADLINE] Jaime ARIAS
• [TYPES/announce] Fully-funded PhD position at UMass Lowell Gollamudi, Anitha
• [TYPES/announce] Deadline Extension CfP COORDINATION 2024 - 26th International Conference on Coordination Models and Languages (part of DisCoTec 2024) Saverio Giallorenzo
• [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] LangSec 2024 - Call for Papers, Posters, and Panels (fwd) Erik Poll
• [TYPES/announce] PhD studentship in functional programming (closing date 9th Feb) Graham Hutton
• [TYPES/announce] First Call for Papers - 20th International Conference on Formal Aspects of Component Software (FACS) Marmsoler, Diego
• [TYPES/announce] ETAPS 2024 Call For Participation jan . kofron
• [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] TYPES 2024 - Call for Contributions Patrick Bahr
• [TYPES/announce] *Extended Deadline* 17th International Workshop on Coalgebraic Methods in Computer Science (CMCS'24) Urbat, Henning
• [TYPES/announce] PhD Position in Formal Methods for Security and Privacy at TU Wien Maffei, Matteo
• [TYPES/announce] ETAPS Mentoring Workshop 2024 - Call for Participation Caterina Urban
• [TYPES/announce] ICE 2024: First Call for Papers Clément Aubert
• [TYPES/announce] CILC 2024 first Call for Papers Maurizio Proietti
• [TYPES/announce] CfP: ACM-TOPML Special Issue on "Probabilistic Programming" Hongseok Yang
• [TYPES/announce] SPLASH 2024 Call for Workshop Proposals Qirun Zhang
• [TYPES/announce] Full professor and associate professor positions at IRIF, Paris, France Giuseppe Castagna
• [TYPES/announce] CiE 2024: Final call for papers Benno van den Berg
• [TYPES/announce] Fully-Funded PhD Studentships at University of Kent (UK) Marco Paviotti
• [TYPES/announce] 2nd CfP: TASE 2024 Jun PANG
• [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] PLDI 2024 SRC: Call for Student Research Competition Submissions Yao Li
• [TYPES/announce] prefaculty / postdoc researcher in types systems position at Jane Street Richard Eisenberg
• [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] Two PhD positions at Nanyang Technological University Dr Conrad Watt (Asst Prof)
• [TYPES/announce] 17th International Workshop on Coalgebraic Methods in Computer Science (CMCS'24): Final Call for Papers Henning Urbat
• [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] IEEE CSF 2024: Call for Workshops Ralf Kuesters
• [TYPES/announce] UNIF 2024 Call for Papers Oliver Fernandez Gil
• [TYPES/announce] British Colloquium for Theoretical Computer Science - call for participation Thomas Powell
• [TYPES/announce] Post-doc position at University of Glasgow, UK (PL theory, behavioural types) Simon Gay
• [TYPES/announce] LICS 2024 Final Call for Papers Sam Staton
• [TYPES/announce] Call for Satellite Events (Workshops / Tutorials): DisCoTec 2024 Bas van den Heuvel
• [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] HoTT/UF 2024: Final Call for Contributions and Participation Jonathan Weinberger
• [TYPES/announce] Midlands Graduate School in the Foundations of Computing Science 2024 Crole, Roy L. (Dr.)
• [TYPES/announce] CICM 2024, Call for Workshop and Tutorial Proposals, Conference on Intelligent Computer Mathematics 2024 Serge Autexier
• [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] 2nd CfP COORDINATION 2024 - 26th International Conference on Coordination Models and Languages (part of DisCoTec 2024) Saverio Giallorenzo
• [TYPES/announce] Open positions at the Computer Science department of École polytechnique Samuel Mimram
• [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] FSCD 2024: Second Call for Papers Carsten Fuhs
• [TYPES/announce] SynCoP 2024 - Call for Talks - Luxembourg City (Luxembourg) - April 6th - 7th, 2024 Jaime ARIAS
• [TYPES/announce] OPLSS 2024 Zena Matilde Ariola
• [TYPES/announce] 30th WoLLIC 2024 - Third Call for Papers Ruy Jose Guerra Barretto de Queiroz
• [TYPES/announce] 2nd Joint CfP: DisCoTec 2024 - 19th International Federated Conference on Distributed Computing Techniques Inbox Bas van den Heuvel
• [TYPES/announce] 2nd Call for Participation: BOB 2024 (Berlin, Mar 15, Early Bird until Jan 30) Michael Sperber
• [TYPES/announce] Directions and perspectives in the lambda-calculus - Call for Online Participation Gabriele Vanoni
• [TYPES/announce] PLACES 2024 -- CFP (Deadline: 7 Feb 2024 AoE) Raymond Hu
• [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 ETAPS Test of Time Award 2024 Nominations jan . kofron
• [TYPES/announce] PhD/postdoc positions in formal methods for AI at Ecole Polytechnique, Paris, France Eric Goubault
• [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] Undergraduate PL internship at Penn Joey Velez-Ginorio
• [TYPES/announce] PhD/postdoc positions in formal verification at Ecole Polytechnique, Paris, France Constantin Enea
• [TYPES/announce] ISR 2024: first call for participation Aart Middeldorp
• [TYPES/announce] CLOSING DATE 14 January: Postdoc opening in categorical semantics Patricia Johann
• [TYPES/announce] Two PhD scholarships in formal methods at ANU Nisansala Yatapanage
• [TYPES/announce] Applied Category Theory (ACT) and Mathematical Foundations of Programming Semantics (MFPS) 2024: Preliminary call for papers David Jaz Myers
• [TYPES/announce] One postdoctoral position in logics for concurrency - University of Urbino Pierluigi Graziani
  • [TYPES/announce] One postdoctoral position in logics for concurrency - University of Urbino Claudio Mezzina
• [TYPES/announce] Call for participation: DiλLL 2024 - Differential λ-Calculus and Differential Linear Logic - 20 Years Later, 13 - 17 May 2024, Marseille (France) Giulio Guerrieri
• [TYPES/announce] RC 2024 - call for papers Clément Aubert

• Earlier messages
• Later messages