Doctoral Symposium

The (A)ISoLA Doctoral Symposium is a forum for young researchers who are looking for valuable scientific feedback and networking opportunities. Master and PhD students are invited to present their research ideas and projects, discuss them with the scientific community, and establish collaborations in their field of research.

The Doctoral Symposium invites contributions on all topics in the scope of (A)ISoLA, including (but not limited to):

  • AI-assisted system specification, verification, maintenance and evolution
  • Deduction and model-checking
  • System specification, construction and transformation
  • Program analysis and verification
  • Composition and refinement
  • Testing and test-case generation
  • Software system certification
  • System maintenance and evolution
  • Hybrid and safety-critical systems
  • Model-based testing and automata learning
  • Applications, case studies and experience reports of formal methods in practice

The Doctoral Symposium will be held as combination of short presentations and posters. All participants will give a short presentation about their work in a special session during the conference. Additionally, there is the opportunity to display posters that can be presented and discussed during (A)ISoLA’s generous coffee breaks.

Submission

In order to participate in the Doctoral Symposium, please submit a research abstract that is structured and formatted according to this template and does not exceed four pages. The young researcher who wants to participate in the DocSym should be the sole author. Submissions of abstracts are accepted until July 29, 2024 September 13, 2024.

Please declare your interest until September 01, 2024 if you intend to submit an abstract but are unable to do so by August 31, 2024.
To declare interest, please upload the abstract template with your title and name and provide the missing chapters till September 13, 2024.

After the symposium, authors of accepted abstracts will be invited to submit a full paper to a post-conference volume that will be published in the open access journal Electronic Communications of the EASST at no charge. This paper can have multiple authors, but the young researcher who participated in the DocSym should be the first author.

Research abstract submissions must be made via the ISoLA submission system.

Evaluation

All submitted research abstracts and papers will be reviewed by members of the ISoLA DocSym committee. They will use the following criteria:

  • Relevance of the research to the scope of the symposium.
  • Quality of the paper or research abstract.
  • Stage of the research (taking into account if the candidate is at the beginning, middle, or end of their Master’s/PhD project)

Acceptance & Publication

The authors of the accepted research abstracts must register for ISoLA 2024 and present their work on site. Furthermore, authors will be invited to submit to a post-conference volume that will be published in the open access journal Electronic Communications of the EASST at no charge.

Important Dates

  • Declare submission intention by September 01, 2024.
  • Research abstract submissions are accepted until July 29, 2024 September 13, 2024.
  • Notifications are sent to authors as soon as possible after September 13, 2024, but no later than September 27, 2024.

Contact

Please contact Sven Jörges (sven.joerges@fh-dortmund.de) for questions concerning the ISoLA Doctoral Symposium.