posted by user: emil_stefan || 3147 views || tracked by 13 users: [display]

ATSE 2013 : Agreement Technologies in Software Engineering

FacebookTwitterLinkedInGoogle

Link: http://cs-gw.utcluj.ro/~adrian/workshops/ATSE2013.html
 
When Dec 13, 2013 - Dec 13, 2013
Where Cluj-Napoca, Romania
Submission Deadline Nov 14, 2013
Notification Due Nov 21, 2013
Final Version Due Nov 28, 2013
Categories    artificial intelligence   software engineering
 

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

Related Resources

ASE 2021   The 36th IEEE/ACM International Conference on Automated Software Engineering
IJCAI 2021   30th International Joint Conference on Artificial Intelligence
SA-TTA 2021   The 9th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 36th ACM/SIGAPP Symposium On Applied Computing (SAC 2021)
IARCE 2021-Ei Compendex & Scopus 2021   2021 5th International Conference on Industrial Automation, Robotics and Control Engineering (IARCE 2021)
SOFSEM 2021   47th International Conference on Current Trends in Theory and Practice of Computer Science
SIUSAI 2021   2021 International Symposium on Intelligent Unmanned Systems and Artificial Intelligence (SIUSAI 2021)
ICSESS 2021   2021 12th International Conference on Software Engineering and Service Science
EI-RACE 2021   2021 Asia-Pacific Conference on Robotics, Automation and Communication Engineering (RACE 2021)
Electronics (SI Open Souce Learning) 2021   Electronics Special issue: Open Source Software in Learning Environments (IF 2.412, ISSN 2079-9292)
ICSOFT 2021   16th International Conference on Software Technologies