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

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