A.P. Ershov Institute of Informatics Systems
A.P. Ershov Informatics Conference • August, 25 - 27, 2015, Innopolis, Kazan, Russia
PSI'15 at Innopolis
PSI'15 at EasyChear
Jane Hillston
Jane Hillston is Professor of Quantitative Modelling in the School of Informatics at the University of Edinburgh. Her principal research interests are in the design of formal modelling languages, particularly stochastic process algebras, to model and analyse dynamic systems and the development of efficient solution techniques for such models. These models capture both engineered computer systems and naturally occurring systems such as biochemical pathways and the spread of disease within a population. Prof Hillston received the BA and MS degrees in Mathematics from the University of York (UK) and Lehigh University (USA), respectively. She received the PhD degree in Computer Science from the University of Edinburgh in 1994. Her work on the stochastic process algebra PEPA was recognised by the British Computer Society in 2004 who awarded her the first Roger Needham Award. She was elected to fellowship of the Royal Society of Edinburgh in 2007. She is also a fellow of the British Computer Society and a member of the executive committee of Informatics Europe.
Helmut Veith
Helmut Veith is a Professor of Computer Science at Vienna University of Technology, Austria, and an Adjunct Professor at Carnegie Mellon University, Pittsburgh. Prior to his appointment in Vienna, he had professor positions at TU Darmstadt and TU Munich, and was a visiting scientist at Microsoft Research and Carnegie Mellon. Helmut Veith received his PhD from Vienna University of Technology in 1999. He is a coeditor of the forthcoming Handbook of Model Checking, PC co-chair of LPAR 2008, CSL 2010, CAV 2013, and FMCAD 2015, and co-chair of the Vienna Summer of Logic 2014, the largest conference in the history of logic. He has published more than 120 papers in computer-aided verification, software engineering, computer security, and logic in computer science. He is best known for his role in the development of Counterexample-guided Abstraction Refinement (CEGAR) which is a key ingredient in modern model checkers for software and hardware.
David Parnas
David Parnas earned his Ph.D. at Carnegie Mellon University in electrical engineering. Parnas also earned a professional engineering license in Canada and was one of the first to apply traditional engineering principles to software design. He worked there as a professor for many years. He also taught at the University of North Carolina at Chapel Hill (U.S.), the Technische Universität Darmstadt (Germany), the University of Victoria (British Columbia, Canada), Queen's University in Kingston, Ontario, McMaster University in Hamilton, Ontario, and University of Limerick (Republic of Ireland).
Hans-Ulrich Heiss
Hans-Ulrich Heiss received his academic degrees (diploma, doctorate, habilitation) all in Informatics from Karlsruhe Institute of Technology, Germany. He had research and teaching positions at IBM Watson Research Center (Yorktown Heights, NY), University of Helsinki, University of Ilmenau and University of Paderborn. Since 2001 he has been full professor of Computer Science at TU Berlin (Berlin University of Technology). In 2012 he was elected Vice President for education at TU Berlin, a position he still holds. He is also President of the German Council of Faculties in Engineering and Informatics and Vice President of Informatics Europe. His research interests include Operating Systems, Distributed and Parallel Systems, IT-Security, and Performance Evaluation. He also gained experience in curriculum development and quality assurance in informatics, e.g. as founding president of the European Quality Assurance Network for Informatics Education (EQANIE).
May 22, 2015: abstract submission
May 29, 2015: paper submission
May 31, 2015: notification of acceptance
August 25-27, 2015: conference
November 1, 2015: camera ready papers due
PSI Conferences:
PSI'99
Third International Andrei Ershov Memorial Conference
Fourth International Andrei Ershov Memorial Conference
Fifth International Andrei Ershov Memorial Conference
Sixth International Andrei Ershov Memorial Conference
Seventh International Andrei Ershov Memorial Conference
Eighth A.P. Ershov Informatics Conference
Ninth A.P. Ershov Informatics Conference
Tenth A.P. Ershov Informatics Conference
Eleventh A.P. Ershov Informatics Conference
Twelfth A.P. Ershov Informatics Conference
Development: xTech
© 2008-2020 IIS SB RAS