Events, conferences and workshops in which Fairouz Kamareddine has been involved as a chair, PC member or invited speaker
2 February 2015: Types and Functions since Principia and the Computerisation of Language and Mathematics and
5 February 2015: MathLang
Types and Functions since Principia and the Computerisation of Language and Mathematics
Keynote invited speaker and Program committee member of the Third International Symposium on Innovation in Information & Communication Technology, 15-17 December 2009, Philadelphia University, Amman, Jordan. Title: The Computerisation of Information: The challenges and the Pitfalls Abstract, slides.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
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. Here are some fotos.
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.
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:
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 lectures at UNESCO school on Advanced Informatics, Damascus, Syria, 11-25 April 2003. 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:
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
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:
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.
Co-Chair and Co-organiser of The EEF School on Logic and Computation'99. Co-organiser: Professor Don Sannella. Edinburgh, UK, April 1999.
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.
For seminars I organised prior to YEAR 2001, see here
Maintained by Fairouz Kamareddine ()