Publications by year
Publications by order
Selected talks
Journal Editorships

Cedar Forest

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

YEAR 2018

YEAR 2017

YEAR 2016

YEAR 2015

YEAR 2014

    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

YEAR 2013

YEAR 2012

YEAR 2011

    Invited lectures at the university of Carthage, Tunisia, teaching a course on formal verification for Software together with Professor Tetsuo Ida. December 2011, Tunisia.
    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, LSFA2011 Belo Horizonte, Brazil, August 27th, 2011.

YEAR 2010

YEAR 2009

YEAR 2008

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

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

YEAR 2005

YEAR 2004

YEAR 2003

YEAR 2002

    November 2002, University of Bahrein.
    December 2002, Palestine Polytecnic University, Hebron, Palestine.
    Autumn 2002, Sanaa University and Sanaa University of technology.

YEAR 2001