Invited Speakers

Gheorghe Paun

Romanian Academy, Romania, University of Seville, Spain

Invited Talk : Membrane computing - a framework for devising feasible solutions to computationally hard problems

Gheorghe PaunGheorghe Paun graduated the Faculty of Mathematics, University of Bucharest, in 1974 and received his Ph.D. in mathematics (with specialization in computer science) from the same university in 1977. He held a research position at the University of Bucharest, and from 1990 he is at the Institute of Mathematics of the Romanian Academy, where he is currently a senior researcher. He visited numerous universities in Europe, Asia, and North America, with frequent and/or longer stays in Turku (Finland), Leiden (The Netherlands), Magdeburg (Germany, including an Alexander von Humboldt fellowship, in 1992-93), Tarragona, Madrid, and Sevilla (Spain, including a Ramon y Cajal scholarship, in 2001-2006), London-Ontario (Canada), Rome, Milano, Pisa (Italy), Tokyo (Japan), Warsaw (Poland), Vienna (Austria), Budapest (Hungary), etc.

His main research areas are formal language theory and its applications, computational linguistics, DNA computing, and membrane computing; this last research area was initiated by him, in 1998, and the respective models are now called P systems, see http://psystems.disco.unimib.it).

He has published a large number of research papers (collaborating with many researchers worldwide), has lectured at over 100 universities, and gave numerous invited talks at recognized international conferences. He has published eleven books in mathematics and computer science (some of them translated in Japanese, Chinese, Russian), has edited over forty collective volumes, and also published many popular science books, books on recreational mathematics (games), and fiction books.

He is a member of the editorial boards of more than a dozen international journals and was/is involved in the program/steering/organizing committees for many recognized conferences and workshops.

In 1997 he was elected a member of the Romanian Academy and from 2006 he is a member of Academia Europaea. He also got other honors, in Romania or abroad.

Cyrille Bertelle

University of Le Havre, France

Invited Talk : Applicative issues from self-orgnaization systems based on social insects modelling

Alaa ShetaCyrille Bertelle is professor in Computer Science in Le Havre University, France. He is director of Le Havre component of LITIS which is the research laboratories aggregation of Computer Science, Information Technologies and Systems in Haute-Normandie region. This research center is labelled by the French Ministery of High Education and Research (EA 4108) and include more than 150 researchers (half of them are professors and assistant professors and half of them are PhD students). Professor Cyrille Bertelle is also co-director of Le Havre University Master of Science in Mathematics and Computer Science. He manages the research orientation of this master (MIASC) specialized in complex systems modelling. He contributes to many international conferences organizations. In next October, he will be the general Chairman of the International Conference ESM'2008 helded at the University of Le Havre. During the past years, he has managed and he will manage the organization of many international workshops: "Emergent Properties in Natural and Artificial Complex Systems" in ECSS 2005, Paris, France, November 2005 and in ECSS 2007, Dresden, Germany, October 2007, "Modeling, Computation and Systems" in IEEE-ICECS 2005, Gamarth, Tunisia, December 2005, "Complex Systems and Self-organization Modelling" in ESM 2006, Toulouse, France, October 2006 and in ESM 2007, St Julian's Malta, October 2007. He has edited 3 books in 2006 for Springer Verlag "Understanding Complex Systems" collection, for ESM 2006 and ESM 2007 conferences proceedings. He will be the editor of two other books for Springer Verlag before the end of 2008.

Prof. Kazumi Nakamatsu

University of Hyogo, Japan

Invited Talk : Extension of Para consistent Annotated Logic Program and its Application to Intelligent Control/Safety Verification

Alaa Sheta Prof. Kazumi Nakamatsu has taken his Doctor of Science from Kyushu University 1999 and been a professor at School of Human Science and Environment, University of Hyogo since 2004. His research focuses on application of formal logics, especially paraconsistent annotated logic program, with applications to computer science area. He has developed a paraconsistent logic program called EVALPSN, and applied it to intelligent control and safety verification for various systems such as railway interlocking safety verification, pipeline valve control, traffic signal control, etc. He has applied a PAT in terms of intelligent process order control based on bf-EVALPSN.

He has published a number of research papers, gave invited talks at several international symposiums and conferences, and chaired some international conferences. He has contributed eleven books and book chapters in paraconsistent annotated logic program and its application. He is the Editor-in-Chief of the International Journal of Reasoning-based Intelligent Systems, a member of the editorial boards of seven international journals, and is involved in the program committees for many conferences.

Eugene Roventa

York University, Canada

Invited Talk: Some Applications of Logic in Medicine Co-autor: Dr. Tiberiu Spircu, Carol Davila University of Medicine and Farmacy, Bucuresti, Romania

Doctor Eugen Roventa is professor at York University, Toronto, Canada from 1986 that means for 22 years. Before1986 he was researcher at Timisoara Academy Base and Ph.D. Assistant Professor at Politehnica University Timisoara. For 3 years he was Invited Professor at Oran University Algeria (1982-1985). He defended his Ph. D. theses in the domain of Applied Mathematics at Timisoara University, Romania. His scientific research fields include Artificial Intelligence (Expert Systems and Knowledge Representation), classical and fuzzy logic, knowledge imperfection representation, and standard and non-standard measures. In 1991, Professor Roventa won the Principal's award for Teaching Excellence at Glendon Faculty, York University. He also acted as the chair of Computer Science Department at Glendon for more than 10 years. In 2000 he was awarded with the Honorary Professor title at "A. Vlaicu" University of Arad (AVU) for his valuable contribution to academic teaching and scientific research and starting with 2004 he was named Honorary Professor of Oradea University. Starting with 2003 he is full Professor at Automation and Applied Computer Science at AVU where he teaches courses in English in the fields of Artificial Intelligence and Prolog. Professor Roventa is author and coauthor of several books and scientific articles published in national and international journals. The most recent books include Elements de logique pour l'informatique, GREF, Toronto, and together with Prof. M. Reghis, "Classical and Fuzzy Concepts in Mathematical Logic and Applications", CRS Press, USA. In 2008 there will appear in Springer-Verlag Publishing House (together with Professor T. Spircu) the book "Management of Knowledge Imperfection in Building Intelligent Systems". Starting with 2002 Professor Roventa acts as Founding President of ACRUPO (Association of Canadian-Romanian University Professors in Ontario). In 2006 he was proposed by a group of Canadian professors as Romanian Honorary Consul in Canada regarding cultural and academic activities. In 2008, professor E. Roventa was elected Rector of 'A. Vlaicu' University of Arad (AVU).

Prof. Dr. Dan Dumitrescu

Babes Bolyai University, Cluj-Napoca, Romania

Invited Talk : Evolutionary equilibrium detection in dynamic non-cooperative games

Dan Dumitrescu











Alaa Sheta

Al-Balqa Applied University, Salt, Jordan

Invited Talk : Sensor Technology for Landmine Detection Problem: Overview and Challenges

Alaa ShetaAlaa Sheta received his B.S., M.S. degrees in Electronics and Communication Engineering from Faculty of Engineering, Cairo University in 1988 and 1994, respectively. A. Sheta received his Ph.D. degree from the Computer Science Department, School of Information Technology, George Mason University, Fairfax, VA, USA. Currently, Dr. Sheta is working with the Information Technology Department, Prince Abdullah Bin Ghazi Faculty of Science and Information Technology, Al-Balqa Applied University, Al-Salt, Jordan since October 2004. He is also the Dean Assistant for Planning and Development since October 2006. His research interests include Modeling and Simulation of Dynamical Nonlinear Systems, Robotics, Evolutionary Computation, Automatic Control, Fuzzy Logic, and Neural Networks. Dr. Sheta served as a chair or co-chair for number of workshops and special session within international conferences in the area of Computer Science and Engineering. He has been an invited speaker in numerous national and international conferences.