2013 Archives by thread

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

Starting: Wed Jan 2 05:57:11 EST 2013
Ending: Fri Dec 27 07:46:57 EST 2013
Messages: 720

• [TYPES/announce] DisCoTec 2013: Second Call for Workshop Proposals   Francesco Tiezzi
• [TYPES/announce] Post-doc positions in NSF center ExCAPE on software synthesis   Rajeev Alur
• [TYPES/announce] 2nd CfP (deadline 14 Jan): Enabling Domain Experts to use Formalised Reasoning, Stage 2 (AISB 2013, Exeter, UK, 2-3 Apr 2013)   Christoph LANGE
• [TYPES/announce] CfP: EXTENDED DEADLINE: Advances in Systems of Systems an ETAPS workshop   Ulrik Nyman
• [TYPES/announce] Final Call for Workshops CONCUR 2013   Pedro R. D'Argenio
• [TYPES/announce] ITP 2013: Last Call for Papers   David Pichardie
• [TYPES/announce] Three University Lectureships in Software Engineering at Oxford   Jeremy.Gibbons at cs.ox.ac.uk
• [TYPES/announce] Ackermann Award 2013 - call for nominations   Anuj Dawar
• [TYPES/announce] LICS 2013 - Second Call for Workshop Proposals   Andrzej Murawski
• [TYPES/announce] Call for Papers: PASTE 2013   Corina Pasareanu
• [TYPES/announce] Research Positions at Kestrel Institute   Alessandro Coglio
• [TYPES/announce] Post-doc in Bath on the semantics of a bureaucracy-free formalism   Alessio Guglielmi
• [TYPES/announce] Control Operators and their Semantics (COS'13) - Call for Papers   Ugo de' Liguoro
• [TYPES/announce] PhD opportunities at the University of Edinburgh   James Cheney
• [TYPES/announce] Postdoc position in proof theory in Paris   Lutz Strassburger
• [TYPES/announce] ETAPS 2013 Call for Participation   Joost-Pieter Katoen
• [TYPES/announce] TLCA 2013 Last Call for Papers   Luca Paolini
• [TYPES/announce] SCP Special Issue on Invariant Generation - Final Call for Papers [1 month to go]   Gudmund Grov
• [TYPES/announce] Call for Papers: Runtime Verification 2013   Uli Fahrenberg
• [TYPES/announce] iFM 2013 deadline extension   Einar Broch Johnsen
• [TYPES/announce] ARiSVe 2013 Call for Papers   Jean-Christophe Filliatre
• [TYPES/announce] QAPL 2013 - Call for short papers and participation   Herbert Wiklicky
• [TYPES/announce] Deadline Extension (28 Jan): Enabling Domain Experts to use Formalised Reasoning, Stage 2 (AISB 2013, Exeter, UK, 2-5 Apr 2013)   Christoph LANGE
• [TYPES/announce] PLAS 2013 : Call for papers   Nikhil Swamy
• [TYPES/announce] CfP Trends in Functional Programming In Education 2013 (TFPIE 2013)   p.k.f.holzenspies at utwente.nl
• [TYPES/announce] Postdoc at Warwick (automata and verification)   Andrzej Murawski
• [TYPES/announce] 5th CFP for TASE 13, 1 - 3 July 2013, Birmingham, UK (DEADLINE EXTENSION!)   TASE 2013
• [TYPES/announce] LAM'13 Extended deadline for abstract submission   Muller B (AT)
• [TYPES/announce] CS2Bio'13 - First Call for Papers   Angelo Troina
• [TYPES/announce] TAP 2013: Final Call for Papers   Achim D. Brucker
• [TYPES/announce] CFP: 8th International Symposium on Trustworthy Global Computing (TGC 2013)   Alberto Lluch Lafuente
• [TYPES/announce] CSF 2013 Final Call for Papers and Panels   Matteo Maffei
• [TYPES/announce] Trends in Functional Programming 2013: 2nd Call for Papers   Jay McCarthy
• [TYPES/announce] Call for Registration: MGS Spring School   Alexander Kurz
• [TYPES/announce] British Colloquium for Theoretical Computer Science: first call for participation   Guy McCusker
• [TYPES/announce] CONCUR 2013 - Second call for papers   Pedro R. D'Argenio
• [TYPES/announce] QEST 2013 - Second call for papers   Pedro R. D'Argenio
• [TYPES/announce] RTA 2013: last call for papers   Sophie Tison
• [TYPES/announce] Inria research positions in Nancy   Stephan Merz
• [TYPES/announce] Final CfP: Software Composition (SC) 2013 (deadline extended)   Stephen Kell
• [TYPES/announce] CFP: WWV 2013 Automated Specification and Verification of Web Systems   Antonio Ravara
• [TYPES/announce] Call for Participation: PLACES'13 at ETAPS   Yoshida, Nobuko
• [TYPES/announce] Oregon Programming Languages Summer School   Amal Ahmed
• [TYPES/announce] Call for participation 1st MEALS workshop @ETAPS 2013   Pedro R. D'Argenio
• [TYPES/announce] SSTiC 2013: 1st announcement   GRLMC
• [TYPES/announce] ITP 2013 - Deadline Extension   David Pichardie
• [TYPES/announce] [fm-announcements] Call for Papers: Runtime Verification 2013   Klaus Havelund
• [TYPES/announce] ICECCS 2013 in Singapore -- Last Call for Papers   Jun PANG
• [TYPES/announce] Postdoc positions in SAT/SMT-based Verification available in Trento   Roberto Sebastiani
  • [TYPES/announce] Postdoc positions in SAT/SMT-based Verification available in Trento   Roberto Sebastiani
• [TYPES/announce] CFP - COORDINATION 2013 - 2nd Announcement   Francesco Tiezzi
• [TYPES/announce] Two postdoc positions in Cagliari   Massimo Bartoletti
• [TYPES/announce] 7th Scottish Category Theory Seminar   Alex Simpson
• [TYPES/announce] ACCAT 2013: call for participation   Fabio Gadducci
• [TYPES/announce] ACL2 2013 - 2nd Call For Papers   Jared C. Davis
• [TYPES/announce] FroCoS 2013 Second Call for Papers   Christophe Ringeissen
• [TYPES/announce] Types Meeting 2013 in Toulouse, 23 - 26 April: second call for contributions   Ralph Matthes
• [TYPES/announce] Ph.D. position in Mathematical Foundations of Computation in Bath   Willem Heijltjes
• [TYPES/announce] CFP: First Workshop on Verification and Program Transformation, VPT 2013   Lisitsa, Alexei
• [TYPES/announce] Call for participation: ExCAPE 2013 Summer School on Software Synthesis   Stephan Zdancewic
• [TYPES/announce] ETAPS 2014: CALL FOR SATELLITE EVENTS   Yliès Falcone
• [TYPES/announce] DisCoTec 2013: Last Call for Papers (EXTENDED DEADLINES)   Francesco Tiezzi
• [TYPES/announce] ICECCS 2013 in Singapore -- deadlines extended   Jun PANG
• [TYPES/announce] website of the IHP trimester "Semantics of proofs and certified mathematics"   Pierre-Louis Curien
• [TYPES/announce] 7th Scottish Category Theory Seminar (now with titles)   Alex Simpson
• [TYPES/announce] PostDoc position on certifying Network Calculus computations within Isabelle   Marc Boyer
• [TYPES/announce] PERSYVAL-Lab Summer School on Cyber-Physical Systems, GRENOBLE (FRANCE) JULY 8-12, 2013   Yliès Falcone
• [TYPES/announce] Career opportunities at BBN -- quantum computer science   Richard Lazarus
• [TYPES/announce] The 5th Coq Workshop   Assia Mahboubi
  • [TYPES/announce] The 5th Coq Workshop   Assia Mahboubi
• [TYPES/announce] [ETAPS 2013] Second Call for Participation   Joost-Pieter Katoen
• [TYPES/announce] ICFP 2013: Call for papers   David Van Horn
• [TYPES/announce] 1st CFP SBLP 2013 (17th Brazilian Symposium on Programming Languages)   Andre Rauber Du Bois
• [TYPES/announce] Foundations of Health Information Engineering and Systems (FHIES 2013) - call for papers   Jeremy.Gibbons at cs.ox.ac.uk
• [TYPES/announce] WS-FM 2013: First Call for Papers   Emilio Tuosto
• [TYPES/announce] Postdoctoral Research Fellowship   Bugliesi Michele
• [TYPES/announce] CSL 2013 first call-for-papers   Ronchi Della Rocca Simona
• [TYPES/announce] ACL2 2013 - Last Call For Papers - Extended Deadline   Jared C. Davis
• [TYPES/announce] DICE 2013 - call-for partcipation   Simona Ronchi della Rocca
• [TYPES/announce] Control Operators and their Semantics (COS'13) - Second Call for Papers   Ugo de' Liguoro
• [TYPES/announce] TIME 2013 - International Symposium on Temporal Representation and Reasoning   Brent Venable
• [TYPES/announce] Second Call For Papers: Conf. Intelligent Computer Mathematics (CICM 2013), July 8-12, 2013, Bath, UK   Serge Autexier
• [TYPES/announce] Postdoc Position at Princeton   David Walker
• [TYPES/announce] Workshop on Algebra, Coalgebra and Topology: 1 March in Bath   Cai Wingfield
• [TYPES/announce] ICE 2013 CfP   Ivan Lanese
• [TYPES/announce] TABLEAUX 2013 - 2nd Call for Papers, Tutorials and Workshops   Didier Galmiche
• [TYPES/announce] Workshop Haskell and Rewriting Techniques HART 2013   Janis Voigtländer
• [TYPES/announce] Call for Papers: SMC 2013   Uli Fahrenberg
• [TYPES/announce] Call for Tutorials: RV'13   Uli Fahrenberg
• [TYPES/announce] PLAS 2013: Second call for papers   Nikhil Swamy
• [TYPES/announce] ETAPS 2014: SECOND CALL FOR SATELLITE EVENTS   Yliès Falcone
• [TYPES/announce] PhD Positions in Formal Methods and Language-based Security at Chalmers   Ana Bove
• [TYPES/announce] Participate: Enabling Domain Experts to use Formalised Reasoning (AISB 2013, Exeter, UK, 3-5 Apr 2013). Tutorials on Matching, Auctions, Finance.   Christoph LANGE
• [TYPES/announce] 2 postdoc positions at IRIT Toulouse and INRIA Nancy   Stephan Merz
• [TYPES/announce] First call for papers "Fun With Formal Methods" (CAV affiliated workshop).   Николай Шилов
• [TYPES/announce] IWC 2013: 2nd Call for Papers   Nao Hirokawa
• [TYPES/announce] Types Meeting 2013 in Toulouse, 23 - 26 April: last call for contributions   Ralph Matthes
• [TYPES/announce] QEST 2013 - Last call for papers   Damian Barsotti
• [TYPES/announce] AI4FM 2013 : First Call For Papers (ITP 2013 workshop)   Grov, Gudmund
• [TYPES/announce] Final announcement (with programme): Workshop on Algebra, Coalgebra and Topology   Cai Wingfield
• [TYPES/announce] PHD positions in SAT/SMT-based Verification available in Trento   Roberto Sebastiani
• [TYPES/announce] SLS 2013: Workshop on Scalable Language Specification - CFP   Mosses P.D.
• [TYPES/announce] DigiCosme Spring School 2013: call for participation   Claude Marche
• [TYPES/announce] CFP: FCS'13 Workshop on Foundations of Computer Security   Bruno Blanchet
• [TYPES/announce] [ETAPS 2013] Final Call for Participation   Joost-Pieter Katoen
• [TYPES/announce] POPL 2014: Call for workshops and co-located events   Viktor Vafeiadis
• [TYPES/announce] CFP Scala 2013   Philipp Haller
• [TYPES/announce] BCTCS 2013: call for participation. More student bursaries now available!   Guy McCusker
• [TYPES/announce] MOD 2013 - Call for Applications   Helmut Seidl
• [TYPES/announce] SLE 2013 - Call for Papers   Martin Erwig
• [TYPES/announce] LATA 2013: call for participation   URV - RESEARCH GROUP ON MATHEMATICAL LINGUISTICS
• [TYPES/announce] Final Call for Contributions: Automated Reasoning Workshop, April 2013, Dundee   Jonathan Heras
• [TYPES/announce] Call for Papers - ASE 2013   ASE2013
• [TYPES/announce] Post-Doc and PhD positions at Edinburgh, Glasgow, and Imperial   Philip Wadler
• [TYPES/announce] CFP: PLAS 2013 (Deadline extended to March 4)   Nikhil Swamy
• [TYPES/announce] QEST 2013 - Deadline extended one week   Pedro R. D'Argenio
• [TYPES/announce] SLSP 2013: submission deadline extended   GRLMC
• [TYPES/announce] CfP THedu at CICM, July 2013,Bath, UK   Walther Neuper
• [TYPES/announce] SPIN 2013 - Extended Deadlines   Scott Stoller
• [TYPES/announce] PPPJ'13 - Call for Papers   danilo.ansaloni at usi.ch
• [TYPES/announce] Research Assistantship at Oxford on Bidirectional Transformations   Jeremy.Gibbons at cs.ox.ac.uk
• [TYPES/announce] Call for Analyzer Pearls: TAPAS 2013 (a SAS 2013 affiliated event and co-located with PLDI 2013)   Bor-Yuh Evan Chang
• [TYPES/announce] Trends in Functional Programming 2013: 3rd Call for Papers   Jay McCarthy
• [TYPES/announce] Workshop on Natural Language and Computer Science (NLCS '13)   Valeria de Paiva
• [TYPES/announce] CONCUR 2013 - Last Call for Papers   Damian Barsotti
• [TYPES/announce] Research positions at Birmingham and Imperial   Stephanie Weirich
• [TYPES/announce] Deadline Extension March 12th, 2013: Conf. Intelligent Computer Mathematics (CICM 2013), July 8-12, 2013, Bath, UK   Serge Autexier
• [TYPES/announce] ACCAT 2013: final call for participation and invitation to discussion   Fabio Gadducci
• [TYPES/announce] Positions in Computer Science at Universidad de Buenos Aires   Eduardo Bonelli
• [TYPES/announce] Control Operators and their Semantics (COS'13) - Final Call for Papers   Ugo de'Liguoro
• [TYPES/announce] SPIN 2013 - Abstract submission deadline waived   Scott Stoller
• [TYPES/announce] SSTiC 2013: 2nd announcement   GRLMC
• [TYPES/announce] CS2BIO 2013: 2nd Call for Papers   Emanuela Merelli
• [TYPES/announce] ARiSVe 2013: submission deadline extension to April 8, 2013   Andrei Paskevich
• [TYPES/announce] Summer School on Trends in Computing, Tarragona   Philip Wadler
• [TYPES/announce] CfP PLMMS at CICM, July 2013, Bath, UK   Iain Whiteside
  • [TYPES/announce] CfP PLMMS at CICM, July 2013, Bath, UK   Iain Whiteside
• [TYPES/announce] Doctoral studentships in Foundations of Computing at Middlesex University   Jaap Boender
• [TYPES/announce] FroCoS 2013 Final Call for Papers   Christophe Ringeissen
• [TYPES/announce] Call for Papers SEASAME 2013: Int'l Workshop on Software Engineering for sAfety-critical Systems and Medical dEvices   Seasame Workshop
• [TYPES/announce] CSL'13, last cfp, DATES POSTPONED!!   Simona Ronchi della Rocca
• [TYPES/announce] 2nd Call for Papers: 9th Workshop on Automated Specification and Verification of Web Systems (WWV'13)   Antonio Ravara
• [TYPES/announce] 20th Automated Reasoning Workshop, April 2013, Dundee   Jonathan Heras
• [TYPES/announce] Postdocs available in Proof Certificates   Dale Miller
• [TYPES/announce] Second CfP for the International Workshop on Trends in Functional Programming In Education (TFPIE)   p.k.f.holzenspies at utwente.nl
• [TYPES/announce] Workshop on Generic Programming (WGP 2013) -- call for papers   Jeremiah Willcock
• [TYPES/announce] ICFP 2013: Second Call for Papers   David Van Horn
• [TYPES/announce] DisCoTec 2013: Workshops CfP   Francesco Tiezzi
• [TYPES/announce] Postdoc position at INRIA Grenoble : Foundations and programming for recoverable embedded systems   Alain Girault
• [TYPES/announce] Workshop on Languages for the Multicore Era (LaME 2013) -- call of papers   Aaron Turon
• [TYPES/announce] CFP: SCSS 2013   Temur Kutsia
• [TYPES/announce] PhD Research Project: Efficient and Natural Proof Systems   Alessio Guglielmi
• [TYPES/announce] Types Meeting 2013 in Toulouse, 22 - 26 April: call for participation   Ralph Matthes
• [TYPES/announce] 1st Workshop on Programming Languages Technology for Massive Open Online Courses co-located with PLDI   Armando Solar-Lezama
• [TYPES/announce] Summer school on formal methods and networks   Nate Foster
• [TYPES/announce] Call for workshop proposals - SPLASH 2013   Gavin Bierman
• [TYPES/announce] LOLA 2013: Call for Talk Proposals   Andrew Kennedy
  • [TYPES/announce] LOLA 2013: Call for Talk Proposals (Deadline extension)   Dan Ghica
• [TYPES/announce] ICE 2013: Deadline extended until Sunday 24th March   Ivan Lanese
• [TYPES/announce] Two PhD studentships available at Imperial College London on Automatic Verification and Synthesis of Device Drivers   Alastair Donaldson
• [TYPES/announce] International summer school on linear logic and geometry of interaction   Lionel Vaux
• [TYPES/announce] Runtime Verification 2013: 2nd CfP   Uli Fahrenberg
• [TYPES/announce] The EAPLS 2012 PhD Award goes to ... Delphine Démange   Arend Rensink
• [TYPES/announce] PhD scholarships in verification at IT University of Copenhagen   Andrzej Wąsowski
• [TYPES/announce] 2nd CFP: SBLP 2013 (17th Brazilian Symposium on Programming Languages)   Andre Rauber Du Bois
• [TYPES/announce] Final Call: Automated Reasoning Workshop, April 2013, Dundee   jonathanheras
• [TYPES/announce] UNIF 2013 -- call for papers   Barbara Morawska
• [TYPES/announce] Summer School on Cyber-Physical Systems, GRENOBLE (FRANCE) JULY 8-12, 2013   Yliès Falcone
  • [TYPES/announce] Summer School on Cyber-Physical Systems, GRENOBLE (FRANCE) JULY 8-12, 2013   Ylies Falcone
• [TYPES/announce] Oregon Programming Languages Summer School - call for participation   Amal Ahmed
• [TYPES/announce] LOGIC COLLOQUIUM 2013   Sandra Alves
• [TYPES/announce] LSFA 2013 - Call for papers   Maribel Fernandez
• [TYPES/announce] SSTiC 2013: 2nd registration deadline 26 March   GRLMC
• [TYPES/announce] 2013 Best Practices in Education Award - " Informatics Education in School"   Alessandra Viale
• [TYPES/announce] Deadline extension (2 Apr): SLS 2013: Workshop on Scalable Language Specification   Andrew Kennedy
• [TYPES/announce] WFLP 2013: First CfP   Janis Voigtländer
• [TYPES/announce] Postdoc position in "Foundation of Computing"   Luca Paolini
• [TYPES/announce] PhD position on "Semantics and Verification of Accelerator Programming"   Marieke Huisman
• [TYPES/announce] (CFP) Certified Programs and Proofs 2013 - First Call for Papers   Michael Norrish
• [TYPES/announce] Control Operators and their Semantics (COS'13) - change of dates   Ugo de'Liguoro
• [TYPES/announce] 2nd CFP: 8th International Symposium on Trustworthy Global Computing (TGC 2013)   Alberto Lluch Lafuente
• [TYPES/announce] New definitions of contexts and free variables for lambda-calculi with explicit substitutions   George Cherevichenko
• [TYPES/announce] FOPARA 2013 - First Call for Papers   Ugo Dal Lago
• [TYPES/announce] WRS 2013 - Call for Papers   Jeroen Ketema
• [TYPES/announce] CALL FOR PAPERS - FM-RAIL-BOK WORKSHOP 2013   Markus Roggenbach
• [TYPES/announce] Third Summer School on Formal Techniques, May 20-24, 2013, Atherton, California   Natarajan Shankar
• [TYPES/announce] Types Meeting 2013 in Toulouse, 22 - 26 April: 2nd call for participation   Ralph Matthes
• [TYPES/announce] LICS 2013 - Call for Short Presentations   Andrzej Murawski
• [TYPES/announce] Haskell 2013 call for submissions   Chung-chieh Shan
• [TYPES/announce] APLAS 2013 call for papers   Chung-chieh Shan
• [TYPES/announce] Final CfP (extension): Trends in Functional Programming 2013   Jay McCarthy
• [TYPES/announce] Call for Papers :: WIR 2013 :: Workshop on Infinitary Rewriting   Joerg Endrullis
• [TYPES/announce] Call for talk proposals: HOPE'13 (Workshop on Higher-Order Programming with Effects, affiliated with ICFP'13)   Hongseok Yang
  • [TYPES/announce] Call for talk proposals: HOPE'13 (Workshop on Higher-Order Programming with Effects, affiliated with ICFP'13)   Hongseok Yang
• [TYPES/announce] IWC 2013 & CoCo 2013: Call for Participation and Provers   Nao Hirokawa
• [TYPES/announce] The 5th Coq Workshop: last call!   Assia Mahboubi
• [TYPES/announce] DTP 2013 Call for Papers   Stephanie Weirich
• [TYPES/announce] Verified Software Competition   Natarajan Shankar
• [TYPES/announce] SSTiC 2013: 3rd registration deadline 26 April   GRLMC
• [TYPES/announce] Associate Professors in Computer Science at Aarhus University   Lars Birkedal
• [TYPES/announce] Announcement of HOPA: A Workshop on Higher-Order Program Analysis   Matthew Hague
• [TYPES/announce] Scala 2013 - Second Call for Papers   Philipp Haller
• [TYPES/announce] Third CfP for the International Workshop on Trends in Functional Programming In Education (TFPIE)   p.k.f.holzenspies at utwente.nl
• [TYPES/announce] CfP: Workshop Haskell and Rewriting Techniques HART 2013   Janis Voigtländer
• [TYPES/announce] A meeting in honor of Pierre-Louis Curien   Thomas Ehrhard
• [TYPES/announce] Halmstad Summer School on Testing (June 3 - June 5)   M.R. Mousavi
• [TYPES/announce] CFC: CALCO Early Ideas 2013   Seisenberger M.
• [TYPES/announce] E. W. Beth Dissertation Prize: 2013 call for nominations   Salvati Sylvain
• [TYPES/announce] (Extended deadline: April 17) CFP: FCS'13 Workshop on Foundations of Computer Security   Bruno Blanchet
• [TYPES/announce] SBLP 2013: Final CFP, deadline for Abstracs 19/4   Andre Rauber Du Bois
• [TYPES/announce] PhD opportunities in the Computer Science theory group at Birmingham   Paul Levy
• [TYPES/announce] PASTE 2013: CALL FOR PARTICIPATION   Corina Pasareanu
• [TYPES/announce] MeCBIC 2013 - The submission deadline is approaching!   Gabriel Ciobanu
• [TYPES/announce] UNIF 2013: extended deadline   Barbara Morawska
• [TYPES/announce] DBPL 2013 - Call for Papers   Alan Schmitt
• [TYPES/announce] ITP 2013: Call for Participation   David Pichardie
• [TYPES/announce] IWC 2013: deadline extended   Nao Hirokawa
• [TYPES/announce] Foundations of Health Information Engineering and Systems (FHIES 2013) - final call for papers   Jeremy.Gibbons at cs.ox.ac.uk
• [TYPES/announce] Call for Analyzer Pearls, Deadline Extended: TAPAS 2013 (a SAS 2013 affiliated event and co-located with PLDI 2013)   Bor-Yuh Evan Chang
• [TYPES/announce] LFMTP'13: call for papers   Brigitte Pientka
• [TYPES/announce] 2nd CfP "TP components for educational software" THedu at CICM   Walther Neuper
• [TYPES/announce] POPL 2014: Final call for workshops and co-located events   Viktor Vafeiadis
• [TYPES/announce] Postdoc position on program verification at KU Leuven   Bart Jacobs
• [TYPES/announce] Two PhD Positions in Multicore Computing at the UPMARC Center of Excellence, Uppsala University   Tjark Weber
• [TYPES/announce] DisCoTec 2013: Call for Participation   Francesco Tiezzi
• [TYPES/announce] TGC 2013: Last CFP *** deadline extended *** 8th International Symposium on Trustworthy Global Computing (TGC 2013), Buenos Aires, 30-31 August 2013   Alberto Lluch Lafuente
• [TYPES/announce] CFP: 4th Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2013)   Dave Clarke
  • [TYPES/announce] CFP: 4th Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2013)   Dave Clarke
• [TYPES/announce] 2nd CFP: SCSS 2013   Temur Kutsia
• [TYPES/announce] RA Position Available   Neil Ghani
• [TYPES/announce] Summer school on formal methods and networks: application available   Nate Foster
• [TYPES/announce] Call for Papers: EXPRESS/SOS 2013   Johannes Borgström
• [TYPES/announce] AI4FM 2013: Final Call for Short Contributions - 1 week to go   Grov, Gudmund
• [TYPES/announce] Postdoctoral position in Decision Procedure Engineering at Rice University   Swarat Chaudhuri
• [TYPES/announce] Research Associate Position "From Data Types to Session Types: A Basis for Concurrency and Distribution"   Philip Wadler
• [TYPES/announce] Oregon PL Summer School: register by April 30th   Amal Ahmed
• [TYPES/announce] 2nd Awareness Summer School (AWASS 2013) on Self-Awareness and Autonomic Computing   Andrea Vandin
• [TYPES/announce] RA positions at Imperial   Gardner, Philippa A
• [TYPES/announce] Researcher positions in Rigorous Engineering for Mainstream Systems (REMS)   Peter Sewell
• [TYPES/announce] ESSLLI 2014: Call for Course and Workshop Proposals   Sophia Katrenko
• [TYPES/announce] Fun With Formal Methods: 2nd CFP and deadline extension (till April 27, 2013)   Николай Шилов
• [TYPES/announce] Post-doc positions and PhD studentship in Glasgow   Simon Gay
• [TYPES/announce] tenure-track position in Theoretical Computer Science   Femke van Raamsdonk
• [TYPES/announce] CfP: OpenMath workshop at CICM (10 July, Bath, UK), submission deadline 7 June   Christoph LANGE
• [TYPES/announce] WRS 2013 - 2nd Call for Papers   Jeroen Ketema
• [TYPES/announce] TPNC 2013: 1st call for papers   GRLMC
• [TYPES/announce] PLDI 2013: Call for participation; call for FIT submissions   Matt Might
• [TYPES/announce] MeCBIC 2013 Call for Papers (an ICALP workshop)   Gabriel Ciobanu
• [TYPES/announce] Summer School on Linear Logic and Geometry of Interaction (27-31 August, Turin)   Claudia Faggian
• [TYPES/announce] CFP SBLP 2013: Deadline extension   Andre Rauber Du Bois
• [TYPES/announce] GALOP 2013 - Call for Papers   Nikos Tzevelekos
  • [TYPES/announce] GALOP 2013 - 2nd Call for Papers   Nikos Tzevelekos
    • [TYPES/announce] GALOP 2013 - Call for Participation   Nikos Tzevelekos
• [TYPES/announce] Post-doc positions within the ANR project "COQUAS"   Michele Pagani
• [TYPES/announce] [Extended abstract deadline] Last Call for Papers MeCBIC 2013 -- workshop ICALP, Riga, 7th July   Bogdan Aman
• [TYPES/announce] Postdoc opening in PL and security at University of Pennsylvania   Benjamin C. Pierce
• [TYPES/announce] Final CFP: Workshop on Languages for the Multicore Era (LaME 2013)   Aaron Turon
• [TYPES/announce] PhD position on JavaScript at Orange   Alan Schmitt
• [TYPES/announce] Reminder: PhD position on "Semantics and Verification of Accelerator Programming"   Marieke Huisman
• [TYPES/announce] TIME 2013: Final Call for Papers   Brent Venable
• [TYPES/announce] WRS 2013 - Final Call for Papers - Extended Deadline   Jeroen Ketema
• [TYPES/announce] CiE 2013 - 2nd Call for Informal Presentations   S B Cooper
• [TYPES/announce] FHPC 2013: Call for papers   Jost Berthold
• [TYPES/announce] DCM 2013 - CFP   Eduardo Bonelli
  • [TYPES/announce] Reminder Deadline DCM 2013: June the first, 2013   Mauricio Ayala-Rincon
• [TYPES/announce] ACL2 2013 - Call for Participation   Jared C. Davis
• [TYPES/announce] Deadline extended: TIME'13   Brent Venable
• [TYPES/announce] CAV 2013 - Call for Participation   Hana Chockler
• [TYPES/announce] RV'13: Deadline extension   Uli Fahrenberg
• [TYPES/announce] CFP: 2nd International Workshop on Behavioural Types (BEAT 2)   Simon Gay
• [TYPES/announce] [fm-announcements] RV 2013 call for papers - deadline extension   Klaus Havelund
• [TYPES/announce] PhD positions in Computer Science at IMT Lucca (Italy) - Deadline July 17, 2013 -   Alberto Lluch Lafuente
• [TYPES/announce] "Semantics of proofs and certified mathematics", IHP trimester, Paris, spring 2014: resgistration now open   Pierre-Louis Curien
• [TYPES/announce] Call for Short Presentations: Runtime Verification 2013   Uli Fahrenberg
• [TYPES/announce] Call for Participation: TFPIE2013 tentative program   p.k.f.holzenspies at utwente.nl
• [TYPES/announce] PostDoc on Compositional Security Analysis for Binaries at Queen Mary University of London   Dino Distefano
  • [TYPES/announce] PostDoc position at University College London on Compositional Analysis for Binaries   O'Hearn, Peter
• [TYPES/announce] last CfA "TP components for educational software" at CICM   Walther Neuper
• [TYPES/announce] SCSS 2013 - Deadline Extension   Temur Kutsia
• [TYPES/announce] Franklin Institute Bower Award for Achievement in Science ($250, 000)   James Cheney
• [TYPES/announce] LICS 2013 - Call for Participation   Andrzej Murawski
• [TYPES/announce] Cfc: Continuity, Computability, Constructivity – From Logic to Algorithms - CCC 2013   Seisenberger M.
• [TYPES/announce] Call for papers-ISDT'13   Xiangnan Zhou
• [TYPES/announce] 1st CfP: 2nd International Workshop on Formal Techniques for Safety-Critical Systems   Peter Csaba Ölveczky
• [TYPES/announce] Foundations of Health Information Engineering and Systems (FHIES 2013) - extended submission deadline   Jeremy.Gibbons at cs.ox.ac.uk
• [TYPES/announce] Fwd: Two PhD student positions in Gothenburg   Aarne Ranta
• [TYPES/announce] Fwd: Two post doctor positions in Gothenburg in Computer science: Language Technology and Formal Methods   Aarne Ranta
• [TYPES/announce] A post-doc position in logic, proof theory and semantics   Didier Galmiche
• [TYPES/announce] WS-FM 2013: Second Call for Papers   Emilio Tuosto
• [TYPES/announce] SSTiC 2013: next registration deadline 26 May   GRLMC
  • [TYPES/announce] SSTiC 2013: next registration deadline 26 May   GRLMC
• [TYPES/announce] PhD positions in Computer Science at Ca' Foscari University, Venice. Deadline: May 27th   Michele Bugliesi
• [TYPES/announce] Research Positions in Program Analysis and Systems at University College London   O'Hearn, Peter
• [TYPES/announce] TIME 2013 - Abstract deadline extension   Brent Venable
• [TYPES/announce] Postdoc in PL/SE and security at the University of Maryland, College Park   Jeff Foster
• [TYPES/announce] Postdoc opening in Programming Languages at Indiana University   Jeremy Siek
• [TYPES/announce] Call for Participation: 2013 COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2013)   Matteo Maffei
• [TYPES/announce] Call for Participation: Workshop on Scalable Language Specification, June 25-27, Cambridge, UK   Andrew Kennedy
• [TYPES/announce] PhD Studentship in Categorical Natural Language Processing in Queen Mary   Dr Mehrnoosh Sadrzadeh
• [TYPES/announce] FOSAD 2013 call for participation   Alessandro Aldini
• [TYPES/announce] YR-CONCUR 2013 - Young Researchers Workshop on Concurrency Theory   Damian Barsotti
• [TYPES/announce] *Deadline Extension* PLMMS, 9th July 2013, Bath, UK   Iain Whiteside
• [TYPES/announce] CfP: PDP 2014 - The 22nd Euromicro Intl. Conference on Parallel, Distributed and Network-Based Computing   Emilio Tuosto
• [TYPES/announce] (CFP) Certified Programs and Proofs 2013 - Second Call for Papers   Michael Norrish
• [TYPES/announce] Meeting in Honor of Antonino Salibra   Giulio Manzonetto
• [TYPES/announce] Microsoft-funded PhD opportunity (software/ system verification)   Tom Ridge
• [TYPES/announce] Call for Participation: TAPAS 2013 (a SAS 2013 affiliated event and co-located with PLDI 2013)   Bor-Yuh Evan Chang
• [TYPES/announce] Call for SPLASH'13 tutorials - extended deadline May 20   Jonathan Aldrich
• [TYPES/announce] Assistant Professor in Software Systems   Matthew Hennessy
• [TYPES/announce] Control Operators and their Semantics (COS'13) - Call for Participation   Ugo de' Liguoro
• [TYPES/announce] LOLA 2013: Call for participation   Andrew Kennedy
• [TYPES/announce] PhD position in Programming Language Verification   Eelco Visser
• [TYPES/announce] CFP: 1st special session on FORmal approaches to PArallel and Distributed systems (4PAD 2014)   Alberto Lluch Lafuente
• [TYPES/announce] RDP 2013 Call for Participation   Luca Paolini
• [TYPES/announce] GlynnFest Workshop, May 31st and June 1st, Cambridge University Computer Laboratory   Thomas Hildebrandt
• [TYPES/announce] postdoc openings in (usable) security in CyLab at Carnegie Mellon University   Lujo Bauer
• [TYPES/announce] Call for Papers, GPCE 2013   jarvi
• [TYPES/announce] Call for participation: FCS'13 Workshop on Foundations of Computer Security   Bruno Blanchet
• [TYPES/announce] Call for Participation to ECOOP 2013   Chouki TIBERMACINE
• [TYPES/announce] summer school VTSA 2013   Stephan Merz
• [TYPES/announce] CiE 2013 in Milan, July 1 - 5: First Call for Participation   S B Cooper
• [TYPES/announce] Final Call for Participation: Workshop on Scalable Language Specification, June 25-27, Cambridge, UK   Andrew Kennedy
• [TYPES/announce] DTP 2013 2nd Call For Papers   Stephanie Weirich
• [TYPES/announce] DBPL 2013 - Second Call for Papers   Alan Schmitt
• [TYPES/announce] MFPS/LICS/CSF Joint Call for Participation   Andrzej Murawski
• [TYPES/announce] 2 PostDoc positions in computer security at University of Luxembourg   Barbara KORDY
• [TYPES/announce] WS-FM 2013: deadlines extended   Emilio Tuosto
• [TYPES/announce] Call for Papers- APAL special issue on formal topology   Maria Emilia Maietti
• [TYPES/announce] Call for Participation to ECMFA 2013   Chouki TIBERMACINE
• [TYPES/announce] 2nd CfP: OpenMath workshop at CICM (10 July, Bath, UK), submission deadline 7 June   Christoph LANGE
• [TYPES/announce] 10 OPEN TENURE-TRACK POSITIONS AS ASSOCIATE SENIOR LECTURER IN UPPSALA   Tjark Weber
• [TYPES/announce] FOPARA 2013 - Last Call for Papers   Ugo Dal Lago
• [TYPES/announce] Post-doctoral Position at the University of Cambridge   Pierre Clairambault
• [TYPES/announce] LCC'2013   leivant
• [TYPES/announce] LFMTP'13: Logical Frameworks and Meta-Languages (CFP)   Brigitte Pientka
• [TYPES/announce] PPPJ'13 - Deadline Approaching   danilo.ansaloni at usi.ch
• [TYPES/announce] PostDoc position in parallel FP at Rochester Institute of Technology   Matthew Fluet
• [TYPES/announce] Fwd: Semantics and Logics of Programs: Peter Dybjer 60 years   Bengt Nordstrom
• [TYPES/announce] POPL 2014: Call for papers   Viktor Vafeiadis
• [TYPES/announce] Software Verification and Testing Track at ACM SAC 2014: 1st CfP   Jun PANG
• [TYPES/announce] PhD in Computer Science at Ca' Foscari University, Venice. Deadline: May 27th   Bugliesi Michele
• [TYPES/announce] Conference "Type Theory, Homotopy Theory and Univalent Foundations"   Nicola Gambino
• [TYPES/announce] Call for Participation to ECSA 2013   Chouki TIBERMACINE
• [TYPES/announce] TPNC 2013: 2nd call for papers   GRLMC
• [TYPES/announce] SPLASH’13 CALL FOR WORKSHOP PAPERS AND PARTICIPATION   Stephanie Balzer
• [TYPES/announce] FICS 2013 - call for papers   David Baelde
• [TYPES/announce] Call for Papers IFL 2013   publicityifl at gmail.com
  • [TYPES/announce] Call for Papers IFL 2013   publicityifl at gmail.com
  • [TYPES/announce] Call for Papers IFL 2013   publicityifl at gmail.com
• [TYPES/announce] Final CFP: EXPRESS/SOS 2013 workshop   Johannes Borgström
• [TYPES/announce] CFP Workshop on Logics for Resources, Processes and Programs (LRPP 2013)   Didier Galmiche
• [TYPES/announce] Reminder and Extension: CALCO Early Ideas 2013   Seisenberger M.
• [TYPES/announce] [Deadline Extension] PPPJ'13   danilo.ansaloni at usi.ch
• [TYPES/announce] ESEC/FSE Tool Demos Track (final CfP)   Carlo Alberto Furia
• [TYPES/announce] LAP 2013 - Logic and Applications: CFP   Silvia Ghilezan
• [TYPES/announce] Workshop on Generic Programming (WGP 2013) -- second call for papers (due June 14)   Jeremiah Willcock
• [TYPES/announce] SPIN 2013 - Call for Participation   Scott Stoller
• [TYPES/announce] 2nd CFP: Functional High-Performance Computing (FHPC 2013)   Jost Berthold
• [TYPES/announce] Deadline extension (15 June) Call for papers-ISDT'13   Xiangnan Zhou
• [TYPES/announce] Modularity 2014 - Call for Papers   danilo.ansaloni at usi.ch
• [TYPES/announce] Post-doc position on "Advanced Type Systems for Multicore Programming"   Vasco T. Vasconcelos
• [TYPES/announce] CfPart ECMFA-ECOOP-ECSA 2013: Extended Deadline for Early Registration   Chouki TIBERMACINE
• [TYPES/announce] Open Ph.D. fellowship at Verimag, Grenoble, FRANCE   Yliès Falcone
  • [TYPES/announce] Open Ph.D. fellowship at Verimag, Grenoble, FRANCE   Ylies Falcone
• [TYPES/announce] CFP FM-RAIL-BOK Workshop   Markus Roggenbach
• [TYPES/announce] APLAS 2013 second call for papers   Chung-chieh Shan
• [TYPES/announce] Haskell 2013 second call for submissions   Chung-chieh Shan
• [TYPES/announce] CICM 2013: Final Call for Work in Progress Papers, Deadline June 7th, 2013   Serge Autexier
• [TYPES/announce] SSTiC 2013: next registration deadline 26 June   GRLMC
  • [TYPES/announce] SSTiC 2013: next registration deadline 26 June   GRLMC
• [TYPES/announce] BEAT II: Final Call For Papers   Simon Gay
• [TYPES/announce] Postdoc position in proof theory in Marseille-IML, second-call   QUATRINI Myriam
• [TYPES/announce] SEL 2013: Final Call for Papers & Workshop Information   Martin Erwig
• [TYPES/announce] post-doctoral position at MSR-INRIA Joint Centre, Paris   Stephan Merz
• [TYPES/announce] (CFP) Certified Programs and Proofs 2013 - Final Call for Papers   Michael Norrish
• [TYPES/announce] call for papers -- Functional Programming Concepts in Domain-Specific Languages   Richard Lazarus
  • [TYPES/announce] call for papers -- Functional Programming Concepts in Domain-Specific Languages   rlazarus at bbn.com
• [TYPES/announce] Looking for old CAV pictures for the website and the brochure   Hana Chockler
• [TYPES/announce] Call for Participation CICM 2013 8-12 July 2013, Registration deadline 23rd June 2013   Serge Autexier
• [TYPES/announce] ML Workshop 2013: Call for Presentations   Daan Leijen
• [TYPES/announce] FLoC 2014 Call for Workshops (The Sixth Federated Logic Conference, July 2014, Vienna, Austria)   David Pichardie
• [TYPES/announce] ITP 2013 Call for Participation (Early Registration Deadline June 17th)   David Pichardie
• [TYPES/announce] DBPL 2013 - Deadline extended to Friday, June 14th.   Alan Schmitt
• [TYPES/announce] FICS 2013 - second call for papers   David Baelde
• [TYPES/announce] 2 post-doc positions at UNU-IIST   Martin Schäf
• [TYPES/announce] CFP: Service-Oriented Architectures and Programming track of the 29th ACM Symposium On Applied Computing   Alberto Lluch Lafuente
• [TYPES/announce] Final call for talk proposals: HOPE'13 (Workshop on Higher-Order Programming with Effects, affiliated with ICFP'13)   Hongseok Yang
• [TYPES/announce] postdoc position at Cornell   Nate Foster
• [TYPES/announce] Book announcement: ALAN TURING - His Work and Impact   S B Cooper
• [TYPES/announce] Programming with handlers   Sam Lindley
• [TYPES/announce] CfP for Math. in Computer Science Special Issue on 'Enabling Domain Experts to use Formalised Reasoning' (deadline 31 Oct)   Christoph LANGE
• [TYPES/announce] CFP Post-proceedings TYPES 2013 Types for Proofs and Programs (open call)   Ralph Matthes
• [TYPES/announce] [First CFP] AGERE! @ SPLASH 2013 - 3rd Int. Workshop on Programming based on Actors, Agents and Decentralized Control   Alessandro Ricci
• [TYPES/announce] (CFP) Certified Programs and Proofs 2013 - Weekend Extension on Final Submissions   Michael Norrish
• [TYPES/announce] SCSS 2013 - Call for Participation   Temur Kutsia
• [TYPES/announce] Deadline extension: Functional High-Performance Computing (FHPC 2013)   Jost Berthold
• [TYPES/announce] Lectureship at Sussex (Foundations of Software Systems)   Bernhard Reus
• [TYPES/announce] FICS 2013 - deadline extension   David Baelde
• [TYPES/announce] 3rd Conference on Principles of Security and Trust (POST 2014)   Steve Kremer
• [TYPES/announce] FOSAD 2013: last call   Alessandro Aldini
• [TYPES/announce] ML 2013: last call for presentations   Daan Leijen
• [TYPES/announce] YR-CONCUR - Deadline extension (June 29)   Damian Barsotti
• [TYPES/announce] Extended deadline for a call for talk proposals: HOPE'13 (Workshop on Higher-Order Programming with Effects, affiliated with ICFP'13)   Hongseok Yang
• [TYPES/announce] Quipper: a quantum programming language   Peter Selinger
• [TYPES/announce] Extended Deadline/LCC 2013-Torino   Simone Martini
• [TYPES/announce] Book: Homotopy Type Theory: Univalent Foundations of Mathematics   Bas Spitters
• [TYPES/announce] postdoctoral & PhD opportunities at Edinburgh   James Cheney
• [TYPES/announce] Fall semester position in Programming Languages   Godfried Toussaint
• [TYPES/announce] A meeting in honour of Pierre-Louis Curien   Thomas Ehrhard
• [TYPES/announce] TPNC 2013: 3rd call for papers   GRLMC
• [TYPES/announce] DATE'14, E3: Model-based design and verification of embedded systems   Alain Girault
• [TYPES/announce] CONCUR 2013 - Call for Participation   Pedro R. D'Argenio
• [TYPES/announce] QEST 2013 - Call for Participation   Pedro R. D'Argenio
• [TYPES/announce] Software Verification and Testing Track at ACM SAC 2014: 2nd CfP   Jun PANG
• [TYPES/announce] CFP: Foundations of Object-Oriented Languages (FOOL) 2013   Jeremy Siek
• [TYPES/announce] PostDoc position at INRIA / ENS Paris, France   Francesco Zappa Nardelli
• [TYPES/announce] JFLA 2014 - Call for papers   Christine Tasson
• [TYPES/announce] Announcement of a professor position in software security at KU Leuven   Frank Piessens
• [TYPES/announce] POPL 2014: final call for papers   Viktor Vafeiadis
• [TYPES/announce] CfP: PETShop - The Workshop on Language Support for Privacy Enhancing Technologies   Andreas Holzer
• [TYPES/announce] FroCoS 2013 Call for Participation   Christophe Ringeissen
• [TYPES/announce] Course: Dependently typed metaprogramming (in Agda)   Ohad Kammar
• [TYPES/announce] CSL'13 call for participation   Ronchi Della Rocca Simona
• [TYPES/announce] Tutorial 'Mechanised Reasoning in Economics' (Koblenz, Germany, 17 Sept.): early registration until 15 July   Christoph LANGE
• [TYPES/announce] GTA positions available at the Computer Science dept. of Leicester (funded PhD)   Emilio Tuosto
• [TYPES/announce] 2 post-docs positions at IT University of Copenhagen in Verification of Highly Configurable Software Systems   Andrzej Wąsowski
• [TYPES/announce] I&C special issue on Implicit Computational Complexity   Ronchi Della Rocca Simona
  • [TYPES/announce] I&C Special Issue on Implicit Computational Complexity   Simona Ronchi Della Rocca
• [TYPES/announce] Mathematical Structures of Computation, Lyon 2014.   Philippe Malbos
• [TYPES/announce] TGC 2013: Call for Participation   Alberto Lluch Lafuente
• [TYPES/announce] TABLEAUX 2013 - Call for Participation   Didier Galmiche
• [TYPES/announce] Post-Doctoral Fellowship at CMU on Homotopy Type Theory   Robert Harper
• [TYPES/announce] VMCAI 2014 Call for Papers   Xavier Rival
• [TYPES/announce] FHIES 2013 Call for Participation   Jeremy.Gibbons at cs.ox.ac.uk
• [TYPES/announce] TPNC 2013: extended submission deadline 23 July   GRLMC
• [TYPES/announce] 1st special session on FORmal approaches to PArallel and Distributed systems (4PAD 2014)   Andrea Vandin
• [TYPES/announce] Modularity 2014 [Deadline approaching]   danilo.ansaloni at usi.ch
• [TYPES/announce] DTP 2013 Call for Presentations   Stephanie Weirich
• [TYPES/announce] Call for Papers PEPM 2014   publicityifl at gmail.com
• [TYPES/announce] ETAPS 2014 first call for papers   Tarmo Uustalu
• [TYPES/announce] PhD or postdoctoral position: Formalisation of Automata Theory and Model Checking   Tobias Nipkow
• [TYPES/announce] postdoc position in Toulouse on formal modelling of the problem domain   Julien Brunel
  • [TYPES/announce] postdoc position in Toulouse on formal modelling of the problem domain   Julien Brunel
• [TYPES/announce] POPL 2014 : Call for Tutorials   Viktor Vafeiadis
• [TYPES/announce] 2 PhD student positions, dependent types/functional programming, Chalmers   Nils Anders Danielsson
• [TYPES/announce] LATA 2014: 1st call for papers   GRLMC
• [TYPES/announce] Abella version 2.0.0 -- new major release   Kaustuv Chaudhuri
• [TYPES/announce] DBPL 2013: call for participation   Alan Schmitt
• [TYPES/announce] TRENDS 2013: call for participation   Luttik, S.P.
• [TYPES/announce] Call for participation: ICFP programming contest   Nikhil Swamy
• [TYPES/announce] Call for abstracts/participation: LIX Colloquium 2013   Kaustuv Chaudhuri
• [TYPES/announce] Call for Participation: Runtime Verification 2013   Uli Fahrenberg
• [TYPES/announce] TACAS 2014 call for papers   Tarmo Uustalu
• [TYPES/announce] Research positions in Verification, Logic and Theorem Proving at University College London   James Brotherston
• [TYPES/announce] FOPARA+WST 2013 - Call for Participation   Ugo Dal Lago
• [TYPES/announce] FLoC Call for Workshops   Georg Moser
• [TYPES/announce] CFP: ICST'14   Miroslav Velev
• [TYPES/announce] Call for Papers: Evaluation and Usability of Programming Languages and Tools (PLATEAU) 2013   Shane Markstrum
• [TYPES/announce] Strathclyde: Lecturer/Senior Lecturer   Conor McBride
• [TYPES/announce] PADL 2014: Call for Papers   Matthew Flatt
• [TYPES/announce] CFP - FlexiTools 2013 **Reminder**   Filipe Correia
• [TYPES/announce] Proof Search in Axiomatic Theories and Type Theories (PSATTT'13)   Stéphane Graham-Lengrand
  • [TYPES/announce] Proof Search in Axiomatic Theories and Type Theories (PSATTT'13)   Stéphane Graham-Lengrand
• [TYPES/announce] 2nd CFP Post-proceedings TYPES 2013 Types for Proofs and Programs (open call)   Ralph Matthes
• [TYPES/announce] 2-year competitively paid postdoc position in Denmark   Peter Schneider-Kamp
• [TYPES/announce] ICFP Programming Contest: 1 week to go!   Nikhil Swamy
• [TYPES/announce] PhD scholarship at King's College London   Christian Urban
• [TYPES/announce] OOPS track at SAC 2014: Call for Papers   Davide Ancona
• [TYPES/announce] CFP: International Symposium on Engineering Secure Software and Systems (ESSoS'14)   Pieter Philippaerts
• [TYPES/announce] Call For Papers, FLOPS 2014   Prof. Mike Codish
• [TYPES/announce] AGERE! @ SPLASH 2013 - Final CFP   Alessandro Ricci
• [TYPES/announce] POPL 2014 : Second Call for Tutorials   Viktor Vafeiadis
• [TYPES/announce] Call for Participation: HOPE 2013 (with special session in memory of John Reynolds)   Hongseok Yang
• [TYPES/announce] BEAT 2 Workshop @ SEFM: Call for Participation   Simon Gay
• [TYPES/announce] Software Verification and Testing Track at ACM SAC 2014: 3rd CfP   Jun PANG
• [TYPES/announce] 3-year PhD Program in Computer Science, University of Verona, Italy   Luca Vigano`
• [TYPES/announce] Postdoc Position at OSU on Variations to Support Exploratory Programming   Martin Erwig
• [TYPES/announce] CFP: PLPV 2014, Programming Languages meets Program Verification   Nils Anders Danielsson
• [TYPES/announce] Postdocs and PhD positions - Center for Advanced Software Analysis   Anders Møller
• [TYPES/announce] PPPJ'13 - Call for Participation   danilo.ansaloni at usi.ch
• [TYPES/announce] Research positions with PLATO, Microsoft Research India   Aditya Nori
• [TYPES/announce] Call for Participation: Functional High-Performance Computing (FHPC 2013)   Jost Berthold
• [TYPES/announce] 2nd CfP: 2nd International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS'13)   Peter Csaba Ölveczky
• [TYPES/announce] Postdocs and Researcher positions (FCT Grants)   Luis Caires
• [TYPES/announce] FlexiTools 2013 @ SPLASH 2013 - **Deadline Extension**   Filipe Correia
• [TYPES/announce] Call for participation IFL 2013   publicityifl at gmail.com
• [TYPES/announce] ICFP 2013 Call for Participation   Tarmo Uustalu
• [TYPES/announce] LATA 2014: 2nd call for papers   GRLMC
• [TYPES/announce] EAPLS PhD Award 2012: Call for Nominations   Arend Rensink
• [TYPES/announce] FASE 2014 Call for Papers   Arend Rensink
• [TYPES/announce] Modularity'14 - Call for Contributions   danilo.ansaloni at usi.ch
• [TYPES/announce] [fm-announcements] Call for Papers: Formal Methods 2014 (FM 2014), Singapore, May 14-16, 2014   Kristin Yvonne Rozier
• [TYPES/announce] [fm-announcements] ICFEM 2013 Call for Participation   Kristin Yvonne Rozier
• [TYPES/announce] ICDCIT -- 2014, Bhubaneswar, India, Call for papers   N. Raja
• [TYPES/announce] 2nd CFP: ICST’14   Miroslav Velev
• [TYPES/announce] Dahl-Nygaard Prize 2014 - Request for Nominations   Erik Ernst
• [TYPES/announce] Last CFP *** deadlines extended *** 1st special session on FORmal approaches to PArallel and Distributed systems (4PAD 2014)   Alberto Lluch Lafuente
• [TYPES/announce] Open position in formal methods at DTU   Flemming Nielson
• [TYPES/announce] CIE 2014: Language, Life, Limits. June 23-27, 2014, Budapest. Preliminary Announcement.   S B Cooper
• [TYPES/announce] FICS 2013 - call for participation   David Baelde
• [TYPES/announce] FroCoS 2013 Last Call for Participation   Christophe Ringeissen
• [TYPES/announce] QCRI/MIT Cybersecurity Postdoctoral Researcher   Armando Solar-Lezama
• [TYPES/announce] Deadline extension: 2nd International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS'13)   Peter Csaba Ölveczky
• [TYPES/announce] CFP: ESSoS'14 - abstracts due in one week!   Pieter Philippaerts
• [TYPES/announce] PPDP 2013 + LOPSTR 2013 Call for participation   Ricardo Peña
• [TYPES/announce] JFLA 2014 - Third Call for Papers   Christine Tasson
• [TYPES/announce] final CFP Post-proceedings TYPES 2013 Types for Proofs and Programs (open call)   Ralph Matthes
• [TYPES/announce] AVICPS 2013: Call for Papers. Submission deadline Sep 23, 2013   CAV 2012 CFP
• [TYPES/announce] Oberwolfach Seminar on Mathematics for Scientific Programming   Jeremy.Gibbons at cs.ox.ac.uk
• [TYPES/announce] Open PhD Position at DemTech/IT University of Copenhagen   Carsten Schürmann
• [TYPES/announce] ETAPS 2014 2nd call for papers   Tarmo Uustalu
• [TYPES/announce] call for workshop / tutorial proposals for PLDI 2014   Manu Sridharan
• [TYPES/announce] VMCAI 2014 DEADLINE EXTENSION   Xavier Rival
• [TYPES/announce] PhD position: Statistical learning to improve gene knockout predictions for metabolic networks based on abstract interpreation (BioComputing, Lille University, France)   Cedric Lhoussaine
• [TYPES/announce] EATCS Award 2014: Call for Nominations   Luca Aceto
• [TYPES/announce] Call for abstracts/participation: LIX Colloquium 2013: The Theory and Application of Formal Proofs   Dale Miller
• [TYPES/announce] ESSoS'14 abstract requirement changed...   Pieter Philippaerts
• [TYPES/announce] HOPE 2013 Last Call for Participation (with Workshop Program)   Hongseok Yang
• [TYPES/announce] PhD Positions at IT University of Copenhagen   Marco Carbone
• [TYPES/announce] [fm-announcements] Second Call for Papers: NFM 2014   Kristin Yvonne Rozier
• [TYPES/announce] APLAS 2013 - Call for Posters and Demos   sinya at kurims.kyoto-u.ac.jp
• [TYPES/announce] POPL 2014 : Final Call for Tutorials   Viktor Vafeiadis
• [TYPES/announce] CSL-LICS 2014 - First Call for Papers   Andrzej Murawski
• [TYPES/announce] CMCS 2014: First call for papers   Alexandra Silva
• [TYPES/announce] NII Shonan Meetings - Call for seminar proposals   Soichiro Hidaka
• [TYPES/announce] TPNC 2013: call for posters   GRLMC
• [TYPES/announce] OOPS track at SAC 2014: extended deadline   Davide Ancona
• [TYPES/announce] FLoC Final Call for Workshops (The Sixth Federated Logic Conference, July 2014, Vienna)   Luca Vigano`
• [TYPES/announce] Software Verification and Testing Track at ACM SAC 2014: Submission deadline extended   Jun PANG
• [TYPES/announce] "Semantics of proofs and certified mathematics", IHP trimester, Paris, spring 2014: final call for financial support requests (deadline Sep 23th)   Hugo Herbelin
• [TYPES/announce] Last CFP *** deadlines extended ***: Service-Oriented Architectures and Programming track of the 29th ACM Symposium On Applied Computing   Alberto Lluch Lafuente
• [TYPES/announce] FOPARA 2013 - Post-proceedings   Ugo Dal Lago
• [TYPES/announce] FLoC'14: Final Call for Workshop Proposals   Georg Moser
• [TYPES/announce] LATA 2014: 3rd call for papers   GRLMC
• [TYPES/announce] Open Post-Doc Position at Inria Grenoble   Pierre Geneves
• [TYPES/announce] Modularity '14 - Deadline approaching   danilo.ansaloni at usi.ch
• [TYPES/announce] PLDI 2014: Call for papers   Manu Sridharan
• [TYPES/announce] Final Call for Papers for POST 2014   Steve Kremer
• [TYPES/announce] [fm-announcements] Formal Methods Position at NASA   MUNOZ, CESAR (LARC-D320)
• [TYPES/announce] Call for papers - CFV'13   Miroslav Velev
• [TYPES/announce] Deadline extended --- ICST'14   Miroslav Velev
• [TYPES/announce] TACAS 2014 3rd call for papers   Klaus Havelund
• [TYPES/announce] AlCoB 2014: 1st call for papers   GRLMC
• [TYPES/announce] PhD Scholarships in Software Verification for Product Lines   Andrzej Wasowski
• [TYPES/announce] Professor position at PPS - University Paris Diderot   Thomas Ehrhard
• [TYPES/announce] FASE 2014: Final Call for Papers (abstract deadline 4 Oct)   Arend Rensink
• [TYPES/announce] ETAPS 2014 last call for papers   Tarmo Uustalu
• [TYPES/announce] NWPT 2013 last call for contributions   Tarmo Uustalu
• [TYPES/announce] Vacancy Assistant Professor Software Technology Utrecht University (1, 0 fte)   Johan Jeuring
• [TYPES/announce] Research position at Cornell   Nate Foster
• [TYPES/announce] Assistant Professor position at the University of Chicago   John Reppy
• [TYPES/announce] Modularity Visions - Call for Papers   danilo.ansaloni at usi.ch
• [TYPES/announce] Call for participation: Uqbar Workshop 2013   Estefania Miguel
• [TYPES/announce] CfP: AMAI Special Issue on Geometric Reasoning   Temur Kutsia
• [TYPES/announce] Research position on relaxed memory model design   Scott Owens
  • [TYPES/announce] Research position on relaxed memory model design   Scott Owens
• [TYPES/announce] PostDoc and PhD Positions at IST-University of Lisboa/Instituto de Telecomunicacoes, PORTUGAL   Pedro Adão
• [TYPES/announce] Open faculty positions at ITU   Carsten Schürmann
• [TYPES/announce] 2nd CfP (deadline 31 Oct) Math. in Comp. Sci. Special Issue 'Enabling Domain Experts to use Formalised Reasoning'   Christoph LANGE
• [TYPES/announce] SR 2014 - Preliminary call for contributions   aniello murano
• [TYPES/announce] Call for Papers - Third International Workshop on Bidirectional Transformations (BX 2014)   Janis Voigtlaender
• [TYPES/announce] Mathematical Structures of Computation, Lyon 2014 (REGISTRATION)   Philippe Malbos
• [TYPES/announce] TPNC 2013: 2nd call for posters   GRLMC
• [TYPES/announce] Modularity '14 - One week   danilo.ansaloni at usi.ch
• [TYPES/announce] First CFP -- International Workshop on Graphical Models for Security (GraMSec'14)   Barbara KORDY
• [TYPES/announce] "Semantics of proofs and certified mathematics", IHP trimester, Paris, spring 2014: call for starting school application and workshop registration   Hugo Herbelin
• [TYPES/announce] Call for Papers ICTAC 2014 / Bucharest 17-20 Sept   Gabriel Ciobanu
• [TYPES/announce] Workshop announcement "Proofs that and proofs why"   francesca.poggiolesi at unifi.it
• [TYPES/announce] Professor position at PPS - University Paris Diderot (2nd announcement)   Thomas Ehrhard
• [TYPES/announce] Funded Ph.D. Position on Model-Based Testing of Software Product Lines at Halmstad University, Sweden   M.R. Mousavi
• [TYPES/announce] LATA 2014: extended submission deadline 21 October   GRLMC
• [TYPES/announce] Call for Talk Proposals: Data-Centric Programming, San Diego, Jan 2014   Jeremy.Gibbons at cs.ox.ac.uk
• [TYPES/announce] Fwd: 2nd CfP: Relational and Algebraic Methods in Computer Science (RAMiCS 2014)   Tadeusz Litak
• [TYPES/announce] DICE 2014: Call for contributions   Ulrich Schöpp
• [TYPES/announce] CfP: JSC Special Issue on Symbolic Computation in Software Science   Temur Kutsia
• [TYPES/announce] Call for Papers - F-IDE 2014 - ETAPS Workshop - April 6th, 2014, Grenoble, France   Dubois Catherine
• [TYPES/announce] CFP for MSFP 2014   Paul Levy
• [TYPES/announce] 1st CFP: 3rd ETAPS Workshop on Graph Inspection and Traversal Engineering (GRAPHITE 2014)   Alberto Lluch Lafuente
• [TYPES/announce] Call for Participation: LIX Colloquium on the Theory and Application of Formal Proofs   Kaustuv Chaudhuri
• [TYPES/announce] 2nd Call For Papers: VAMOS 2014, Nice   Andrzej Wąsowski
• [TYPES/announce] Research and teaching assistant in Logic and Semantics at LMU Munich   Martin Hofmann
• [TYPES/announce] CONCUR 2014: Call for Workshops   Silvia Crafa
• [TYPES/announce] Call for Papers, FM 2014   Sun Jun
• [TYPES/announce] CMCS 2014: Second call for papers   Alexandra Silva
• [TYPES/announce] CfP - European Conference on Object-Oriented Programming (ECOOP) 2014   Tobias Wrigstad
• [TYPES/announce] Open PhD and Postdoctoral Research Positions in Computer Science   Tobias Wrigstad
• [TYPES/announce] [fm-announcements] Call for Papers: NFM 2014   Kristin Yvonne Rozier
• [TYPES/announce] Representing Streams II, Jan 2014, Lorentz Center, Leiden   Helle Hvid Hansen
• [TYPES/announce] TAMC2014 in Chennai, India, April 11-13, 2014   S B Cooper
• [TYPES/announce] PHD position in PL at Purdue   Jan Vitek
• [TYPES/announce] Fwd: First Call for Workshop Proposals DisCoTec   Kirstin Peters
• [TYPES/announce] Call For Papers: OBT 2014   Ranjit Jhala
• [TYPES/announce] Harvard CRCS post docs and visiting scholars   Stephen Chong
• [TYPES/announce] Call for participation: APLAS and CPP 2013   Peter Schachte
  • [TYPES/announce] Call for participation: APLAS and CPP 2013   Peter Schachte
• [TYPES/announce] Relational & Algebraic Methods --- RAMiCS 2014 --- Final CFP, with Deadlines extended!   Wolfram Kahl
• [TYPES/announce] WRLA 2014 Call for papers   Santiago Escobar
• [TYPES/announce] Vacancy Professor Software Technology, Utrecht University, The Netherlands   Johan Jeuring
• [TYPES/announce] Postdoc position in verification at IMDEA, Madrid   Alexey Gotsman
• [TYPES/announce] PhD / postdoc postion at University of Innsbruck   Georg Moser
• [TYPES/announce] ICFP 2014: Call for Workshop & Co-located Event Proposals   David Van Horn
• [TYPES/announce] Joint 25th RTA & 12th TLCA: CALL FOR PAPERS   Luca Paolini
• [TYPES/announce] Postdoctoral position in Probabilistic Programming at Rice University   Swarat Chaudhuri
• [TYPES/announce] CiE 2014: Language, Life, Limits - Budapest, Hungary, 23-27 June, 2014 -1st CfP   S B Cooper
• [TYPES/announce] PhD Studentships at the University of Bath   Alessio Guglielmi
• [TYPES/announce] Second Call For Papers: OBT 2014   Ranjit Jhala
• [TYPES/announce] MFCS 2014   mfcs2014 at inf.u-szeged.hu
• [TYPES/announce] PhD opportunities in data-centric programming at LFCS, University of Edinburgh   James Cheney
• [TYPES/announce] John C. Reynolds Doctoral Dissertation Award   Derek Dreyer
• [TYPES/announce] [fm-announcements] Last Call for Papers: NASA Formal Methods (NFM) 2014   Kristin Yvonne Rozier
• [TYPES/announce] POPL'14: Call for posters   Viktor Vafeiadis
• [TYPES/announce] RA/postdoc vacancy in semantics at Swansea   Mosses P.D.
• [TYPES/announce] 2nd CFP -- International Workshop on Graphical Models for Security (GraMSec'14)   Barbara KORDY
• [TYPES/announce] TPNC 2013: call for participation   GRLMC - URV
• [TYPES/announce] Three Imperial College Academic Positions   Eisenbach, Susan
• [TYPES/announce] Post Doc Positions @IMT Lucca (1) and @GSSI L'Aquila (3)   Francesco tiezzi
• [TYPES/announce] First Call for Papers: Conf. Intelligent Computer Mathematics (CICM 2014)   serge.autexier at dfki.de
• [TYPES/announce] Type Theory and Natural Language Semantics Workshop   Bengt Nordstrom
• [TYPES/announce] [fm-announcements] Formal Methods Positions at NASA Langley   MUNOZ, CESAR (LARC-D320)
• [TYPES/announce] Postdoc at UCL on weak memory verification with Jade Alglave   Savage, Julia
• [TYPES/announce] book on fuzzy computation   Apostolos Syropoulos
• [TYPES/announce] Call for papers: PLACES'14 - Programming Language Approaches to Concurrency and communication-cEntric Software   Vasco T. Vasconcelos
• [TYPES/announce] IHP trimester Semantics of Proofs and Certfied Mathematics (second call for participation)   Pierre-Louis Curien
• [TYPES/announce] postdoc positions in Lyon   Baillot Patrick
• [TYPES/announce] CAV 2014: First Call for Papers   Martina Seidl
• [TYPES/announce] 8th Scottish Category Theory Seminar   Alex Simpson
• [TYPES/announce] POPL-OBT 2014: Call for Papers   Ranjit Jhala
• [TYPES/announce] FLOPS 2014 2nd CFP   Eijiro Sumii
• [TYPES/announce] POPL 2014: Call for participation   Viktor Vafeiadis
• [TYPES/announce] SR 2014 - call for contributions   murano
• [TYPES/announce] ESSS workshop 2014 (co-located with FM 2014 in Singapore) -- 1st call for papers   Jun PANG
• [TYPES/announce] Reminder: EAPLS PhD Award 2013 - Call for Nominations   Arend Rensink
• [TYPES/announce] PhD studentship on ABCD   Philip Wadler
• [TYPES/announce] UTP-2014 Unifying Theories of Programming - Call for papers   David Naumann
  • [TYPES/announce] UTP-2014 Unifying Theories of Programming - call for papers   David Naumann
• [TYPES/announce] ACM SIGPLAN Workshop on Data-Centric Programming (at POPL) - talk proposal deadline extended to 22nd Nov   Jeremy.Gibbons at cs.ox.ac.uk
• [TYPES/announce] [fm-announcements] 1st CFP: 14th International Conference on Runtime Verification, September 22 – 25 2014, Toronto, Canada   Klaus Havelund
• [TYPES/announce] Call for Participation: Programming Languages Mentoring Workshop - a POPL workshop.   Alan Schmitt
• [TYPES/announce] 8th Scottish Category Theory Seminar: final programme   Alex Simpson
• [TYPES/announce] Second call for papers, BX 2014   Janis Voigtlaender
• [TYPES/announce] SSTiC 2014: 1st announcement   GRLMC
• [TYPES/announce] 2nd CFP: 3rd ETAPS Workshop on Graph Inspection and Traversal Engineering (GRAPHITE 2014)   Alberto Lluch Lafuente
• [TYPES/announce] 1st Intl. Competition of Software for Runtime Verification: call for participation   Runtime Verification
• [TYPES/announce] Call for Participation: Principles in Practice 2014 (co-located with POPL)   Peter Sewell
• [TYPES/announce] Joint iFM 2014 & FACS 2014: Call For Workshop Proposals   Elena Giachino
• [TYPES/announce] AI4FM 2014: Call for Short Contributions   Iain Whiteside
• [TYPES/announce] CSL-LICS 2014 - Call for Papers   Andrzej Murawski
• [TYPES/announce] Call for Papers - CyPhy 2014 - Design, Modeling and Evaluation of Cyber Physical Systems   CyPhy Organizers
• [TYPES/announce] TTNLS: EACL 2014 Type Theory and Natural Language Semantics Workshop   retore
• [TYPES/announce] PhD positions in Nottingham   Altenkirch Thorsten
• [TYPES/announce] CfP: Advances in Systems of Systems an ETAPS workshop   Ulrik Nyman
• [TYPES/announce] [TFP 2014] 1st Call For Papers   Peter Achten
• [TYPES/announce] GraMSec'14 -- Deadline extended until December 13   Barbara KORDY
• [TYPES/announce] PhD opportunities at the University of Birmingham   Paul Levy
• [TYPES/announce] PLMW: Mentoring at POPL. Second Call for Participation   Alan Schmitt
• [TYPES/announce] Postdoc position at the University of Lisbon   Vasco T. Vasconcelos
• [TYPES/announce] CFP: 27th IEEE Computer Security Foundations Symposium (CSF 2014)   Matteo Maffei
• [TYPES/announce] BX 2014: Paper deadline extended   Soichiro Hidaka
• [TYPES/announce] PhD Studentships at the University of Bath - Mathematical Foundations of Computation   Alessio Guglielmi
• [TYPES/announce] ITP 2015 - Call for Bids   Gerwin Klein
• [TYPES/announce] Classical Logic and Computation 2014 - First Call for Papers   Steffen van Bakel
• [TYPES/announce] Fully funded PhD studentships in Pervasive Parallelism at Edinburgh   James Cheney
• [TYPES/announce] Mathem. Structures of Computation: 2nd CFP and call for talks   Baillot Patrick
• [TYPES/announce] FLOPS 2014 Final CFP (Reminder)   Eijiro Sumii
• [TYPES/announce] Call for Industry Track Papers, FM 2014, May 2014, Singapore   Sun Jun
• [TYPES/announce] Ph.D. Position in Information Security at the University of Luxembourg   Barbara KORDY
• [TYPES/announce] 2 Post-doc Positions in Information Security at the University of Luxembourg   Barbara KORDY
• [TYPES/announce] CFP: The Future of Programming & Inaugural Speech Eelco Visser | TU Delft | 16, 17 Jan 2014   Eelco Visser
• [TYPES/announce] [SBMF'14] Preliminary Call for Papers   Christiano Braga
• [TYPES/announce] DisCoTec: Last Call for Workshop Proposals   Kirstin Peters
• [TYPES/announce] PADL 2014: Call for Participation   Matthew Flatt
• [TYPES/announce] Second call for papers for MSFP 2014   Paul Levy
• [TYPES/announce] Second call for papers: PLACES'14 - Programming Language Approaches to Concurrency and communication-cEntric Software   Vasco T. Vasconcelos
• [TYPES/announce] POPL 2014: Second call for participation   Viktor Vafeiadis
• [TYPES/announce] Deadline extended: FLOPS 2014 call for papers   Eijiro Sumii
  • [TYPES/announce] Deadline extended: FLOPS 2014 call for papers   Eijiro Sumii
• [TYPES/announce] ESSoS Doctoral Symposium (CFP)   Pieter Philippaerts
• [TYPES/announce] Final Call for Papers WRLA 2014   Santiago Escobar
• [TYPES/announce] 2nd Call for Papers - F-IDE 2014 - ETAPS Workshop - April 6th, 2014, Grenoble, France   Dubois Catherine
• [TYPES/announce] CFP: Type Theory and Natural Language Semantics Workshop   retore
• [TYPES/announce] CFP - 1st ACM International Conference on Mobile Software Engineering and Systems - MobileSoft 2014   Grace Lewis
• [TYPES/announce] DICE 2014: Second Call for Contributions   Ulrich Schöpp
• [TYPES/announce] CFP: 7th Interaction and Concurrency Experience (ICE 2014) - June 6, 2014, Berlin, Germany   Alberto Lluch Lafuente
• [TYPES/announce] Nominations needed for the ACM SIGPLAN Achievement Award   Derek Dreyer
• [TYPES/announce] Print release of a textbook on the Coq proof assistant   Adam Chlipala
• [TYPES/announce] Funded PhD Places in the Computer Science of Parallelism at Edinburgh   Gordon Plotkin
• [TYPES/announce] 2nd CFP: CiE 2014: Language, Life, Limits - Budapest, 23-27 June 2014   S B Cooper
• [TYPES/announce] Ackermann Award 2014 - call for nominations   Anuj Dawar
• [TYPES/announce] SSTiC 2014: December 21st, 1st registration deadline   GRLMC
• [TYPES/announce] Days in Logic 2014   José Carlos Espírito Santo
• [TYPES/announce] SR 2014 - Extended Deadline and Last Call for Contributions   murano
  • [TYPES/announce] SR 2014 - Extended Deadline and Last Call for Contributions   murano
• [TYPES/announce] TGC 2014: 1st Call for Papers   Emilio Tuosto
• [TYPES/announce] PLACES 2014: deadline extended until 3rd January 2014   Vasco T. Vasconcelos
• [TYPES/announce] Postdoctoral Researcher at Stevens Institute of Technology in domain-specific languages, security and privacy   Dominic Duggan
• [TYPES/announce] F-IDE 2014 - Deadline Extension - Last Call for Papers   Dubois Catherine
• [TYPES/announce] Second CfP: Advances in Systems of Systems an ETAPS workshop   Ulrik Nyman
• [TYPES/announce] 10 fully-funded PhD studentships in Data Science at the University of Edinburgh   James Cheney
• [TYPES/announce] RePP 2014 workshop call for papers: Grenoble, France, Sunday April 6th, 2014   Alain Girault
• [TYPES/announce] CMCS 2014: Final call for papers   Alexandra Silva
• [TYPES/announce] Forte: Call for Papers   Kirstin Peters
• [TYPES/announce] Coordination - Call for Papers   Kirstin Peters
• [TYPES/announce] DAIS - Call for Papers   Kirstin Peters
• [TYPES/announce] Fwd: Robin Gandy's Thesis   Ohad Kammar
• [TYPES/announce] AVoCS 2014: 1st Call for Papers   Marieke Huisman
• [TYPES/announce] IJCAR 2014 - 2nd Call for Papers   Morgan Deters
• [TYPES/announce] Postdoctoral Researcher at DemTech/IT University of Copenhagen   Carsten Schürmann
• [TYPES/announce] Call for Papers: ITP 2014   Gerwin Klein
• [TYPES/announce] SAS 2014 - Call for Papers (Helmut Seidl)   Helmut Seidl
• [TYPES/announce] Joint iFM 2014 & FACS 2014: Last Call For Workshop Proposals   Elena Giachino
• [TYPES/announce] TYPES Meeting 2014 in Paris, 12 - 15 May: first call for contributions   Matthieu Sozeau
• [TYPES/announce] POPL 2014: Final call for participation   Viktor Vafeiadis
• [TYPES/announce] CFP - Rewriting Techniques for Program Transformations and Evaluation 2014   Janis Voigtlaender
• [TYPES/announce] GRAPHite 2014 ** Last CFP & Deadline extension ** 3rd Etaps Workshop on Graph Inspection and Traversal Engineering   Alberto Lluch Lafuente
• [TYPES/announce] CFP: Special Issue on Spatial Computing @ The Knowledge Engineering Review   Stefan Dulman - EWI
• [TYPES/announce] ETAPS 2015 call for satellite events   Tarmo Uustalu
• [TYPES/announce] IWC 2014 & CoCo 2014: First Call for Papers and Provers   Takahito Aoto
• [TYPES/announce] QAPL 2014 --- EXTENDED DEADLINE   Luca Bortolussi
• [TYPES/announce] Deadline extension for MSFP 2014   Paul Levy
• [TYPES/announce] Tenure-track position in CS at KTH Royal Institute of Technology   Mads Dam

Last message date: Fri Dec 27 07:46:57 EST 2013
Archived on: Fri Dec 27 09:21:37 EST 2013

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