Legislative XML Summer School LEX10
*Managing Legal Resources in the Semantic Web*
6-11 September 2010 Ravenna, Italy, Faculty of Law, via Oberdan 1.
http://summerschoollex.
Overview and Aim
The school aims at providing knowledge of the most significant ICT standards emerging for legislation, judiciary, parliamentary and administrative documents. The course provides an understanding of their impact in the different phases of the legislative and administrative process, awareness of the tools based on legal XML standards and their constellations, and the ability to participate in the preparation and use of standard-compliant documents throughout law-making process. In particular we would like to create consciousness in the stakeholders in the legal domain about the benefits and the possibilities provided by the correct usage of the Semantic Web technologies like XML standards, ontologies, natural language techniques applied to the legal text, legal knowledge modelling and reasoning.
Target
LEX is designed primarily for officers of legislative bodies and other normative authorities (at the national, international, regional and local level), but its target group also includes clerks, drafters of normative texts in the private sector, digital library operators, private publishers in the legal domain, documentalists dealing with legal sources,administrative directors, eGov managers, technical director in the public administration, responsible of the dematerialisation in the public administration, technical responsible of the document management content, students and researchers working in legal informatics and legislation studies.
Programme
The Summer School is organized in two courses:
** A Basic Course providing an introduction to the XML web technologies and the basic level of the technologies for drafting and managing standard-compliant legislative and legal documents;
** An Advanced Course on the higher levels of the semantic web technologies as applied to the legal domain: modelling modifications, procedures and legal knowledge.
LeX is an intensive, 6-day program, 8 hours for day, that requires participants' total dedication and intellectual commitment.
Good management of legal documents involves at least six aspects:
** Drafting methods, to improve the language and the structure of legislative texts;
** Legal XML standards, to improve the accessibility and interoperability of legal resources;
** Legal ontologies, to capture legal metadata and legal semantics;
** Legal Knowledge extraction using natural language techniques;
** Formal representation of legal contents, to support legal reasoning and argumentation;
** Workflow models, to cope with the lifecycle of legal documents.
Fees and application form
For the full programme see the web site:
http://summerschoollex.
where you can find also the application form, the fees and the scholarships for students.
Discount for OASIS members 10%
Scientific Committee
**CIRSFID, Faculty of law, University of Bologna,
prof.Monica Palmirani, prof. Enrico Pattaro
**Department of Computer Science, University of Bologna,
prof.Fabio Vitali
**European University Institute, San Domenico di Fiesole,Florence, prof.Giovanni Sartor
**Leibniz Centre for Law, University of Amsterdam,
prof.Tom Van Engers
**ITTIG-CNR,Florence,
dr.Daniela Tiscornia, dr.Enrico Francesconi
**IDT Autonomous University of Barcelona,
prof. Pomepu Casanovas
Donnerstag, 24. Juni 2010
Legislative XML Summer School LEX10
Dienstag, 22. Juni 2010
Open Source, Software Patente & Agile Programmierung
Diskussionsrunde in den Kanzleiräumen bei Tylor Wessing in München
Am 14.7.2010 findet von 8:30 bis 13:00 Uhr in den Kanzleiräumen von Taylor Wessing in München eine Diskussionsrunde mit hochkarätigen Rednern zu dem Thema Open Source, Software Patente & Agile Programmierung statt.
Redner von Taylor Wessing:
Externe Redner:
- Markus Kempkes, Sales Manager, Microsoft Consulting Services
- Patrick Aubert de la Rüe, Senior Project Manager, Telefónica o2 Germany GmbH & Co. OHG
Aus der Einladung:
Was bedeuten die neueren Entscheidungen zur Patentierung - abseits der rechtspolitischen Grundsatzdiskussion - für die Praxis also wirklich? Was ist beim Umgang mit Patenten im Zusammenhang mit Softwarelizenzierung grundsätzlich zu beachten?
Wie verhalten sich patentierbare Softwareerfindungen zu Open Source Software? Das Spannungsfeld von Open Source Software und Patenten wurde in der Vergangenheit regelmäßig aus dem Blickwinkel heraus geführt, dass patentierbare Softwareerfindungen die Idee von Open Source Software durch den proprietären Charakter unterlaufen und zu Unterlassungs- und Schadensersatzansprüchen führen können. So bekräftigte IBM erst kürzlich sein 2005 gemachtes Versprechen, 500 ausgewählte Patente nicht gegen Open Source Unternehmen und entsprechende Projekte einzuklagen.
Was ist ohne ein solches patent pledge in der Praxis zu beachten, um bei der Programmierung, dem Vertrieb oder der Verwertung von Open Source Software eine Patentverletzung zu vermeiden?
Neben dem Risiko einer Patentverletzung wird in der Praxis häufig übersehen, dass der Einsatz von Open Source Software unter Umständen auch „negative“ Auswirkungen auf das proprietäre Patentportfolio haben kann. Viele Open Source Lizenzen können als „patentfeindlich“ eingestuft werden. Ob und in welchem Umfang der „virale Effekt“ auch auf patentierbare Softwareerfindungen Anwendung findet, soll im Rahmen des sich anschließenden Vortrags untersucht werden.
Agile Programming und andere „neue Projekt-methoden“ sind en vogue. Durch enge flexible Zusammenarbeit zwischen dem Auftrageber und dem Softwareentwickler sollen Lösungen erarbeitet werden, die im Endhinein wirklich benötigt werden – im Gegensatz zu Ergebnissen, die irgendwann einmal starr in Auftrag gegeben worden sind. Zudem ließen sich so Kosten und Zeitaufwand sparen.
Wie vertragen sich aber die von Pragmatismus und Flexibilität geprägten Projektmethoden mit scheinbar starren gesetzlichen Vorgaben zu Vertragstypen Dienst-, Werk- und Werklieferungsvertrag in der Realität? Wie sieht die Praxis der Risikoverteilung aus und wie lässt sich diese abseits von Schwarz-Weiß-Lösungen in der Vertragsgestaltung umsetzen?
Wir werden gemeinsam mit
• Markus Kempkes, Sales Manager, Microsoft Consulting Services, und
• Patrick Aubert de la Rüe, Senior Project Manager, Telefónica o2 Germany GmbH & Co. OHG
die Herangehensweise von Unternehmen, rechtliche Vorgaben und Gestaltungsmöglichkeiten sowie Erfahrungen aus der Realisierung entsprechender Projekte erörtern.”
Montag, 21. Juni 2010
BWSS 2010 - SUBMISSION DEADLINE: June 28, 2010 - BWSS 2010
BWSS 2010 - SUBMISSION DEADLINE: June 28, 2010 - BWSS 2010
BWSS 2010 - THE SECOND BRAZILIAN WORKSHOP ON SOCIAL SIMULATION
São Bernardo do Campo, São Paulo, Brazil, October 24-25, 2010
http://www.ncc.furg.br/
Social simulation has a dialectical relationship to Artificial
Intelligence, in general, and Multi-agent Systems, in particular. It is both an area for the application of methods, techniques and technologies of AI and MAS, as well as a source of inspiration for new theories, models and methods for AI and MAS, as it draws upon the theories, models and methods of the social sciences (anthropology, sociology, political science, economy, government, management, etc.).
This one-day workshop will address theoretical, methodological,
technical and instrumental issues concerning the area of simulation of social systems. The workshop will thus have an interdisciplinary character.
Theories and models of societies and smaller social systems that embody a computational concern are at the center of area.
Micro-level and macro-level issues concerning structures and processes at the social and individual levels, as well as the mutual influence between such conceptual levels, and problems of upward and downward causation between them should also be contemplated.
Techniques, tools and computational environments for the simulation of those models, specially those based on agent and multi-agent technology, and AI methods in general, should be of primary concern.
Application of social simulation to the various areas of social sciences (anthropology, sociology, political science, economy, government, management, etc.) should also be of interest to the audience.
BWSS 2010 will have two invited speakers:
- Prof. Nigel Gilbert (University of Surrey, UK) Title: Modelling
complex social systems: opportunities and challenges
- Prof. Cristiano Castelfranchi (ISTC-CNR, Italy) Title: Intra &
inter-network dynamics, and the 'semantics' of the links
We are cordially inviting you to submit a paper to BWSS 2010. The topics of interest are (not exclusively):
- theoretical foundations of social simulation
- methods and models for social simulation
- AI and MAS tools, techniques, models and environments for social simulation
- applications of social simulation (in research, government, management,
education, etc.)
Important dates:
- Deadline for paper submission: June 28, 2010
- Notification to authors: July 28, 2010
- Camera-ready copies of papers: August 12, 2010
- Workshop date: October 24-25, 2010
[Workshop co-located with the 20th Brazilian Symposium on Artificial Intelligence - SBIA, the XI Brazilian Symposium on Artificial Neural Network - SBRN, the IV Intelligent Robotics Meeting - JRI (with IX Latin American Robotics Competition - LARC, and Latin American Robotics Symposium - LARS)]
Paper format:
Papers should be written in English, with at most 12 pages, and
submitted in PDF format, following the Springer LNCS style (see
http://www.springer.de/comp/
Proceedings:
The papers accepted for the workshop will be published in the Workshop Proceedings.
Best Paper: An extended version of the best paper presented at the workshop, selected by the Program Committee, will be invited to be submitted for the JBCS - Journal of the Brazilian Computer Society.
(http://www.sbc.org.br/index.
Post-Proceedings:
Depending on the number of submissions, we are planning to propose aspecial issue on Social Simulation of the JBCS, where the authors of a selection of best papers presented at workshop, among other possible submissions, would be invited to submit extended versions of their papers, including the discussions and suggestions arised at the workshop oral presentations and working meetings.
Organizing committee:
* Graçaliz Pereira Dimuro, FURG, Brazil (corresponding chair, email:
gracaliz@gmail.com or gracalizdimuro@furg.br)
* Diana Francisca Adamatti, FURG, Brazil
* Jaime Sichman, USP, Brazil
* João Balsa, Universidade de Lisboa, Portugal
* Luis Antunes, Universidade de Lisboa, Portugal
* Patricia Tedesco, UFPE, Brazil
Program committee:
Alessandro de Lima Bicho (FURG, Brazil)
Alexei Sharpanskykh (Vrije Universiteit Amsterdam)
Ana Lucia Cetertich Bazzan (UFRGS, Brazil)
André Maurício Cunha Campos (UFRN, Brazil)
Antônio Carlos da Rocha Costa (FURG, Brazil)
Armando Geller (George Mason University, USA)
Bruce Edmonds (Centre for Policy Modelling, UK)
Cesareo Hernandez Iglesias (University of Valladolid, Spain)
Claudio Cioffi-Revilla (George Mason University, USA)
Cristiano Castelfranchi (ISTC-CNR, Italy)
Diana F. Adamatti (FURG, Brazil)
Edmund Chattoe-Brown (University of Leicester, UK)
Fabio Yoshimitsu Okuyama (FTEC, Brazil)
Fernando Buarque de Lima Neto (UPE, Brazil)
Fernando Lopes (INETI, Portugal)
Flaminio Squazzoni (University of Brescia, Italy)
Franziska Klügl (University of Örebro, Sweden)
Fréderic Amblard (Universite Toulouse 1, France)
Graçaliz Pereira Dimuro (FURG, Brazil)
Guillaume Deffuant (Cemagref, France)
Gustavo Lugo (UTFPR, Brazil)
Harko Verhagen (Stockholm University, Sweden)
Helder Coelho (University of Lisbon, Portugal)
Iqbal Adjali (Unilever R&D Colworth Lab, UK)
Jaime Sichman (University of Sao Paulo, Brazil)
Jean-Daniel Kant (University of Paris Pierre et Marie Curie, France) João
Balsa (University of Lisbon, Portugal)
Jorge Louçã (ISCTE, Portugal)
Juan Pavón (Universidad Complutense Madrid, Spain)
Julie Dugdale (Laboratoire d'Informatique de Grenoble, France)
Juliette Rouchier (Greqam/CNRS, France)
Keith Sawyer (Washington University in St. Louis, USA)
Klaus Troitzsch (University of Koblenz, Germany)
Luis Antunes (University of Lisbon, Portugal)
Laszlo Gulyas (AITIA Intl. Inc., Lorand Eotvos University, Hungary) Maíra
Ribeiro Rodrigues (UFMG, Brazil)
Maria das Graças Bruno Marietto (UFABC, Brazil)
Marco Janssen (Arizona State University, USA)
Mario Paolucci (ISTC/CNR, Italy)
Nick Gotts (Macaulay Institute, Scotland, UK)
Nigel Gilbert (University of Surrey, UK)
Nuno David (ISCTE, Portugal)
Patrícia Restelli Tedesco (UFPE, Brazil)
Paulo Roberto Ferreira Junior (UFPel, Brazil)
Paulo Trigo (ISEL, Portugal)
Pedro Andrade (INPE, Brazil)
Pietro Terna (University of Torino, Italy)
Ricardo Rodrigo Stark Bernard (UFSC, Brazil)
Rino Falcone (ISTC-CNR, Italy)
Rosaria Conte (ISTC-CNR, Italy)
Samer Hassan (Univ. Complutense Madrid, Spain)
Stanley Loh (UCPel/ULBRA, Brazil)
Tibor Bosse (Vrije Universiteit Amsterdam, The Netherlands)
Wander Jager (University of Groningen, The Netherlands)
Graçaliz Dimuro, Diana F. Adamatti, Jaime Sichman, Luis Antunes, João Balsa and Patrícia Tedesco (BWSS 2010 chairs)
--
Diana Francisca Adamatti
Centro de Ciências Computacionais - C3
Universidade Federal do Rio Grande (FURG)
Av. Itália km 08 Carreiros
96201-900 - Rio Grande, RS
Telefone: (53) 3233 - 6872
Fax: (53) 3293 - 5105
Sonntag, 13. Juni 2010
Workshop on Norm Compliance, 6.7.2010 - European University Institute, Florence, Italy
Workshop on Norm Compliance
July 6, 2010
European University Institute
Florence, Italy
Colocated with 10th International Conference on Deontic Logic in Computer Science 7-9 July 2010
The workshop aims to develop a shared framework for understanding norm compliance: the process enabling an external request or command to be obeyed. Scholars from cognitive science, deontic logic, anthropology, law, social sciences, computer science, philosophy and experimental economics will be given the opportunity to tackle difficult problems and discuss theories and results about norm compliance, trying to exceed the boundaries of the single disciplines. A special attention will be devoted to the role played by methodologies and tools, including experiments on norm compliance with humans, psychological and anthropological investigations, but also computational and simulation models on the subject matter.
Workshop web site: http://sites.google.com/site/normcompliance2010/
To further an inter-disciplinary discussion, the workshop will be organized as follows. Every presentation (30 min) will be commented (10 min) by a discussant coming from a different discipline, who should very briefly summarize the main theses of the papers and then offer hints on how a cross-fertilization between the two domains can advance knowledge on the topic. The authors will have then some minutes for reply, and a general discussion will follow (20 min).
Topics and possible questions are (but are not restricted to) the following:
* the normative mind, its nature and evolution
* mechanisms and architecture of norm compliance
* the logic of norm compliance
* norm compliance in a rational choice framework
* norms and emotions
* behavioural conformity and normative compliance:
o automatic and unreflective norm compliance
o norm internalization
* functions and limits of norm compliance
o when is violation advantageous/functional?
o variance in norm compliance
* cultural transmission and the establishment of social norms
* evolution of human social institutions
* norm violation and norm evolution
* the evolution, maintenance and alteration of norms
o when do a norm decay?
* how and when do new solutions emerge to make up for persistent violations?
* enforcing mechanisms allowing norm compliance
o how to achieve deterrence: different kinds of punishing mechanisms
o how to constrain the possibility to violate?
o which is the nature of constraints allowing norm compliance/conformity? Physical constraints, psychological constraints, etc…
* mechanisms of control of norm compliance (computer supporting)
o which rate of norm violation can be tolerated by the system?
The workshop will be held in Fiesole (Italy) on July the 6th. The location of the conference will be the European University Institute in the surroundings of Florence. It will be collocated with the ΔEON 2010 conference. The event will be supported by the European project COST Action "Agreement Technologies".
Organizing Committee
* Giulia Andrighetto
(ISTC-CNR, Italy)
* Guido Boella
(University of Turin, Italy)
* Cristiano Castelfranchi
(ISTC-CNR, Italy)
Donnerstag, 10. Juni 2010
JURIX 2010 - The 23rd International Conference on Legal Knowledge and Information Systems
Full text available at: http://conference.jurix.nl/
JURIX 2010
The 23rd International Conference on Legal Knowledge and Information Systems
University of Liverpool (U.K.), 16th-17th December 2010
http://conference.jurix.nl/
For more than 20 years the Jurix Conference has provided an international forum for academics and practitioners in the field of legal informatics for sharing ideas and experiences on the representation of legal content and its representation in computer systems. We invite submission of original papers on the advanced management of legal information and knowledge (foundations, methods, tools, systems and applications), including but not limited to the following:
• systems supporting lawyers, in legal reasoning, document drafting, negotiation
• systems supporting the production and management of legislation, in agenda setting, policy analysis, drafting, workflow management, monitoring implementation
• systems supporting the judiciary, in application of the law, analysis of evidence, management of cases
• systems supporting police activities, in forensic inquiries, search and evaluation of evidence, management of investigations
• systems supporting public administration, in applying regulations and managing information
• systems for the retrieval of legal information
• systems supporting legal education
• systems for digital-rights management
• systems supporting the acquisition, management or use of legal knowledge, using rules, cases, neural networks, intelligent agents or other methods
• systems supporting alternative dispute resolution, particularly on-line
• systems and methods to support regulatory compliance and compliance of business processes
• systems and method to support policies and legal issues for social networks
• theoretical foundations for the use of Artificial Intelligence in the legal domain
• models of legal knowledge, including concepts (legal ontologies), rules, cases, principles, values and procedures
• models of legal inference and argumentation
• methods for verifying and validating legal knowledge systems
• methods and techniques for managing legal information in the semantic web
• methods for managing organizational change when introducing legal knowledge systems
• XML standards for legal documents, including legislative, judicial, administrative acts as well as private documents, such as contracts
• methods for modelling the legal interactions of autonomous agents and digital institutions
Papers should be submitted through the Jurix Conference Management System, using PDF, PostScript or Word format, and should not exceed 10 pages when formatted using the styles and guidelines in the Instructions for Authors.
The conference proceedings will be published by IOS Press (Amsterdam, Berlin, Oxford, Tokyo, Washington DC) in their series “Frontiers in Artificial Intelligence and Applications” before the Conference.
Program Committee Chair
Radboud Winkels, Leibniz Center for Law, University of Amsterdam, the Netherlands
Organisation Committee Chair
Katie Atkinson, University of Liverpool, U.K.
Important Dates
* August 29th, 2010 Deadline for submission of abstracts
* September 5th, 2010 Deadline for submission of papers
* September 19th, 2010 Deadline for submission of tutorials, workshops and demonstration proposals
* October 1st, 2010 Notification of paper acceptance
* October 17th, 2010 Camera-ready papers due
* December (14th and) 15th, 2010 Jurix Workshops/Tutorials
* December 16th-17th, 2010 Jurix 2010 Main Conference
Mittwoch, 9. Juni 2010
Extended Deadline and Call for position papers - COIN@MALLOW 2010
News: Extended Deadline and Call for position papers
Please find the CfP attached in PDF
=========================
COIN@MALLOW 2010
CALL FOR PAPERS
Coordination, Organization, Institutions and Norms in Multi-Agent Systems @ MALLOW 2010
(COIN@MALLOW2010)
Domaine Valpré in Lyon, France
30th August – 2nd September, 2010
http://ai-lab-webserver.
AIMS and SCOPE
The development of complex AI systems with heterogeneous and diverse knowledge is a challenge. System components must interact, coordinate and collaborate to manage scale and complexity of task environments targeting persistency and maybe, evolution of systems. Managing scale and complexity requires organized intelligence; in particular intelligence manifested in organizations of components, by individual strategies or collective behaviour. System architects have to
consider: the inter-operation of heterogeneously designed, developed or discovered components (agents, objects/artefacts, services provided in an open environment); inter-connection which cross legal, temporal, or organizational boundaries; the absence of global objects or centralised controllers; the possibility that components will not comply with the given specifications; and embedding in an environment which is likely to change, with possible impact on individual and collective objectives.
The convergence of the requirement for intelligence with these operational constraints demands:
coordination: the collective ability of heterogeneous and autonomous components to arrange or synchronise the performance of specified actions in sequential or temporal order; rational and open organization: a formal structure supporting or producing intentional forms of coordination, capable of managing changes in the environment in which it operates; institution: an organization where (inter alia) the performance of designated actions by empowered agents produces conventional outcomes; and norms: standards or patterns of behaviour in an institution established by decree, agreement, emergence, and so on. The automation and distribution of intelligence is the subject of study in autonomous agents and multi-agent systems; the automation and distribution of intelligence for coordination, organization, institutions and norms is the specialised interest of COIN@MALLOW2010.
The COIN@MALLOW 2010 workshop is part of the COIN series of workshops.
WORKSHOP GOALS
The goal of the workshop is to bring together researchers in autonomous agents and multi-agent systems and other related fields (like web services, semantic web and service oriented architectures), working on the scientific and technological aspects of organizational theory, electronic institutions,
norms and computational economies from an organizational or institutional perspective. We seek to attract high-quality papers addressing all mathematical, logical and computational perspectives of, modelling, animation and simulation techniques for these types of multi-agent systems, addressing
also their actual implementation.
Through various information and opinion exchange mechanisms before, during and after the workshop, we hope to generate new ideas, consolidate and develop an (already) active community, highlight future challenges and opportunities, and lead/define (at least part of) the future research agenda.
TOPICS
Topics of particular interest for COIN@MALLOW2010 will include:
* Organizations, institutions and norms for managing scale, openness and complexity
* Organizations, institutions and norms and Service Oriented Computing/Architectures;
* Logics, languages and tools for specifying coordination and norms, implementing or simulating
organizations and institutions;
* Formal lifecycle models: formation, maintenance, and dissolution of organizations and institutions;
* Law of electronic institutions: regulatory compliance, penalty and sanctions, dispute resolution and
conflict prevention;
* Agent environments: physical and institutional 'resources' for physical capability and institutional
power;
* Formal methods for specifying coordination and organizational structures; models for verification,
validation and visualisation;
* Non-normative behaviour, error-recovery, and reliable computing with unreliable components;
* Frameworks and protocols for organised and organisational adaptation;
* Discovery, openness and inter-operation in organizations and institutions;
* Analysis of issues in the emergence, evaluation (as fit-for-purpose), compliance to and evolution of
norms;
* Mixed human-agent coordination and institutions in embedded systems and virtual worlds.
NEW
Given that we would like to have a very interactive workshop where authors can compare and discuss their ideas we invite also the submission of "position papers" on COIN topics (please add a footnote in the title of the paper to state that it is a position paper). These papers will be included in the preliminary proceedings distributed at the meeting. Revised and extended versions of those papers may be submitted in order to go through another round of the review process and being considered for he 2010 COIN Volume that will be published in the Springer LNCS series.
VENUE
The workshop will be part of the MALLOW2010 (Autonomous Agents and Multi-Agent Systems) workshop programme, and will take place at Domaine Valpré in Lyon, France.
Full details are available at http://mallow2010.emse.fr/
PROCEEDINGS
Preliminary proceedings will be available at the workshop. As with previous COIN workshops, revised and extended versions of the papers of both the two 2010 workshops (this one an COIN@AAMAS2010 ) will be published in a single Springer LNCS volume. Those revised versions must take into account the
discussion held during the workshop, hence, only those papers that are presented during the workshop will be considered for inclusion in the post-proceedings volume.
IMPORTANT DATES
• June 16, 2010: Submission of Papers (Extended)
• July 08, 2010: Notification of Acceptance/ Rejection
• July 30, 2010: Submission of Camera-Ready Copies
• 30 Aug – 02 Sept, 2010: Workshop
INSTRUCTIONS FOR AUTHORS
Given that the post-proceedings will be published in Springer LNC the papers should be formatted following Springer-Verlag's guidelines, available here. The length of each paper including figures and references should not exceed 16 pages. All papers must be written in English and submitted in PDF format. Submission of a paper should be regarded as an undertaking that, should the paper be accepted, at least one of the authors will attend the workshop to present the work. For submission of
papers, please use: http://www.easychair.org/
WORKSHOP OFFICIALS
Workshop Chairs:
Nicoletta Fornara (University of Lugano, Switzerland)
George Vouros (University of the Aegean, Greece)
Programme Committee:
Alexander Artikis (National Centre for Scientific Research Demokritos, Greece)
Guido Boella (University of Torino, Italy)
Olivier Boissier (ENS Mines Saint-Etienne, France)
Rafael Bordini (Federal University of Rio Grande do Sul, Brazil)
Amit Chopra (University of Trento, Italy)
Antonio Carlos da Rocha Costa (Univ. Federal do Rio Grande FURG, Brazil)
Marina De Vos (University of Bath, UK)
Virginia Dignum (Delft University of Technology, The Netherlands)
Jomi Fred Hubner (Federal University of Santa Catarina, Brazil)
Christian Lemaitre (Universidad Autonoma Metropolitana, Mexico)
Henrique Lopes Cardoso (Universidade do Porto, Portugal)
Eric Matson (Purdue, USA)
John-Jules Meyer (Utrecht University, The Netherlands)
Pablo Noriega (IIIA-CSI, Spain)
Eugenio Oliveira (Universidade do Porto, Portugal)
Andrea Omicini (Universita di Bologna)
Sascha Ossowski (URJC, Spain)
Julian Padget (University of Bath, UK)
Jeremy Pitt (Imperial College, London)
Juan Antonio Rodriguez Aguilar (IIIA-CSIC, Spain)
Jaime Sichman (University of Sao Paulo, Brazil)
Munindar P. Singh (North Carolina State University, USA)
Viviane Torres da Silva (Universidade Federal Fluminente, Brazil)
Kostas Stathis (Royal Holloway, University of London, UK)
Paolo Torroni (University of Bologna, Italy)
Leon van der Torre (University of Luxembourg, Luxembourg)
Birna van Riemsdijk (Delf University of Technology, The Netherlands)
Wamberto Vasconcelos (University of Aberdeen, UK)
Javier Vazquez-Salceda (University Politecnica de Catalunya, Spain)
Mario Verdicchio (University of Bergamo)
Danny Weyns (Katholieke Universiteit Leuven)
Pinar Yolum, Bogazici University, Turkey
Coin Steering Committee:
Guido Boella (University of Torino, Italy)
Olivier Boissier (ENS Mines Saint-Etienne, France)
Nicoletta Fornara (University of Lugano, Switzerland)
Christian Lemaitre (Universidad Autonoma Metropolitana, Mexico)
Eric Matson (Purdue University, USA)
Pablo Noriega (Artficial Intelligence Research Institute, Spain)
Sascha Ossowski (Universidad Rey Juan Carlos, Spain)
Julian Padget (University of Bath, UK)
Jeremy Pitt (Imperial College London, UK)
Jaime Sichman (University of Sao Paulo, Brazil)
Wamberto Vasconcelos (University of Aberdeen, UK)
Javier Vázquez Salceda (Universitat Politecnica de Catalunya, Spain)
George Vouros (University of the Aegean, Greece)
Dienstag, 8. Juni 2010
FINAL CALL FOR PAPERS - BNAIC 2010 - The 22nd Benelux Conference on Artificial Intelligence
FINAL CALL FOR PAPERS - BNAIC 2010
SUBMISSION DEADLINE JUNE 13
BNAIC 2010
The 22nd Benelux Conference on Artificial Intelligence
Luxembourg, October 25-26 2010
http://bnaic2010.uni.lu
Organised by:
Computer Science and Communication Research Unit (CSC), University of Luxembourg
Interdisciplinary Centre for Security, Reliability and Trust (SnT),
University of Luxembourg
Centre de Recherche Public Henri Tudor
Introduction
BNAIC is an international scientific conference for research in
Artificial Intelligence. The BNAIC conferences series was initiated in 1988 by the Netherlands Association for Artificial Intelligence (later incorporating Belgium and Luxembourg to become the Benelux Association for AI) in order to promote research in AI among Benelux AI researchers, scientists and engineers in related disciplines. This year we are delighted to bring BNAIC for the first time to the Grand Duchy of Luxembourg. According to the success of previous years, BNAIC 2010 will include invited
speakers, research and industry presentations and project
demonstrations.
Invited speakers
Jerome Lang (CNRS, Universite Paris-Dauphine, France)
Michael Mateas (University of California, Santa Cruz, USA)
Topics
Authors are invited to submit papers on all aspects of artificial
intelligence. Possible topics of submissions include, but are not
limited to:
* AI for Ambient Intelligence
* AI for Games & Entertainment
* Embodied Artificial Intelligence
* Intelligent Agents & Multi-Agent Systems
* Knowledge Representation
* Ontologies
* Semantic Web-Techniques & Technologies
* Knowledge Management
* Knowledge-based Systems
* Logic in AI
* Logic Programming
* Natural Language Processing
* Speech & Image Processing & Understanding
* Cognitive Modelling
* Reinforcement Learning
* Planning & Scheduling
* Knowledge Discovery and Data Mining
* Machine Learning
* Classification
* Clustering
* Pattern Discovery
* Process Mining
* Visualization
* Case-Based Reasoning
* Constraint Programming
* Evolutionary Algorithms
* Neural Networks
* Verification & Validation
* Search & Retrieval
* Personalization & Adaptation
* Recommender systems
* Hybrid Intelligent Systems
* AI in law, music, art, education, tutoring, medicine,
bioinformatics, software, e-commerce, logistics, robotics, and other business & industry applications.
Important Dates
* Paper submissions: June 13, 2010
* Author notification: August 8, 2010
* Camera-ready papers: September 15, 2010
* Author registration: September 15, 2010
* Early registration: September 25, 2010
* Conference dates: October 25-26, 2010
Submission details
Researchers are invited to submit unpublished original research, but high-quality research results possibly already published in
international conferences or journals are also welcome.
Three types of submissions are invited:
Type A: REGULAR PAPERS
Papers presenting new original work. Submitted papers should not
exceed a length of 8 pages. These papers will be reviewed on overall quality and relevance. A-Papers can be accepted for either oral or poster presentation. All accepted papers will be fully published in the proceedings.
Type B: COMPRESSED CONTRIBUTIONS
Papers that have been accepted after June 1st, 2009 for AI-related refereed conferences or journals can be resubmitted and will be accepted as compressed contributions. Authors are invited to submit the officially published version (without page restriction) together with a one or two-page abstract. B-Papers will be accepted for either oral or poster presentation. The abstract of the paper will be published in the proceedings. Every author may submit at most one B-paper of which they are the corresponding author, and only if they do not submit any A-paper as corresponding author.
Type C: DEMONSTRATIONS & APPLICATIONS
Proposals for demonstrations will be evaluated based on submitted
demonstration summaries stating the following: the purpose of the
system to be demonstrated, its user groups, the organization or
project for which it is developed, the developers, and the technology used. In addition, the system requirements and the duration of the demo (not exceeding 30 minutes) should be mentioned. Especially master students are encouraged to submit papers presenting their applications and experiences. The maximum size of demonstration summaries is 2 pages (in English).
Papers and demonstration summaries should be submitted electronically via Easychair (http://www.easychair.org/
series number 1568-7805.
General Chairs
Pascal Bouvry (University of Luxembourg)
Eric Dubois (CRP Henri Tudor, Luxembourg)
Thibaud Latour (CRP Henri Tudor, Luxembourg)
Leon van der Torre (University of Luxembourg)
Program Chairs
Richard Booth (University of Luxembourg)
Gregoire Danoy (University of Luxembourg)
Benjamin Gateau (CRP Henri Tudor, Luxembourg)
Isabelle Jars (CRP Henri Tudor, Luxembourg)
Djamel Khadraoui (CRP Henri Tudor, Luxembourg)
Marcin Seredynski (University of Luxembourg)
Donnerstag, 3. Juni 2010
Mozilla Firefox (Gecko) / Google Chrome - WebBrowser Control für WPF und WindowsForms
Wer ein WebBrowser Control für seine Anwendung benötigt, wird in der Regel auf das im .NET Framework enthaltene WebBrowser-Steuerelement (System.Windows.Forms.WebBrowser Class) zurückgreifen, das fest mit dem Windows Internet Explorer verbunden ist.
Wer jedoch Mozilla Firefox / Gecko oder eine andere Internet Browser Technologie benötigt, wird dazu keine direkte Unterstützung im .NET Framework finden.
Zudem ist beim WebBrowser Control aus dem .NET Framework problematisch, dass es ein Windows Forms Control ist und keine unmittelbare Unterstützung für WPF (Windows Presentation Foundation) hat.
Für beide Problemstellungen gibt es zwischenzeitlich Lösungsansätze.
Download des Beispielcodes zum Artikel
Verwendung von Mozilla Firefox / Gecko in Windows Forms und WPF (Windows Presentation Foundation)
GeckoFX von Skybound stellt ein WebBrowser Control zur Verfügung, mit dem man Mozilla Firefox / Gecko als Windows Forms Control in seine Anwendung einbauen kann.
Der Source Code von GeckoFX wird unter der Mozilla Public License 1.1 bereitgestellt.
Den Source Code gibt es unter folgender URL: http://code.google.com/p/geckofx/
Für Fragen zu der Komponente gibt es auch ein Forum, das unter folgender URL zu erreichen ist: http://geckofx.org/
Um GeckoFX in der eigenen Anwendung verwenden zu können, muss man auch den XULRunner bei der Verteilung der eigenen Anwendung mitliefern, mit dem GeckoFX kompiliert wurde. Es kann nicht auf die bereits installierte Version von Mozilla Firefox auf dem Computer des Benutzers zurückgegriffen werden.
Eine Modifikation von GeckoFX schafft Abhilfe für dieses Problem. GeckoFXMulti verwendet Proxys und Custom Marshaller, um die Kompatibilität mit xpcom NS interfaces für verschiedene Gecko-Versionen aufrecht zu erhalten. Zusätzlich werden auch Methoden angeboten, um die installierte Firefox Version ausfindig zu machen oder wenn mehrere Versionen vorhanden sind, eine davon zu wählen.
GeckoFXMulti wird wie GeckoFX verwendet, sodass man für einen Wechsel zu GeckoFXMulti lediglich die Bibliothek austauschen muss und der Sourcecode der eigenen Anwendung nicht großartig angepasst werden muss.
Um GeckoFxMulti mit der neuesten unterstützten Version von Firefox / Gecko auf dem System des Benutzers zu initialisieren, wird der folgende Initialize aufgerufen:
Skybound.Gecko.Xpcom.Initialize(true);
Der Initialize sucht in der Registry nach der gewünschten Gecko Version. Sollten mehrere Version vorhanden sein, wird eine Release Versionen einer Alpha/Beta Version vorgezogen.
Es ist jedoch auch möglich, den Prozess der Auswahl der zu verwendenden Gecko Version selbst zu steuern.
// Suche nach allen Gecko Versionen
var geckoVersions = Skybound.Gecko.GeckoAppDiscovery();
// Suche nach allen Gecko Versionen mit zusätzlicher Angabe von Pfaden
var geckoVersions = Skybound.Gecko.GeckoAppDiscovery("e:\\xul2.0", "d:\\portables\firefoxportable3.6b5");
// zusätzliche Angabe von Pfaden
geckoVersions.AddGeckoPath("e:\\firefox");
Nachdem die GeckoAppInfo structure vorbereitet ist, kann GeckoFXMulti initialisiert werden.
Skybound.Gecko.Xpcom.Initialize(gai);
Download und weitere Informationen zu dieser GeckoFXMulti findet man hier.
Verwendung von GeckoFX in WPF (Windows Presentation Foundation)
GeckoFX kann ebenfalls in einer WPF Anwendung verwendet werden. Dazu muss jedoch der Weg über das WindowsFormsHost Control gegangen werden.
<Window x:Class="EmbeddingFirefoxWPF2.MainWindow"
xmlns="http://schemas.microsoft.com/winfx/2006/xaml/presentation"
xmlns:x="http://schemas.microsoft.com/winfx/2006/xaml"
xmlns:sb="clr-namespace:GeckoBrowser;assembly=GeckoHelper"
Title="Gecko" Height="350" Width="525" Loaded="Window_Loaded">
<Grid>
<WindowsFormsHost Name="windowsFormsHost1">
<sb:GeckoBrowserUC Dock="Fill"/>
</WindowsFormsHost>
</Grid>
</Window>
Die Navigation zu einer bestimmten URL wird mit dem Aufruf von Navigate erreicht.
public MainWindow()
{
InitializeComponent();
}
private void Window_Loaded(object sender, RoutedEventArgs e)
{
GeckoBrowser.GeckoBrowserUC tBrowser;
tBrowser = (GeckoBrowser.GeckoBrowserUC)this.windowsFormsHost1.Child;
tBrowser.Navigate("http://hanslecker.blogspot.com");
}
WebBrowser mit direkter Unterstützung von WPF ohne WindowsFormsHost
Eine optimale Unterstützung für WPF Anwendung erhält man durch WPF Chromium WebBrowser Control. Wie aus dem Namen des Open Source Projektes bereits hervorgeht, setzt dieses WebBrowser Control auf Google Chrome auf. Als Wrapper für Google Chrome dient Awesomium von Khrona LLC.
Damit ist es nun auch möglich, ein WebBrowser Control mit allen Möglichkeiten von WPF zu nutzen. Gegenüber Lösungsansätzen mit WindowsFormsHost hat man mit dem WPF Chromium WebBrowser Control eine Lösung, die sich vollständig in den Layout-Mechanismus von WPF integriert. Bei dieser Lösung handelt es sich nicht bloß um eine grafische Projektion des WebBrowser nach WPF. Die angezeigte Internetseite kann auch bei Anwendung der verschiedensten Transformationen verwendet werden.
Samples als ClickOnce Apps für WPF Chromium WebBrowser Control
Install WPF Chromium Sample
Install WPF 3D Chromium Sample
Die lästigen Probleme, die man mit WindowsFormsHost immer wieder hat, gehören damit auch der Vergangenheit an.
Die grafischen Fähigkeiten von WPF können damit auch für das WebBrowser Control genutzt werden. So kann man die 3D Fähigkeiten für das Blättern zwischen Internetseiten nutzen. Die Überlagerung von Seiten mit Transparenz Effekten ist nun ebenfalls möglich.
Erwähnt werden sollen noch die weiteren Projekte:
Embedding Gecko - https://developer.mozilla.org/en/Mozilla_Embedding_FAQ/Embedding_Gecko
Manticore - http://mxr.mozilla.org/mozilla/source/extensions/manticore/
WebKit .NET - http://sourceforge.net/projects/webkitdotnet/
Hinweis zum Beispielcode:
Das Beispiel wurde mit Visual Studio 2010 erstellt. In dem Beispiel wird GeckoFXMulti verwendet. Es ist sowohl ein Beispiel für Windows Forms als auch für WPF (Windows Presentation Foundation) enthalten.
Call for Papers of BWSS 2010 - THE SECOND BRAZILIAN WORKSHOP ON SOCIAL SIMULATION
******************************
BWSS 2010 - SUBMISSION DEADLINE: June 28, 2010 - BWSS 2010
******************************
BWSS 2010 - THE SECOND BRAZILIAN WORKSHOP ON SOCIAL SIMULATION São
Bernardo do Campo, São Paulo, Brazil, October 24-25, 2010
http://www.ncc.furg.br/
Social simulation has a dialectical relationship to Artificial
Intelligence, in general, and Multi-agent Systems, in particular. It is
both an area for the application of methods, techniques and technologies
of AI and MAS, as well as a source of inspiration for new theories,
models and methods for AI and MAS, as it draws upon the theories, models
and methods of the social sciences (anthropology, sociology, political
science, economy, government, management, etc.).
This one-day workshop will address theoretical, methodological,
technical and instrumental issues concerning the area of simulation of
social systems. The workshop will thus have an interdisciplinary
character.
Theories and models of societies and smaller social systems that embody
a computational concern are at the center of area.
Micro-level and macro-level issues concerning structures and processes
at the social and individual levels, as well as the mutual influence
between such conceptual levels, and problems of upward and downward
causation between them should also be contemplated.
Techniques, tools and computational environments for the simulation of
those models, specially those based on agent and multi-agent technology,
and AI methods in general, should be of primary concern.
Application of social simulation to the various areas of social sciences
(anthropology, sociology, political science, economy, government,
management, etc.) should also be of interest to the audience.
BWSS 2010 will have two invited speakers:
- Prof. Nigel Gilbert (University of Surrey, UK) Title: Modelling
complex social systems: opportunities and challenges
- Prof. Cristiano Castelfranchi (ISTC-CNR, Italy) Title: Intra &
inter-network dynamics, and the 'semantics' of the links
We are cordially inviting you to submit a paper to BWSS 2010. The topics
of interest are (not exclusively):
- theoretical foundations of social simulation
- methods and models for social simulation
- AI and MAS tools, techniques, models and environments for social
simulation
- applications of social simulation (in research, government,
management, education, etc.)
Important dates:
- Deadline for paper submission: June 28, 2010
- Notification to authors: July 28, 2010
- Camera-ready copies of papers: August 12, 2010
- Workshop date: October 24-25, 2010
[Workshop co-located with the 20th Brazilian Symposium on Artificial
Intelligence - SBIA, the XI Brazilian Symposium on Artificial Neural
Network - SBRN, the IV Intelligent Robotics Meeting - JRI (with IX Latin
American Robotics Competition - LARC, and Latin American Robotics
Symposium - LARS)]
Paper format:
Papers should be written in English, with at most 12 pages, and
submitted in PDF format, following the Springer LNCS style (see
http://www.springer.de/comp/
will be JEMS/SBC, through the BWSS 2010 website. At least one author of
any accepted paper should attend the workshop.
Proceedings: The papers accepted for the workshop will be published in
the Workshop Proceedings.
Best Paper: An extended version of the best paper presented at the
workshop, selected by the Program Committee, will be invited to be
submitted for the JBCS - Journal of the Brazilian Computer Society.
(http://www.sbc.org.br/index.
Post-Proceedings:
Depending on the number of submissions, we are planning to propose a
special issue on Social Simulation of the JBCS, where the authors of a
selection of best papers presented at workshop, among other possible
submissions, would be invited to submit extended versions of their
papers, including the discussions and suggestions arised at the workshop
oral presentations and working meetings.
Organizing committee:
* Graçaliz Pereira Dimuro, FURG, Brazil (corresponding chair, email:
gracaliz@gmail.com or gracalizdimuro@furg.br)
* Diana Francisca Adamatti, FURG, Brazil
* Jaime Sichman, USP, Brazil
* João Balsa, Universidade de Lisboa, Portugal
* Luis Antunes, Universidade de Lisboa, Portugal
* Patricia Tedesco, UFPE, Brazil
Program committee:
Alessandro de Lima Bicho (FURG, Brazil)
Alexei Sharpanskykh (Vrije Universiteit Amsterdam)
Ana Lucia Cetertich Bazzan (UFRGS, Brazil)
André Maurício Cunha Campos (UFRN, Brazil)
Antônio Carlos da Rocha Costa (FURG, Brazil)
Armando Geller (George Mason University, USA)
Bruce Edmonds (Centre for Policy Modelling, UK)
Cesareo Hernandez Iglesias (University of Valladolid, Spain)
Claudio Cioffi-Revilla (George Mason University, USA)
Cristiano Castelfranchi (ISTC-CNR, Italy)
Diana F. Adamatti (FURG, Brazil)
Edmund Chattoe-Brown (University of Leicester, UK)
Fabio Yoshimitsu Okuyama (FTEC, Brazil)
Fernando Buarque de Lima Neto (UPE, Brazil)
Fernando Lopes (INETI, Portugal)
Flaminio Squazzoni (University of Brescia, Italy)
Franziska Klügl (University of Örebro, Sweden)
Fréderic Amblard (Universite Toulouse 1, France)
Graçaliz Pereira Dimuro (FURG, Brazil)
Guillaume Deffuant (Cemagref, France)
Gustavo Lugo (UTFPR, Brazil)
Harko Verhagen (Stockholm University, Sweden)
Helder Coelho (University of Lisbon, Portugal)
Iqbal Adjali (Unilever R&D Colworth Lab, UK)
Jaime Sichman (University of Sao Paulo, Brazil)
Jean-Daniel Kant (University of Paris Pierre et Marie Curie, France)
João Balsa (University of Lisbon, Portugal)
Jorge Louçã (ISCTE, Portugal)
Juan Pavón (Universidad Complutense Madrid, Spain)
Julie Dugdale (Laboratoire d'Informatique de Grenoble, France)
Juliette Rouchier (Greqam/CNRS, France)
Keith Sawyer (Washington University in St. Louis, USA)
Klaus Troitzsch (University of Koblenz, Germany)
Luis Antunes (University of Lisbon, Portugal)
Laszlo Gulyas (AITIA Intl. Inc., Lorand Eotvos University, Hungary)
Maíra Ribeiro Rodrigues (UFMG, Brazil)
Maria das Graças Bruno Marietto (UFABC, Brazil)
Marco Janssen (Arizona State University, USA)
Mario Paolucci (ISTC/CNR, Italy)
Nick Gotts (Macaulay Institute, Scotland, UK)
Nigel Gilbert (University of Surrey, UK)
Nuno David (ISCTE, Portugal)
Patrícia Restelli Tedesco (UFPE, Brazil)
Paulo Roberto Ferreira Junior (UFPel, Brazil)
Paulo Trigo (ISEL, Portugal)
Pedro Andrade (INPE, Brazil)
Pietro Terna (University of Torino, Italy)
Ricardo Rodrigo Stark Bernard (UFSC, Brazil)
Rino Falcone (ISTC-CNR, Italy)
Rosaria Conte (ISTC-CNR, Italy)
Samer Hassan (Univ. Complutense Madrid, Spain)
Stanley Loh (UCPel/ULBRA, Brazil)
Tibor Bosse (Vrije Universiteit Amsterdam, The Netherlands)
Wander Jager (University of Groningen, The Netherlands)
Graçaliz Dimuro, Jaime Sichman, Luis Antunes, João Balsa and Patrícia
Tedesco (BWSS 2010 chairs)
------------------------------
Graçaliz Pereira Dimuro
Centro de Ciências Computacionais
Programa de Pós-Graduação em Modelagem Computacional
Universidade Federal do Rio Grande - FURG
Av. Itália km 08 Campus Carreiros
96201-900 - Rio Grande, RS, Brazil
Telefone: +55 53 3293-5069
homepage: http://www.gracalizdimuro.com
emails: gracaliz@gmail.com or gracalizdimuro@furg.br
Mittwoch, 2. Juni 2010
Call for Papers - The Third Workshop on Logics for Resource-Bounded Agents (LRBA)
The Third Workshop on Logics for Resource-Bounded Agents (LRBA)
(with special emphasis on awareness and limited reasoning)
http://www.agents.cs.nott.ac.
To be held as part of Multi-Agent Logics, Languages, and Organisations
-- Federated Workshops (MALLOW 2010) in Domaine Valpr, Lyon, France,
from the 30th of August to the 3rd of September, 2010
http://mallow2010.emse.fr/
AIMS AND SCOPE
Formal models of knowledge and belief, as well as other attitudes such
as desire or intention, have been extensively studied. However, most
of the treatments of knowledge and belief make strong and idealised
assumptions about the reasoners. For example, traditional epistemic
logic say that agents know all logical consequences of their
knowledge. Similarly, logics of action and strategic interaction are
usually based on game theoretic models which assume perfect
rationality. Models based on such assumptions can be used to describe
ideal agents without bounds on resources such as time, memory, etc,
but they fail to accurately describe non-ideal agents which are
computationally bounded. The workshop aims to provide a forum for
discussing possible solutions to the problem of formally capturing the
properties of knowledge, belief, action, etc. of non-idealised
resource-bounded agents. We are particularly interested in formal
models of agents' limited reasoning and (un)awareness (there will be a
publication on this topic following the workshop, see below).
TOPICS
Topics include, but are not limited to, logical models of:
* limited awareness and unawareness
* logically non-omniscient agents in general
* explicit knowledge and belief
* algorithmic knowledge
* temporal logics of reasoning
* active logics
* knowledge and belief of reasoners with bounds on reasoning time,
memory, or other resource bounds (e.g. bandwidth, sensing
limitations)
* other attitudes, such as desire, intention, etc., under bounded
resources
* paraconsistency
* rational choice under bounded resources
* games under bounded resources, e.g. bounded recall, incomplete
information, limited awareness of the structure of the game
IMPORTANT DATES
Submission deadline: 21 June 2010 (extended)
Notification of acceptance: 5 July 2010
Camera-ready: 2 August 2010
Workshop: 30 August - 3 September 2010
PUBLICATION
Accepted papers will appear in informal pre-proceedings published by
MALLOW. Following the workshop, authors are invited to submit extended
revisions of their papers for publication in a volume in the Synthese
Library series, on awareness and limited reasoning, edited by
T. Agotnes, N. Alechina, B. Logan, and G. Sillari.
SUBMISSION GUIDELINES
Authors are invited to submit a full paper. Submissions
should not exceed 15 pages in LaTeX 11pt article style. The following
formats are accepted: pdf, ps. Please submit on line at
http://www.easychair.org/
Any equiries to lrba10@cs.nott.ac.uk
ORGANIZING COMMITTEE
Thomas Agotnes (University of Bergen, Norway)
Natasha Alechina (University of Nottingham, UK)
Brian Logan (University Nottingham, UK)
PROGRAMME COMMITTEE
Thomas Agotnes (University of Bergen, Norway)
Natasha Alechina (University of Nottingham, UK)
Sergei Artemov (CUNY, USA)
Nils Bulling (Clausthal University of Technology, Germany)
Michael Fisher (University of Liverpool, UK)
Chiara Ghidini (FBK-irst, Italy)
Joe Halpern (Cornell University, USA)
Paul Harrenstein (Ludwig Maximilians Universitat Munchen, Germany)
Wiebe van der Hoek (University of Liverpool, UK)
Brian Logan (University of Nottingham, UK)
Rohit Parikh (Brooklyn College CUNY, USA)
Burkhard Schipper (UC Davis, USA)
Giacomo Sillari (University of Pennsylvania, USA)
2010 Summer Computer Simulation Conference (SCSC'10)
11-14 July 2010 - Ottawa, ON, Canada
http://www.dacya.ucm.es/
Organized by the Society for Modeling and Simulation International
Co-Sponsored by ACM SIGSIM (pending)
Come to Ottawa, Canada for SCSC 2010 to witness the 42nd edition of this
leading conference in the field of Modeling and Simulation. SCSC'10 is
focused on basic and applied research in modeling and simulation.
SCSC 2010 features varied tutorials, tracks and workshops. The conference
focuses on modeling and simulation, tools, theory, methodologies and
applications, providing a forum the latest R&D results in academia and
industry. SCSC is a part of the Summer Simulation Multiconference, and is
colocated with:
- International Symposium on Performance Evaluation of Computer &
Telecommunication
Systems (SPECTS'10)
- Grand Challenges in Modeling & Simulation (GCMS'10)
- 2010 SISO European Simulation Interoperability Workshop (Euro SIW)
Over 250 papers will be presented, a Poster Session and varied Panels and
Workshops are planned, including:
KEYNOTES:
- Azzedine Boukerche (University of Ottawa)
DISTRIBUTED SIMULATION SYSTEM - A NECESSARY PUBLIC SECURITY AND
SAFETY
TESTBED FOR AN URBAN EMERGENCY PREPAREDNESS CLASS OF APPLICATIONS
- John Oommen (Carleton University)
ON UTILIZING DEPENDENCE-TREE MODELING IN ARBITRARY SIMULATIONS
- Priscilla Elfrey (NASA)
BUT WHAT IF IT GETS WORSE?
TUTORIALS (free for conference attendees):
- Computer Assisted Exercises and Simulation. Dr. Erdal Cayirci
- Advanced Statistical Approaches for Network Anomaly Detection. Dr. C.
Callegari.
- Application Enablers for Challenged Networks. Dr. Roch Glitho.
A list of detailed activities, a preliminary program and a list of papers
can
be found at:
http://www.dacya.ucm.es/
Call for Papers - 11th International Workshop on Coordination, Organization, Institutions and Norms in Multi-Agent Systems
Institutions and Norms in Multi-Agent Systems
COIN@MALLOW2010
Domaine Valpré in Lyon, France
30th August - 2nd September, 2010
Conference Website: http://ai-lab-webserver.
COIN@MALLOW 2010 workshop is part of the COIN series of workshops http://www.pcs.usp.br/~coin/
MALLOW 2010 web site http://mallow2010.emse.fr/
******************************
IMPORTANT DATES
---------------------------
. Full Paper Submission: June 13, 2010
. Acceptance Notification: July 08, 2010
. Camera-Ready Submission: July 30, 2010
PROCEEDINGS
Revised and extended versions of papers presented in COIN@MALLOW2010 and COIN@AAMAS2010 workshops will be published
in a single Springer LNCS volume.
TOPICS
· Organizations, institutions and norms for managing scale, openness and complexity
· Organizations, institutions and norms and Service Oriented Computing/Architectures;
· Logics, languages and tools for specifying coordination and norms, implementing or simulating organizations and institutions;
· Formal lifecycle models: formation, maintenance, and dissolution of organizations and institutions;
· Laws in electronic institutions: regulatory compliance, penalty and sanctions, dispute resolution and conflict prevention;
· Agent environments: physical and institutional 'resources' for physical capability and institutional power;
· Formal methods for specifying coordination and organizational structures; models for verification, validation and visualisation;
· Non-normative behaviour, error-recovery, and reliable computing with unreliable components;
· Frameworks and protocols for organised and organisational adaptation;
· Discovery, openness and inter-operation in organizations and institutions;
· Analysis of issues in the emergence, evaluation (as fit-for-purpose), compliance to and evolution of norms;
· Mixed human-agent coordination and institutions in embedded systems and virtual worlds.
WORKSHOP CHAIRS
------------------------------
Nicoletta Fornara
University of Lugano, Switzerland
nicoletta.fornara@usi.ch
George Vouros
University of the Aegean, Greece
georgev@aegean.gr
______________________________
agents mailing list
agents@cs.umbc.edu
http://lists.cs.umbc.edu/