The algebraic approach to system specification encompasses many aspects of the formal design of software systems.
Originally born as a formal method for reasoning about abstract data types, it now covers new specification frameworks and programming paradigms (such as object-oriented, aspect-oriented, agent-oriented, logic and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed and mobile systems). The workshop will provide an opportunity to present recent and ongoing work, to meet colleagues, and to discuss new ideas and future trends.
Typical, but not exclusive topics of interest are:
The workshop takes place under the auspices of IFIP WG 1.3.
This occurrence of the ADT workshop will be preceded by the Leverhulme School on Graph Transformation Techniques. The school will take place over three days, from Friday, June 29th, to Sunday, July 1st.
The scientific programme of the workshop will include presentations of recent results and ongoing research.
The presentations will be selected by the Steering Committee on the basis of submitted abstracts according to originality, significance and general interest. The abstracts must be up to two pages long including references. If a longer version of the contribution is available, it can be made accessible on the web and referenced in the abstract.
After the workshop, authors will be invited to submit full papers for the refereed proceedings. All submissions will be reviewed; selection will be based on originality, soundness and significance of the presented ideas and results. The proceedings will be published as a volume of Lecture Notes in Computer Science (Springer). The deadline for submissions will be September 3, 2018, with notifications by October 29. Camera-ready versions will be required by November 11.
There are three registration options, depending on your choice of accommodation. The accommodation usually includes breakfast and dinner; the lunches, as well as a banquet on the 3rd of July, are provided by the conference.
In addition, we have a limited number of reduced-rate places (£350, including standard accommodation) for students or young researchers who would like to attend WADT 2018.
These places are limited to early registration before the 8th of June. To apply for a reduced-rate place, please contact the organizers at wadt18 [at] cs.rhul.ac.uk.
The WADT bursaries have been allocated, but you may ask to be considered should any become free.
Registration should take place before the 15th of June 2018.
To register, plese visit the Royal Holloway online store.
In case you have any special dietary requirements, please contact the organizers.
Ludwig Maximilian University of Munich
Rolf Hennicker has studied Mathematics at LMU Munich. He recieved his Ph.D. degree in Informatics at the University of Passau and later his Habilitation degree at LMU Munich. During that period he worked in close collaboration with Michel Bidoit on observability concepts in algebraic specifications and was several times visiting professor at École Normale Supérieure de Cachan. Since 2001 he is member of the IFIP Working Group 1.3 "Foundations of System Specification". Rolf Hennicker became Professor for Computer Science at LMU Munich in 2004 and Academic Director at LMU in 2008. From 2000 to 2010 he was leader of the Computer Science group of the German research project GLOWA-Danube dealing with environmental simulations. His main research focus is on formal methods in software development with an emphasis on reactive components, algebraic specifications, object-oriented software engineering and, more recently, ensemble-based systems.
Artur d'Avila Garcez
City, University of London
Artur Garcez is Professor of Computer Science at City, University of London. He holds a Ph.D. in Computing (2000) from Imperial College London. He is a Fellow of the British Computer Society (FBCS), member of the ACM, AAAI, IEEE, CGCA, and partner at Performance Systems, Rio de Janeiro, and Cognitive Intelligence, London. Garcez is Director of the Research Centre for Machine Learning at City, president of the Steering Committee of the Neural-Symbolic Learning and Reasoning Association, London, and founding director of City's MSc in Data Science.
University of Osnabrück
Kai-Uwe Kühnberger, Ph.D. is Professor for Artificial Intelligence at the University of Osnabrück. Kai-Uwe is interested in logic, algebraic and coalgebraic methods, theory of neural networks, theory of anti-unification, heuristic-driven theory projection, and information theory. Applications he is interested in are: ontology design, analogical reasoning, neural-symbolic integration, knowledge representation, (non-classical) inferences, natural language semantics, natural language processing, ICALL systems, and philosophical foundations of AI.
Polytechnic University of Catalonia
Fernando Orejas joined the Universitat Politècnica de Catalunya (UPC) as Associate Professor in 1980. Since 1987 he is Full Professor (Catedrático) at the same University. Previously, he was assistant at the Universidad Complutense in Madrid. He had visiting research positions at the University of Nancy, École Normale Supérieure in Paris and at the Technical Univ. Berlin. Fernando's research has been centred on several theoretical aspects of Software Design, including Algebraic Specification, Term Rewriting, Logic Programming, Graph Transformation, and Model Transformation, having published over 150 papers and supervised 12 PhD thesis. In 2015 he received the Spanish National Award in Computer Science "Jose García-Santesmases". Fernando is founding member of the European Association on Software Science and Technology and Spanish National representative before its Advisory Committee. He is also founding member of IFIP WG 1.3 (Foundations of System Specification). He is (or has been) member of the Steering Committees of several international conferences having served as member of the program committee, sometimes as the chair or co-chair, of over 100 conferences in his areas of research.
Official RHUL information about WADT arrival will be available after the end of the registration period.
WADT 2018 will be organized by and held at Royal Holloway University of London in the historic town of Egham, which lies between London and Windsor.
A campus map is available in PDF or your favourite online map.
The Royal Holloway Conference Service provides up-to-date travel information. We summarise this information below.
On-campus accommodation will be guaranteed, as follows, depending on the registration option selected:
If you have any questions or inquiries about wadt2018 you can contact us
Copyright © 2018 wadt2018.