Talks given by Patrick Cousot (© copyright notice)

• Patrick Cousot.
  Is Peter Correct or Incorrect? In O'Hearn Fest, POPL 2024, London, UK, Sun. Jan 14th, 2024.

• Patrick Cousot.
  Abstractions of Hybrid Semantics
  In ICALP 2022, EATCS award talk, Paris, France, Wednesday July 6, 2022
• Patrick Cousot.
  Asynchronous Correspondences Between Hybrid Trajectory Semantics
  In Invited talks, IMDEA, Madrid, Spain, Tuesday, May 31^st, 2022
• Patrick Cousot.
  Abstract Interpretation.
  Dottorato di Ricerca Honoris Causa in Computer Science, Aula Baratto, Università Ca' Foscari, Dorsoduro 3246, Venezia, Italy , May 20^th, 2022.

• Patrick Cousot.
  Dynamic abstract interpretation
  SOAP 2021 Tuesday, June 22^nd, 2021
• Patrick Cousot.
  Abstract interpretation: from principles to application
  J.P. Morgan Chase Distinguished Lecture Series
  Wednesday, June 30^th, 2021
  YouTube recording

• Patrick Cousot.
  Is static analysis successful?
  Online seminar series on Verification beyond 2020, Cyberseminar, Tuesday, July 7^th, 2020

• Patrick Cousot.
  Abstract Interpretation of Graphs
  Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (AVERTIS) , IMDEA Software, Madrid, Spain, Friday 29^th, 2019.
• Patrick Cousot.
  Calculational Design of a Regular Model Checker by Abstract Interpretation., In : ICTAC 2019, 1616 International Colloquium on Theoretical Aspects of Computing, Hammamet, Tunisia, October 31 — November 4, 2019.
• Patrick Cousot.
  A Tutorial on Abstract Interpretation, ICTAC 2019, Hammamet, Tunisia, October 31, 2019
• Patrick Cousot.
  Calculational design of a static dependency analysis
  ETAPS 2019 Mooly Fest, ETAPS, Prague, Czech Republic, Saturday April 6th, 2019.

• Patrick Cousot.
  Quelques souvenirs sur la création du LIX. LIX, École polytechnique, Palaiseau, France, December 19, 2018.

• Patrick Cousot.
  Analyse statique de dépendance par interprétation abstraite
  Journée en l'honneur de Nicolas Halbwachs, (Nicolas Halbwachs's Fest), Grenoble, France, Lundi 4 juin 2018.

• Patrick Cousot.
  Abstract Interpretation — 40 years back + some years ahead.
  Next forty years of abstract interpretation (N40AI 2017) , Sat 21 January 2017, Paris France.
  

• Patrick Cousot.
  Abstract Interpretation In : SAVE 2016, Changsha, December 10, 2016.
• Patrick Cousot.
  Proof of mutual-exclusion and non-starvation of a program with weak memory model: PostgreSQL. In : AVDCPS 2016, The 2016 workshop on Analysis and Verification of Dependable Cyber Physical Software, Changsha, China, December 09, 2016
• Jade Alglave and Patrick Cousot.
  Proof of mutual-exclusion and non-starvation of a program: PostgreSQL.
  In Dagstuhl Seminar 16471. 22 November, 2016.
• Patrick Cousot.
  Abstract Interpretation
  Colloquium d'informatique de l'UPMC Sorbonne Universités, 29 septembre 2016.
• Jade Alglave and Patrick Cousot.
  The hierarchy of analytic semantics of weakly consistent parallelism.
  REPS AT SIXTY, September 11 2016, Edinburgh, UK
• Jade Alglave and Patrick Cousot.
  Semantics and invariance proof method for weakly consistent parallelism.
  IFIP-WG 2.3 Château de Villebrumier meeting, 2—7 September 2016, Château de Villebrumier, France.
• Jade Alglave and Patrick Cousot.
  The hierarchy of analytic semantics of weakly consistent parallelism.
  In Invited talks, IMDEA, Madrid, Spain, May 24, 2016.
• Jade Alglave and Patrick Cousot.
  The analytic semantics of weakly consistent parallelism.
  In Symposium on "Programming: Logics, Models, Algorithms and Concurrency, Jayadev Misra’s Fest, Austin, TX, USA, April 29-30, 2016.

• Patrick Cousot.
  Abstract Induction.
  In Workshop on Software Correctness and Reliability.
  Peter Müller (ETH Zürich) and Martin Vechev (ETH Zürich) (Organizers), Zürich, Switzerland, October 2—3, 2015.

• Patrick Cousot. A Gentle Tutorial on Abstract Interpretation.
  In 9th International Symposium on Theoretical Aspects of Software Engineering, Nanjing, China, September 12-14, 2015.

• Patrick Cousot.
  Sound Verification by Abstract Interpretation.
  In Proceedings of the The Sixth Workshop on Tools for Automatic Program Analysis, Josh Berdine (Ed), Saint-Malo, France. 8 September 2015.

• Patrick Cousot.
  Reinhard Wilhelm.
  In Farewell Colloquium on the Occasion of Reinhard Wilhelm's 68th birthday Saarbrüchen, Germany, November, 28th 2014.

• Patrick Cousot.
  Abstract Interpretation: From Theory to Tools.
  In 30th International Conference on Software Maintenance and Evolution, Harlan D. Mills Award, Victoria, City of Gardens, British Columbia, Canada, October 1—3, 2014.

• Patrick Cousot.
  Abstract Interpolation by Dual Narrowing.
  In POPL'15 PC Workshop. Princeton University, September 27—28, 2014.

• Patrick Cousot.
  Abstract Interpretation: « Scene-Setting Talk »
  In Patrick Cousot, Daniel Kroening, Carsten Sinz: Next Generation Static Software Analysis Tools (Dagstuhl Seminar 14352). Dagstuhl Reports 4(8): 107-125 (August 24—29, 2014).

• Patrick Cousot.
  Work in Progress Towards Liveness Verification for Infinite Systems by Abstract Interpretation.
  In Computational Modeling and Analysis for Complex Systems CMACS PI meeting, Arlington, VA, May 16, 2013.

• Patrick Cousot.
  Abstract Interpretation: Principles and Applications.
  Carnegie Mellon University, School of Computer Science, Gaschnig/Oakley Memorial Lecture (SCS Distinguished Lecture Series), Gates & Hillman Centers Rashid Auditorium 4401, April 12, 2012, 3:30 PM.

• Patrick Cousot.
  Formal Verification by Abstract Interpretation.
  4th NASA Formal Methods Symposium (NFM 2012), Norfolk, Virginia, USA, April 3—5, 2012.

• Patrick Cousot (joint work with Radhia Cousot).
  A casual introduction to Abstract Interpretation.
  Workshop on Systems Biology and Formals Methods (SBFM'12), NYU, New York, NY. March 29^th—30^th, 2012.

• Patrick Cousot.
  Automatic Large-Scale Software Verification by Abstract Interpretation.
  Invited Talk, Tsinghua Software Day (TSD 2012), Tsinghua University, Beijing, China. March 15^th, 2012.

• Patrick Cousot (joint work with Radhia Cousot).
  Termination Proof Inference by Abstract Interpretation.
  Invited Talk, Computer Science PhD Day, Aula Magna Silvio Trentin, Universitá Ca' Foscari di Venezia, Italy, March 12^th, 2012.

• Patrick Cousot (joint work with Radhia Cousot and Laurent Mauborgne).
  Combining Algebraic Domains and Logical Theories by the Reduced Product.
  Invited Talk, 18th International Static Analysis Symposium, SAS 2011, September 14^th-16^th, 2011.
• Patrick Cousot and Radhia Cousot (joint work with Laurent Mauborgne).
  Theories, Solvers and Static Analysis by Abstract Interpretation..
  MSR Talk Series, Microsoft Research, Redmond, WA, USA. August 12^th, 2011.

• Patrick Cousot (work with Radhia Cousot and Laurent Mauborgne).
  Unifying proof theoretic/logical and algebraic abstractions for inference and verification.
  CMACS-NSF Meeting, University of Maryland, College Park, MD, USA. April 28^th-29^th, 2011.

• Patrick Cousot and Radhia Cousot.
  Abstract Hoare Logic.
  In Pre-POPL Yak International, CIMS, NYU, January 21st, 2011.

• Patrick Cousot
  Verification of Control Systems by Abstract Interpretation
  Pre-conference Workshop on Verification of Control Systems, 49th IEEE Conference on Decision and Control, ETH Atlanta, Georgia, USA, December 14, 2010.

• Patrick Cousot (work with Radhia Cousot),
  Abstract interpretation: from origin to perspectives
  "Formal Methods - Just a Euro-Science?", Dagstuhl Perspectives Workshop 10482, Schloss Dagstuhl, Germany, 30 November 2010 — 3 December 2010.

• Patrick Cousot (work with Radhia Cousot and Francesco Logozzo)
  Contract Precondition Inference from Intermittent Assertions on Collections,
  The Future of Software Engineering (FOSE) Symposium, ETH Zürich, Switzerland, 22-23 November 2010.

• Patrick Cousot, Radhia Cousot and Francesco Logozzo
  Contract Precondition Inference from Intermittent Assertions on Collections
  Software Engineering and Programming Languages Seminar, MSR, Redmond, WA, USA, September 8, 2010

• Patrick Cousot and Radhia Cousot
  Static Analysis and Verification of Aerospace Software by Abstract Interpretation
  Workshop on formal verification of avionics software products, Airbus France, Toulouse, France, June 24, 2010

• Patrick Cousot
  A Scalable Segmented Decision Tree Abstract Domain
  Amir Pnueli Memorial Symposium, CIMS, NYU, New York, NY, USA, May 7—9, 2010

• Patrick Cousot
  Embedded software verification by abstract interpretation
  Seminar, CMACS visit to Rockwell-Collins, Cedar Rapids, Iowa, US, May 3^rd, 2010

• Patrick Cousot & Radhia Cousot
  Array content static analysis by segmentation
  Seminar, IBM T.J. Watson Research Center at Hawthorn, NY, USA, April 24, 2010

• Patrick Cousot.
  Challenge Problems in Aerospace Software Verification.
  CMACS, CMACS-NSF Meeting, Carnegie Mellon University, Gates Hillman Center, Pittsburgh, PA, USA. March 4^th, 2010

• Patrick Cousot.
  An Informal Introduction to Static Analysis and Verification by Abstract Interpretation.
  Chair of Software Engineering at ETH Zurich, Switzerland, Software verification course (Fall semester 2009), Bertrand Meyer, Carlo A. Furia, Sebastian Nanz (Org.), Guest lecture of November 25^th, 2009.
• Patrick Cousot.
  Challenges in control/command software analysis.
  CMACS Kickoff Meeting, Carnegie Mellon University, Gates Hillman Center, Pittsburgh, PA, USA. November 1^st, 2009.

• Patrick Cousot.
  Scaling up in static analysis by abstract interpretation.
  CMACS, Kickoff Meeting, Carnegie Mellon University, Gates Hillman Center, Pittsburgh, PA, USA. October 31^st, 2009.

• Patrick Cousot and Radhia Cousot.
  Abstract Interpretation of Resolution-Based Semantics.
  Worshop on Logic and energy: A visionary inspirator. A tribute to Giorgio Levi for forty years of research, Pisa, Italy. October 23^rd, 2009.
• Patrick Cousot and Radhia Cousot.
  Verification group meeting, MSR, Redmond, WA, USA. September 24^th, 2009.
• Patrick Cousot.
  An Informal Introduction to Abstract Interpretation.
  Doctorate Program PUMA, Program and Model Analysis (Graduiertenkolleg Programm- Und Modell-Analyse), Fakultät für Informatik, Technische Universität München and the Fakultät für Informatik, Ludwig-Maximilians-Universität München, Germany. May 22^nd, 2009.
• Patrick Cousot.
  Abstraction and applications.
  Doctorate Program PUMA, Program and Model Analysis (Graduiertenkolleg Programm- Und Modell-Analyse), Fakultät für Informatik, Technische Universität München and the Fakultät für Informatik, Ludwig-Maximilians-Universität München, Germany. May 22^nd, 2009.
• Patrick Cousot and Radhia Cousot.
  Scaling up with abstract interpretation.
  NSF Workshop on Usable Verification, A. Pnueli & L. Zuck (Org.), Savannah, GA, USA. January 20^th, 2009.
• Patrick Cousot.
  Abstract-Interpretation-based Static Analysis of Safety-Critical Embedded Software.
  Impromptu Invited Talk (in last minute replacement of Allen Emerson) at VMCAI'2009, N. Jones and M. Müller-Olm (Program Chairs), Savannah, GA, USA. January 18^th, 2009.

• Patrick Cousot.
  Abstract-Interpretation-based Static Analysis of Safety-Critical Embedded Software.
  Airbus workshop on formal verification tools strategy, Toulouse, France. December 4^th, 2008.
• Patrick Cousot.
  Abstract-Interpretation-based Static Analysis of Safety-Critical Embedded Software.
  Computer Science Colloquium, Computer Science, New York University, New York, NY, USA. November 21^th, 2008.
• Patrick Cousot.
  Abstract Interpretation and Application to the Static Analysis of Safety-Critical Embedded Computer Software.
  Seoul National University, Computer Science & Engineering, Distinguished Lecture Series, October 30th, 2008, Seoul, Korea.
• Patrick Cousot.
  Abstract Interpretation and Application to the Static Analysis of Mission-Critical Embedded Computer Software.
  Final review of the ESA ITI project Space Software Validation using Abstract Interpretation  (SSVAI). Noordwijk, The Netherlands, Sep. 19^th, 2008.
• Patrick Cousot.
  Static Software Analysis, in the Large.
  Max Planck Institute for Software Systems, Distinguished Lecture Series, August 26, 2008, Saarbrücken, Building MPI-SWS Saarbrücken, Room 019 (simultaneous videocast at Kaiserslautern, Building MPI-SWS Kaiserslautern, Room 206).
• Patrick Cousot.
  Calculational Design of Semantics of the Eager Lambda-Calculus by Abstract Interpretation.
  IFIP-WG 2.3 Cambridge meeting, 21—25 July 2008, Cambridge, England.
  

• Patrick Cousot.
  Numerical domains for software verification by abstract interpretation.
  First International Workshop on Numerical Abstractions for Software Verification, NSV 2008 (affiliated with CAV 2008), Princeton, New Jersey, USA, July 8^th, 2008.

• Patrick Cousot.
  Automatic software verification by abstract interpretation.
  International Conference on the Foundations of Informatics, Computing and Software, FICS 2008, Shanghai, China, June 3^rd, 2008.

• Patrick Cousot.
  Parameterized Refinement in Abstract-Interpretation-Based Static Analysis.
  Verication group, Computer Science, NYU, New York, NY, USA, April 20^th 2008.
• Patrick Cousot.
  Why ASTRÉE does scale?
  Dagstuhl seminar 08161, « Scalable Program Analysis », Schloss Dagstuhl, Germany April 15^th, 2008.
• Patrick Cousot.
  La vérification des programmes par interprétation abstraite. 
  Séminaire de la Chaire d'Innovation technologique - Liliane Bettencourt,Collège de France, 22 février 2008.

• Patrick Cousot.
  Advances and Challenges in Static Program Analysis by Abstract Interpretation.
  Colloquia Patavina, Dipartimento di Matematica Pura ed Applicata, Università degli Studi di Padova, Padova, Italy. Tuesday February 19^th, 2008.
• Patrick Cousot.
  Software Verification by Abstract Interpretation and the ASTRÉE Static Analyzer.
  Seminar, Center for Computational and Systems Biology (COSBI), The Microsoft Research — University of Trento, Trento, Italy. February 5^th, 2008.
• Patrick Cousot.
  Software Verification by Abstract Interpretation and the ASTRÉE Static Analyzer.
  Seminar, Computer Science Department, Stony Brook University, Stony Brook, New York, USA. January 18^th, 2008.
• Patrick Cousot.
  Thirty Years of Abstract Interpretation.
  Workshop on ``Thirty Years of Abstract Interpretation'', R. Giacobazzi and D. Schmidt (Org.), San Francisco, CA, USA, January 9^th, 2008.

• Patrick Cousot.
  Vérification de logiciel embarqués critiques par interprétation abstraite. 
  Séminaire du LINA, Laboratoire d'informatique de Nantes Atlantique, Nantes, France, 20 décembre 2007.
• Patrick Cousot.
  Avionic Software Verification by Abstract Interpretation.
  2007 ISoLA Workshop On Leveraging Applications of Formal Methods, Verification and Validation. Special Workshop Theme: Formal Methods in Avionics, Space and Transport , Poitiers, France, December 12—14, 2007.

• Patrick Cousot.
  Software Verification by Abstract Interpretation.
  School of Computer and Communication Sciences Seminar, École Polytechnique Fédérale de Lausanne (EPFL), Switzerland, december 10, 2007.
• Patrick Cousot.
  The ASTRÉE Static Analysis Tool.
  In ES_PASS Workshop, Berlin, Germany, 16—17 October 2007.
• Patrick Cousot.
  Vérification de l'absence d'erreurs à l'exécution dans des logiciels industriels critiques de contrôle/commande par interprétation abstraite.  . XIVes Rencontres INRIA — Industrie Confiance et Sécurité, INRIA Rocquencourt, Jeudi 11 octobre 2007.

• Patrick Cousot.
  Proving the Absence of Run-Time Errors in Safety-Critical Avionics Code.
  Tutorial of the Seventh ACM & IEEE International Conference on Embedded Software (EMSOFT 2007), Embedded Systems Week, Salzburg, Austria, September 30^th, 2007.

• Patrick Cousot & Radhia Cousot.
  Specification and Abstraction of Semantics.
  In A tribute workshop and festival to honor Professor Dr. Neil D. Jones 25-26 August, 2007, Lille Auditorium, Datalogisk Institut, Københavns Universitet, Universitetsparken 1, København, Denmark.

• Patrick Cousot.
  Bi-inductive structural semantics and its abstraction.
  Departmental Seminar, Department of Computing, Imperial College, London, UK. Wednesday July 4^th, 2007.

• Patrick Cousot.
  Abstract Interpretation and Application to Static Analysis (tutorial). Part I: Basic Concepts of Abstract Interpretation. Part II: Applications of Abstract Interpretation.
  First IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2007, Tutorial, Shanghai, China, June 5^th, 2007.

• Patrick Cousot & Radhia Cousot.
  Combination of Abstractions in the ASTRÉE Static Analyzer.
  Eighth Annual IBM Programming Language Day, IBM T.J. Watson Research Center, Hawthorne, NY, USA. May 7^th, 2007.

• Patrick Cousot.
  Abstract interpretation with applications to semantics and static analysis.
  CS Colloquium, Departmental Seminar, Computer Science Department, Courant Institute of Mathematical Sciences, New York University, New York, NY, USA. April 9^th, 2007.

• Patrick Cousot.
  Static Analysis and Verification of Synchronous Embedded Code by Abstract Interpretation.
  The Thirteenth ASTReNet Workshop on Formal Aspects of Source Code Analysis and Manipulation, BCS-FACS, London, England, 21^st March 2007.

• Patrick Cousot.
  Program termination proofs by convex optimization.
  IBM Programming Languages & Software Engineering Research Seminar, Thomas J.\ Watson Research Center, Hawthorne, NY, USA, 5 january 2007.

• Patrick Cousot.
  Verification of Large Complex Software by Abstract Interpretation.
  11th Annual Asian Computing Science Conference, ASIAN'06, National Center of Sciences, Tokyo, Japan, 6—8 December 2006.

• Patrick Cousot and Radhia Cousot.
  Abstract interpretation and a range of applications.
  Seminario del Dipartimento di Informatica, Università Ca' Foscari Venezia, Mestre, Italy. 23 October 2006.

• Patrick Cousot.
  Static Verification of Safety Critical Code by Abstract Interpretation.
  Distinguished Lecturer Series, Department of Computing and Information Sciences , Kansas State University, Manhattan, Kansas, USA, September 5th, 2006.

• Patrick Cousot.
  Program Termination Proofs by Parametric Abstraction and Semi-definite Programming.
  Specialised Talk, Seminar Series, Department of Computing and Information Sciences, Kansas State University, Manhattan, Kansas, USA, September 6th, 2006.

• Patrick Cousot.
  Formalizations of Abstraction in the Abstract Interpretation Theory.
  « The Challenge of Software Verification », Dagstuhl Seminar 06281, Schloss Dagstuhl, Wadern, Germany, July 9—13, 2006.

• Patrick Cousot & Radhia Cousot.
  The Scientific Work of Reinhard Wilhelm.
  Special event to honour the 60th birthday of Prof. Reinhard Wilhelm, Universität Saarbrücken, Germany, June 10th, 2006.

• Patrick Cousot & Radhia Cousot.
  Grammar Abstract Interpretation.
  Seminar in Honor of Reinhard Wilhelm's 60th Birthday, Dagstuhl Seminar 6232, Dagstuhl, Wadern, Germany, June 9—10, 2006.

• Patrick Cousot.
  Interprétation abstraite : application aux logiciels de l'A380. 
  Exposé sur des questions d'actualité, Académie des Sciences, Paris, France, 6 Juin 2006.

• Patrick Cousot.
  Program Verification by Parametric Abstraction and Semi-definite Programming.
  Logic and Algorithms Workshop “Constraints and Verification”, Isaac Newton Institute for Mathematical Sciences, Cambridge, United Kingdom, 8—12 May 2006.

• Patrick Cousot.
  Application of Abstract Interpretation to the Static Verification of Safety Critical Code.
  Seminar, IBM Thomas J. Watson Research Center, Hawthorne, New York, USA, January 20th, 2006.

• Patrick Cousot.
  Static Verification of Critical Embedded Software by Abstract Interpretation.
  In Distinguished Lecture Series, EECS, University of California Berkeley, Berkeley, California, November 9^th, 2005.

• Patrick Cousot & Radhia Cousot.
  Static Analysis of Embedded Control/Command Software by Abstract Interpretation.
  Kestrel Technology, Palo Alto, California, November 7^th, 2005.

• Patrick Cousot.
  Challenges in Abstract Interpretation for Software Safety.
  In Symposium Franco-Japonais sur la sécuritsé informatique / French-Japanese symposium on computer security, Keio University, Mita Campus, Global Security Research Institute, Tokyo, Japan, September 5—7, 2005.

• Patrick Cousot.
  Automatic Verification of Embedded Control Software with ASTRÉE and beyond.
  MIT Workshop on Critical Research Areas in Aerospace Software, August 9^th, 2005.

• Patrick Cousot.
  Software Challenges for the Aerospace Industry and Research.
  MIT Workshop on Critical Research Areas in Aerospace Software, August 9^th, 2005.

• Patrick Cousot.
  The ASTRÉE analyzer.
  MIT/EECS/CSAIL Seminar, June 16^th, 2005.

• Patrick Cousot.
  Abstract Interpretation-based Formal Verification of Complex Computer Systems.
  Department of Aeronautics and Astronautics, Bartos Theater, MIT, Friday May 13^th, 2005.

• Patrick Cousot.
  Automatic Verification of Avionic Synchronous Safety Critical Embedded Software.
  Programming Languages Seminar, College of Computer and Information Science, Northeastern University, Boston, Massachusetts, USA. June 1^st, 2005.

• Patrick Cousot.
  Parametric Abstraction.
  First International Workshop on Numerical & Symbolic Abstract Domains (NSAD'05), Maison des Polytechniciens, Paris, Friday 21 January, 2005 (a satellite event of VMCAI'05).

• Patrick Cousot.
  A Tutorial on Abstract Interpretation.
  Industrial day on Automatic Tools for Program Verification, Maison des Polytechniciens, Paris, Thuesday 20 January, 2005 (a satellite event of VMCAI'05).

• Patrick Cousot. Software Verification by Abstract Interpretation: Current Trends and Perspectives.
  Seminar, IV Jornadas de Programación y Lenguajes, Málaga, Spain. 11—12 November 2004.

• Patrick Cousot.
  Automatic verification of avionic synchronous safety critical embedded software.
  Wednesday seminar, Lecture Theatre 1 — William Gates Building, The Computer Laboratory, University of Cambridge, Cambridge, UK. 20 October 2004.

• Patrick Cousot.
  Automatic program verification by Lagrangian relaxation and semidefinite programming.
  Semantics lunch, Theory and Semantics Group, The Computer Laboratory, University of Cambridge, Cambridge, UK. 18 October 2004.

• Patrick Cousot.
  Basic concepts of abstract interpretation.
  WCC 2004 Topical day on Abstract Interpretation, 24 August 2004.

• Patrick Cousot.
  Verification by Abstract Interpretation.
  Seminario, Dipartimento di Informatica, Università degli Studi di Verona, Verona, Italy. Sala Verde, September 2nd, 2004, 17:00—18:00.

• Patrick Cousot.
  A Lagrangian relaxation and mathematical programming framework for static analysis and verification.
  LOPSTR'04 and SAS'04 invited talk, Verona, Italy. August 28, 2004.

• Patrick Cousot, Radhia Cousot & Famantanantsoa Randimbivololona.
  Présentation du projet ASTRÉE : Analyse Statique de logiciels Temps Réel Embarqués. 
  Séminaire RNTL, Thème 1, Bercy, Paris, France, 1er juin 2004.

• Patrick Cousot & Radhia Cousot.
  Verification of Safety-Critical Control-Command Sofware by Abstract Interpretation.
  Seminar, Computer Science Department, Courant Institute of Mathematical Sciences, New York University, New York, NY, USA. 13 May 2004.

• Patrick Cousot.
  Automated Verification of Infinite-State Systems by Abstract Interpretation. In Third International Workshop on Automated Verification of Infinite-State Systems (AVIS'04), Barcelona, Spain, 3rd-4th April 2004.

• Patrick Cousot.
  Forthcoming Requirements on Software Verification.
  In Invited Panel on “The Future of Software Verification”, Third International Workshop on Automated Verification of Infinite-State Systems (AVIS'04), Barcelona, Spain, 3rd-4th April 2004.

• Patrick Cousot.
  Abstract Interpretation of Computations.
  In Workshop on Robustness, Abstractions and Computations, University of Pennsylvania, Philadelphia, U.S.A., 28 March 2004.

• Patrick Cousot.
  Grand Challenges for Abstract Interpretation.
  2nd Workshop on Dependable Systems Evolution, Tony Hoare, Peter O'Hearn, Harold Thimbleby, Jim Woodcock (Organizers), Gresham College, London, UK, 18 March, 2004.

• Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret Laurent Mauborgne, Antoine Miné, David Monniaux & Xavier Rival.
  ASTRÉE : A Static Analyzer for Large Safety-Critical Software.
  Applied Deductive Verification, Schloss Dagstuhl Seminar 3451, 2—7 Nov. 2003.

• Patrick Cousot.
  A Static Analyzer for Large Safety-Critical Software (Invited Talk).
  Italian CoVer (Constraint-based Verification of Reactive systems) project meeting.
  Florence, Italy, 25—26 September 2003.
  

• Patrick Cousot.
  Automatic Verification by Abstract Interpretation.
  International Symposium in Honor of Zohar Manna, Taormina, Sicily, Italy, June 29—July 4, 2003.

• Patrick Cousot.
  Vérification de programmes par interprétation abstraite. 
  ONERA-CERT, Toulouse, France, 23 mai 2003.

• Patrick Cousot.
  Dérivation formelle de l'algorithme d'analyse syntaxique d'Earley par abstraction d'une sémantique des grammaires algébriques. 
  Journée de présentation des cursus en informatique, École normale supérieure de Cachan, 15 mai 2003.

• Patrick Cousot.
  IFIP-WG 2.3 Biarritz meeting talks.
  IFIP-WG 2.3 Biarritz meeting, 23—28 mars 2003, Hotel Miramar, Biarritz, France.

• Patrick Cousot.
  Automatic Verification by Abstract Interpretation, invited tutorial.
  In VMCAI 2003 — Fourth International Conference on Verification, Model Checking and Abstract Interpretation, L.D. Zuck, P.C. Attie, A. Cortesi and S. Mukhopadhyay (Editors). Lecture Notes in Computer Science 2566, pp. 85—108, © Springer.

• Patrick Cousot & Radhia Cousot.
  Formalization of Program Transformation by Abstract Interpretation.
  Computer Science Department, Courant Institute of Applied Mathematics, New York, N.Y., U.S.A., January 11, 2002.

• Patrick Cousot.
  Abstract Interpretation: A Theory of Approximation, Invited talk.
  Eighteenth Workshop on the Mathematical Foundations of Programming Semantics, Special session on Abstract Interpretation, Tulane University, New Orleans, Louisiana, U.S.A., March 23--26, 2002.

• Patrick Cousot.
  Improving Systems Quality — Challenges and Trends — An Abstract Interpretation Perspective, Invited Talk.
  Invited talk, VERIMAG, Grenoble, France Thursday 11 April 2002.

• Patrick Cousot.
  Abstract Interpretation: Theory and Practice.
  Invited talk. European Joint Conferences on Theory and Practice of Software (ETAPS 2002), Grenoble, France, Friday, April 12, 2002.

• Patrick Cousot.
  Abstract Interpretation Software technologies, Invited talk.
  Workshop on Software Technologies, Embedded Systems and Distributed Systems in the sixth Framework Programme, TESSS, European Commission, Brussels, Belgium, Thursday 2 May 2002.

• Patrick Cousot.
  On Abstraction in Software Verification, Invited tutorial.
  International Conference on on Computer-Aided Verification (CAV 2002), Copenhagen, Denmark, Saturday July 27, 2002.

• Patrick Cousot & Radhia Cousot.
  Abstract Interpretation Based Program Transformations.
  CLIP Lab, Departamento de Inteligencia Artificial, Facultad de Informática, Universidad Politécnica de Madrid, Madrid, Spain, September 12, 2002.

• Patrick Cousot.
  Introduction to a Discussion on Mechanical Formal Methods for Software Verification
  IFIP WG 2.3 Meeting, Santa Cruz, California, U.S.A., January 7—12, 2001.

• Patrick Cousot.
  On the Design of Abstractions for Software Model Checking.
  MicroSoft Research, Seatle, U.S.A., February, 2001.

• Patrick Cousot.
  Abstract Interpretation for Software Verification
  Workshop on “Formal Design of Safety Critical Embedded Systems, FEmSys'2001”, Forum der Technik, Deutsches Museum, München, Germany, 21—23 March, 2001.

• Patrick Cousot.
  Abstract Interpretation and Applications
  Naturwissenschaftlich-Technische Fakultät I - Mathematik und Informatik - der Universität des Saarlandes, 29. Juni 2001.

• Patrick Cousot.
  Abstract Interpretation and Static Analysis.
  40th Meeting of the IFIP Working Group 10.4 on “Dependable computing and fault tolerance”, Stenungsund, Sweden, 4—8 July, 2001.

• Patrick Cousot.
  Program Static Analysis: A Brief Introduction with Applications to the Internet.
  Closing keynote of the Second International Conference on Advances in Infrastructure for E-Business, E-Science and E-Education on the Internet, SSGRR 2001, L'Aquila, Roma, Italy, 6—12 August, 2001.

• Patrick Cousot.
  Interprétation abstraite temporelle. 
  IRISA, Projet Compose, Rennes, 11 janvier 2000.

• Patrick Cousot and Radhia Cousot. Abstract Testing versus Model Checking.
  Model Checking and Program Analysis, Schloss Ringberg, Tegernsee, Germany, February 20—23, 2000

• Patrick Cousot.
  Perspectives pour l'interprétation abstraite. 
  Séminaire « Où, mène l'interprétation abstraite », Salle Dussane, École normale supérieure, Lundi 13 mars 2000.

• Patrick Cousot.
  Partial Completeness of Abstract Fixpoint Checking.
  ROPAS, National Creative Research Initiatives Center, Dept. of Computer Science, KAIST, Taejon, Republic of Corea, June 12, 2000.

• Patrick Cousot.
  An Overview of Abstract Interpretation and Program Static Analysis.
  KAIST, Taejon, Republic of Corea, June 16, 2000.

• Patrick Cousot.
  Contribution to the Panel on “Abstractions in AI and Software Engineering”.
  Fourth International Symposium on Abstraction, Reformulations and Approximation, SARA'2000, Horseshoe Bay, Texas, USA, 26—29 July 2000.

• Patrick Cousot.
  Progress on Abstract Interpretation Based Formal Methods and Future Challenges..
  Conference at the Occasion of Dagstuhl's 10th Anniversary, “Informatics — 10 Years Back, 10 Years Ahead”, Saarland University Campus, Saarbrücken, Germany, August 28—31, 2000.

• Patrick Cousot.
  Interprétation abstraite. 
  « Journées sur la Sûreté des Logiciels » organisées par l'ASPROM et le CRITT-CCST, UIMM, 56, avenue de Wagram, Paris 17^e. 24 et 25 Octobre 2000.

• Patrick Cousot.
  Abstract Interpretation Based Static Analysis of Hybrid and Embedded Systems.
  Meeting on Hybrid and Embedded Systems and Video Conference IST <> NSF/DARPA. Brussels, October 25, 2000.

• Patrick Cousot.
  On Completeness in Abstract Model Checking from the Viewpoint of Abstract Interpretation.
  Réunion Workshop on Implementations of Logic, Réunion Island, November 11-12, 2000.

• Patrick Cousot.
  Interprétation Abstraite: Fondements et Applications. 
  Séminaire « ANALYSE STATIQUE DE LOGICIELS: du test exhaustif à la vérification automatique » de l'IENS du 28 janvier 1999.

• Patrick Cousot and Radhia Cousot.
  Abstract Interpretation, Modal Logic and Data Flow Analysis.
  Dagstuhl Seminar on Program Analysis, Schloss Dagstuhl, Wadern, Germany, 12-16. April 1999.

• Patrick Cousot.
  Interprétation abstraite et analyse statique. 
  Le LIX fête ses 10 ans / LIX ten years celebration, LIX, École polytechnique, Palaiseau, France, 26 mai/May 1999.

• Patrick Cousot.
  Abstraction in abstract interpretation.
  Workshop on Refinement and Abstraction, ETL Osaka, Japan, Nov 15—17, 1999.

• Patrick Cousot.
  Rule-Based Specifications and their Abstract Interpretation (abstract).
  4th Advanced Seminar on Foundations of Declarative Programming, Valencia, Spain, June 15, 1998.

• Patrick Cousot.
  Discrete Fixpoint Approximation Methods in Program Static Analysis.
  Seventh International Colloquium on Numerical Analysis and Computer Science with Applications, NACSA'98, Plovdiv, Bulgaria, August 13—17, 1998.

• Patrick Cousot.
  Refining Model Checking by Abstract Interpretation.
  Seminario, Gio. Sep. 24, 1998, Università degli Studi di Udine.

• Patrick Cousot.
  Design of Semantics by Abstract Interpretation.
  MPI-Kolloquium, dem 2. Juni 1997, Max-Planck-Institut fuer Informatik, Im Stadtwald, Saarbruecken.

• Patrick Cousot.
  A few remarks on the abstraction and equivalence of semantics.
  IFIP WG 2.3 meeting, Obernai, France, september 26, 1997.

• Patrick Cousot and Radhia Cousot.
  Constructive Versions of Tarski's Fixpoint Theorems and Asynchronous Iterative Methods for Solving a Fixpoint System of Equations in a Chain-Complete Poset.
  Seminar, MIT, Cambridge, Massachusetts, USA, 25 june 1979, invited by professor C. Hewitt.