Fairouz
Kamareddine

Prior to 2000, my slides were written by hand
and hence no talks given prior to 2000 are included.
Below, is a list of SELECTED talks I have given since 2000.
Below, is a list of SELECTED talks I have given since 2000.
Talks in 2018 by Fairouz Kamareddine
INVITED TALKS AT INTERNATIONAL UNIVERSITIES/EVENTS

Invited speaker International Conference on Modern Mathematical Methods and High Performance Computing in Science and Technology M3HPCST 2018,
India, 46 January 2018.
slides.pdf
Talks in 2017 by Fairouz Kamareddine
INVITED TALKS AT INTERNATIONAL UNIVERSITIES/EVENTS

Invited Keynote Speaker, XVIII Brazilian Logic Conference (EBL 2017), May 812, 2017 – Pirenópolis / GO, Brazil.
slides.pdf

Invited Speaker at BigData Analysis and Data Mining, September 0708, 2017 Paris, France.
Talks in 2016 by Fairouz Kamareddine
INVITED TALKS AT INTERNATIONAL UNIVERSITIES/EVENTS

Invited speaker, Semantic Representation of Mathematical Knowledge Workshop, the Fields Institute, Toronto, Ontario, February 35, 2016.
slides.pdf
Talks in 2015 by Fairouz Kamareddine
INVITED TALKS AT INTERNATIONAL UNIVERSITIES/EVENTS

Invited speaker, Invited speaker International Conference on Modern Mathematical Methods and High Performance Computing in Science and Technology M3HPCST 2015,
India, 2729 December 2015. slides

PIMS Distinguished visitor & Invited speaker at the University of Lethbridge, Canada, Monday 2 February 2015 and Thursday 5 February 2015.
2 February 2015: Types and Functions since Principia and the
Computerisation of Language and Mathematics
and
5 February 2015: MathLang

PIMS Distinguished visitor & Invited speaker at the University of Calgary, Canada, January 2015.
Types and Functions since Principia and the
Computerisation of Language and Mathematics
CONTRIBUTED TALKS

Automath type inclusion in Barendregt's Cube. Talk given at The 10th International Computer Science Symposium in Russia, CSR 2015 Listvyanka, Irkutsk region, lake Baikal, 1218 July 2015.
Talks in 2014 by Fairouz Kamareddine
INVITED TALKS AT INTERNATIONAL UNIVERSITIES/EVENTS

Typed Lambda Calculi a la de Bruijn. The Kickoff seminar for at the Network of Datamatics & Informatics NODI
, 922 April 2014, State Key Laboratory of Software Development Environment,Beihang University, Beijing, China.
slides.pdf. And here is more info. Some fotos

From the foundation of mathematics to the birth of computation.
Invited talk at the Network of Datamatics & Informatics NODI
, 922 April 2014, State Key Laboratory of Software Development Environment,Beihang University, Beijing, China.
slides.pdf. And here is more info. Some fotos

Invited speaker at Colloquium Logicum 2014
, 46 September 2014 Munich, Germany.
slides.pdf
Talks in 2013 by Fairouz Kamareddine
INVITED TALKS AT INTERNATIONAL EVENTS

Invited speaker at the
Second International Seminar on Program Verification, Automated Debugging and Symbolic Computation, PAS2013,
October 2325 2013. Beijing, China. slides.pdf

Invited speaker at the Foundations of Mathematics for Computeraided formalization
January 911 2013. Padova, Italy. slides.pdf
Talks in 2012 by Fairouz Kamareddine
INVITED TALKS AT INTERNATIONAL EVENTS

Invited speaker at the
Theoretical and Applied Aspects of Cybernetics
International Scientific Conference of Students and Young Scientists.
Taras Shevchenko National University of Kiev. Ukraine. 1216 November 2012.
slides.pdf

Invited speaker at the International Workshop on 75 Years of the lambdacalculus.
15 June 2012, St Andrews, Scotland.
slides.pdf.

Invited speaker at SCORE Symposium on Symbolic Computation and Software Verification On the Occasion of
Prof. Tetsuo Ida's Retirement from University of Tsukuba
University of Tsukuba
Tsukuba, Japan
June 3, 2012.
slides.pdf.
CONTRIBUTED TALKS

On the Computerisation of Mathematics. Talk given at
The Watt Workshop on Symbolic Computation
Saturday 22 September 2012,
Edinburgh, Scotland

Intersection types and explicit substitution:
an overview. Talk given at
International Workshop on 75 Years of the lambdacalculus.
15 June 2012, St Andrews, Scotland.
Talks in 2011 by Fairouz Kamareddine
INVITED TALKS AT INTERNATIONAL EVENTS

Invited speaker at Workshop on Formal methods for specifying
and verifying critical systems, 7 December 2011, Tunisia.
slides.pdf.

Invited lectures at the university of Carthage, Tunisia, teaching a course on formal verification for Software together with Professor Tetsuo Ida.
December 2011, Tunisia.

Invited speaker at History and Philosophy of Computing Conference, 710 November 2011, Gent, Belgium.
slides.pdf.

Invited speaker at the Workshop on Logic and Computer Science
. Kurt Goedel Research center, Vienna, Austria, 2425 March 2011.
slides.pdf.
Some fotos

Invited speaker at the Formal Mathematics for Mathematicians: Developing Large Repositories of Advanced Mathematics at the joint Mathematics Meeting, Meeting 1067, 69 January 2011, New Orleans, USA.
slides.pdf.
Talks in 2010 by Fairouz Kamareddine
INVITED TALKS AT INTERNATIONAL EVENTS

Invited speaker at
Principia Mathematica anniversary symposium, 2728 November 2010, Cambridge, England.
slides.pdf.

Invited speaker at
Colloquium in Honour of Therese Hardin
Paris, France, 9 July 2010.
slides.pdf.
INVITED TALKS AT UNIVERSITIES/RESEARCH INSTITUTIONS

Un Ceclo de computeracao.
Invited speaker at
departamento de ciencia da computacao
,
Brasilia University, Brasil, 1 Octobre 2010.
Here are the slides.pdf

Three themes in the formalisation and automation of logic and mathematics.
Invited speaker at
Departamento de Matematica.
Brasilia University, Brasil, 8 Octobre 2010.
Here are the slides.pdf
Talks in 2009 by Fairouz Kamareddine
INVITED KEYNOTE SPEECHES AT INTERNATIONAL EVENTS

The Computerisation of Information: The challenges and the Pitfalls
.
Keynote invited speech at the
Third International Symposium on
Innovation in Information & Communication Technology, 1517 December
2009, Philadelphia University, Amman, Jordan.
Abstract,
slides.pdf.
INVITED TALKS AT INTERNATIONAL EVENTS

Invited lectures.
International School on Rewriting  ISR 2009. 2226 June 2009. Brasilia, Brasil.

Logic and Computerisation in mathematics?,
 Traditional and Non Traditional lambda calculi
 Themes in the lambdacalculus and type theory
 Explicit extensions in typed lambda calculi
INVITED TALKS AT UNIVERSITIES/RESEARCH INSTITUTIONS

Linguas y Modeles por el Formalisatione y el
Automation del Matematicas y el Informatica.
Invited speaker at the
departamento de ciencia da computacao
,
Brasilia University, Brasil, November 2009.
Here are the slides.pdf

Typed lambda Calculus and Formalising Mathematics a la de Bruijn.
Invited speaker at
VII seminario informal (mas formal!) do grupo de teoria de computacao da UNB  GTC/UNB
.
Departamento de Matematica.
Brasilia University, Brasil.
Auditorio do Departamento de Matematica/UNB, 12 November 2009.
Here are the slides.pdf

Languages et modeles pour la formalisation et l'automation de la mathematique et de l'informatique.
Invited talk
Universite de Savoie, Chambery, France, 11 May 2009.
Here are the slides.pdf
Talks in 2008 by Fairouz Kamareddine
INVITED TALKS AT INTERNATIONAL EVENTS

Indicators and standards
used worldwide to achieve quality university performance. Invited talk,
At
At the Workshop on Quality Assurance of Higher Education in Arab Universities organised by the Secretariat General of the Association of Arab Universities.
Amman, Jordan, 2324 November 2008.
Here is the Abstract.
Here are the slides.pdf

De Bruijns bijdragen aan typetheorie en herschrijfsystemen. Invited talk,
N.G. de Bruijn 90 jaar: symposium, Eindhoven, The Netherlands, 5 September 2008.
Here is the Abstract.
Here are the slides.pdf
INVITED TALKS AT UNIVERSITIES/RESEARCH INSTITUTIONS

Une computerisation graduelle des textes mathematiques dans le systeme MathLang. Invited talk,
Universite de Savoie, Chambery, France, 29 May 2008.
Here is the Abstract.
Here are the slides.pdf

The gradual computerisation of mathematics in MathLang. Invited talk,
JapanAustrian workshop on Symbolic Computation and Software Verification, Kyoto, Japan,
April 1819, 2008.
Abstract.
Here are the slides.pdf

Themes in the lambda calculus and type theory. Invited talk,
University of Tsukuba, Japan, 16 April 2008.
Abstract.
Here are the slides.pdf

Computerization versus Formalization for Mathematical Texts Invited talk,
University of North Carolina, USA. 4 April 2008.
Here is the Abstract.
Here are the slides.pdf
CONTRIBUTED TALKS

Slides of
Principal Typings for Explicit Substitution
(joint work with Daniel Lima Ventura and
Mauricio AyalaRincón)
Computability in Europe 2008
Logic and Theory of Algorithms, 1520 June 2008, Athens, Greece.
CONTRIBUTED TALKS PRESENTED BY COAUTHORS ON JOINT PAPERS

A complete realisability semantics for intersection
types and arbitrary expansion variables
Talk presented by my PhD student Vincent Rahli
at the
5th International Colloquium on Theoretical Aspects of Computing, ICTAC 2008,
3 September 2008. The Marmara, Istanbul, Turkey.
slidesoftalk.pdf

Simplified Reducibility Proofs of ChurchRosser for $\beta$ and $\beta\eta$reduction
Talk kindly presented on our behalf by
Mauricio AyalaRincón
at the Third Workshop on Logical and Semantic Frameworks, with Applications, Salvador, Bahia, Brasil, 26 August 2008.
slides of talk

Reducibility proofs in the lambda calculus with intersection types.
Talk presented by my PhD student Vincent Rahli
at the
4th Workshop on Intersection Types and Related Systems (ITRS '08)
Torino, Italy, 25 March 2008.
slidesoftalk.pdf

Realisability Semantics For Intersection Types and Expansion Variables.
Talk presented by my coauthor J.B. Wells
at the
4th Workshop on Intersection Types and Related Systems (ITRS '08)
Torino, Italy, 25 March 2008.
slidesoftalk.pdf
Talks in 2007 by Fairouz Kamareddine
INVITED TALKS AT INTERNATIONAL EVENTS

The gradual computerisation of mathematics in MathLang. Invited talk,
SYNASC 2007, 9th International Symposium on
Symbolic and Numeric Algorithms for Scientific Computing,
Timisoara, Romania,
September 2629, 2007.
Abstract
Here are the slides.pdf

Computerising mathematical texts in MathLang. Invited talk,
Second Workshop on Logical and Semantic Frameworks, with Applications, Ouro Preto, Minas Gerais, Brazil, 28 August 2007.
Abstract.
Here are the slides.pdf
INVITED TALKS AT UNIVERSITIES/RESEARCH INSTITUTIONS

Computerising Mathematical texts with MathLang. Invited talk,
Centre de Recherche Public Henri Tudor,
Luxembourg.
October 26, 2007.
Here are the slides.pdf

Computerising mathematical texts in MathLang. Invited talk,
Brasilia University, Brasil, 23 August 2007.
Abstract. Here are the slides.pdf

MathLang, a framework for computerising and checking
mathematics. Invited talk,
University of West of England, Bristol, UK, Friday 8 June 2007.
slides.pdf
CONTRIBUTED TALKS

MathLang.
Saarbruecken, Germany, 22 March 2007.
slides.pdf
CONTRIBUTED TALKS PRESENTED BY COAUTHORS ON JOINT PAPERS

Restoring Natural Language as a Computerised Mathematics Input Method,
Talk presented by my PhD student Robert Lamar
at the
Mathematical Knowledge Management 2007
RISC, Hagenberg, Austria, 27  30 June 2007.
slidesoftalk.pdf

Narrative Structure of Mathematical Texts
Talk presented by my PhD student Krzysztof Retel
at the
Mathematical Knowledge Management 2007
RISC, Hagenberg, Austria, 27  30 June 2007.
slidesoftalk.pdf
Talks in 2006 by Fairouz Kamareddine
INVITED KEYNOTE SPEECHES AT INTERNATIONAL EVENTS

The foundations of mathematics in 19th and 20th century = the birth of computer science.
Invited Keynote Speach at
The International Conference on Mathematical Sciences,
Gaza, Palestine. May 15 17, 2006.
slidesoftalk.pdf.
INVITED TALKS AT UNIVERSITIES/RESEARCH INSTITUTIONS

MahLang, a framework for computerising mathematics.
Invited talk at Brasilia University, Brasil, 14 September 2006.
Abstract, slidesoftalk.pdf.

The typed Lambda Calculus with a Single Binder.
Invited talk at Brasilia University, Brasil, 21 March 2006.
Abstract, slidesoftalk.pdf.
Talks in 2005 by Fairouz Kamareddine
INVITED KEYNOTE SPEECHES AT INTERNATIONAL EVENTS

The impact of computers on the formalisation and study of language
Invited keynote speach at The 2005 International Arab Conference on Information
Technology (ACIT'2005), AlIsra Private University,
AmmanJordan.
December 6th 8th, 2005.
Abstract, slidesoftalk.pdf.
INVITED TALKS AT UNIVERSITIES/RESEARCH INSTITUTIONS

The evolution of types and logic in the 20th century: A journey through Frege, Russell and other founders of modern logic and computation.
Universitat Politecnica de Catalunya, Departament de LSI, Barcelona, Spain.
18 November 2005.
slidesoftalk.pdf

Les lambda calculs typés avec un seul lieur à la place de deux.
Université de Savoie  Laboratoire de Mathématiques, Le Bourget du Lac, France.
13 October 2005.
Abstract, slidesoftalk.pdf.
CONTRIBUTED TALKS

MahLang, a framework for computerising mathematics
Talk given at the
TheoremaUltraOmega'05 Workshop
Saarbruecken, Germany.
1415 November 2005.
slidesoftalk.pdf
CONTRIBUTED TALKS PRESENTED BY COAUTHORS ON JOINT PAPERS

The objectoriented structure of mathematics
Talk presented by my PhD student Manuel Maarek
at the
TheoremaUltraOmega'05 Workshop
Saarbruecken, Germany.
1415 November 2005.
slidesoftalk.pdf

Towards an ObjectOriented Structure for Mathematical Text.
Talk presented by my PhD student Manuel Maarek
at the
Fourth International conference on
Mathematical Knowledge Management Symposium.
Bremen, Germany. 16 July 2005.
slidesoftalk.pdf
Talks in 2004 by Fairouz Kamareddine
INVITED KEYNOTE SPEECHES AT INTERNATIONAL EVENTS

Is computerisation a 20th century phenomenon, or is it as old as logic and mathematics?
Keynote invited speech at the
Second International Symposium on
Innovation in Information & Communication Technology, 2122
April 2004, Philadelphia University, Amman, Jordan. Here is the call
for papers. Abstract,
slides.pdf.
INVITED TALKS AT INTERNATIONAL EVENTS

The evolution of types and logic in the 20th
century: A journey through Frege, Russell and other founders of
modern logic and computation. Alumni Day lecture, Institute of
Logic, Language and Computation, ILLC, University of Amsterdam,
Amsterdam, NL. 25 March 2004. Abstract,
slides.pdf.
INVITED TALKS AT UNIVERSITIES/RESEARCH INSTITUTIONS

MathLang: A language for Mathematics.
Theory seminar, Computer Science department, University of Birmingham,
Birmingham, UK. 28 May 2004.
Abstract, slidesoftalk.pdf.

The formalisation and computerization of languages of mathematics:
The case for interleaving natural language with the formal language and how can this be computerised.
A tutorial in four sessions at the University of Leipzig, Leipzig, Germany. 34 May 2004.
Abstract of tutorials,
slidesoftutorials.pdf.

The evolution of types and logic in the 20th century: A journey
through Frege, Russell and other founders of modern logic and computation.
Colloquim talk at the University of Leipzig, Leipzig, Germany. 5 May 2004.
Abstract of talk,
slidesoftalk.pdf.

MathLang: A language for Mathematics.
Computer Science research seminar, King's college, University of London, London, UK. 18 February 2004.
Abstract,
slides.pdf.
CONTRIBUTED TALKS PRESENTED BY COAUTHORS ON JOINT PAPERS

slides
of the contributed talk presented by my PhD student Manuel Maarek on 19 september 2004 at the
Third International conference on
Mathematical Knowledge Management Symposium.
Bialowieza  Poland.
Flexible Encoding of Mathematics on the Computer.
Talks in 2003 by Fairouz Kamareddine
INVITED TALKS AT INTERNATIONAL EVENTS

slides.pdf
of my invited talk at
Tbilisi symposium on Logic, Georgia, 610 October 2003.

slides.pdf
of my invited course at the UNESCO school on advanced Informatics in Damscus, Syria, 1125 April 2003.
INVITED TALKS AT UNIVERSITIES/RESEARCH INSTITUTIONS

slides.pdf
of my invited talk at the University of Savoie, Chambery, France, 6 May 2003.

slides.pdf
of my invited talk at the Institut de Mathematiques de Luminy, Marseille, France, 28 April 2003.

slides.pdf
of my invited talk at Indiana University, Bloomington, Indiana, USA, 4 April 2003.

slides.pdf
of my invited talk at Exeter University, Exeter, England, UK, on 31 January 2003.
CONTRIBUTED TALKS

slides
of my contributed talk in July 2003 at the ICALP'03 satellite workshop on Mathematics, Logic and Computation, In honour of N.G. de Bruijn's 85th anniversary. Eindhoven, NL:
Explicit Substitutions a la de Bruijn: the local and global way.

slides
of my contributed talk in July 2003 at the ICALP'03 satellite
workshop on Mathematics, Logic and
Computation, In honour of N.G. de Bruijn's 85th anniversary. Eindhoven, NL:
Automath and Pure Type Systems.
CONTRIBUTED TALKS PRESENTED BY COAUTHORS ON JOINT PAPERS

slides
of the contributed talk presented by my PhD student Manuel Maarek on 27 November 2003 at the
Mathematical Knowledge Management Symposium. HeriotWatt University, Edinburgh, Scotland:
MathLang: experiencedriven development of a mathematical language

slides
of the contributed talk of coauthor Joe Wells on June 2003 at the 14th International Conference on Rewriting Techniques and Applications, RTA2003, Valencia, Spain:
Diagrams for Meaning Preservation
Talks in 2002 by Fairouz Kamareddine
INVITED TALKS AT INTERNATIONAL EVENTS

slides.pdf
of my invited talk at
29th Annual Conference on Current Trends in Theory and Practice of Informatics,
Milovy, Czech Republic, Nov. 24  Nov. 29, 2002.
INVITED TALKS AT UNIVERSITIES/RESEARCH INSTITUTIONS

slides.pdf
of my invited talk at Brasilia University, Brasil in July 2002.
CONTRIBUTED TALKS

slides.pdf
of my contributed talk (that I jointly presented with my coauthor Roel Bloo) on
5 April 2002 at the the Latin American Theoretical INformatics LATIN02 in Cancun,
Mexico: Parameters in Pure Type
Systems.

slides.pdf
of my contributed talk Lambda calculus a la Automath on 12 April 2002 at
the workshop on Thirty Five years of Automath.
CONTRIBUTED TALKS PRESENTED BY COAUTHORS ON JOINT PAPERS

slides
of the contributed talk of my coauthor Francois Monin in August 2002 at the
9th
Workshop on Logic, Language, Information and Computation, WoLLIC'2002.
Rio de Janeiro, Brazil:
On automating the extraction of programs from proofs using product types
.

slides
of another contributed talk by coauthor Flavio de Moura in August 2002 at the
9th
Workshop on Logic, Language, Information and Computation, WoLLIC'2002.
Rio de Janeiro, Brazil:
Comparing Calculi of Explicit Substitutions with Etareduction
.
Talks in 2001 by Fairouz Kamareddine
INVITED TUTORIALS AT INTERNATIONAL EVENTS

slides of my invited tutorial on 2 August 2001 at 8th Workshop on Logic,
Language, Information and Computation WoLLIC'2001
Brasília, Brazil: The evolution of types and
functions in the 20th century: A journey through Frege and Russell
incorporating the important developments in the 20th century and the
influence on logic, mathematics and computer science.
INVITED TALKS AT UNIVERSITIES/RESEARCH INSTITUTIONS

slides of my invited talk on 8 january 2001 at Micosoft Cambridge, UK:
Two refinements of the $\lambda$calculus and the Barendregt Cube: Item notation and Parameters .
CONTRIBUTED TALKS

slides of my contributed talk on 7 March 2001 at Fifth International Symposium on Functional and Logic Programming,
FLOPS 2001 in Tokyo, Japan:
Refining the Barendregt Cube using Parameters.

slides of my contributed talk in May 2001 at 5th international workshop on termination, in Amsterdam, NL:
Is the secalculus strongly normalising?.

slides of my contributed talk on 5 September 2001 at International Conference on Principles and Practice of
Declarative Programming, or PPDP'01, in Florence, Italy: De Bruijn's syntax and reductional equivalence of lambda terms.

slides of my contributed talk on 24 September 2001 at The Fourth International Tbilisi Symposium on Language, Logic and Computation, in Borjomi, Georgia:
Formalising the natural language of mathematics: A Mathematical Vernacular.

slides of my contributed talk on 23 October 2001 at
The Second AsiaPacific Conference on Intelligent Agent Technology,
IAT'01, in Maebashi City, Japan: Belief Revision in Type Theory.

slides of my contributed talk Higher Order Unification via Explicit Substitutions
on 5 December 2001 at HeriotWatt University.
CONTRIBUTED TALKS PRESENTED BY COAUTHORS ON JOINT PAPERS

slides of a related contributed talk
On Applying the $\lambda s_e$Style of Unification for Simplytyped Higher Order Unification in the pure
$\lambda$calculus
presented by coauthor
Mauricio Ayala
at
8th Workshop on Logic, Language, Information and Computation
WoLLIC'2001
July 31 to August 3, 2001, Brasília, Brazil.
Talks in 2000 by Fairouz Kamareddine
INVITED TALKS

slides of my invited inaugural lecture that I gave on 2 February 2000:
ULTRA: Useful Logics, Types, Rewriting, and Applications .
See this event and this information.

slides
of my invited talk at Reading University that I gave on 2 March 2000: ULTRA: Useful Logics, Types, Rewriting, and
Applications .

slides of
my invited talk that I gave on 3 October 2000 in Eindhoven the Netherlands at
the Zuidelike Interuniversitaire Colloquim:
(HigherOrder) Unification via $\lambda s_e$style of explicit substitution
CONTRIBUTED TALKS

slides of my two contributed lectures:
Explicit Extensions in (Typed) lambdacalculi
that I gave on 9 and 10 April 2000 at the
The EEF Foundations School in Deduction and Theorem Proving'00.

slides of
my contributed talk:
History of Types in Logic and Mathematics
that I gave on 5 December 2000 at the
Workshop on History of Logics, Types and Rewriting.
CONTRIBUTED TALKS PRESENTED BY COAUTHORS ON JOINT PAPERS

slides of the contributed talk
presented by my coauthor
Mauricio Ayala
at
International Conference on Principles and Practice of
Declarative Programming, PPDP'00, in Montreal, 21 September 2000.

slides of the contributed talk
presented by my coauthor
Mauricio Ayala
at the
Third Int'l Workshop on Explicit
Substitutions: Theory and Applications to Programs and Proofs,
A Satellite workshop of RTA 2000, Norwich, UK, 13 July 2000.
Maintained by Fairouz
Kamareddine ()
