AI-2018 Thirty-eighth SGAI International Conference on Artificial Intelligence. CAMBRIDGE, ENGLAND 11-13 DECEMBER 2018

home | schedule | technical stream | application stream | poster sessions
workshops | proceedings | exhibition | registration | sponsors | organisers
enquiries | social | visa info | venue | accommodation | panel session | special session
ai open mic | information for speakers | previous conferences | letter of invitation

call for papers | paper submission and info for authors | accepted papers
internet access for delegates | walking tour |

BCS

Workshops

The first day of the conference comprises a range of workshops, to be held on Tuesday 11th December. Delegates will find these events to be especially valuable where there is a current need to consider the introduction of new AI technologies into their own organisations.

There will be four half-day workshops, including the Twenty-third UK CBR Workshop. Delegates are free to choose any combination of morning and afternoon sessions to attend. The programme of workshops is shown below. Note that the morning session starts at 11 a.m. to reduce the need for delegates to stay in Cambridge on the previous night. There is a lunch break from 12.30-13.15 and there are refreshment breaks from 14.45-15.15 and from 16.45-17.00.

Workshops organiser: Professor Adrian Hopgood, University of Portsmouth, UK


Stream 1 - Morning (11.00-12.30 and 13.15-14.45 Lubbock Room)

AI for Software Engineering

Chairs:
Alistair McCormick and Dr Joost Noppen, BT Research

Software development as a discipline has come a long way from its early beginnings. Languages have become more sophisticated and expressive and development processes refined to ensure the expertise of the developer is able to shine. Best practices such as automated version control, automated testing and static code analysis have contributed to increased software quality and better insight into development processes. But for all the benefit these tools bring, they come with (at times) a steep learning curve that can prohibit their use in the workplace.

At the same time there has been a rise in software development activities in areas where this was not traditionally done. For example data scientists that distil reasoning models from big data aim to make these available as software tools, but do not necessarily have the expertise or the time to exploit these advanced, best practice software engineering techniques.

The role AI can fill in software engineering is in bridging the gap between current development practice and the accepted, envisioned best practice. This can be achieved by offering automated support for setting up testing and deployment or version managing source files. Bleeding edge software developers familiar with these practices can be assisted by analysis algorithms that can automatically identify as yet unknown bugs and propose fixes. Algorithms can analyse legacy systems and suggest parts that can be turned into Software Product Line assets. In other words, AI can complement the activities of developers to help them gain access to best practice and best-of-class software engineering principles.

In this workshop we explore the landscape of AI in Software Engineering and how close we are to achieving this notion of human-machine-based best practice in development. We feature presentations by Software Engineering researchers who are working on AI algorithms to help developers in a variety of areas, ranging from formal methods to software product line development. In addition we will explore what the infrastructure for AI for Software Engineering looks like and how this can be managed in a large organisation.

Provisional programme:

  1. Software Product Lines (EBTIC, Salwa Alzahmi)
  2. Formal methods in software development (BT Ireland Innovation Centre (BTIIC), Sophie Meachum)
  3. Software Repository Mining (BTIIC, speaker tbc)
  4. A model for operationalising AI (BT, Joost Noppen)

Stream 1 - Afternoon (15.15-16.45 and 17.00-18.30 Lubbock Room)

Semantic Deep Learning: towards transparency and interpretability in Deep Learning "black-box" representations

Chair:
Dr Mercedes Arguello Casteleiro, University of Manchester

Details to follow.


Stream 2 - Morning (11.00-12.30 and 13.15-14.45 Peterhouse Lecture Theatre)

22nd Case-Based Reasoning Workshop - session 1

Chair:
Professor Miltos Petridis, Middlesex University

Please see the UKCBR webpage for further workshop information.

Stream 2 - Afternoon (15.15-16.45 Peterhouse Lecture Theatre)

22nd Case-Based Reasoning Workshop - session 2

Chair:
Professor Miltos Petridis, Middlesex University

Please see the UKCBR webpage for further workshop information.

Stream 2 - Afternoon (17.00-18.30 Peterhouse Lecture Theatre)

To be announced

Chair:
To be announced

AI-2018 Thirty-eighth SGAI International Conference on Artificial Intelligence. CAMBRIDGE, ENGLAND 11-13 DECEMBER 2018

home | schedule | technical stream | application stream | poster sessions
workshops | proceedings | exhibition | registration | sponsors | organisers
enquiries | social | visa info | venue | accommodation | panel session | special session
ai open mic | information for speakers | previous conferences | letter of invitation

call for papers | paper submission and info for authors | accepted papers
internet access for delegates | walking tour |

BCS