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

YEAR 2024

Program Chair of the 26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2024), September 16-19 2024 in Timișoara, Romania.

Programme Committe member of the 2024 17th Conference on Intelligent Computer Mathematics CICM 2024, August 5 - 9, 2024. Montréal, Quebec, Canada

Publication Chair of 4th International Artificial Intelligence and Blockchain Conference (AIBC 2024) The University Of Tokyo, Japan, September 11-13, 2024

Conference Programme Co-Chair the 2nd International Conference on Information Network and Computer Communications (INCC 2024), Hong Kong during November 08-10, 2024.

Programme co-chair of the 2024 8th International Conference on Computing and Data Analysis ICCDA 2024, October 25-27, 2024. hosted by Wenzhou University of Technology, China.

Plenary Speaker at the International Summit on Robotics and Artificial Intelligence ISRAI2024, August 26-28, 2024. Valencia, Spain. Here is the program.

Publicity Co-Chair of the 2024 7th International Conference on Big Data Technologies (ICBDT 2024), Hangzhou, China during September 20-22, 2024.

Publicity Chair of the 2024 International Conference on Electrical, Information and Communication Engineering CEICE 2024, March 08-10, 2024. Shanghai, China.

Program Chair of the 2024 12th International Conference on Knowledge Discovery ICKD 2024, March 8-10, 2024, Macau S.A.R, China.

Publicity Chair of the 2024 International Conference on Advances in Computer Technology, Information Science and Communications CTISC 2024, April 26-28, 2024. Sanya, China.

Program committee Member of the 2024 International Conference on Advanced Control, Automation and Robotics (ICACAR 2024), Beijing, China on May 24-26, 2024. Hosted by The Hong Kong Society of Robotics and Automation (HKSRA).

Steering Chair of the 2024 5th International Conference on Computing, Networks and Internet of Things CNIOT 2024, May 24-26, 2024, Tokyo, Japan.

Publication Chair of the 5th International Conference on Computater Information and Big Data CIBDA 2024, April 26-28, 2024 in Wuhan, China.

Publication Chair of the 2024 International Conference on Mathematics, Computation and Modeling CMCM 2024 (also in CMCM 2023), March 15-17, 2024. Chengdu, China.

YEAR 2023

Invited Speaker of the 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing SYNASC 2023, September 11-14 2023 in Nancy, France.

Programme Committe member of the 2023 16th Conference on Intelligent Computer Mathematics CICM 2023, September 4-8, 2023, Cambridge, England

Invited Keynote Speaker and publication chair of the 2023 3rd International Conference on Computational Modeling, Simulation and Data Analysis CMSDA 2023 December 22-24, 2023 in Sanya, China.

Invited Speaker of The International Conference on Applied Statistics, Modeling and Advanced Algorithms 2023 ASMA2023, Qingdao, China on July 28-30, 2023.

Programme Committe member of the 2023 18th Logical and Semantic Frameworks with Applications LSFA 2023, 1-2 July 2023, Rome, Italy.

General Co-chair of the 5th International Conference on Computer Systems and Communication Technology ICCSCT 2023. November 24-25 2023 in Kuala Lumpur, Malaysia

Conference Program Co-chair of the 4th Asia Conference on Computers and Communications ACCC2023. December 15-17 2023 in Shanghai, China.

Techincal Programme Committe Chair of The International Conference on Applied Statistics, Modeling and Advanced Algorithms 2023 ASMA2023, Qingdao, China on July 28-30, 2023.

Techincal Programme Chair of 2023 6th International Conference on Computing and Big Data(ICCBD 2023) Shanghai, China on October 27-29, 2023.

Publication Chair of the 2023 6th International Conference on Data Science and Information Technology (DSIT 2023), Shanghai, China, July 28-30, 2023.

Technical Committee Member of the 2023 International Conference on Advanced Control, Automation and Robotics (ICACAR 2023), Beijing, China on April 14-16, 2023. Hosted by The Hong Kong Society of Robotics and Automation (HKSRA).

Conference Technical Committee member of the 15th International Conference on Computer and Automation Engineering (ICCAE 2023) Sydney, Australia, March 3-5, 2023. I

Programme Committee member of 4th International Artificial Intelligence and Blockchain Conference (AIBC 2023) University of Aizu in Aizu-Wakamatsu, Japan, 27-29 October, 2023.

International Program Committee member of 7th International Conference on Computer Science and Artificial Intelligence (CSAI 2023) December 8-10, 2023 in Beijing, China. Here is the program and brochure.

International Technical Program Committee member of 2023 International Conference on Automation, Control and Electronics Engineering (CACEE 2023) Chongqing, China, October 20-22, 2023.

YEAR 2022

Programme Committe member of the 2022 15th Conference on Intelligent Computer Mathematics CICM 2022, September 19 - 23, 2022, Tbilisi, Georgia

Publication Chair of 2022 4th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2022), Suzhou, China during April 22-24, 2022.

Technical Committee Member of 2022 International Conference on Frontiers of Mathematics and Artificial Intelligence (CFMAI 2022), Beijing, China on December 16-18, 2022, hosted by The Hong Kong Society of Robotics and Automation (HKSRA).

Technical Committee member of the 2022 14th International Conference on Computer and Automation Engineering (ICCAE 2022), Brisbane, Australia during March 25-27, 2022.

Technical Program Committee Member of the 2022 5th International Conference on Data Science and Information Technology (DSIT 2022), Shanghai, China, July 22-24, 2022

Technical Program Committee Member of the 2022 6th International Conference on Algorithms, Computing and Systems (ICACS 2022), Larissa, Greece, September 16-18, 2022.

Technical Program Committee Member of the 2022 5th International Conference on Big Data Technologies (ICBDT 2022), Qingdao, China during September 23-25, 2022.

Technical Program Committee Member of the 2022 3rd International Conference on Electronics, Communications and Information Technology (CECIT 2022), Dec. 23-25, 2022, Sanya, China.

Technical Program Committee Member of the the 6th International Conference on Computer Science and Artificial Intelligence (CSAI 2022), December 9-11, 2022, Beijing China.

YEAR 2021

Programme Co-Chair of the 2021 14th Conference on Intelligent Computer Mathematics CICM 2021, also co-chaired by Claudio Sacerdoti Coen and organised by Madalina Erascu in Timisoara, Romania, during July 26-31, 2021.

Program co-chair of 4th International Conference on Intelligent Technologies and Applications, INTAP 2021, OCTOBER 11–13, 2021 | GRIMSTAD, NORWAY.

Technical Committee member of the 2021 International Joint Conference on Automation Science and Engineering JCASE 2021, organised by the Hong Kong Society of Robotics and Automation (HKSRA), January 13-15, 2021, Shenzhen, China.

Technical Committee member of the 2021 Asia Conference on Electronic Engineering ACEE 2021 organised by the the Asia Society of Researchers, March 5-7, 2021, Beijing, China.

Technical Committee member of the 2021 13th International Conference on Computer and Automation Engineering (ICCAE 2021), Melbourne, Australia during March 20-22, 2021.

Technical Programme Committee member of the 2021 4th International Conference on Data Science and Information Technology (DSIT 2021), Shanghai. China, during July 23-25, 2021,

Publicity Chair of 2021 International Conference on Control, Robotics and Intelligent System (CCRIS 2021), 20-22 August 2021, Qingdao, China.

Program Committee Member of 2021 Asia Conference on Computers and Communications, September 24-27, 2021. Singapore.

Technical Program Committee member of 2021 4th International Conference on Algorithms, Computing and Systems (ICACS 2021) Sept. 24-26, 2021, Xi'an, China

YEAR 2020

Program co-chair of International Conference on Intelligent Technologies and Applications, INTAP 2020, SEPTEMBER 28–30, 2020 | GJØVIK, NORWAY.

Program Committee Member of 13th Conference on Intelligent Computer Mathematics, CICM 2020, July 26 - 31, 2020, Bertinoro, Forli, Italy.

Program Committee Member of 2020 Asia Conference on Computers and Communications, September 18-20, 2020. Singapore.

Program Committee Member of WoLLIC 2020, 27th Workshop on Logic, Language, Information and Computation, August 4th to 7th, 2020, Lima, Peru

Publicity Chair of 5th International Conference on Big Data and Computing, May 8-10, 2020 in Wuhan, China.

Invited Speaker at 3rd International Conference on Modern Mathematical Methods and High Performance Computing in Science and Technology, 9-11 January 2020, Inderprastha Engineering College, INDIA

Technical Program Committee member of 2020 4th International Conference on Algorithms, Computing and Systems (ICACS 2020) Berlin, Germany, September 26-28, 2020.

Technical Committee member of the 2020 12th International Conference on Computer and Automation Engineering (ICCAE 2020), Sydney, Australia during February 14-16, 2020.

Technical Committee member of the 2020 International Joint Conference on Automation Science and Engineering JCASE 2020 , organised by the Hong Kong Society of Robotics and Automation (HKSRA), January 13-15, 2020, Athens, Greece.

Publicity Chair of 2020 International Conference on Control, Robotics and Intelligent System (CCRIS 2020), 27-29 October 2020, Xiamen, China.

Technical Committee member of 2020 International Conference on Advanced Information Science and System (AISS 2020), November 18-20, 2020, Tokyo, Japan.

YEAR 2019

PC member of 2019 edition of the annual Conference on Mathematical Foundations of Informatics , July 3-6 2019, Iasi, Romania.

Program co-chair of International Conference on Intelligent Technologies and Applications, INTAP 2019, OCTOBER 16-18, 2019, Bahawalpur, Pakistan.

Technical Committee member of 2019 International Conference on Frontiers of Mathematics and Artificial Intelligence (CFMAI 2019), December 12-14, 2019, Bangkok, Thailand.

Technical Committee member of 2019 International Conference on Advanced Information Science and System (AISS 2019), November 15-17, 2019, Singapore.

Invited Speaker, the XI Summer Mathematics Workshop, 18-22 February 2019, Brasilia, Brasil.

PC member of NCCTA’2019 (National Conference on Computer Technologies and their Applications), Saida University, Algeria, December 4-5, 2019.

Programme Committee member of 12th Conference on Intelligent Computer Mathematics CICM 2019 July 8-12, 2019, Prague, Czech Republic.

Programme co-chair of International Conference on Computing for Society, ICoS 201920 -22 February, 2019 Bahawalpur, Pakistan. Here is the call for papers of the special issue.

International Advisory Committee Member of 4th International Conference on Big Data and Computing, May 10-12, 2019 in Guangzhou, China.

YEAR 2018

PC member of 2018 edition of the annual Conference on Mathematical Foundations of Informatics , July 2-6 2018, Chisinau, Republic of Moldova.

Program co-chair of International Conference on Intelligent Technologies and Applications, INTAP 2018, Proceedings are edited in a springer book, OCTOBER 23–25, 2018, Bahawalpur, Pakistan.

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

PC member Conference on Mathematical Logic 10–11 August 2018, Niterói, Brazil.

Technical Program Committee Member of the second International Conference on Smart Digital Environment June 28-30, 2018, Rabat, Morocco.

Program Committee member 2018 International Conference on Big Data and Computing. April 28-30, 2018, Shenzhen, China.

YEAR 2017

Invited Keynote Speaker XVIII Brazilian Logic Conference (EBL 2017), May 8-12, 2017 – Pirenópolis / GO, Brazil.

Technical Program Committee Member of the First International Conference on Smart Digital Environment July 21-23, 2017, Rabat, Morocco.

Co-Chair of the Conference committee of of The 2017 International Conference of Computer Science and Engineering at the World Congress on Engineering 2017 London, UK, 5-7 July 2017.

YEAR 2016

Technical Program Committee of 10th IEEE 2016 International Conference on Open Source Systems & Technologies, IEEE ICOSST 2016, 8 -- 12 June 2016 - London UK.

PC member, Science and Information Conference 2016, September 20-22, 2016, London, UK and of Future Technologies Conference 2016, 6-7 December 2016, San Francisco, USA.

PC member, Workshop on Foundations of Informatics, Chisinau, Republic of Moldova, August 25-29, 2016.

Co-Chair of the Conference committee of of The 2016 International Conference of Computer Science and Engineering at the World Congress on Engineering 2016 London, UK, 29 June-1 July 2016.

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

YEAR 2015

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

PC member, PAS 2015, Fourth International Seminar on program Verification, Automated Debugging and Symbolic Computation Beijing, China, October 21-23, 2015.

PC member, Workshop on Foundations of Informatics, Chisinau, Republic of Moldova, August 24-29, 2015.

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

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

PC member, Science and Information Conference 2015, November 10-11, London, UK.

YEAR 2014

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

Invited speaker delivering 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. Talk1-slides.pdf and Talk2-slides.pdf. Some fotos

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

Program committee member of the 9th Workshop on Logical and Semantic Frameworks, with Applications , 8-9 September 2014, Brasilia D.F., Brazil

Program committee member of the Fifth International Symposium on Innovation in Information & Communication Technology, 2014, Philadelphia University, Amman, Jordan.

YEAR 2013

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

PC member, The 5th International Symposium on Symbolic Computation in Software Science - SCSS 2013. Castle of Hagenberg, Austria, at the Research Institute for Symbolic Computation (RISC) of the Johannes Kepler University Linz. July 5-6 2013.

PC member, Science and Information Conference 2013 , October 7-9 2013. London, UK.

Invited Speaker, Foundations of Mathematics for Computer-aided formalization January 9-11 2013. Padova, Italy. slides.pdf. Some fotos

YEAR 2012

Programme Committee Chair, International Symposium on Symbolic Computation in Software Science, SCSS 2012, Gammarth, Tunisia December 15-17, 2012.

PC member and 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

Organiser of the The Watt Workshop on Symbolic Computation Saturday 22 September 2012, Edinburgh, Scotland

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

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

Programme Committee member of the HAPOP12 Symposium on the History and Philosophy of Programming, Birmingham, UK, July 2-6 2012. co-located with AISB/IACAP World Congress 2012 - Alan Turing 2012, 2-6 July 2012

Member of the Research Advisory Board of the Doctoral Programme of CICM 2012. Bremen, Germany, 9-14 July 2012.

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

YEAR 2011

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, 7-10 November 2011, Gent, Belgium.

Invited speaker at the Workshop on Logic and Computer Science . Kurt Goedel Research center, Vienna, Austria, 24-25 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, 6-9 January 2011, New Orleans, USA. slides.pdf.

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

Program committee member of MathWikis-2011, ITP 2011 Workshop on Mathematical Wikis (MathWikis-2011) on August 27, 2011 in Nijmegen, the Netherlands, 2011.

Program committee member of Mathematical Knowledge Management, MKM, 2011. Bertinoro, Forli (ITALY), 18-23 July 2011.

Program committee member of Rewriting Techniques and Applications, RTA, 2011. Monday, May 30, 2011 to Wednesday, June 1, 2011, Novi Sad. Part ofRDP'11

Program Committee member, Intelligent Semantic Web - Applications and Services 2011 (ISWSA2011) Conference, 19-21 April 2011, Amman, Jordan.

Co-Chair of the Conference committee of The 2011 International Conference of Computer Science and Engineering, at the World Congress on Engineering 2011 London, UK, 6 - 8 July 2011.

Program Committee member, LSFA2011 Belo Horizonte, Brazil, August 27th, 2011.

YEAR 2010

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

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

Conference chair and program committee member of Rewriting Techniques and Applications, RTA, 11-13 July 2010. A satellite event of FLOC 2010. 9-21 July 2010, Edinburgh, Scotland.

Program committee member of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, September 23-26, 2010

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

Program Committee member, Fourth Workshop on Logical and Semantic Frameworks, with Applications, LSFA'10. 31 August 2010. Natal, Brasil.

Program Committee member, Intelligent Semantic Web - Applications and Services 2010 (ISWSA2010) Conference, 14-16 June 2010, Amman, Jordan.

YEAR 2009

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.

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 2009 International Conference of Computer Science and Engineering, at the World Congress on Engineering 2009 London, UK, 1-3 July 2009.

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 speaker at VII seminario informal (mas formal!) do grupo de teoria de computacao da UNB - GTC/UNB . Departamento de Matematica. Auditorio do Departamento de Matematica/UNB, 12 November 2009. Title: Typed lambda Calculus and Formalising Mathematics a la de Bruijn. Here are the slides.pdf

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.

King Hussein fund for excellence to the following universities in Jordan: University of Petra, University of Al-al-Bayt, Zarka Private University, Applied Science Private University.

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

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

November 2002, University of Bahrein.

December 2002, Palestine Polytecnic University, Hebron, Palestine.

Autumn 2002, Sanaa University and Sanaa University of technology.

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

King Hussein Fund visits to Jordan, May 2001. Al-albayt University and Zarka University.


---

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 ()