[Forwarded email from Henri Habrias <[log in to unmask]>,
apologies for multiple copies]
FIRST CALL FOR PAPERS
First Workshop on
Formal Methods in Computer Science Education
FORMED 2008
http://formed2008.inf.elte.hu
a satellite event of the
11th European Joint Conferences on
Theory and Practice of Software
(ETAPS 2008)
Budapest - Hungary
March 29, 2008
***************************************************************
IMPORTANT DATES
- Submission of full paper: December 3, 2007
- Author notification: January 10, 2008
- Final version due: January 25, 2008
***************************************************************
Nowadays formal methods have an important role in the computer
science curricula of higher education. Given the wide variation
in students' motivation and background knowledge in this area,
formal methods certainly represent a challenge for both
students and teachers. Difficulties arise in choosing an
appropriate formal method and finding its most opportune place
in the curricula. Deciding the formal method with its
underlying specification language and its supporting software
tool is a complex task. The development of rigorous and high-
level abstraction skills is undisputedly a crucial and
essential objective of modern computing curricula. These skills
have a wider area of applicability, even beyond software
engineering. On the other hand, developing abstraction skills
thru formal methods is more challenging than the traditional
education of programming. The purpose of the workshop is to
provide a forum for teachers and industrial partners to discuss
pedagogical methodologies and share experiences of teaching
formal methods.
Suggested areas of interest in the workshop include, but are
not limited to:
- Teaching formal and semi-formal methods
- Relation of formal and semi-formal methods
- Formal specification languages
- Formal methods in the computer science curricula
- Methodologies for teaching formal methods
- Best practices
- Tools used in teaching formal methods
- Experience with industrial FM software tools in education
- Software support specifically designed for FM education
- Teaching mathematics as a background for FM
- Integrating mathematical modelling in all courses of the CS
curriculum
- Student psychology issues in teaching FM: expectations,
attitudes, etc.
- Evaluating effectiveness of educational methods in teaching
FM
- Evaluating impact of FM education on skills of students
***************************************************************
PAPER SUBMISSION
Research papers (full papers, 8-10 pages) should be submitted
to the FORMED 2008 organizers in ENTCS format
(http://www.entcs.org).
Submissions should be sent by e-mail to [log in to unmask]
Further information will be available at the FORMED 2008 home
page (http://formed2008.inf.elte.hu).
At least one author of each accepted submission must register
and present the paper at the workshop.
***************************************************************
PROCEEDINGS
After revision, final copies of the accepted papers will be
published in Electronic Notes in Theoretical Computer Science
(ENTCS), Elsevier Science (http://www.entcs.org).
***************************************************************
PROGRAM COMMITTEE
- Christian Attiogbe University of Nantes, France
- Andras Benczur Eotvos Lorand University, Hungary
- Raymond Boute University of Ghent, Belgium
- Steve Dunne University of Teesside, U.K.
- Akos Fothi Eotvos Lorand University, Hungary
- Henri Habrias University of Nantes, France
- Zoltan Horvath Eotvos Lorand University, Hungary
- Zoltan Istenes Eotvos Lorand University, Hungary
- David Lightfoot Oxford Brookes University, UK
- Ken Robinson University of New South Wales, Australia
- Andrew Simpson Oxford University, UK
***************************************************************
CONTACT PERSON
- Zoltan Istenes [log in to unmask]
***************************************************************
--
Henri Habrias, professeur à l'université de Nantes, France
/portail web : http://www.iut-nantes.univ-nantes.fr/~habrias/portailHabrias/
courriel: [log in to unmask]
bloc-notes : http://nantespec1.blogspot.com http://nantespec2.blogspot.com
http://informatiqueetorganisationsociale.blogspot.com
personnels : http://lefenetrou.blogspot.com
http://quoras-tu-chabat.hautetfort.com/
------------------------
Vient de paraître : H. Habrias, M. Frappier, Software Specification Methods,
ISTE, London, ISBN : 1 905209 34 7
--
I am using the free version of SPAMfighter for private users.
It has removed 1886 spam emails to date.
Paying users do not have this message in their emails.
Get the free SPAMfighter here: http://www.spamfighter.com/len
|