Fairouz
Kamareddine
Bio
Events
Projects
Publications by year
Publications by order
Selected talks
Journal Editorships
Agencies

Cedar Forest


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

  1. Invited speaker International Conference on Modern Mathematical Methods and High Performance Computing in Science and Technology M3HPCST 2018, India, 4-6 January 2018. slides.pdf

Talks in 2017 by Fairouz Kamareddine

INVITED TALKS AT INTERNATIONAL UNIVERSITIES/EVENTS

  1. Invited Keynote Speaker, XVIII Brazilian Logic Conference (EBL 2017), May 8-12, 2017 – Pirenópolis / GO, Brazil. slides.pdf
  2. Invited Talk, The Federal University of Goiás, departments of mathematics and computer science, Goiânia, Brasil, 17 May 2017. slides.pdf
  3. Invited Talk, University of Brasilia, departments of mathematics and computer science, Brasilia, Brasil, 24 May 2017. slides.pdf
  4. Invited Speaker at BigData Analysis and Data Mining, September 07-08, 2017 Paris, France.

Talks in 2016 by Fairouz Kamareddine

INVITED TALKS AT INTERNATIONAL UNIVERSITIES/EVENTS

  1. Invited speaker, Semantic Representation of Mathematical Knowledge Workshop, the Fields Institute, Toronto, Ontario, February 3-5, 2016. slides.pdf

Talks in 2015 by Fairouz Kamareddine

INVITED TALKS AT INTERNATIONAL UNIVERSITIES/EVENTS

  1. Invited speaker, Invited speaker International Conference on Modern Mathematical Methods and High Performance Computing in Science and Technology M3HPCST 2015, India, 27-29 December 2015. slides
  2. 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
  3. 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

  1. 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, 12-18 July 2015.

Talks in 2014 by Fairouz Kamareddine

INVITED TALKS AT INTERNATIONAL UNIVERSITIES/EVENTS

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

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

  3. Invited speaker at Colloquium Logicum 2014 , 4-6 September 2014 Munich, Germany. slides.pdf

Talks in 2013 by Fairouz Kamareddine

INVITED TALKS AT INTERNATIONAL EVENTS

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

  2. Invited speaker at the Foundations of Mathematics for Computer-aided formalization January 9-11 2013. Padova, Italy. slides.pdf

Talks in 2012 by Fairouz Kamareddine

INVITED TALKS AT INTERNATIONAL EVENTS

  1. 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. 12-16 November 2012. slides.pdf

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

  3. 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

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

  2. Intersection types and explicit substitution: an overview. Talk given at International Workshop on 75 Years of the lambda-calculus. 15 June 2012, St Andrews, Scotland.

Talks in 2011 by Fairouz Kamareddine

INVITED TALKS AT INTERNATIONAL EVENTS

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

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

  3. Invited speaker at History and Philosophy of Computing Conference, 7-10 November 2011, Gent, Belgium. slides.pdf.

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

  5. Invited speaker at the Formal Mathematics for Mathematicians: Developing Large Repositories of Advanced Mathematics at the joint Mathematics Meeting, Meeting 1067, 6-9 January 2011, New Orleans, USA. slides.pdf.

Talks in 2010 by Fairouz Kamareddine

INVITED TALKS AT INTERNATIONAL EVENTS

  1. Invited speaker at Principia Mathematica anniversary symposium, 27-28 November 2010, Cambridge, England. slides.pdf.

  2. Invited speaker at Colloquium in Honour of Therese Hardin Paris, France, 9 July 2010. slides.pdf.

INVITED TALKS AT UNIVERSITIES/RESEARCH INSTITUTIONS

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

  2. 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

  1. The Computerisation of Information: The challenges and the Pitfalls . Keynote invited speech at the Third International Symposium on Innovation in Information & Communication Technology, 15-17 December 2009, Philadelphia University, Amman, Jordan. Abstract, slides.pdf.

INVITED TALKS AT INTERNATIONAL EVENTS

  1. Invited lectures. International School on Rewriting - ISR 2009. 22-26 June 2009. Brasilia, Brasil.
    1. Logic and Computerisation in mathematics?,
    2. Traditional and Non Traditional lambda calculi
    3. Themes in the lambda-calculus and type theory
    4. Explicit extensions in typed lambda calculi

INVITED TALKS AT UNIVERSITIES/RESEARCH INSTITUTIONS

  1. 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

  2. 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

  3. 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

  1. 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, 23-24 November 2008. Here is the Abstract. Here are the slides.pdf

  2. 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

  1. 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

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

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

  4. 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

  1. Slides of Principal Typings for Explicit Substitution (joint work with Daniel Lima Ventura and Mauricio Ayala-Rincón)
    Computability in Europe 2008 Logic and Theory of Algorithms, 15-20 June 2008, Athens, Greece.

CONTRIBUTED TALKS PRESENTED BY CO-AUTHORS ON JOINT PAPERS

  1. 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. slides-of-talk.pdf

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

  3. 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. slides-of-talk.pdf

  4. Realisability Semantics For Intersection Types and Expansion Variables. Talk presented by my co-author J.B. Wells at the 4th Workshop on Intersection Types and Related Systems (ITRS '08) Torino, Italy, 25 March 2008. slides-of-talk.pdf

Talks in 2007 by Fairouz Kamareddine

INVITED TALKS AT INTERNATIONAL EVENTS

  1. 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 26-29, 2007. Abstract Here are the slides.pdf

  2. 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

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

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

  3. 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

  1. MathLang. Saarbruecken, Germany, 22 March 2007. slides.pdf

CONTRIBUTED TALKS PRESENTED BY CO-AUTHORS ON JOINT PAPERS

  1. 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. slides-of-talk.pdf

  2. 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. slides-of-talk.pdf

Talks in 2006 by Fairouz Kamareddine

INVITED KEYNOTE SPEECHES AT INTERNATIONAL EVENTS

  1. 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. slides-of-talk.pdf.

INVITED TALKS AT UNIVERSITIES/RESEARCH INSTITUTIONS

  1. MahLang, a framework for computerising mathematics. Invited talk at Brasilia University, Brasil, 14 September 2006. Abstract, slides-of-talk.pdf.
  2. The typed Lambda Calculus with a Single Binder. Invited talk at Brasilia University, Brasil, 21 March 2006. Abstract, slides-of-talk.pdf.

Talks in 2005 by Fairouz Kamareddine

INVITED KEYNOTE SPEECHES AT INTERNATIONAL EVENTS

  1. 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), Al-Isra Private University, Amman-Jordan. December 6th- 8th, 2005. Abstract, slides-of-talk.pdf.

INVITED TALKS AT UNIVERSITIES/RESEARCH INSTITUTIONS

  1. 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. slides-of-talk.pdf

  2. 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, slides-of-talk.pdf.

CONTRIBUTED TALKS

  1. MahLang, a framework for computerising mathematics Talk given at the Theorema-Ultra-Omega'05 Workshop Saarbruecken, Germany. 14-15 November 2005. slides-of-talk.pdf

CONTRIBUTED TALKS PRESENTED BY CO-AUTHORS ON JOINT PAPERS

  1. The object-oriented structure of mathematics Talk presented by my PhD student Manuel Maarek at the Theorema-Ultra-Omega'05 Workshop Saarbruecken, Germany. 14-15 November 2005. slides-of-talk.pdf

  2. Towards an Object-Oriented 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. slides-of-talk.pdf

Talks in 2004 by Fairouz Kamareddine

INVITED KEYNOTE SPEECHES AT INTERNATIONAL EVENTS

  1. 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, 21-22 April 2004, Philadelphia University, Amman, Jordan. Here is the call for papers. Abstract, slides.pdf.

INVITED TALKS AT INTERNATIONAL EVENTS

  1. 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

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

  2. 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. 3-4 May 2004. Abstract of tutorials, slides-of-tutorials.pdf.

  3. 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, slides-of-talk.pdf.

  4. 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 CO-AUTHORS ON JOINT PAPERS

  1. 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

  1. slides.pdf of my invited talk at Tbilisi symposium on Logic, Georgia, 6-10 October 2003.

  2. slides.pdf of my invited course at the UNESCO school on advanced Informatics in Damscus, Syria, 11-25 April 2003.

INVITED TALKS AT UNIVERSITIES/RESEARCH INSTITUTIONS

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

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

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

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

CONTRIBUTED TALKS

  1. 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.

  2. 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 CO-AUTHORS ON JOINT PAPERS

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

  2. slides of the contributed talk of co-author 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

  1. 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

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

CONTRIBUTED TALKS

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

  2. 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 CO-AUTHORS ON JOINT PAPERS

  1. slides of the contributed talk of my co-author 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 .

  2. slides of another contributed talk by co-author 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 Eta-reduction .

Talks in 2001 by Fairouz Kamareddine

INVITED TUTORIALS AT INTERNATIONAL EVENTS

  1. 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

  1. 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

  1. 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.

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

  3. 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.

  4. 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.

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

  6. slides of my contributed talk Higher Order Unification via Explicit Substitutions on 5 December 2001 at Heriot-Watt University.

CONTRIBUTED TALKS PRESENTED BY CO-AUTHORS ON JOINT PAPERS

  1. slides of a related contributed talk On Applying the $\lambda s_e$-Style of Unification for Simply-typed Higher Order Unification in the pure $\lambda$-calculus presented by co-author 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

  1. 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.

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

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

CONTRIBUTED TALKS

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

  2. 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 CO-AUTHORS ON JOINT PAPERS

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

  2. slides of the contributed talk presented by my co-author 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 ()