Events, conferences and workshops in which Fairouz Kamareddine has been involved as a chair, PC member or invited speaker

YEAR 2010

Conference chair, RTA 2010. Edinburgh, Scotland.

YEAR 2009

Keynote invited speaker and Program committee member of the Second International Symposium on Innovation in Information & Communication Technology, ?? 2009, Philadelphia University, Amman, Jordan. Here is the call for papers. Title: ?? Abstract, slides.pdf.

Program committee member of the 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, September 26-29, 2009

Co-Chair of the Conference committee of The 2008 International Conference of Computer Science and Engineering, at the World Congress on Engineering 2009 London, UK, 1-3 July 2009.

Invited lecturer. International School on Rewriting - ISR 2009. 22-26 June 2009. Brasilia, Brasil.

Program Committee co-chair, Fourth Workshop on Logical and Semantic Frameworks, with Applications, LSFA'09. 28 June 2009. Brasilia, Brasil.

YEAR 2008

Invited speaker. 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

Invited speaker. At N.G. de Bruijn 90 jaar: symposium, 5 september 2008. Eindhoven, the Netherlands. Abstract. slides.pdf

Steering Committee member The International Arab Conference on e-Technology, October 15-18, Arab Open University, Amman, Jordan.

Co-Chair of the Conference committee of The 2008 International Conference of Computer Science and Engineering, at the World Congress on Engineering 2008 London, UK, 2-4 July 2008.

Programme Committee member 9th Workshop on Membrane Computing, July 28-31, 2008, Edinburgh, UK

Programme Committee member Seventh International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT, 28-30 July, 2007, Birmingham, UK

Co-chair of the organisation committee, Wollic 2008. 1..4 July 2008. Edinburgh, Scotland.

Steering and Programme Committee Member, Third Workshop on Logical and Semantic Frameworks, with Applications, Salvador, Bahia, Brasil, 26 August 2008.

YEAR 2007

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

Invited speaker and Programme Committee member Second Workshop on Logical and Semantic Frameworks, with Applications, Ouro Preto, Minas Gerais, Brazil, 28 August 2007. Title: Computerising mathematical texts in MathLang. Abstract. Here are the slides.pdf

Programme Committee member Sixth International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT, 27-30 June, 2007, Linz, Austria.

ICCSE Program committee co-chair of the 2007 International Conference of Computer Science and Engineering, 2-4 July 2007, London, England.

YEAR 2006

Invited Keynote Speach at The International Conference on Mathematical Sciences, Gaza, Palestine. May 15- 17, 2006. Title: The foundations of mathematics in 19th and 20th century = the birth of computer science. slides-of-talk.pdf.

Program committee member of the Brazilian Workshop on Logical and Semantic Frameworks, with Applications, Natal, Brazil, 17 September 2006.

YEAR 2005

Invited keynote speach at The 2005 International Arab Conference on Information Technology (ACIT'2005), Al-Isra Private University, Amman-Jordan. December 6th- 8th, 2005. Title: The impact of computers on the formalisation and study of language Abstract, slides-of-talk.pdf.
Organising Chair of the ESSLLI 2005, 8-19 August 2005, Heriot-Watt, Edinburgh, UK.
Program committee member of the Fourth International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT, July, 2005, Bremen, Germany.
Theorema-Ultra-Omega'05 Workshop Saarbruecken, Germany. 14-15 November 2005. Title: MahLang, a framework for computerising mathematics slides-of-talk.pdf

YEAR 2004

Keynote invited speaker and Program committee member of the Second International Symposium on Innovation in Information & Communication Technology, 21-22 April 2004, Philadelphia University, Amman, Jordan. Here is the call for papers. Title: Is computerisation a 20th century phenomenon, or is it as old as logic and mathematics? Abstract, slides.pdf.
Invited speaker at the Alumni Day lecture, Institute of Logic, Language and Computation, ILLC, University of Amsterdam, Amsterdam, NL. 25 March 2004. Title: The evolution of types and logic in the 20th century: A journey through Frege, Russell and other founders of modern logic and computation. Abstract, slides.pdf.
Program committee member of the workshop on (Re-)Presentations and Transformations of Proofs (PTP 2004) at the Second International Joint Conference on Automated Reasoning (IJCAR 2004), July 5th, 2004, Cork, Ireland.
Program committee member of the Third International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT, SEPTEMBER 19th - 21st, 2004, BIALOWIEZA - POLAND.

YEAR 2003

Chair and organiser of the Mathematical Knowledge Management Symposium, Heriot-Watt University, Edinburgh, UK. 25-29 November 2003. Two special issue have been edited for this symposium as follows:
• Fairouz Kamareddine, editor (2004)
  Mathematical Knowledge Management Symposium 2003, Electronic Notes in Theoretical Computer Science 93C, Mathematical Knowledge Management Symposium 2003. Pages 1-201. ENTCS, ISBN 044451290X, February 2004. Elsevier.
• Fairouz Kamareddine, editor (2004)
  Special Issue on Variants of logics: from HOL to the calculus of constructions to teaching mathematical proofs on computers.
  Special issue in The journal of Applied Logic, volume 2, issue 2, Pages 169-239, Elsevier, North-Holland. ISSN 1570-8683. June 2004.
  Special issue in the Journal of Automated Reasoning. Volume 29, issues 3 and 4, Pages 183-418. 2002. Kluwer Academic Publishers. ISSN 0168-7433.

Co-Chair, Co-organiser and program committee member of the ICALP'03 satellite workshop on Mathematics, Logic and Computation, In honour of N.G. de Bruijn's 85th anniversary. Co-chair and Co-organiser: Herman Geuvers. Eindhoven, NL, 4-5 July 2003. One special issue has been edited for this workshop as follows:
• Herman Geuvers and Fairouz Kamareddine, editors (2003),
  "Mathematics, Logic and Computation", Electronic Notes in Theoretical Computer Science 85(7), Mathematics, Logic and Computation 2003. Electronic Notes in Theoretical Computer Science 85(7), ENTCS, ISBN 044451290X,

Program committee member of Calculemus 2003 Roma Italy -- September 10-12, 2003.
Invited speaker and program committee member at Tbilisi symposium on Logic, Georgia, 6-10 October 2003. slides.pdf
Invited lecturer at UNESCO school on Advanced Informatics, Damascus, Syria, 11-25 April 2003. slides.pdf

YEAR 2002

Invited speakers at 29th Annual Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 2002. slides.pdf
Chair, organiser and program committee member of Workshop on Thirty Five Years of Automath, Automath2002. Edinburgh, UK, April 2002. Two special issues have been edited for this workshop as follows:
• Fairouz Kamareddine, editor (2002)
  Special Issue Mechanizing and Automating Mathematics: In honour of N.G. de Bruijn.
  Here is the editorial in ps. Here is the editorial in pdf.
• Fairouz Kamareddine, editor (2003),
  "Thirty Five Years of Automating Mathematics", Kluwer Applied Logic series. Volume 28. 328 pages. Kluwer Academic Publishers. November 2003. ISBN 1-4020-1656-5.

YEAR 2001

Program committee member of The Fourth International Workshop on Explicit Substitutions: Theory and Applications to Programs and Proofs: Westapp'01. Utrecht, NL, May 2001
Program committee member of 8th Workshop on Logic, Language, Information and Computation WoLLIC'2001 Brasília, Brazil, August 2001.
Invited tutorial at 8th Workshop on Logic, Language, Information and Computation WoLLIC'2001 Brasília, Brazil, August 2001. slides

YEAR 2000

Chair and organiser of Winter Workshop in Logics, Types and Rewriting '00, Edinburgh, UK, February 2000. One special issue has been edited for this workshop as follows:
• Fairouz Kamareddine editor (2001),
  "Special issue on rewriting and theorem proving". Special issue in the Logic Journal of the Interest Group of Pure and Applied Logic no. 9(3), Pages 329-488, 2001, ISSN 0945-9103, Oxford University Press.

Co-chair and Co-organiser of The EEF Foundations School in Deduction and Theorem Proving'00. Co-organiser: Dr Alan Mycroft. Wdinburgh, UK, April 2000.
Chair and organiser of Festival Workshop in Foundations and Computing, FC'00, Edinburgh, UK, July 2000.. One special issue have been edited as follows:
• Fairouz Kamareddine editor (2001),
  "Special issue on type and set theoretical foundations of Computation", Special issue in the Journal of Logic and Computation volume 11 (3), Pages 359-498, ISSN: 0955-792X, June 2001, Oxford University Press.

Chair and organiser of Workshop on History of Logics, Types and Rewriting, HLTR'00. Co-organisers: Carsten Butz and Joe Wells. Edinburgh, UK, December 2000.

YEAR 1999

Program committee member of The Second International Workshop on Explicit Substitutions: Theory and Applications to Programs and Proofs: Westapp'99. Trento, Italy, July 1999.
Co-Chair and Co-organiser of The EEF School on Logic and Computation'99. Co-organiser: Professor Don Sannella. Edinburgh, UK, April 1999.

YEAR 1998

Chair and organiser of The First International Workshop on Explicit Substitutions: Theory and Applications to Programs and Proofs: WESTAPP '98 . A satellite event of RTA'98. Tsukuba, Japan, March 1998.
Chair and organiser of Joint Symposium on Computational Models of Brain, Language and Reasoning '98. Dr Ewan Klein. Publicity: Dr Nick Taylor. Edinburgh, UK, November 1998.

YEAR 1996

Chair and organiser of The First International School on Type Theory and Term Rewriting '96. Glasgow, UK, September 1996. One special issue has been edited for this school as follows:
• Fairouz Kamareddine and Jan Willem Klop, editors (2000),
  Journal of Logic and Computation volume 10 (3), 2000, Oxford University Press.

For seminars I organised prior to YEAR 2001, see here

Maintained by Fairouz Kamareddine ()