ETH Zürich - Chair of Software EngineeringTAP: Test And Proofs  - Call for Tutorials

Call for Tutorials


The objective of tutorials is to provide attendee with the theories, tools, techniques and art of the state in software testing and verification. Participants at the tutorials include academic researchers and industrial practitioners.


We solicit tutorial proposals on current topics that will draw significant interest from a large number of attendees. A tutorial proposal should consist of the following:


  • Title;
  • Objectives;
  • Names of speaker(s);
  • Length of the tutorial (half day/full day);
  • Bio data of speaker(s), including contact information;
  • A short position paper (or a list of burning issues);
  • Outline of tutorial contents;
  • Representative slides;
  • Activities to be carried out in the tutorial;
  • Audience level (basic, intermediate, advanced);
  • Expected background knowledge.


Submissions should be made as early as possible. Electronic submission of proposals is required through the TAP submission system. You will receive confirmation by email that your proposal has been received.


Each tutorial proposal will be reviewed and evaluated based on the following criteria: relevance of the topic to TAP, interest to the TAP attendees, and past experience and qualifications of the instructors.


Lisa Liu,, ETH Switzerland