Research-Presentations for Dr J. Paul Gibson, INFormatique (INF), Telecom SudParis, France.

Overview

This page lists the invited public talks/seminars given by Paul. Copies of these talks can be mailed on request - contact Paul at paul.gibson@telecom-sudparis.eu.
Furthermore, most of Paul's research publications have corresponding presentations that are also available on request.

Presentations

Global Software Engineering
Presented at: Dependable Software Systems (DESEM) Summer School, Nancy, France. (August 2019).

Le vote en ligne : le passé, le présent et le futur
Presented at: Atelier Berger Levrault (CITOYENNETÉ, SOUVERAINETÉ
 ET MONDIALISATION - DÉMOCRATIE CITOYENNE NUMÉRIQUE), HÔTEL DE MASSA, Paris, France. (15 June 2018).

A three-legged approach to teaching using Scratch: teacher support, educational games and programming problems
Presented at: Scratch2017BDX Bordeaux, France. (July 2017).

Can we build trustworthy and trusted on-line voting systems?
Presented at: Dependable Software Systems (DESEM) Summer School, St Andrews, Scotland. (July 2017).

Modelling an e-voting domain for the formal development of a Software Product Line: when the implicit should be made explicit.
Presented at: Shonan Meeting on Implicit and explicit semantics integration in proof based developments of discrete systems (November 2016).

Les méthodes formelles dans la safety et security
Presented at: JOURNEE UIC-IMdR Sécurité des Systèmes Industriels Interconnectés à L'UNION INTERNATIONALE DES CHEMINS DE FER (UIC), 75015 Paris. (20 Octobre 2016).

Problem Based Learning : L'apprentissage par problèmes (APP)
Presented at: Journée pédagogique à Mines Alès, France. (February 2014).

E-voting and the application of formal methods
Presented at: Conception et Programmation Raisonnées Research Group (CPR), CNAM, Paris, France. (May 2014).

A History Of Sofware Engineering In Images
Presented at: Dependable Software Systems (DESEM) Summer School, NUI, Maynooth, Ireland. (July 2013).

Composing objects and services: a formal model driven development (MDD) approach
Presented at: LORIA, Nancy, France. (April 2012).

"The human factor cannot be safely neglected in planning machinery" - should e-voting machine development be driven by Murphy's Law?
Presented at: Dagstuhl Meeting on Verfiable Elections and the Public (July 2011).

Research In Context: A talk in images
Presented to: Postgraduate Research Symposium, Limerick Insitute of Technology (April 2011).

A compositional approach to modelling and formal verification of e-voting systems
Presented to: Department of Information Technology, Limerick Insitute of Technology (April 2010).

A compositional approach to modelling and formal verification of e-voting systems
Presented at: The Computer science department, Namur, Belgium; to the Precise research group (February 2010).

Feature Interactions in a Software Product Line for E-voting
Presented at: The Computer science department, Clemson Univ., SC, USA, to the RSRG research group (September 2009).
Co-presenter: Jean-Luc Raffy.

E-voting verfication problems across the world
Presented at: VETO08, (Workshop sur La sécurité Informatique et le Vote ElecTrOnique), CIRM, Marseille Luminy, Université de la Méditerranée (March 2008).
Co-presenters: Jean-Luc Raffy and Eric Lallet.

Formal methods - never too young to start
Presented at: To B or in any Event To B, Nancy, France (December 2007).

E-voting and the need for rigorous software engineering - the past, present and future
Presented at: B2007, Besancon, France (January 2007).

Trust and security in e-voting systems: the verification problem
Presented at: Workshop on Trustworthy Software, Saarland University, Saarbrücken, Germany (May 18th - 19th 2006).

Problem-based learning: the "Pablo Picasso Approach"
Presented for: The Office of Teaching Effectiveness and Innovation, Clemson Univ., SC, USA (May 2006).

E-voting: software engineering and formal methods
Presented at: The Computer science department, Clemson Univ., SC, USA, to the RSRG research group (May 2006).

Le vote électronique, les methodes formelles et les problèmes complexes dus à la sécurité
Presented to: The MOSEL research group, Nancy, France. (March 2006).

PBL - A computer science viewpoint.
Presented at: Project and Problem Based Learning in Higher Education, Galway (12-13 June 2003).
Co-presenters: Jackie O'Kelly, and George Mitchell.

The Hunt For Software Engineers - i'll provide the (silver) bullets if you provide the guns to fire them.
Presented at: NUI Maynooth CS Department, Seminar Series (7th & 14th October 2002).

The Complexity of Beauty or the Beauty of Complexity
Presented for: The NUIM Astro-2 (student society) (April 2002).

Fair Objects: Infinity and Beyond
Presented at: Formal Methods Alliance (Clemson University) (January 2002).

An Introduction To Formal Methods
Presented at: Formal Methods Alliance (Clemson University) (January 2002).

Computability, complexity, correctness, and common-sense
Presented at: NUIM Mathematics Seminar (February 2001).

The fractal-like nature of complexity boundaries
Presented at: NUIM-DCU Formal Methods and Security Seminar Series (March 2001).

Software Engineering and Ethics: when code goes bad
Presented for: The NUIM Astro-2 (student society) (March 2001).

The role of computer science in software engineering.
Presented at: NUI Maynooth CS Department, Seminar Series (8th May 2000).

Three interesting problems in computer science
Presented at: NUI Maynooth CS Department, Seminar Series (20th November 2000).

Correctness Preserving Transformations for software maintenance (in C++)
Presented at: NUI Maynooth CS Department, Seminar Series (25th September 2000).
Co-presenters: Prof. Brian Malloy, and Dr T Dowling.

Stability issues in formal OO requirements models
Presented at: NUI Maynooth CS Department, Seminar Series (1st November 1999).