| |||||||||||||||
ATSE 2013 : Agreement Technologies in Software Engineering | |||||||||||||||
Link: http://cs-gw.utcluj.ro/~adrian/workshops/ATSE2013.html | |||||||||||||||
| |||||||||||||||
Call For Papers | |||||||||||||||
Agreement Technologies in Software Engineering
Cluj-Napoca, 13 December 2013 The one-day workshop is organized as part of the Romania-Argentina bilateral agreement ARGSAFE: Using Argumentation for Justifying Safeness of Complex Technical Systems 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 Justifying safeness of technical systems Protocol verification Conformance checking Model checking Ontology engineering Improving software engineering through artificial intelligence CONTRIBUTIONS Contributions must be in English, formatted according to LNCS format (http://www.springer.de/comp/lncs/authors.html) and submitted in pdf format. 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) Paper due: 14 November 2013 Notification of acceptance: 21 November 2013 Camera ready paper due: 28 November 2013 Workshop: 13 December 2013 FEES There is no fee. Coffee and lunch breaks will be cheaply available onsite. ORGANIZERS The seminar is organized by the Intelligent Systems Group Adrian Groza, Technical University of Cluj-Napoca, Romania Emil S. Chifu, Technical University of Cluj-Napoca, Romania PROGRAM COMMITTEE Eneia Todoran, Technical University of Cluj-Napoca, Romania Viorica Chifu, Technical University of Cluj-Napoca, Romania Mihaela Dinsoreanu, Technical University of Cluj-Napoca, Romania Florin Craciun, Babes-Bolyai University of Cluj-Napoca, Romania Dia Miron, Recognos, Romania Costin Badica, University of Craiova, Romania Sergiu Zaporojan, Technical University of Moldova, Chisinau, Republic of Moldova PROGRAM Invited Lecturer: Sergio Alejandro Gomez, Universidad Nacional del Sur, Argentina LOCATION Technical University of Cluj-Napoca Computer Science Department Baritiu 26-28 |
|