Invited Talks, Tutorials and Lectures – After my Retirement !

2020–2021

TCD aka Covid-19 cancelled “almost everything”
University of Bergen, Norway, October 11–15, 2021.
Chapters 4–7 of Domain Science & Engineering and Rigorous Domain Descriptions – a Compendium of Examples

Università della Svizzera italiana, Lugano, Switzerland , May,
Domain Analysis & Description , pdf
Politecnico di Milano, Italy , May,
Domain Analysis & Description , pdf
Uppsala University, Sweden , September,
Domain Analysis & Description: A Philosophy Basis , pdf
Veliky Novgorod, Russia , September,
Domain Analysis & Description: A Philosophy Basis , pdf

Yerevan, Armenia , May,
A Philosophy of Domain Science & Engineering ,
Slides: pdf , paper: pdf
Singapore, NUS , October,
A Review of 10 Years Work
Plan: pdf , 3 Week Course Notes: pdf
Shanghai, China, ECNU , November,
Domain Analysis & Description: Principles, Techniques and Languages
Plan: pdf or pdf , 4 Week Course Notes: pdf

Moscow, Russia: Ivannikov Conference , June,
Opening Statement pdf
China, Shanghai, TongJi Univ. , September,
Domain Modeling Urban Planning
Lecture Plan: pdf 3 Week Course Notes: pdf and pdf
China, Changsha, Zhou ChaoChen Fest , October,
Domain Analysis & Description: The Implicit and Explicit Semantics Problem pdf

Uppsala University, Sweden PhD Course, May, Plan: pdf . Lectures:
- Manifest Domains: Analysis & Description , pdf
- From Manifest Domain Descriptions to Requirements Prescriptions , pdf
- A New Foundation for Computing Science , pdf
University of Bergen, Norway PhD Course, November,
Manifest Domains: Analysis & Description ,
Plan: pdf , lectures: pdf

London, UK, ProCoS 25th Anniversary , March,
ProCoS: How It All Began – as seen from Denmark pdf
Moscow, Russia , March, 2 lectures
- Higher School of Economics, National Research University , host: Efim Ginkrug,
  An Informatics View of the World pdf
- Institute of Systems Progamming, Russian Academy of Sciences
  A New Foundation for Computing Science pdf
Braga, Portuga, Univ. of Minho , October,
Domain Science & Engineering
Plan: pdf , Lectures: pdf
KPS 2015: Pörtschach am Wörther See, Austria , October,
A New Foundation for Computing Science . Paper: pdf . Talk: pdf
Vienna, Austria, TUV: 19–30 October,
Domain Science & Engineering
Plan: pdf Lecture slides: pdf

JAIST, Kokichi Futatsugi Fest: Kanazawa, Japan , April,
Domain Analysis: An Analysis Process Model pdf
Singapore May
- FME Conference:
  40 Years of Formal Methods pdf
- NUS, Natl.Univ.of Singapore:
  IT Security: A Comprehensive Treatment , Paper pdf , Slides pdf
- NTU. NanYang Technical University:
  Domain Analysis and Description pdf
Australia , May
- Lectures, University of Sydney: Domain Analysis and Description pdf
- Lecture, Univ. of Melbourne: 40 Years of Formal Methods pdf
- Tutorial, aSSCa+SSS, Melbourne: Domain Science & Engineering pdf ,
- Talk, aSSCa+SSS, Melbourne: A Basis for Critical Software pdf

Egidio Astesiano Fest, Genoa, Italy , March,
To every Mereology there corresponds a $\bgroup\color{mygreen}$\lambda$\egroup$ -expression pdf
Bergen, Norway , May,
Towards a Theory of Domain Descriptions
Paper pdf , Slides pdf , 8 Day Course Notes pdf
Urbino, Italy , June,
A Role for Mereology in Domain Science and Engineering pdf
FME, Paris, France , August,
Tutorial: Domain Science & Engineering
Proposal/plan: pdf , lectures pdf
Beijing, China
- Peking University, China , 21–22 November,
  Domain Science & Engineering pdf
- BeiHang Univ., Beijing, Shanghai , 23 November,
  Domain Science & Engineering , pdf
Macau University , 27 November,
A Survey of Formal Methods in Software Development pdf
HongKong. APSEC'2012 , December 4
- Tutorial: Domain Science & Engineering pdf
- Keynote: A Survey of Formal Methods in Software Engineering pdf
ECNU, Shanghai, China , December 5–7
- Talk: A Role for Mereology in Domain Science and Engineering , pdf
- Mini-course: Domain Science & Engineering , pdf
ISCAS, Beijing, Shanghai , 10 December,
A Role for Mereology in Domain Science and Engineering , pdf

Swansea , May,
Domain Science & Engineering: A New Facet of Informatics pdf

TUV, Vienna, Austria , April,
From Domains to Requirements: On a Triptych of Software Development
Lecture Notes: pdf , Course Web Page: pdf
Kiev + Lviv + Odessa, Ukraine , June,
From Computer Science to The Sciences of Informatics pdf
Uppsala, Sweden , November,
From Domains to Requirements pdf
Budapest, Hungary , October, pdf

University of Saarland, Germany , March,
From Domains via Requirements to Software , pdf
Tony Hoare Fest: Cambridge Univ. & MSR, Cambridge, England May,
On Mereologies in Computing Science , pdf
Ershov Conference, Akademgorodok, Siberia, Russia , June,
Rôle of Domain Engineering in Software Development pdf
University of Edinburgh, Scotland , September-October,
Talks at 5 universties: Edinburgh, Herriot-Watt, Stirling, St.Andrews, Glasgow ,
For talks et cetera see: pdf
ToDai: Tokyo University , 8 November – 8 December,
From Domains via Requirements to Software , pdf

Technical University of Graz, Austria , Oct.–Dec.,
From Domains via Requirements to Software , pdf

Lipari Summer School, Italy , July,
Domain Engineering , pdf
University of Nancy, France , October–December,
- Lectures: Software Engineering ,
  Course notes: pdf
- Talk: Formal Models for Software-based Systems Engineering
  Forum Academique AFIS'2007, Programme du pré-Forum Academique, Rencontre “Université – Industrie”, pdf