COSI - Summer School on Decision Aiding
23-24 Mai 2009
Université Badji Mokhtar, Annaba, Algeria
Sponsored by Microsoft Research through Microsoft Inspire Program
Speakers
- Pr. Boualem Benatallah, University of NSW, Sydney (Australia) (bio)
- Dr. Souhila Kaci, CRIL, IUT Lens (France) (bio)
- Pr. Aris M. Ouksel, University of Illinois at Chicago (USA) (bio)
- Pr. Lakhdar Sais, CRIL, Université d’Artois (France) (bio)
- Pr. Pierre Spiteri - IRIT / ENSEEIHT - UMR CNRS (France) (bio)
- Pr. Laurent Trilling, Université Joseph Fourier, Grenoble I (France) (bio)
Boualem Benatallah is professor in
the School of Computer Science (CSE), University of New South Wales
(UNSW, Sydney, Australia). His main research interests are developing
fundamental concepts and techniques in Web service composition and
engineering. He has published more than 130 refereed papers including
33 journal papers. Most of his papers appeared in very selective and
reputable conferences and journals. He is frequently invited to give
keynote talks and tutorials on service computing in international
conferences. Boualem has been PC chair of three main international
conferences (BPM'05, ICSOC'05, WISE'07). He is the general chair of
ICSOC'08 to be held in Sydney. He has acted as a key official (tutorial
chair, workshops chair, publication chair, area chair) for several
international conferences. He has been guest editor of five special
issues for reputable international journals including ACM TOIT. He has
been a PC member of all the reputable international conferences
including VLDB, ICDE, WWW, EDBT, MDM, ICSOC, ICWS and ER. He is member
of the steering committee of BPM and ICSOC. He is on the editorial
board of numerous international journals. He was visiting Professor at
INRIA-LORIA, Claude Bernard University (France), University of Blaise
Pascal (Clermont Ferrand, France), University of Trento (Italy, 2007).
As chair of the CSE research committee, he was member of the team
(comprising multiple university, government and industry partners) that
constructed the successful bid for the new Smart Services CRC, which
was awarded $30m in federal funding in 2007.
Souhila Kaci obtained an
engineering degree on computer science in 1998 from National
Institute on Computer Science (Institut National en Informatique,
Algiers, Algeria), a PhD in
2002 from "Université Paul Sabatier" (Toulouse). Since 2003, she
is associate professor
("Maître de conférences") at CRIL-IUT de Lens. Her
research interest include knowledge and
preference representation, reasoning about/with preferences, decision,
judgment aggregation,
merging, revision, inconsistency handling. For more details, see
http://www.cril.univartois.
fr/~kaci/
Aris M. Ouksel received the M.Sc.
and the PhD degrees in computer science from Northwestern University in
Evanston, Illinois in 1985. After four years abroad, teaching and
consulting in information technology and strategic planning and
transfer, he joined the College of Business Administration at the
University of Illinois at Chicago, and was for several years the
Director of the Management Information Systems PhD program and the
Center for Management of Information Technology and Telecommunications
in the same college. Dr. Ouksel also holds an appointment at the
Computer Science department.
Lakhdar Sais obtained an
engineering degree on computer science in 1988 from the National
Institute on Computer Science ("Université de Tizi-Ouzou",
Algeria), a Ph.D ("Doctorat") in 1993 from the "Université de
Provence" (Marseille) and an "Habilitation à Diriger des
Recherches" from the "Université d'Artois" in 2000. In 1994, I
joind the "IUT de Lens" as a lecturer ("Maitre de conférences")
at the begining of the creation of the CRIL research center ("Centre de
Recherche en Informatique de Lens"). Before my current position as a
professor at CRIL-CNRS "Université d'Artois", I spent one year
as a professor at IRIT «Université Paul Sabatier »
(Toulouse, France). Currently, I am a leader of the Inference and
decision process group at CRIL and a scientific leader of the INRIA
MARS project. My research focuses on search and representation problems
in Artificial Intelligence. I am specialy interested in proposional
satisfiability, quantified boolean formula, constraint satisfaction
problems, knowledge representation and reasoning. Lakhdar Saïs is
the editor of the first french book on Satisfiability
« Probème SAT : Progrès et
Défis » published by Hermes in 2008. He made several
contributions to Satisfiability and Constraint Satisfaction Problem,
published in the most selective internaional confernces and journals
(for more details please see my home page :
http://www.cril.fr/~sais).
Pierre Spiteri . Full Professor in
ENSEEIHT - National Polytechnic Institut of Toulouse. Education:
Graduated in Mathematics at the University of Besancon (1968 - 1984).
Career/employment: At the Faculty of Sciences of the University of
Besancon : engineer in the Computer Center of the University 1970 -
1980 and then Associated Professor 1980 - 1985 . At the Ecole nationale
Supérieure d’Electronique, d’Electrotechnique, d’Informatique,
d’Hydraulique and Telecommunication of Toulouse ( ENSEEIHT ) of the
National Polytechnic Institut of Toulouse ( INPT ) Professor 1985 -
2008. Professor emerite since 01/09/2008. Teaching Activities: Computer
Sciences for economists , physicists , mathematicians: 1972 - 1983 ;
Elementary Numerical Analysis for physicists 1972 - 1976 and 1982 -
1984 ; Numerical Analysis for mathematician 1980 - 1986 – Probability
Calculus 1986 - 1990 - Mathematical Analysis for physicists 1986 - 1990
- Mathematical Analysis for Engineering (Optimization and PDE) 1990 -
2008 - Numerical methods for PDE 1986 - 2008 - Parallel methods for non
linear PDE 1990 - 2008 - Financial mathematics 1997 – 2008. Domain of
Research: Parallel algorithms and analysis for large scale systems .
Current research interest : Applications to the numerical solution by
parallel algorithms of non linear boundary value problems -
Optimization and implementation of parallel schemes. Other research
interests: Optimal Control for large scale process and Liapounov
stability of large scale systems for non linear evolution problems.
Application to various applications (Fluid mechanic, Financial
mathematics, Image processing, ...). Publications/conferences: About
forty important articles published in international refereed journals
and about twenty five papers published in proceedings of several
international conferences and books. About seventy five communications
in national and international conferences in parallel processing and
applied numerical mathematics. see
http://www.irit.fr/publications.php3?code=300&nom=Spitéri%20Pierre
Laurent Trilling. Professeur à l'Université Joseph Fourier de Grenoble. Précédemment à l'Université de Rennes (70-87) et à l'Université de Montréal (67-70). A aussi enseigné significativement à l'EPFL (Lausanne) et à l'ENSL (Lyon). Intérêts initiaux en recherche : langages de programmation de haut niveau, techniques de compilation, parallélisme. Puis Intelligence Artificielle, plus spécialement sur les aspects formalismes (logiques non standard), algorithmiques (démonstration automatique), outils (programmation logique avec contraintes) et applications (constructions géométriques, planification d'ateliers). Intérêt en bioinformatique depuis 1998, à l'heure actuelle sur la modélisation et l'analyse avec une approche déclarative des réseaux de régulation biologiques.