DEPLOY Plenary Workshop 2009: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Felix-loesch No edit summary |
imported>Felix-loesch No edit summary |
||
| Line 8: | Line 8: | ||
# '''Full Original Papers (FOP):''' these works have to be never submitted before to any other workshop/conference/journal but they have to be about ideas that have passed their seminal form. We suggest these papers to be contained in 12 pages LNCS format. | # '''Full Original Papers (FOP):''' these works have to be never submitted before to any other workshop/conference/journal but they have to be about ideas that have passed their seminal form. We suggest these papers to be contained in 12 pages LNCS format. | ||
# '''Full Published Papers (FPP):''' these papers can have already been published in any workshop/conference proceedings or journal but the authors intend to submit them again for educative or promotional purposes inside the DEPLOY community. Copyright is not an issue since the work will not be formally published and the presentation will remain internal to the project. We suggest these papers to be contained in 15 pages LNCS format. | # '''Full Published Papers (FPP):''' these papers can have already been published in any workshop/conference proceedings or journal but the authors intend to submit them again for educative or promotional purposes inside the DEPLOY community. Copyright is not an issue since the work will not be formally published and the presentation will remain internal to the project. We suggest these papers to be contained in 15 pages LNCS format. | ||
# '''Short Abstract Papers (SAP):''' these papers present unpublished ideas that are still in their seminal form and want to be presented by the authors to receive feedback before going on with proper full papers. We expect these papers to be presented in a known/unknown form with a number of open questions for discussion. We suggest these papers to be contained in 6 pages LNCS format. | # '''Short Abstract Papers (SAP):''' these papers present unpublished ideas that are still in their seminal form and want to be presented by the authors to receive feedback before going on with proper full papers. We expect these papers to be presented in a known/unknown form with a number of open questions for discussion. We suggest these papers to be contained in 6 pages LNCS format. | ||
# '''Tool Demo Papers (TDP):''' these papers present works done on tools. A demo is thus expected. We suggest these papers to be contained in 6 pages LNCS format. | # '''Tool Demo Papers (TDP):''' these papers present works done on tools. A demo is thus expected. We suggest these papers to be contained in 6 pages LNCS format. | ||
Revision as of 10:42, 28 July 2009
DEPLOY Plenary Technical Workshop October 21-23 2009
Call for Papers
The second DEPLOY annual plenary meeting will be held this year from 21st to 23rd of October in Aix-en-Provence, France. The main difference with respect to the past meeting will be in a significant amount of time dedicated to technical presentations of conference-like papers. We invite all the academic and industrial partners to submit papers about the work they carried out inside the DEPLOY project. We expect to have submissions belonging to the following categories and we will give to any of these a space proportional to the number of papers received:
- Full Original Papers (FOP): these works have to be never submitted before to any other workshop/conference/journal but they have to be about ideas that have passed their seminal form. We suggest these papers to be contained in 12 pages LNCS format.
- Full Published Papers (FPP): these papers can have already been published in any workshop/conference proceedings or journal but the authors intend to submit them again for educative or promotional purposes inside the DEPLOY community. Copyright is not an issue since the work will not be formally published and the presentation will remain internal to the project. We suggest these papers to be contained in 15 pages LNCS format.
- Short Abstract Papers (SAP): these papers present unpublished ideas that are still in their seminal form and want to be presented by the authors to receive feedback before going on with proper full papers. We expect these papers to be presented in a known/unknown form with a number of open questions for discussion. We suggest these papers to be contained in 6 pages LNCS format.
- Tool Demo Papers (TDP): these papers present works done on tools. A demo is thus expected. We suggest these papers to be contained in 6 pages LNCS format.
Organisers
- Manuel Mazzzara, University of Newcastle
- Felix Lösch, Robert Bosch GmbH
- Michael Jastram, Heinrich-Heine-Universität Düsseldorf
- Linas Laibinis, Abo Akademi University
