Co-located with FM 2015
June 23rd, 2015
Oslo, Norway

line decor
line decor

Materials and Links

In the following, you find a collection of links to resources, and also some slides and pictures that were taken during the workshop (PWD protected - as announced during the workshop).

You can find the presentation slides by following this link, and download the pictures that were taken during the presentations here (just send me an email in case I should remove a picture from the directory).

Murali Sitaraman kindly asks you to take part in a survey according to his Reasoning Concept Inventory (RCI). This RCI has two parts, each with 10 multiple choice questions. It should take about 15 minutes each.

Questionnaire 1: https://www.surveymonkey.com/r/CDRZ5ZR

Questionnaire 2: https://www.surveymonkey.com/r/CP39VBZ

 FMSEET 2015

Important Dates
April 7, 2015 - Paper Submission
April 30th, 2015 - Author Notification
May 18th, 2015 - Camera-Ready

Quick Links
Submission (EasyChair)
FM 2015 (Website)