Agreement Technologies in Software Engineering
Agreement Technologies in Software Engineering
Cluj-Napoca, Romania, 13 December 2013
Special theme: What are the means to prove or justify that
a software system is safe and
reliable?
Topics of interest
We solicit contributions dealing with, but not limited to, the following areas:Agreement technologies
Argumentation, negotiation
Computational models of argumentation
Logics
for Argumentation
Argumentation in
Semantic Web
World Wide Argumentative Web
Agents and Agreement
Technologies
Persuasive technologies
Tools and Technologies
Safeness
and reliability
of software
systems
Safety cases
Safety standards
Argumentation and safety cases
Semantic technologies and safety cases
Semantic
technologies business process modeling
Argumentation and risk assessment
Contributions must be in English,
formatted according to LNCS format (http://www.springer.de/comp/lncs/authors.html)
and sent
in pdf format to Adrian.Groza
[at] cs.utcluj.ro
Submissions for papers should report original research, and should be at least 5 pages. We plan to index these papers in CEUR Workshop Proceedings.
Submissions for position papers should report qualified opinions, recommendations or conclusions, and should have 1-2 pages.
Important Dates (tentative)
Contributions date: 14 November 2013
Communication of acceptance: 21 November 2013
Camera
ready: 28
November 2013
Workshop:
13 December 2013
Fees
There is no fee. Coffee and lunch breaks will be cheaply available onsite.
The
seminar is organised by the Intelligent
Systems Group
Costin
Badica, University of Craiova, Romania
Viorica
Chifu, Technical University
of Cluj-Napoca, Romania
Florin
Craciun, Babes-Bolyai
University, Romania
Mihaela
Dinsoreanu, Technical
University of Cluj-Napoca, Romania
Cristian
Gratie, Abo
Akademi University, Turku, Finland
Dia Miron,
Recognos, Romania
Dana Simian, Lucian
Blaga University Sibiu
Eneia Todoran, Technical University of Cluj-Napoca,
Romania
Sergiu
Zaporojan, Technical University of Moldova, Moldova
Program
Invited Lecturer: Sergio Alejandro Gomez, Universidad Nacional del Sur, Argentina
Location
Technical University of Cluj-Napoca, Romania