INVITED SPEAKERS (Partial list)
| John Clark | University of York, UK |
| Michel Minoux | University of Paris VI, France |
| Pham Hoang | Rutgers University |
| Marc Schoenauer | INRIA, France |
| Christophe Schnoerr | University of Heildelberg, Germany |
John Clark
A Multicriteria Optimisation Based Future for Security: from Crypto Primitives to Trust in MANETs
University of York, UK
http://www-users.cs.york.ac.uk/~jac/
Abstract:
Optimisation approaches have shown great success in a variety of domains. Arguably the topic is "security". This talk reprises extant successes in this increasingly important field and outline areas of significant interest that seem little attacked. There is ample opportunity to work across disciplines and the aim of the talk is to stimulate discussion and to inspire such work. The talk will highlight various problems that could act as benchmarks and indicates where some leading edge security work is going. A traditional benefit of invited talks includes the freedom to engage in rank speculation. There will be some!
Brief bio:
After graduating in mathematics and completing postgraduate work in applied statistics John Clark joined the security division of the software and systems house Logica. After working in security evaluation and then security research and development he left to join the University of York as CSE lecturer in Safety Critical Systems. He is now Professor of Critical Systems and leads teams of researchers working in security and software engineering. Optimisation based approaches have played a large part in his research career, with applications including software test data generation, evolution of pseudorandom number generators, synthesis of secure protocols, cryptanalysis and search based approaches to intrusion detection for resource constrained platforms. He is author of over 100 research papers since 1998. Other recent interests include automated scribal identification for medieval manuscripts.
Michel Minoux
Closures of disjunctive relaxations and valid inequalities for mixed integer problems and applications
University of Paris VI, France
Abstract:
Valid inequalities deduced from the elementary closure of Lift-and-Project cuts have provided an efficient way of computing bounds of good quality for some classes of mixed integer programming problems such as the maximum 2-satisfiability problem (MAX-2SAT), as shown by Bonami and Minoux (2006). In the present talk, we will first recall how the structure of the optimization problem over this elementary closure can be exploited to generate, in an efficient way, strong valid inequalities. We will then discuss connections with other types of relaxations (such as Sherali-Adams), together with possible extensions of the approach using higher rank disjunctive relaxations. Some preliminary computational results will be shown to illustrate the potential interest and the difficulties related to the practical use of such relaxations
Pham Hoang
The Reliability Challenges of Integrating Laboratory and Operating Environments
Department of Industrial and Systems Engineering
Rutgers University
New Jersey USA
www.rci.rutgers.edu/~hopham
Abstract:
The traditional mathematical reliability modeling and its calculations have been commonly carried out through various reliability measures within a controlled laboratory-test environment. The operating environments are often unknown and yet different due to the uncertainties of environments in the field. This talk discusses the research challenges and approaches of how to take account the randomness of the operating environments into reliability modeling and optimization covering system failure in the field.
Brief bio:
Dr. Hoang Pham is Professor and Chair of the Department of Industrial and Systems Engineering at Rutgers University, New Jersey, USA. Before joining Rutgers, he was a senior engineering specialist at the Boeing Company, Seattle, and the Idaho National Engineering Laboratory, Idaho Falls. Dr. Pham’s research lies in reliability and maintenance computing, and bioenvironmental risk assessment. He received the B.S. degree in mathematics, B.S. degree in computer science, both with high honors, from Northeastern Illinois University, Chicago, the M.S. degree in statistics from the University of Illinois, Urbana-Champaign, and the M.S. and Ph.D. degrees in industrial engineering from the State University of New York at Buffalo. He is the author of 4 books and over 200 journal articles, conference papers and book chapters. He has edited 10 books, 2 handbooks and more than 25 conference and workshop proceedings. He is the editor-in-chief of the /International Journal of Reliability, Quality and Safety Engineering/, associate editor of the /IEEE Trans. on Systems, Man and Cybernetics,/ and an editorial board member of a dozen journals/. /He is also the editor of Springer Series in Reliability Engineering and World Scientific Series in Industrial and Systems Engineering. He has been conference chair and program chair of over 30 international conferences and workshops. He is a fellow of the IEEE.
Marc Schoenauer
Evolutionary Continuous Optimisation
INRIA Saclay
Ile-de-France
http://www.lri.fr/~marc/
Abstract:
The evolutionary algorithms for continuous optimization have today reached an unquestionable maturity through algorithm CMA-ES (Covariance Matrix Adaptation Strategy Evolution). This talk will present this method and the experimental results which permit to delimit the domain of application where it represents the best choice of method of optimization for continuous variables.
Brief bio:
Marc Schoenauer is Senior Researcher (Directeur de Recherche) at INRIA, the French National Institute for Research in Computer Science and Control, since 2001, where he is now co-heading the Machine Learning and Optimization team (TAO). He graduated in Applied Maths at Ecole Normale Superieure in Paris in 1981, and then became Research Scientist at CNRS in the Applied Maths Lab at Ecole Polytechnique. He has been working in the field of Evolutionary Computation since the early 90s, and his main interests are applications of evolutionary methods to engineering and Data Mining problems. He is Editor in Chief of the MIT Press journal Evolutionary Computation, Senior Fellow and Member of the Executive Board of the former ISGEC, now known as the ACM-SIGEVO (Special Interest Group on EVOlutionary Computation).
Christophe Schnoerr
Imaging and Optimization in Experimental Fluid Mechanics
Image & Pattern Analysis Group
University of Heildelberg
http://ipa.iwr.uni-heidelberg.de/dokuwiki/doku.php
Abstract:
To be posted