From pmt6sbc at maths.leeds.ac.uk Fri Jan 3 11:19:31 2014 From: pmt6sbc at maths.leeds.ac.uk (S B Cooper) Date: Fri, 3 Jan 2014 10:19:31 GMT Subject: CiE 2014: Language, Life, Limits - Budapest, 23-27 June 2014 - 3rd CfP Message-ID: <201401031019.s03AJVwl027354@maths.leeds.ac.uk> Subject: CiE 2014: Language, Life, Limits - Budapest, 23-27 June 2014 3rd CALL FOR PAPERS: CiE 2014: Language, Life, Limits Budapest, Hungary June 23 - 27, 2014 http://cie2014.inf.elte.hu IMPORTANT DATES: Submission Deadline for LNCS: 10 January 2014 Notification of authors: 3 March 2014 Deadline for final revisions: 31 March 2014 FUNDING and AWARDS: CiE 2014 has received funding for student participation from the European Association for Theoretical Computer Science EATCS. Please contact the PC chairs if you are interested. The best student paper will receive an award sponsored by Springer. CiE 2014 is the tenth conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings have taken place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponta Delgada (2010), Sofia (2011), Cambridge (2012), and Milan (2013). The motto of CiE 2014 "Language, Life, Limits" intends to put a special focus on relations between computational linguistics, natural and biological computing, and more traditional fields of computability theory. This is to be understood in its broadest sense including computational aspects of problems in linguistics, studying models of computation and algorithms inspired by physical and biological approaches as well as exhibiting limits (and non-limits) of computability when considering different models of computation arising from such approaches. As with previous CiE conferences the allover glueing perspective is to strengthen the mutual benefits of analyzing traditional and new computational paradigms in their corresponding frameworks both with respect to practical applications and a deeper theoretical understanding. We particularly invite papers that build bridges between different parts of the research community. For topics covered by the conference, please visit http://cie2014.inf.elte.hu/?Topics We particularly welcome submissions in emergent areas, such as bioinformatics and natural computation, where they have a basic connection with computability. TUTORIAL SPEAKERS: Wolfgang Thomas (RWTH Aachen) Peter Gruenwald (CWI, Amsterdam) INVITED SPEAKERS: Lev Beklemishev (Steklov Mathematical Institute, Moscow) Alessandra Carbone (Universite Pierre et Marie Curie and CNRS Paris) Maribel Fernandez (King's College London) Przemyslaw Prusinkiewicz (University of Calgary) Eva Tardos (Cornell University Albert Visser (Utrecht University) SPECIAL SESSIONS: History and Philosophy of Computing (organizers: Liesbeth de Mol, Giuseppe Primiero) Computational Linguistics (organizers: Maria Dolores Jimenez-Lopez, Gabor Proszeky) Computability Theory (organizers: Karen Lange, Barbara Csima) Bio-inspired Computation (organizers: Marian Gheorghe, Florin Manea) Online Algorithms (organizers: Joan Boyar, Csanad Imreh) Complexity in Automata Theory (organizers: Markus Lohrey, Giovanni Pighizzini) Contributed papers will be selected from submissions received by the PROGRAM COMMITTEE consisting of: * Gerard Alberts (Amsterdam) * Sandra Alves (Porto) * Hajnal Andreka (Budapest) * Luis Antunes (Porto) * Arnold Beckmann (Swansea) * Laurent Bienvenu (Paris) * Paola Bonizzoni (Milan) * Olivier Bournez (Palaiseau) * Vasco Brattka (Munich) * Bruno Codenotti (Pisa) * Erzsebet Csuhaj-Varju (Budapest, co-chair) * Barry Cooper (Leeds) * Michael J. Dinneen (Auckland) * Erich Graedel (Aachen) * Marie Hicks (Chicago IL) * Natasha Jonoska (Tampa FL) * Jarkko Kari (Turku) * Elham Kashefi (Edinburgh) * Viv Kendon (Leeds) * Satoshi Kobayashi (Tokyo) * Andras Kornai (Budapest) * Marcus Kracht (Bielefeld) * Benedikt Loewe (Amsterdam & Hamburg) * Klaus Meer (Cottbus, co-chair) * Joseph R. Mileti (Grinnell IA) * Georg Moser (Innsbruck) * Benedek Nagy (Debrecen) * Sara Negri (Helsinki) * Thomas Schwentick (Dortmund) * Neil Thapen (Prague) * Peter van Emde Boas (Amsterdam) * Xizhong Zheng (Glenside PA) The PROGRAMME COMMITTEE cordially invites all researchers (European and non-European) in computability related areas to submit their papers (in PDF format, max 10 pages using the LNCS style) for presentation at CiE 2014. The submission site https://www.easychair.org/conferences/?conf=cie2014 is open. For submission instructions consult http://cie2014.inf.elte.hu/?Submission_Instructions The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag. Contact: Erzsebet Csuhaj-Varju - csuhaj[at]inf.elte.hu Website: http://cie2014.inf.elte.hu/ __________________________________________________________________________ ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk CiE Conference Series http://www.illc.uva.nl/CiE CiE 2014: Language, Life, Limits http://cie2014.inf.elte.hu CiE Membership Application Form http://www.lix.polytechnique.fr/CIE AssociationCiE on Twitter http://twitter.com/AssociationCiE __________________________________________________________________________ From invitation at iariaprogram.org Sat Jan 4 12:33:20 2014 From: invitation at iariaprogram.org (DataSys 2014) Date: Sat, 04 Jan 2014 06:33:20 -0500 Subject: 2nd CfP: DataSys 2014 : July 20 - 24, 2014 - Paris, France Message-ID: <1388835200189.1635@iariaprogram.org> INVITATION: Please consider to contribute and encourage your team members and fellow scientists to contribute to the following federated events under DataSys 2014. The submission deadline is February 28, 2014. Thanks for forwarding the information on this Call for Submissions to those potentially interested to submit. ===== Call for Submissions ======= DataSys 2014 : July 20 - 24, 2014 - Paris, France see: http://www.iaria.org/conferences2014/DataSys14.html DataSys 2014 is a federated event focusing on various aspects related to telecommunications, web applications, internet monitoring, smart technologies, information mining, and mobility. Submission (full paper) deadline: February 28, 2014 Submissions must be electronically done using the 'Submit a Paper' link on the entry page of each conference. Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html. For details on the each conference's topics, see the individual Call for Papers for each conference. Unpublished high quality contributions in terms of Regular papers and Posters or Work in Progress are welcome. Workshop proposals and Panel proposals on challenging topics are encouraged. Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org All tracks/topics are open to both research and industry contributions. -- AICT 2014, The Tenth Advanced International Conference on Telecommunications http://www.iaria.org/conferences2014/AICT14.html -- ICIW 2014, The Ninth International Conference on Internet and Web Applications and Services http://www.iaria.org/conferences2014/ICIW14.html -- ICIMP 2014, The Ninth International Conference on Internet Monitoring and Protection http://www.iaria.org/conferences2014/ICIMP14.html -- SMART 2014, The Third International Conference on Smart Systems, Devices and Technologies http://www.iaria.org/conferences2014/SMART14.html -- IMMM 2014, The Fourth International Conference on Advances in Information Mining and Management http://www.iaria.org/conferences2014/IMMM14.html -- INFOCOMP 2014, The Fourth International Conference on Advanced Communications and Computation http://www.iaria.org/conferences2014/INFOCOMP14.html -- MOBILITY 2014, The Fourth International Conference on Mobile Services, Resources, and Users http://www.iaria.org/conferences2014/MOBILITY14.html -------------------------------- IARIA Publicity Board ------------------------------- To stop receiving notices about DataSys, please reply with "DROP DataSys event at in.tu-clausthal.de" in the subject field. To receive notices about specific topics only, please reply with "TOPIC CHANGE event at in.tu-clausthal.de" in the subject field, and the specific topics in the email body. To stop receiving any notice, please reply with "UNSUBSCRIBE event at in.tu-clausthal.de" in the subject field. From aamas14publicity at gmail.com Mon Jan 6 09:02:38 2014 From: aamas14publicity at gmail.com (Matthew Taylor) Date: Mon, 6 Jan 2014 00:02:38 -0800 Subject: [AAMAS14] Final Call for Demonstrations Message-ID: *Call for Demonstrations* ------------------------------ Demos track Website: http://www.ntu.edu.sg/home/boan/aamas2014Demo/ The goal of the AAMAS DEMOs track is to provide opportunities for participants from academia and/or industry to present their latest developments in agent-based software and/or robotic systems. Interactive systems and novel applications are particularly welcome. Student researchers are encouraged to submit. A "Best Demo" will be selected and awarded by the committee. At least one author of accepted demos will be expected to present a poster and live demonstration at the conference in Paris. Authors of accepted papers and posters in the main track of the AAMAS conference, as well as workshop presenters, are particularly encouraged to submit! (You'll be there anyway - this is another opportunity to share your work and discuss your results in detail with conference attendees who visit your Demo!) Examples of demos include but are not limited to: · Robotic systems (single- and multi-agent) · Interactive agent-based software systems · Agent-based simulation environments · Personal robotics · Innovative applications of agent-based systems or prototypes (e.g., industrial, military, educational) · Agent-based games · Agent platforms and development environments · Open-source software tools for agent-based system development · Human-robot interactive systems · Virtual agents and interactive virtual environments The organizers will make every effort to facilitate demo requirements. If you have unusual requirements please contact the organizers in advance. At a minimum, we will provide a poster board, a monitor with a standard VGA connector, a power strip and a 2m table for each demonstration. ------------------------------ *Submission Requirements* ------------------------------ Submissions accepted for the demonstration session will be advertised on the AAMAS website and in the conference booklet, which will contain abstracts of all available Demos. Each Demo submission must consist of the following: 1. Paper: A 2-page paper in which the authors describe the system to be demonstrated. The paper should describe the application domain, the problem scenario, the technology used, the agent/multi-agent techniques involved, the innovations of the system, its live and interactive aspects, etc. Papers MUST BE PREPARED IN PDF format using the AAMAS style (follow these instructions)). 2. Video or PPT: The paper must contain a URL linking to a demonstration video no more than 5 minutes in length (QuickTime or YouTube format) or a Powerpoint presentation showing and explaining what happens. If some other format can more clearly show the demo, accommodation may be made. Please contact the organizers in advance. 3. Contribution and Supervisor Endorsement (Student Projects Only): A brief note from the student's supervisor describing the student's individual contribution to the project, written on university letterhead and including the supervisor's full name, title and email address. This should be attached as the 3rd page of the PDF Paper submission (above). Accepted Demos will have the 2-page papers included in the AAMAS proceedings. The submission web site: https://www.easychair.org/conferences/?conf=aamas2014demo ------------------------------ *Selection Process* ------------------------------ The submission and selection processes for the AAMAS 2014 Demos will be separate from that of the main conference. Each submission will be assessed by the Demos Committee. The authors will receive a brief report with the result of the evaluation with the notification. The main evaluation criteria are: · Presentation and technical quality · Significance and originality · Relevance to AAMAS · Maturity of the (deployed) system and readiness for demonstration · Potential for public interaction Notification of acceptance or rejection of submitted demos will be sent to the corresponding author (see dates below). At least one author of each accepted demonstration is required to register and to attend the conference to give the demonstration. ------------------------------ *Important Dates* ------------------------------ Submission deadline: *January 10, 2014* Notification of acceptance/rejection: February 14, 2014 Camera-ready paper: February 25, 2014 ------------------------------ *Contact Information* ------------------------------ For more information, please contact the Demos Chairs: Dr. Bo An Nanyang Technological University boan at ntu.edu.sg or Dr. Juan A. Rodriguez-Aguillar IIIA-CSIC jar at iiia.csic.es -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From aamas14publicity at gmail.com Mon Jan 6 09:06:55 2014 From: aamas14publicity at gmail.com (Matthew Taylor) Date: Mon, 6 Jan 2014 00:06:55 -0800 Subject: [AAMAS-14] Doctoral Consortium: 2nd call for submissions Message-ID: Call for Submissions to the Doctoral Mentoring Program part of The Thirteenth International Joint Conference on AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS 2014) Paris, France Symposium Date: May 5, 2014 Conference Dates: May 5-9, 2014 http://aamas2014.lip6.fr/ Following past successful editions, AAMAS 2014 will again include a doctoral mentoring program, intended for PhD students in advanced stages of their research. This program will provide an opportunity for students to interact closely with established researchers in their fields, to receive feedback on their work and to get advice on managing their careers. Specifically, the goals of the program are: * To match each student with an established researcher in the community, who will act as a mentor. The mentor will interact closely with the student, to provide feedback on the student's research, help form new contacts, etc. * To allow students an opportunity to present their work to a friendly audience of other students as well as mentors. * To provide students with suggestions for managing their careers, contacts and professional networking opportunities. * To provide ample opportunities for interactions between mentors and their students prior to the conference, as well as a one day doctoral symposium. Those students selected to take part in the mentoring program will be invited to submit a 2-page extended abstract which will be included in the AAMAS 2014 proceedings. Submissions We encourage submissions from PhD students in advanced stages of their research within the Autonomous Agents and Multi Agent Systems field. Based on the submissions, the organizing committee will select a group of students that will be invited to participate in the program. Those students selected will be expected to take active part in all program activities. Submissions consist of documents which students should provide, together with a recommendation letter from the advisor/supervisor. The submission materials consist of: 1. A two-page extended abstract of the student's thesis (in the AAMAS submission format) 2. A short (2-page) resume (Curriculum Vitae) 3. A recommendation letter from the advisor/supervisor. The first two items should be submitted via EasyChair: https://www.easychair.org/conferences/?conf=dcaamas14 The student advisor/supervisor should send their letter of recommendation (third item) via email to the Doctoral Mentoring Program chairs: Edith Elkind (elkind at cs.ox.ac.uk ) Karl Tuyls (k.tuyls at liverpool.ac.uk) Wamberto Vasconcelos (w.w.vasconcelos at abdn.ac.uk) by February 9, 2014. The letter should address the expected benefit of the student attending, the significance of the research, and the expected date for thesis submission. This letter can be sent in either plain text or PDF format. The student's name must be clearly pointed out in the letter. Important Dates * February 9: Submission package due * March 3: Acceptance notifications * March 11: Camera-ready copy due * May 5: Doctoral Mentoring Symposium The one-day symposium will be held on one day. Doctoral Mentoring Chairs Edith Elkind Department of Computer Science, University of Oxford, United Kingdom elkind at cs.ox.ac.uk Karl Tuyls Department of Computer Science, University of Liverpool, United Kingdom k.tuyls at liverpool.ac.uk Wamberto Vasconcelos Department of Computing Science, University of Aberdeen, United Kingdom w.w.vasconcelos at abdn.ac.uk Web page: http://aamas2014.lip6.fr/doctoral-symposium.php -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ecai2014 at guarant.cz Mon Jan 6 14:04:21 2014 From: ecai2014 at guarant.cz (ecai2014) Date: Mon, 6 Jan 2014 13:04:21 +0000 Subject: ECAI 2014 workshops / final call for papers Message-ID: <1aa90f17449b453ebc3eee8b456d8e2f@GUARANT-EX.guarant.ad> ECAI'14 Final Call for Papers The Twenty-first European Conference on Artificial Intelligence 18-22 August 2014, Prague, Czech Republic http://www.ecai2014.org The ECAI 2014 Organizing Committee invites proposals for workshops to be held in conjunction with the conference. The workshops will be scheduled on August 18 and 19, 2013. Proposals by all members of the international AI community are welcome. There is no restriction regarding topics, as long as there is a clear relevance to ECAI. We prefer a workshop programme that is as varied as possible. Most workshops will follow the classical format of presentations of peer-reviewed papers followed by discussion, but other formats (e.g., AI competitions) and entirely new ideas are also welcome. Whatever the format, all workshops should be interactive events and ample time should be allocated to discussion. The typical duration for a workshop is one full day, but two-day or shorter workshops can also be accommodated. If you are considering to propose a workshop or if you have any questions, please do not hesitate to get in touch with the ECAI-2014 Workshop Chairs, Marina De Vos (mdv at cs.bath.ac.uk) and Karl Tuyls (k.tuyls at liverpool.ac.uk). The deadline for submission of a workshop proposal is 12 January 2014. Detailed submission instructions and further information can be found on http://www.ecai2014.org/ ECAI Workshop Chairs Marina De Vos and Karl Tuyls -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From a.artikis at gmail.com Tue Jan 7 13:57:46 2014 From: a.artikis at gmail.com (Alexander Artikis) Date: Tue, 7 Jan 2014 14:57:46 +0200 Subject: Action Languages special session in the Hellenic AI conference: Deadline Extension Message-ID: Extended Deadline: January 20. Special Session in the Hellenic Artificial Intelligence Conference May 15-17, 2014 http://setn2014.cs.uoi.gr/index.php/en/special-sessions/action-languages Action Languages: Theory & Practice Action languages are formalisms supporting the representation and reasoning of actions or events and their effects. They constitute an important field of Artificial Intelligence, having played a pivotal role in the development of logics and languages to represent knowledge and reason about the dynamics of systems. Examples are the Situation Calculus, the Event Calculus and the language BC. The aim of this special session is to bring together researchers working in the active field of action languages. This way, researchers will be able to exchange ideas and establish common research programmes. We invite quality submissions focusing on various aspects of action languages. We welcome both theoretical contributions as well as papers describing emerging applications. For the latter, a time slot will be devoted to software demos (authors should state their desire to accompany the oral presentation with a live demo or video clip in their submission). Broad topics include: -Action language implementations. -Benchmark problems and datasets. -Action languages for: +Stream processing in Big Data applications. +Reasoning and planning in Ambient Intelligence. +Run-time service discovery. +Cognitive robotics. +Managing competitive multi-agent systems. +Supporting health care systems. +Complex event and activity recognition. +Reasoning about the knowledge of other agents. +Static and run-time reasoning about (data-aware) business processes. -Action languages in video-games. Key Dates: Submission deadline: January 20 Notification: February 17 CRC deadline: March 5 Submission Instructions: http://setn2014.cs.uoi.gr/index.php/en/submission Special Session Organisers: Alexander Artikis, NCSR Demokritos, Greece Marco Montali, Free University of Bozen-Bolzano, Italy Theodore Patkos, Foundation for Research and Technology (FORTH), Crete, Greece Stavros Vassos, Sapienza University of Rome, Italy Programme Committee Stefano Bromuri, University of Applied Sciences Western Switzerland Didac Busquets, Imperial College London, UK Federico Chesani, University of Bologna, Italy Jorge Lobo, Barcelona UPF, Spain Loizos Michael, Open University of Cyprus Leora Morgenstern, Leidos, USA Pavlos Peppas, University of Patras, Greece Jeremy Pitt, Imperial College London, UK Dimitris Plexousakis, Foundation for Research and Technology (FORTH), Crete, Greece Regis Riveret, Imperial College London, UK -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From p.turrini at imperial.ac.uk Tue Jan 7 15:38:22 2014 From: p.turrini at imperial.ac.uk (Paolo Turrini) Date: Tue, 07 Jan 2014 14:38:22 +0000 Subject: Norms Actions Games (NAG 2014): Final call for papers In-Reply-To: <52CC10E9.8020805@imperial.ac.uk> References: <52CC10E9.8020805@imperial.ac.uk> Message-ID: <52CC115E.2070808@imperial.ac.uk> NAG 2014: Final call for papers Norms Actions Games King's College London, London (April, 1-2 2014) http://www.doc.ic.ac.uk/~pturrini/NAG/ *AIMS OF THE WORKSHOP* In strategic interaction, where multiple agents pursue personal objectives, conflict is bound to arise, as the actions of the individual agents have an effect on the welfare of the others. In such situations the need arises for the explicit regulation of individual and collective behaviour which has traditionally followed two alternative approaches, well-known in the economics literature: the spontaneous order approach, which studies how norms result from endogenous agreements among rational individuals, and the mechanism design approach, which studies how norms are exogenously designed in order to reach desirable properties. The present workshop is motivated by the conviction that the two paradigms to understand norms in strategic interaction are by no means incompatible and can be effectively used together for regulative purposes. The aim of the symposium is to gather researchers looking at norms in strategic interaction from different perspectives, i.e. philosophy, computer science, game theory, logic, fostering discussion and interdisciplinary collaboration. Researchers will be given the opportunity of presenting their work in a stimulating environment, without novelty constraints on their contribution. The workshop will encourage submissions in (but will not be limited to) the following areas: Normative multi-agent systems Norms in experimental game theory Theories of agency and responsibility Action formalisms Theories of collective responsibility and norms Theories of contracts Bargaining and negotiation Coalition formation Norms and preferences Theories of compliance Norm emergence and simulation Norm change Deontic logic The workshop is sponsored by SINTELNET, the European Network for Social Intelligence, and NIBS, the ESRC Network for Integrated Behavioural Science. *WORKSHOP CHAIRS* Jan Broersen (Department of Information and Computing Science, Utrecht University) Alex Possajennikov (School of Economics, University of Nottingham) Paolo Turrini (Department of Computing, Imperial College London) *INVITED SPEAKERS* Cristina Bicchieri (Department of Philosophy, University of Pennsylvania) Urs Fischbacher (Thurgau Institute of Economics, University of Konstanz) Martin van Hees (Faculty of Social and Behavioural Sciences, University of Amsterdam) Marek Sergot (Department of Computing, Imperial College London) Kai Spiekermann (Department of Government, London School of Economics) Jorgen Weibull (Department of Economics, Stockholm School of Economics) Michael Wooldridge (Department of Computer Science, University of Oxford) *SUBMISSION INSTRUCTIONS* We welcome contributions on the conference topics from all relevant disciplines, with special emphasis on interdisciplinary approaches. The deadline for submission is January 30, 2014, and we will accept short papers/extended abstract (max 3000 words). Pdf files should be submitted through EasyChair via the link https://www.easychair.org/conferences/?conf=nag2014 *RELEVANT DATES* January 30, 2014 Submission of short papers to the conference (max. 3000 words) February 28, 2014 Notification of acceptance April 1-2, 2014 Workshop in London *PROGRAMME COMMITTEE* Thomas Agotnes (University of Bergen) Uwe Aickelin (University of Nottingham) Natasha Alechina (University of Nottingham) Jason M. Alexander (London School of Economics) Giulia Andrighetto (Italian National Research Council) Tina Balke (University of Surrey) Cristina Bicchieri (University of Pennsylvania) Guido Boella (University of Torino) Jordi Brandts (Universitat Autonoma de Barcelona) Jan Broersen (Utrecht University) Fabrizio Cariani (University of California Berkeley) Cristiano Castelfranchi (Italian National Resarch Council) Alex Chavez (University of Michigan) Rosaria Conte (Italian National Resarch Council) Robert Craven (Imperial College London) Giuseppe Dari-Mattiacci (University of Amsterdam) Mehdi Dastani (Utrecht University) Edith Elkind (University of Oxford) Enrique Fatas (University of East Anglia) Urs Fischbacher (University of Konstanz) Simon Gaechter (University of Nottingham) John Gathergood (University of Nottingham) Lou Goble (Willamette University) Valentin Goranko (Technical University of Denmark) Davide Grossi (University of Liverpool) Shaun Hargreaves Heap (King's College London) Paul Harrenstein (University of Oxford) Martin van Hees (University of Amsterdam) Andreas Herzig (French National Centre for Scientific Research) Wiebe van der Hoek (University of Liverpool) Jeff Horty (University of Maryland) Steffen Huck (University College London) Barteld Kooi (University of Groningen) Dorothea Kuebler (University of Berlin) Jerome Lang (French National Centre for Scientific Research) Azi Lev-On (Ariel University Center) Brian Logan (University of Nottingham) Emiliano Lorini (French National Centre for Scientific Research) Michael Luck (King's College London) Robert MacKay (University of Warwick) John-Jules Meyer (Utrecht University) Ryan Muldoon (University of Pennsylvania) Sten Nyberg (Stockholm University) Nardine Osman (Spanish Research Council) Julian Padget (University of Bath) Anders Poulsen (University of East Anglia) Alex Possajennikov (University of Nottingham) David Rand (Yale University) Regis Riveret (Imperial College London) Antonino Rotolo (University of Bologna) Olivier Roy (Munich Center for Mathematical Philosophy) Giovanni Sartor (University of Bologna) Martin Sefton (University of Nottingham) Marek Sergot (Imperial College London) Carles Sierra (Spanish Research Council) Kai Spiekermann (London School of Economics) Chris Starmer (University of Nottingham) Robert Sugden (University of East Anglia) Allard Tamminga (University of Groningen) Leon van der Torre (University of Luxembourg) Luca Tummolini (Italian National Resarch Council) Theodore Turocy (University of East Anglia) Paolo Turrini (Imperial College London) Jorgen Weibull (Stockholm University) Michael Wooldridge (University of Oxford) Erte Xiao (Carnegie Mellon University) Peyton Young (University of Oxford) Daniel Zizzo (University of East Anglia) *FURTHER INFORMATION* For more information please have a look at the workshop website http://www.doc.ic.ac.uk/~pturrini/NAG/index.html From kesamsta2014 at fer.hr Tue Jan 7 16:31:00 2014 From: kesamsta2014 at fer.hr (KES AMSTA 2014 Conference) Date: Tue, 7 Jan 2014 15:31:00 +0000 Subject: Self-organizing multi-agent systems: Technologies and applications - KES-AMSTA'14 Message-ID: <161512044993684484E6572B432198230F2B34@MAIL4.fer.hr> Dear colleagues, Please find below a Call for Papers for the Invited Session on "Self-organizing multi-agent systems: Technologies and applications" @ KES AMSTA 2014 to be held in Chania, Greece 18 - 20 June 2014. We apologize if you receive duplicate copies of this announcement. Best Regards, Iva Bojic, Jose Luis Fernandez-Marquez, and Giovanna Di Marzo Serugendo Special Session Co-chairs ******************************************************************************************************************** Self-organizing multi-agent systems: Technologies and applications Invited Session Invited Session of the 8th International KES Conference on Agents and Multi-agent Systems -Technologies & Applications (AMSTA-14) http://amsta-14.kesinternational.org/ June 18 - 20, 2014 Chania - Crete, Greece ********************************************************************************************************************* Multi-agent systems are composed of multiple interacting software components also known as agents who are capable of cooperating to solve problems that are beyond the abilities of any of them individually. Moreover, for scale, distribution or reasons due to uncertain environments, interactions among agents need to be realized in a completely decentralized and autonomous way. We can achieve all of the aforementioned if modeling multi-agent systems as self-organizing systems. Namely, by its definition self-organization is a process in which a global behavior emerges from the local interaction between different entities without any centralized control. Even though self-organizing systems have been widely applied and their potentials are strongly recognized in many different application areas (e.g., swarm robotics, sensor networks and network optimization), the engineering of self-organizing system is still in a very early stage. Analogously to the software applications in the 60’s, nowadays self-organizing systems have to be built from scratch. However, firstly there is a lack of simulators and tools that allow developers to build their prototypes and validate their applications. Secondly, there is also a lack of execution models and new paradigms for carrying on computations among a set of entities with computational capabilities. Therefore, this invited session aims to connect researchers interested in self-organizing systems engineering, providing them a place for presenting and discussing new ideas that could contribute to the better understanding of the self-organizing systems engineering and transferring that knowledge to the industrial applications. The subject areas will include, but are not limited to, the following: - Self-organizing design patterns - Execution models for self-organization - Architectural styles for self-organization - Bio-inspired self-organizing systems - Adaptation in self-organizing systems - Validation of self-organizing systems - Design and development of self-organizing systems - Tools and simulators for self-organizing systems engineering - Controlling emergent behavior in self-organizing systems - Self-organizing mechanisms in theory and practice - Methodologies for engineering self-organizing systems - Industrial applications of self-organizing systems ------------------------ Important Dates ------------------------ *** Feb. 24: Paper Submission *** March 3, 2014: Author Notification March 10, 2014: Camera-Ready Copy March 14, 2014: Author Registration ------------------------ Program Co-Chairs ------------------------ Iva Bojic University of Zagreb http://agents.usluge.tel.fer.hr//iva.bojic email: iva.bojic at fer.hr Jose Luis Fernandez-Marquez University of Geneva http://www.cui.unige.ch/~fernajos/ email: joseluis.fernandez at unige.ch Giovanna Di Marzo Serugendo University of Geneva http://cui.unige.ch/~dimarzo/ email: joseluis.fernandez at unige.ch ---------------------------------------- Program Committee Members ---------------------------------------- Richard Anthony, Greenwich University, UK Juan Carlos Burguillo-Rial, University of Vigo, Spain Jesus Cerquides, IIIA-CSIC, Spain Onder Gurcan, CEA LIST, France & Ege University, Turkey Tomislav Lipic, Ruder Boskovic Institute, Croatia Sara Montagna, University of Bologna, Italy Meritxell Vignyals, Southampton University, UK Mirko Viroli, University of Bologna, Italy Juan Ye, University of St. Andrews, UK … to be completed --------------------- Proceedings --------------------- The conference proceedings will be published by Springer in their Advances in Intelligent and Soft Computing series, index/abstracted* in ISI Proceedings, DBLP. Ulrich's, EI-Compendex, SCOPUS, Zentralblatt Math, MetaPress and Springerlink. ------------------------------------- Paper submission and format ------------------------------------- Papers are invited for the conference on topics lying within the scope of the conference. All contributions must be of high quality, original, should not have been published elsewhere and should not be intended for publication elsewhere during the review period or time of the conference. To ensure high quality, all papers will be thoroughly reviewed by the conference Review Committee. Papers may be rejected without being sent to the reviewers if they are too long or if it is judged that they do not lie sufficiently within the scope of the conference. The papers will be scheduled for presentation either orally or by poster, depending on their attributes, author preferences and referee recommendations. Please note that poster presentations are regarded as being of equal importance to oral presentations. Submissions must be formatted according to the instructions which can be found on the Springer website (http://www.springer.com/series/11156) under "Instructions for Authors". Papers must be submitted in PDF format for review purposes, but authors are required to upload editable word-processor files (LaTeX or MS Word) at the end of the review process. The required paper length is 10 pages in publisher format. Papers longer than this may be subject to an additional charge. Papers much longer or shorter than the required length may be rejected, at the decision of the organisers. Papers to be considered for the conference must be submitted in PDF form through the PROSE online submission and review system (http://amsta-14.kesinternational.org/prose.php) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From invitation at iariaprogram.org Wed Jan 8 17:08:15 2014 From: invitation at iariaprogram.org (ICSNC 2014) Date: Wed, 08 Jan 2014 11:08:15 -0500 Subject: 1st CfP: ICSNC 2014 || October 12 - 16, 2014 - Nice, France Message-ID: <1389197295208.1723@iariaprogram.org> INVITATION: ================= Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to ICSNC 2014. The submission deadline is May 16, 2014. Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org ================= ============== ICSNC 2014 | Call for Papers =============== CALL FOR PAPERS, TUTORIALS, PANELS ICSNC 2014, The Ninth International Conference on Systems and Networks Communications October 12 - 16, 2014 - Nice, France General page: http://www.iaria.org/conferences2014/ICSNC14.html Call for Papers: http://www.iaria.org/conferences2014/CfPICSNC14.html - regular papers - short papers (work in progress) - posters Submission page: http://www.iaria.org/conferences2014/SubmitICSNC14.html Submission deadline: May 16, 2014 Sponsored by IARIA, www.iaria.org Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org Please note the Poster and Work in Progress options. The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas. All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels. Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html ICSNC 2014 Topics (topics and submission details: see CfP on the site) WINET: Wireless networks 3G/4G integration; Wireless protocols, architectural and design concepts; Design and implementation of mobile information systems; Wireless communications and mechanisms; Antenna and RF subsystems; Coding & modulation & equalization; Channel modeling and characterization; Equalization/Synchronization; Wireless technologies; Wireless applications & services; IP Multimedia subsystems (IMS); Wireless and mobility; Wireless-wireline convergence; Radio communications systems; Specialized wireless networks; Management of wireless networks; Position on standards & fora on wireless networks; Business models on wireless networks; Communications regulations, Spectrum management; Software-Defined Radio (SDR) [ architectures, hardware, software, signal processing and smart antennas, etc.] HSNET: High speed networks Technologies, protocols, and applications for high speed networks; Voice over high speed networks; Services and interconnections of high speed networks; Technologies for High speed optical networks; Optical burst switching; End-to-end applications; Optical control plan; Advanced optical technology architectures; Design of high speed systems and networks; Methodologies and development tools for high speed networks; Management and control of high speed networks; Performance in high speed networks; Security aspects in high speed networks; QoS/SLA in high speed networks; Diagnosing high speed networks; High speed networks and NGN SENET: Sensor networks Architectures and protocols for wired and wireless sensor networks; Design of sensor networks; Instrumentation and models for deployment of sensors networks; Power in sensor networks; Ad hoc and wireless sensor networks; Management and control of sensor networks; Performance in sensor networks; Security and reliability aspects in sensor networks; Information assurance in sensor networks; QoS/SLA in sensor networks; Applications, case studies and prototypes with sensor networks MHNET: Mobile and Ad hoc networks Mobile technology and fundamentals; Analytical and validation models for mobility; Architecture and routing protocols for mobile networks; Architectures, frameworks, fundamentals on ad hoc networks; Energy efficient design, cross-layer design, scalability; MAC protocols for ad-hoc and sensor networks (801.11, Bluetooth, etc.); Data, information, and signal processing in mobile networks; Complexity analysis of mobile algorithms and protocols; Software platforms and development tools supporting mobility; QoS/SLA, access control and security in mobile and ad hoc networks; Location and mobility management; Location and service discovery in ad hoc networks; Planning, provisioning, and deployment mobility features; Directional and smart antennas for mobile and ad-hoc networks; Performance and security in ad hoc and mobile networks; Self-organization, synchronization and stability in ad hoc networks; Self-management in ad hoc and mobile networks; Ad hoc and mobile networks and autonomic com puting; Mobile ad hoc platforms, systems and tools; Applications over ad hoc networks; Standards evolution on mobility and ad hoc networks AP2PS: Advances in P2P Systems Architectures and protocols; Gossip-based and epidemic protocols; Integration with network operators and service providers; Autonomic computing and networking; Semantic P2P; Opportunistic networking; Content delivery networks; Applications; Prototypes and simulations; Implementations; Comparative performance analysis; Dependability, resilience and availability; Benchmarking and optimization; Quality of experience; Security, trust and reputation; Digital rights management; Content filtering; P2P and wireless convergence; Integrated approaches; Energy efficiency MESH: Advances in Mesh Networks Architectures and algorithms; Wireless interference models; Large-scale networks; Real-time and non-real-time communications; Centralized and distributed scheduling; Service differentiation; Security, Privacy, and Trust; Protocol interference models; Single-channel multihop/multichannel routing; Quality of Services routing; Multimedia-centric routing; Cross-layer multicast routing; QoS-based access protocols for mesh networks; Multichannel access protocols; Applications; Multimedia services; Home IPTV; WiMax; Broadband home networking communications; Smart buildings; Broadband Internet access VENET: Vehicular networks Communication technologies in vehicular networks; Frameworks and architectures for vehicular networks; Interoperability with Internet and other networks; Vehicle-infrastructure communications; Vehicle-to-vehicle communications; Emerging inter/intra-vehicle and infrastructure-to-vehicle wireless technologies; Cross-layer design and optimization for vehicular networks; Middleware and service architectures for vehicular networks; Propagation issues Vehicular sensors and data collection and process; On-drive diagnostics and repair technologies and systems; Protocol features /MAC, QoS, routing, multicast, addressing, identity/; Mobility and hand-off ; Properties /security, privacy, performance, robustness, real-time, etc./; Control and management in vehicular networks; Driver-oriented support systems /assistance, active&passive safety, etc./; Case studies and fields trials on vehicular networks; Applications across vehicular networks /content distribution, alerting, etc./; Standardization /802.11p, DSRC, etc./ and standard platforms /JasPar, AUTOSTAR, etc./ RFID: Radio-frequency identification systems Fundamentals for RFID systems; Communications in RFID systems; Next generation RFID Technologies; RFID middleware design and architecture; Antenna design for RFID; System design and deployment; Circuits and architecture; RFID ans sensor networks; Bridging RFID networks in heterogeneous networks; Collision, proximity, speed; Security, privacy, trust; Monitoring and control of RFID systems; Localization and tracking; Inventory tracking; Testing and verification; Planing and executing RFID systems; RFID pilot projects; Use cases in deploying and operating /finance, manufacture, agriculture, transportation, etc./; Tools for supporting the design and deployment of RFID systems SESYS: Security systems Security analysis methodologies; Middleware and distributed systems security; Cryptography, certificates, information hiding, access control; Protection, risk, vulnerabilities, attacks, authorization/authentication; Access control, wireless access control, broadband access control; Biometrics, smart cards, identification and trust methodologies; Certification, accreditation anonymity, and audit; Security management, emergency contingency planning, identify theft, life safety; Wireless and mobile security; Fast security associations; Electronic surveillance and e-commerce protocols; Security and trust in web-services-based applications; Peer-to-peer security, denial of services; Information survivability, insider threat protection, integrity; Intellectual property rights, privacy, legal and regulatory issues; Criminal exploitation of technology; Commercial and industrial security; Viruses, hackers, worms, spam, and other malicious code MCSYS: Multimedia communications systems Technologies, protocols, and mechanisms for multimedia communications; Multimedia compression mechanisms and information representation; Multimedia encoding and compression, MPEG-1 to MPEG-4, Wavelet and fractal; Multimedia frameworks, communications, and middleware; Next generation multimedia communications; Mobile multimedia communications; Methodologies and development tools for multimedia communications systems; Wireless mobile multimedia communications; Ad hoc multimedia networks; IP-based Multimedia Subsystems (IMS); QoS/SLA in mobile multimedia services and applications; Mechanisms for interactive multimedia applications; Designing and implementing interactive applications; Multimedia authoring, publishing, and right securing; Security and performance for multimedia communications; Management, QoS, and security aspects in streaming over wireless ad hoc networks; Management and control of multimedia systems; Standards protocols for multimedia communications POSYS: Policy-based systems Policy for automation control; Trusting policy control commands; Policy-driven autonomic organizations; Policy-based control scalability; Policy sensors for feedback control; Policy conflict detection and conflict resolution; Context-aware policy-driven adaptive frameworks; Policy integrity, trust and negotiations; Policy-based software applications; Policing pervasive computing environments; Policing on-demand systems and services PESYS: Pervasive education system Learning and teaching systems; E-learning methods and e-learning scenarios; Tools and architectures for mobile/ubiquitous e-learning; Cooperative learning and working; Mobile technology and education; Distance learning and education; Computers and arts; Education in developing regions; Reflection in learning software and hardware; Social impact metrics on distance learning; Methodologies and processes for education; Curriculum projects and experiences; Intelligent support; Multimedia environment for teaching; E-market place for higher education; Embedded systems education; Wearable computers and education Committee: http://www.iaria.org/conferences2014/ComICSNC14.html ================================================ To stop receiving notices about ICSNC, please reply with "DROP ICSNC event at in.tu-clausthal.de" in the subject field. To receive notices about specific topics only, please reply with "TOPIC CHANGE event at in.tu-clausthal.de" in the subject field, and the specific topics in the email body. To stop receiving any notice, please reply with "UNSUBSCRIBE event at in.tu-clausthal.de" in the subject field. From J.M.Broersen at uu.nl Wed Jan 8 21:40:44 2014 From: J.M.Broersen at uu.nl (Jan Broersen) Date: Wed, 8 Jan 2014 21:40:44 +0100 Subject: Two PhD and two postdoc positions in logic for AI - Utrecht University Message-ID: <52CDB7CC.9000609@uu.nl> Two PhD and two postdoc positions in logic for AI - Utrecht University Deadline for application: February 1st, 2014 For the ERC consolidator project "Responsible Intelligent Systems" (REINS) we are looking for 2 PhD students and 2 postdocs to be employed in the division of artificial intelligence at the department of information and computing sciences. REINS The REINS project aims to provide a framework for automating responsibility, liability, and risk checking for intelligent systems. As intelligent systems are increasingly integrated into our daily life, the division, assignment and checking of responsibilities between human and artificial agents become increasingly important. From robots in medicine, the military and transportation (self-driving cars); to automated trading agents on the financial markets (algotrades); to automated monitoring, prediction and protection systems (pacemakers, automated surveillance, early warning systems); we delegate more and more responsibility to intelligent devices. By delegating responsibilities to intelligent devices, we run the risk of losing track of our indirect legal and moral liabilities. Sub-project 1: "Logics of Collective Responsibility" Vacancies: 1 PhD student (4 years), 1 postdoc (2 or 3 years) Starting date: March 1st, 2014 (later dates may be negotiated) Goal: Suitable logical representation languages for individual and collective responsibilities. Scientific context: computer science, philosophy, logic, artificial intelligence The "Logics of Collective Responsibility" sub-project undertakes the formalization of the concept of responsibility, with a focus on the generalization of existing formal theories to the collective case. The concept of responsibility is highly non-trivial. It has been the subject of extensive debates in philosophy and legal theory and revolves around issues like free will, moral luck and collective action. In our opinion the conceptual and philosophical complexities involved in the understanding of the notion of responsibility ask for the clarity and expressivity of logical formalizations. While for the case of individual responsibility several formal languages have been proposed, for the case of collective responsibility, the logic literature is lacking concrete suggestions. The key objective in this sub-project is to fill this knowledge gap. Sub-project 2: "Grades of Responsibility relative to Normative Systems" Vacancies: 1 PhD student (4 years), 1 postdoc (3 years) Starting date: March 1st, 2014 (later dates may be negotiated) Goal: A logic theory of grades of responsibility relative to normative systems Scientific context: computer science, legal theorie, deontic logic, artificial intelligence In the "Grades of Responsibility relative to Normative Systems" sub-project we will develop systems of formal deontic logic in relation to classes of responsibility (as developed in sub-project 1) and probabilistic, possibilistic or evidence-based action. The possibility to model actions and events using probabilities has been investigated in the area of Markov Decision Processes and in Bayesian Networks. However, in the context of deontic reasoning, actions with uncertain effects have not been considered. Yet it is very natural to think of having responsibilities relative to a normative system as having to optimize the chance to obey obligations and having to avoid the risk of violations. We can even make a stronger claim: responsibility typically only shows in normative contexts where uncertainty and risk play a central role. The project aims to combine existing theories on responsibility, risk-taking action and deontic logic with existing theories of probabilistic, possibilistic or evidence-based reasoning. *Utrecht University* Utrecht University has great ambitions for its teaching quality and study success rates. This also applies to its clear research profiles which are centred around four themes: Sustainability, Life Sciences, Youth & Identity, and Institutions. Utrecht University plays a prominent role in our society and contributes to finding the answers to topical and future societal issues. *Faculty of Science* The Faculty of Science consists of six departments: Biology, Pharmaceutical Sciences, Information and Computing Sciences, Physics and Astronomy, Chemistry and Mathematics. The Faculty is home to 3500 students and nearly 2000 staff and is internationally renowned for the quality of its research. The Faculty's academic programmes reflect developments in today's society. *Department of Information and Computing Sciences* The Department of Information and Computing Sciences is nationally and internationally well known for its fundamental research in computer science and as an initiator in the area of game technology. The department's research activities are clustered into four divisions, viz. Virtual Worlds, Artificial Intelligence, Interaction Technology, and Software Systems. The Department of Information and Computing Sciences offers educational bachelor programs in computer science and information science, and four (English) research master programs, viz. Game and Media Technology, Computing Science, Business Informatics, and Artificial Intelligence. Three years ago the Department introduced a track on Game Technology in the bachelor program in computer science, which led to a substantial annual increase of bachelor students. The bachelor programs are the largest computer science and information science programs in the Netherlands *Division Artificial Intelligence* The division Artificial Intelligence comprises the chairs Intelligent Systems, Decision Support Systems and Algorithmic Data Analysis. Together these groups cover a broad spectrum of subjects in Artificial Intelligence, ranging from symbolic logic approaches to sub-symbolic evolutionary approaches; from agent programming to machine learning; from knowledge discovery to knowledge representation; from Bayesian networks to applied algorithmics for AI. *Job Description* Candidates are expected to: - complete and defend a PhD thesis within the nominal time-frame (applies only to PhD candidates); - assist in the supervision of the PhD student in the sub-project (applies only to postdocs); - regularly present intermediate research results at our internal colloquium and at international workshops and conferences; - collaborate with the other researchers in the REINS project; - participate in the organization of research activities and events such as conferences, workshops and symposia; - Assist in teaching tasks and/or take on teaching responsibilities *Conditions of employment* PhD candidates are offered a full-time position for 4 years. Salary starts at € 2,042.- and increases to € 2,612.- gross per month in the fourth year of the appointment. The salary is supplemented with a holiday bonus of 8% and an end-of-year bonus of 8,3% per year. In addition we offer: a pension scheme, a partially paid parental leave, flexible employment conditions. Conditions are based on the Collective Labour Agreement Dutch Universities. More information is available on: http://www.uu.nl/EN/informationfor/jobseekers/Working-for-Utrecht-University/terms-of-employment/Pages/default.aspx Postdoc candidates are offered a position for 2 or 3 years. The positions are full-time, but part-time (80%) employment is negotiable. The gross salary depends on qualifications and experience and ranges from € 2,919 to € 3,831 per month. (Salary scale 10) The salary is supplemented with a holiday bonus of 8% and an end-of-year bonus of 8,3% per year. In addition we offer: a pension scheme, a partially paid parental leave, flexible employment conditions. Conditions are based on the Collective Labour Agreement Dutch Universities. More information is available on: http://www.uu.nl/EN/informationfor/jobseekers/Working-for-Utrecht-University/terms-of-employment/Pages/default.aspx *How to apply* Candidates are invited to send (1) a motivation letter, (2) a CV, (3) the email address of a referee, and (4) a published paper (for postdocs) or a master thesis plus grades (for PhD candidates) by following the instructions on the vacancies page of our faculty http://www.uu.nl/faculty/science/EN/AboutFBW/organisation/Pages/vacancies.aspx or on the vacancies page of our departement http://www.cs.uu.nl/vacatures/en/ Deadline for applications is february 1st, 2014. For any further information on the project or the vacancies one can contact dr. Broersen at email address J.M.Broersen at uu.nl or professor John-Jules Charles Meyer at email address J.J.C.Meyer at uu.nl From Bertram.Fronhoefer at tu-dresden.de Thu Jan 9 14:37:59 2014 From: Bertram.Fronhoefer at tu-dresden.de (=?ISO-8859-1?Q?Bertram_Fronh=F6fer?=) Date: Thu, 09 Jan 2014 14:37:59 +0100 Subject: DEADLINE: January 31, 2014 Message-ID: <52CEA637.2090706@tu-dresden.de> Dear all, I'd like to draw your attention to the fact that fresh Erasmus Mundus scholarships are available for Non-European AND European students who enrol in our European Master's Program in Computational Logic in the fall of 2014. The deadline for application is 31 January, 2014. More details are given below. In particular, I'd like to draw your attention to the fact that we are able to provide grants to EU-students for doing their project at the National ICT of Australia (NICTA). Please spread this information as wide as possible among friends and colleagues, at your old universities and the places, where you currently live and work. Many thanks -- Steffen ******************************************************************************************************* The European Master's Program in Computational Logic We are glad to announce to you the possibility to join our European Master's Program of Computational Logic. This program is offered jointly at the Free-University of Bozen-Bolzano in Italy, the Technische Universität Dresden in Germany, the Universidade Nova de Lisboa in Portugal and the Technische Universität Wien in Austria. Within this program you have the choice to study at two /three of the four European universities. In addition, you can do your project work at the National ICT of Australia (NICTA). You will graduate with a MSc in Computer Science and obtain a joint degree. Information on the universities and the program including the application procedure is provided here: http://www.emcl-study.eu/home.html Language of instruction is English. Tuition fees are 3.000 EUR (for non-European students) and 1.000 (for European students) per year. We would like to draw your attention to the ERASMUS-MUNDUS scholarship program. The ERASMUS-MUNDUS consortium offers 2-year scholarships up to 48.000 EUR for non-EU students and up to 23.000 EUR for EU students of our European Master's Program in Computational Logic. More information on the scholarship program is available from: http://www.emcl-study.eu/fileadmin/emcl_booklet_tree/ma_em_grant.html Do not hesitate to contact us if you have any further questions. Kind regards -- Steffen Hölldobler Prof. Dr. Steffen Hoelldobler International Center for Computational Logic Technische Universität Dresden 01062 Dresden, Germany phone: [+49](351)46 33 83 40 fax: [+49](351)46 33 83 42 email: sh at iccl.tu-dresden.de From xavier.parent at uni.lu Thu Jan 9 16:25:35 2014 From: xavier.parent at uni.lu (Xavier PARENT) Date: Thu, 9 Jan 2014 15:25:35 +0000 Subject: CfP: 12th International Conference on Deontic logic Message-ID: <63BB153C-FCD9-4FD3-B333-176865E3C68D@uni.lu> CALL FOR PAPERS - DEON 2014 12th International Conference on Deontic logic 12-15 July 2014, Ghent, Belgium http://www.deon2014.ugent.be [co-located with TiL 2014] The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, philosophy, organization theory and law. In addition to these general themes, DEON 2014 will encourage a special focus on the topic: Deontic modalities in natural language There have been ten previous DEON conferences: Amsterdam, December 1991; Oslo, January 1994; Sesimbra, January 1996; Bologna, January 1998; Toulouse, January 2000; London, May 2002; Madeira, May 2004; Utrecht, July 2006, Luxembourg, July 2008, Fiesole July 2010, Bergen, July 2012. This DEON will be colocated with the 2014 edition of TiL (Trends in Logic), 8 July - 11 July, same venue: http://entiaetnomina.blogspot.be/p/trends-in-logic-xiv.html ------------ General Themes ------------ The Program Committee invites papers concerned with the following topics: • the logical study of normative reasoning, including formal systems of deontic logic, defeasible normative reasoning, logics of action, logics of time, and other related areas of logic • the formal analysis of normative concepts and normative systems • the formal specification of aspects of norm-governed multi-agent systems and autonomous agents, including (but not limited to) the representation of rights, authorization, delegation, power, responsibility and liability • the normative aspects of protocols for communication, negotiation and multi-agent decision making • the formal representation of legal knowledge • the formal specification of normative systems for the management of bureaucratic processes in public or private administration • applications of normative logic to the specification of database integrity constraints ----------- Special Theme ----------- DEON 2014’s special focus is “Deontic modalities in natural language”. Deontic or normative modality is a subject of common interest for researchers in several fields, including moral philosophy, meta-ethics, linguistic semantics, and deontic logic. Over the past, the deontic modalities have been extensively studied on the logic side. Comparatively, much less attention has been paid to them from a natural language perspective, at least in DEON. There has been a growing interest from linguists in the study of the deontic modalities, mostly in the US, under the influence of Angelika Kratzer’s work. A Deontic Modality Workshop was held in Los Angeles on May 20-22, 2013. We encourage submission of papers describing problems from a natural language perspective that can be a challenge for deontic logic. Topics of interest in this special theme include, but are not limited to: • Challenges from natural language for deontic logic • Relationship between deontic and other types of modality: epistemic modality, imperatives, supererogatory, etc • New insights on the deontic paradoxes • Modeling values • Game theoretic aspects of deontic reasoning • Emergence of norms • Norms from a conversational point of view • Norms and argumentation We welcome theoretical work (formal models, representations, logics, specifications, verification), implementation-oriented work (programming languages, design models, simulations, prototype systems) and empirically driven work (linguistics) on these specific topics. Invited Speakers ------------- Sven Ove Hansson (Royal Institute of Technology, Stockholm) Magdalena Kaufmann (University of Connecticut) Paul McNamara (University of New Hampshire) Krister Segerberg (Uppsala University) Bryan Skyrms (University of California, Irvine) Submission Details --------------- Authors are invited to submit an original, previously unpublished, research paper pertaining to any of these topics. The paper should be in English, and should be no longer than 15 pages when formatted according the LNCS specifications. The first page should contain the full name and contact information for at least one of the authors, and it should contain an abstract of no more than ten lines. Authors should submit their papers electronically using easychair: https://www.easychair.org/conferences/?conf=deon2014 Each submitted paper will be carefully peer-reviewed by a panel of PC member based on originality, significance, technical soundness, and clarity of exposition and relevance for the conference. For each accepted paper, at least one author is required to register for the conference and should plan to present the paper. Publication --------- Copies of the workshop proceedings will be provided to all participants. The proceedings will be published with Springer in their LNCS/LNAI series. During the conference, Springer will also provide temporary free access to the online version of the proceedings on SpringerLink. In addition, we anticipate that revised versions of selected papers from the workshop will subsequently be published in a special issue of the deontic corner of the Journal of Logic and Computation. Important Dates ------------- Abstract Submission Deadline: March 1, 2014 Paper Submission Deadline: March 8, 2014 Notification: April 22, 2014 Camera Ready: May 1, 2014 Program Chairs ------------ Fabrizio Cariani, Northwestern University Davide Grossi, University of Liverpool Joke Meheus, Ghent University Xavier Parent, University of Luxembourg Chairs of the Local Organizing Committee --------------------------------------- Christian Straßer (Ghent University) Erik Weber (Ghent University) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From announce at cs.ucy.ac.cy Thu Jan 9 15:46:38 2014 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Thu, 9 Jan 2014 16:46:38 +0200 Subject: Second CFP: The 7th International Conference for Entrepreneurship, Innovation and Regional Development (ICEIRD 2014) Message-ID: *** Second Call for Papers *** The 7th International Conference for Entrepreneurship, Innovation and Regional Development (ICEIRD 2014) 5-6 June 2014, Hilton Hotel | Nicosia, Cyprus https://iceird2014.cs.ucy.ac.cy DEADLINES: Abstract submission, January 20, 2014 Full paper submission, March 1, 2014 Conference Themes: Igniting Regional Economies - Knowledge, Innovation and Entrepreneurship in South East Europe Energy Enabled: The Innovation and Cooperation Hotbed of South Eastern Europe In the face of fragile economic recovery following the economic and financial crisis of 2008, many firms all around the world continue to invest in growth-enhancing activities to achieve a sustainable development. While the crisis has heavily hit all aspects of business vested interests, investments in innovation, entrepreneurship and regional partnership have been the key priority to ensuring a strong and stable economic growth. The objective of the conference is to gather decision makers (government, ministries and state agencies), innovation experts (universities, research and development centres, technology transfer centres, start-up centres) and practitioners (smes, business incubators and business support organisations) to generate discussion and exchange on the potential of entrepreneurship promotion and innovation to national and regional competitiveness. CONFERENCE TOPICS OF INTEREST Creativity, Complexity and Competitiveness Issues for Small and Medium Enterprises (SMEs) in SEE vs. other regions (EU and other) * Leveraging e-skills for innovation in the knowledge society * Managing and Leveraging Complexity, Creativity and Innovation in SMEs * Trust, Respect, Culture and Collaboration Issues for SMEs in SEE vs. other regions (EU and other) * Leadership and Management practices that can be applied to SMEs * SME Knowledge management and technology transfer * SME Business process modeling * New Technology Ventures Financing * Business incubation management and leadership * Human Resources Practices for promoting innovation for SMEs South East European Entrepreneurial Innovation Clusters * SMEs' Entrepreneurship as an Innovation Driver * Opportunities and barriers for closer cooperation between South East European SMEs in Innovation & Entrepreneurship: Strategic Integration vs. Flexibility and SME Competitiveness * Innovation Clusters, Technology Transfer and Social Entrepreneurship * Social Networking as Driver of EICs formation * Science & Technology Parks and EICs * Young and Women Entrepreneurs development via EICs * Benchmarking of Entrepreneurship and Innovation Best Practices in the region * Innovation policy in SMEs Technology Innovation, Transfer and Commercialization across Governement, University, Industry domains * The role of the State and Public Policy with regards to SME Innovation and Entrepreneurship * Governmental and regional policies on entrepreneurship and innovation * Entrepreneurial Universities and Entrepreneurial Innovation Clusters * Entrepreneurship education * University - Industry collaboration * ICT and SME Regional competitiveness * SMEs and the role of the Innovation Zone (business centers and incubators) * Intangibles Valuation and Intellectual Property Rights * Innovative Supply Chain Management practices in SEE * Innovative Supply Chains * Information Technology proliferation in SEE SMEs ICEIRD 2014 invites submissions of papers related to all the topics of interest of the conference. Papers that address collaborations between industry and academia, case studies as well as experience reports on any of the conference themes are welcome. For more information on the conference topics, visit the ICEIRD 2014 webpage (https://iceird2014.cs.ucy.ac.cy). SUBMISSIONS *Abstract submission Authors are first requested to submit an about 100 words long abstract by January 20, 2014. Upon acceptance of the abstract by January 31, 2014 the authors should proceed to submit a full paper as per the instructions below. * Full Papers (for review) Authors are requested to submit a full paper of 6-10 pages in either Microsoft Word or Adobe PDF format using the template found on the ICEIRD 2014 webpage (https://iceird2014.cs.ucy.ac.cy). The template has all the styles required for formatting the text. The easiest way to prepare the camera ready is to download the template, delete all exixting text, add your unformatted text and use the styles (top-left drop down menu) to format it. Only papers in this format will be published. Submitted papers, which will go under blind review by at least two referees, must be submitted electronically through the EasyChair Conference System: https://www.easychair.org/conferences/?conf=iceird2014. * Camera Ready Papers (after acceptance) Following acceptance, authors are requested to sumbit a camera-ready paper using the template found on the website (https://iceird2014.cs.ucy.ac.cy) to the secretariat of ICEIRD2014 by email (iceird2014 at seerc.org) in both Microsoft Word or PDF format. * Guidelines for Presentations Each presentation will last 20 minutes (15 + 5 minutes for questions). All rooms are fully equiped. Presenters will be requested to upload their presentation at least 15 minutes before the start of their session. Presenters could also use their own laptop. Techinal support will be provided. * Proceedings The Conference Proceedings, including all papers presented, will be published as a SEERC book edited by the Conference Chairs. * Post-Conference Special Journal Issues Selected high quality papers from the conference will be recommended for publication in the special issues of international journals. For more information please visit the ICEIRD 2014 webpage (https://iceird2014.cs.ucy.ac.cy) The official language of the conference is English. Publication is dependent on at least one author registering to attend ICEIRD 2014. Submissions should be submitted to the easychair account on or before the deadline: https://www.easychair.org/conferences/?conf=iceird2014 IMPORTANT DATES Abstract submission (mandatory): 20th January 2014 Notification of abstract submission: 31st January 2014 Full paper submission: 1st of March 2014 Notification of paper acceptance: 15th of March 2014 Earlybird registration: 31th of March 2014 Camera ready paper submission: 31th of March 2014 CONFERENCE CHAIRS Prof. George A. Papadopoulos, University of Cyprus, Cyprus - General Chair Prof. Panos H. Ketikidis, CITY College - International Faculty of the University of Sheffield, Greece - Co-Chair Stavriana A. Kofteros, Special Entrepreneurship & RDI Adviser, Democratic Rally (DISY), Cyprus - Co-Chair -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Wiebe.Van-Der-Hoek at liverpool.ac.uk Fri Jan 10 11:32:46 2014 From: Wiebe.Van-Der-Hoek at liverpool.ac.uk (Van der Hoek, Wiebe) Date: Fri, 10 Jan 2014 10:32:46 +0000 Subject: CFP: Logical Aspects of Multi-Agent Systems (LAMAS 2014) Message-ID: <7C01AD82-AE06-4F7E-92EC-A9C17AFC9A8B@liverpool.ac.uk> ======================================================== 7th Workshop on Logical Aspects of Multi-Agent Systems *** LAMAS 2014 *** (satellite workshop of AAMAS 2014) May 5 or 6, 2014, Paris, France http://lamas2014.in.tu-clausthal.de 2nd Call for Papers ======================================================== ================================= INTRODUCTION ================================= There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, etc. The LAMAS workshop serves the community as a platform for presentation, exchange, and publication of ideas. The workshop is intended to cover the following subjects: - Logical systems for specification, analysis, and reasoning about MAS - Modeling MAS with logic-based models - Logic in game theory - Logic in social choice theory - Deductive systems and decision procedures for logics for MAS - Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS - Logic-based tools for MAS - Applications of logics in MAS ================================= SUBMISSION ================================= Authors are invited to submit papers in the following three categories: - Regular papers up to 15 pages, describing original unpublished research. Position papers and visionary work in progress can also be submitted in this category. Simultaneous submission to another venue is not allowed. - System descriptions of up to 12 pages, describing new systems or significant upgrades of existing ones. - Extended abstracts of 2-5 pages reporting interesting and relevant work that has been published (or accepted for publication) in the last 12 months. Submissions should be anonymous, subject to double-blind reviewing procedure. Each submission will be reviewed by at least 2 PC members. Papers must be in PDF format and prepared according to the Springer LNCS format. For templates and instructions for authors, see http://www.springer.de/comp/lncs/authors.html. ================================= PROCEEDINGS AND POST-PROCEEDINGS ================================= Workshop notes including all accepted papers will be distributed to AAMAS-2014 registrants in electronic form. Printed workshop notes will not be made available to workshop participants. Workshop post-proceedings are planned as a journal special issue of STUDIA LOGICA. The submissions to that special issue will be subject to another reviewing and selection process. ================================= Keynote Speakers ================================= Invited talk: Prof. John-Jules Meyer, Utrecht University, the Netherlands Invited tutorial: Prof. Thomas Agotnes, University of Bergen, Norway ================================= TUTORIAL SESSION ================================= According to the rules of AAMAS workshops, the workshop will include a one hour tutorial session covering topics of: (i) logic-based modeling of MAS, (ii) deduction and meta-logical properties and techniques (satisfiability, bounded model property, etc.), and (iii) applications of logics in MAS (e.g. Verification). ================================= IMPORTANT DATES ================================= Paper submission: January 22, 2014 Author notification: February 19, 2014 Camera-ready deadline: March 19, 2014 Workshop: May 5 or 6, 2014 ================================= WORKSHOP and PC CHAIRS ================================= Nils Bulling, Clausthal University of Technology, Germany Wiebe van der Hoek, University of Liverpool, UK ================================= PROGRAM COMMITTEE (confirmed members) ================================= Thomas Agotnes, University of Bergen, Norway Natasha Alechina, University of Nottingham, UK Thomas Bolander, Technical University of Denmark, Denmark Jan Broersen, Utrecht University, the Netherlands Juergen Dix, Clausthal University of Technology, Germany Michael Fisher, University of Liverpool, UK Pietro Galliani, Clausthal University of Technology, Germany Valentin Goranko, Technical University of Denmark Andreas Herzig, University of Toulouse, France Wojciech Jamroga, University of Luxembourg, Luxembourg Joao Leite, New University of Lisbon, Portugal Emiliano Lorini, Universite Paul Sabatier, France John-Jules Meyer, Utrecht University, the Netherlands Aniello Murano, Universita di Napoli Federico II, Italy Ram Ramanujam, Institute of Mathematical Sciences, Chennai, India Pierre-Yves Schobbens, University of Namur, Belgium Nicolas Troquard, Laboratory of Applied Ontology, Trento, Italy Dirk Walther, Dresden University of Technology, Germany Michael Wooldridge, University of Oxford, UK ================================= ORGANIZATION AND CONTACT ================================= The workshop is organized by Nils Bulling, Clausthal University of Technology and Wiebe van der Hoek, University of Liverpool. In case of questions, do not hesitate to contact us at bulling at in.tu-clausthal.de and wiebe at liverpool.ac.uk, respectively. From frflammi at unina.it Fri Jan 10 16:22:09 2014 From: frflammi at unina.it (Francesco Flammini) Date: Fri, 10 Jan 2014 16:22:09 +0100 Subject: SAFECOMP'14 Call For Papers Message-ID: <20140110162209.56885mzr2wrgjv35@inbox.unina.it> Dear Colleagues, please find below the first Call for Papers for SAFECOMP'14. Kind Regards, Francesco Flammini SAFECOMP'14 Publicity Chair *********************************** SAFECOMP'14 - CALL FOR PAPERS The 33rd International Conference on Computer Safety, Reliability and Security 10-12 September 2014, Florence, Italy http://www.safecomp2014.unifi.it/ Co-located with EPEW, FMICS, FORMATS and QEST http://www.florence2014.org SCOPE Since it was established in 1979 by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Reliability, Safety and Security (EWICS TC7), SAFECOMP has contributed to the progress of the state-of-the-art in de­pendable application of computers in safety-related and safe­ty-critical systems. SAFECOMP is an annual event covering the state-of-the- art, experience and new trends in the areas of safety, security and reliability of critical computer applications. SAFECOMP provides ample opportunity to exchange insights and experience on emerging methods, approaches and prac­tical solutions. It is a one-stream conference without parallel sessions, allowing easy networking. 2014 KEY THEME Safety in presence of evolution: design, assessment and certification methods TOPICS The conference covers all aspects related to the development, assessment, operation and maintenance of safety critical systems. Topics include, but are not limited to: Fault tolerant architectures and mechanisms Monitoring and fault prediction infrastructures Risk reduction and mitigation techniques Security and privacy protection mechanisms Cyber-physical threats and vulnerability analysis Model-based and experimental assessment of safety, reliability and security Validation and verification methodologies and tools Human and social aspects in safety-critical systems design and analysis Methods for qualification, assurance and certification Safety and security interactions and trade-offs Safety and security cases Safety guidelines, standards and certification Domains of application are (but not limited to): Railways, automotive, aerospace and avionics Telecommunications and networks Critical infrastructures, smart grids, SCADA Medical devices and healthcare Defence, emergency & rescue Logistics, production automation and robotics Education & training PAPER SUBMISSION SAFECOMP aims at providing a forum for bringing academic research and industrial needs together. Therefore, we solicit two types of papers to be published in the main proceedings of the conference: i) Regular papers (up to 16 pages), ii) Reports on Practical Experience and Tools (up to 12 pages). Submitted papers must not have been previously published nor be currently submitted elsewhere. They will be reviewed by at least three program committee members. Further opportunities to contribute to the conference are offered to academics and practitioners, junior and senior researchers, by means of Fast abstracts, Work in progress or Student papers (up to 2 pages). Please refer to Springer Author Guidelines for detailed instructions on how to format your paper. CONFERENCE PROCEEDINGS AND SPECIAL ISSUE All accepted regular papers, reports on practical experience and tools will be published by Springer in the Lecture Notes in Computer Science series. Also, extended versions of the best papers will be considered for publication in a special issue of a safety related international journal. IMPORTANT DATES Workshop proposal submission: 16 February 2014 Abstract submission: 25 February 2014 Full paper submission: 28 February 2014 Notification of acceptance: 20 May 2014 Camera-ready submission: 20 June 2014 COMMITTEE EWICS TC7 Chair Francesca Saglietti (Univ. of Erlangen-Nuremberg, DE) General Chair Andrea Bondavalli (Univ. of Florence, IT) Program Co-Chairs Andrea Bondavalli (Univ. of Florence, IT) Felicita Di Giandomenico (ISTI-CNR, IT) Worshop and Tutorial Chair Frank Ortmeier (Otto -v.-Guericke-Univ. Magdeburg, DE) Industry-Liaison Chair Michael Paulitch (EADS IW, DE) Finance Chair Ettore Ricciardi (ISTI-CNR, IT) Publication Chair Andrea Ceccarelli (Univ. of Florence, IT) Publicity Chair Francesco Flammini (Ansaldo STS, IT) Local Organizing Chair Paolo Lollini (Univ. of Florence, IT) International Program Committee Anderson, S. (UK) Koornneef, F. (NL) Bitsch, F. (DE) Lami, G. (IT) Bloomfield, R. (UK) Linsdkov Hansen, S.(DK) Bologna, S. (IT) Lyu, M. (HK) Bondavalli, A. (IT) Majzik, I. (HU) Braband, J. (DE) Martinelli, F. (IT) Brancati, F. (IT) Masci, P. (UK) Cotroneo, D. (IT) Mattiello, F. (BR) Cukic, B. (US) Mazzini, S. (IT) D'Antonio, S. (IT) Neves, N. (PT) Daniel, P. (UK) Nordland, O. (NO) Di Giandomenico, F.(IT) Ortmeier, F. (DE) Driscoll, K. (US) Paulitsch, M. (DE) Ehrenberger, W. (DE) Romanovsky, A. (UK) Felici, M. (UK) Rushby, J. (US) Flammini, F. (IT) Saglietti, F. (DE) Gallina, B. (SV) Schmitz, C. (CH) Gorski, J. (PL) Schoitsch, E. (AT) Guiochet, J. (FR) Seguin, C. (FR) Kaaniche, M. (FR) Silva, N. (PT) Kanekawa, N. (JP) Skavhaug, A. (NO) Kanoun, K. (FR) Steiner, W. (AT) Karlsson, J. (SV) Sujan, M. (UK) Knight, J. (US) Troubitsyna, E. (FI) Koopman, P. (US) Tsuchiya, T. (JP) *********************************** From announce at cs.ucy.ac.cy Fri Jan 10 17:01:45 2014 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 10 Jan 2014 18:01:45 +0200 Subject: MEDI 2014: First Call for Papers Message-ID: *** FIRST CALL FOR PAPERS *** 4th INTERNATIONAL CONFERENCE ON MODEL & DATA ENGINEERING (MEDI 2014) Lordos Beach Hotel, Larnaca, Cyprus 24-26 September, 2014 http://medi2014.cs.ucy.ac.cy/ The main objective of the conference is to provide a forum for the dissemination of research accomplishments and to promote the interaction and collaboration of research communities issued from modelling and system modelling on the one hand and data and data modelling on the other hand. MEDI 2014 provides an international infrastructure for the presentation of research results and experimentations on models and data theory, development of advanced technologies related to models and data and their advanced applications and case studies. This international scientific event, initiated by researchers from Euro-Mediterranean countries, aims also at promoting the creation of north-south scientific networks, projects and faculty/student exchanges and of other parts of the world as well. Aim and Scope Specific areas of interest to MEDI'2014 include but are not limited to: Modelling and Models Engineering: - Design of General-purpose Modelling Languages and Related Standards - Model Driven Engineering, Modelling Languages, Meta-modelling, Model Transformation, Model Evolution: - Formal Modelling, Verification and Validation, Analysis, Testing - Ontology Based Modelling, Role of Ontologies in Modelling Activities - Model Manipulation and models as first objects - Heterogeneous modelling, model integration and interoperability - Applications and case studies Data Engineering: - Heterogeneous data, data Integration and Interoperability - Distributed, Parallel, Grid, Peer to Peer, Cloud Databases - Data Warehouses and OLAP, Data Mining - Database System Internals, Performance, Self-tuning Benchmarking and Testing - Database Security, Personalization, Recommendation - Web Databases, Ontology Based Databases, PDMS - Applications and case studies Modeling for Data Management: - New Models and Architectures for Databases and Data Warehouses - Modeling and Quality of Data - Modeling for Enhancing Sharing Data - Models for Explicit and Implicit Semantics based Data Optimization - Model Reification, Model Repositories - Modeling Non Functional Properties of Systems - Data as models and Models as Data - Service based data management and service oriented applications - Models for data Monitoring - Urbanization of Database Applications Applications and tooling: - Industry transfer, experiences - Data and Model manipulation and tooling - Modelling tools and experimentation Conference Location Lordos Beach Hotel, Larnaca https://www.lordosbeach.com.cy/en/ Submission Guidelines and Instructions Authors are invited to submit research and application papers representing original, previously unpublished work. Papers should be submitted in PDF or Word format. Submissions must conform to Springer's LNCS format and should not exceed 12 pages (including all text, figures, references and appendices). Authors who want to buy extra pages may submit a paper up to 15 pages with the indication that the authors will purchase extra pages if the paper is accepted. Submissions which do not conform to the LNCS format and/or which do exceed 12 pages (or up to 15 pages with the extra page purchase commitment) will be rejected without reviews. Submitted papers will be carefully evaluated based on originality, significance, technical soundness, and clarity of exposition. All accepted papers will be published in Lecture Notes in Computer Science (LNCS) by Springer-Verlag. Duplicate submissions are not allowed. A submission is considered to be a duplicate submission if it is submitted to other conferences/workshops/journals or it has been already accepted to be published in other conferences/workshops/journals. Duplicate submissions thus will be automatically rejected without reviews. Submissions require explicit consent from all listed authors. Important Dates Abstract submission: April 14, 2014 Full-paper submission: April 21, 2014 Acceptance notification: June 16, 2014 Camera Ready: July 7, 2014 Paper Publication All accepted papers will be published in Lecture Notes in Computer Science (LNCS) by Springer-Verlag. Best papers will be invited for submission in a special issue of a recognized international journals (under discussion). Keynotes Speakers Mukesh MOHANIA, IBM, INDIA : Data and Data models Dominique MERY, Loria, Nancy, France: Models and system modelling Conference Organization General Chairs Ladjel Bellatreche, ENSMA, Poitiers University, France George A. Papadopoulos, Department of Computer Science, University of Cyprus Programme Committee Chair Yamine Aït Ameur, ENSEEIHT/IRIT, Toulouse, France Local Organizing Chair Mr. Petros Stratis (EasyConferences, LTD), Finance Chair Program Committee TBA For further inquiries, contact the MEDI 2014 PC Chair: Yamine Aït Ameur (yamine at n7.fr) -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fcalimeri at gmail.com Fri Jan 10 18:02:03 2014 From: fcalimeri at gmail.com (Francesco Calimeri) Date: Fri, 10 Jan 2014 18:02:03 +0100 Subject: 5th Answer Set Programming Competition 2014 - FIRST CALL FOR PARTICIPANTS Message-ID: [apologies for any cross-posting] ======================================================================== ================================================================== 5th Answer Set Programming Competition 2014 Call for Participant Systems Aalto University, University of Calabria, University of Genova Spring/Summer 2014 http://aspcomp2014.mat.unical.it/ aspcomp2014 at mat.unical.it ================================================================== Special edition of the ASP competition series -system track- part of the Olympic Games of the Vienna Summer of Logic 2014 == Important Dates == * March 1st, 2014 : Participant registration opens * March 31st, 2014: The competition starts * July 22nd, 2014 : Awards are presented at FLoC ======================================================================== Answer Set Programming (ASP) is a well-established paradigm of declarative programming with close relationship to other declarative modeling paradigms and languages, such as SAT Modulo Theories, Constraint Handling Rules, FO(.), PDDL, CASC, and many others. The ASP Competition is usually a biannual event for evaluating declarative knowledge representation systems on hard and demanding AI problems. Past ASP Competition editions were held at the University of Potsdam (Germany) in 2007, the University of Leuven (Belgium) in 2009, the University of Calabria (Italy) in 2011 and the Vienna University of Technology (Austria) in 2013. In order to join the Vienna Summer of Logic, which is expected to be the largest event in the history of logic, we this year depart from the "usual" timeline, and the 5th ASP Competition will be run in the first half of 2014 jointly at Aalto University (Finland), the University of Calabria (Italy) and the University of Genova (Italy). Another reason for having an event only one year after the 4th ASP Competition is that in 2013 the new ASP-Core-2 language was introduced, but at that time it was not fully supported by most participant solvers, and/or the submitters did not have sufficient time to support new language features in a completely satisfactory way. Thus, an early event can be an opportunity to push the usage of the new standard, and draw a more complete picture about the approaches that can efficiently solve problems with various features. == Call for Participant Systems == Participants of the Answer Set Programming Competition will compete on a selected collection of benchmark problems, taken from a variety of benchmark problem domains as well as real-world applications. These include, but are not limited to: * Classic and application-oriented graph problems * Scheduling, Timetabling, and other resource allocation problems * Sequential and Temporal Planning * Combinatorial Optimization problems * Deductive Database tasks on large data-sets * Puzzles and Combinatorics * Ontology reasoning * Automated Theorem Proving and Model Checking * Constraint Programming problems * Other AI problems The competition consists of a System Track (as called in past competitions), which compares dedicated solvers on ASP benchmarks. Participants compete with solving systems for the ASP-Core-2 language. Some more details are given in the following: - The benchmark domains are taken from past editions. - Systems of the 2013 edition will be considered. (Developers will have the chance of submitting up-to-date versions of their solvers.) - Submissions of new solvers are encouraged. The competition will include sub-tracks not only based on "complexity" of problems (as in past events), but also considering language features. Our aim is to clearly indicate what (combinations of) techniques work for a particular (set of) feature(s), and also widening the participation to teams that cannot (yet) support the full standard. We welcome the submission of parallel and portfolio systems exploiting multiple cores or multiple algorithms for solving the given instances. These solvers will have dedicated tracks, assuming a sufficient number of submissions in each track. Of course, we also welcome the submission of any kind of solvers, e.g., SAT solvers, SMT solvers, CP systems, FOL theorem provers, Description Logics reasoners, Planning reasoners, or any other that can be adapted/applied to the evaluation of logic programs encoded in ASP-Core-2. == Important Dates == * March 1st, 2014 : Participant registration opens * March 31st, 2014: The competition starts * July 22nd, 2014 : Awards are presented at FLoC For further information and submission instructions please visit the competition web site http://aspcomp2014.mat.unical.it/ or contact us by email: aspcomp2014 at mat.unical.it From announce at cs.ucy.ac.cy Sat Jan 11 15:03:26 2014 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 11 Jan 2014 16:03:26 +0200 Subject: ICSOB 2014: Industry Day - Final Call for Papers Message-ID: <5FYGI0OY-6MJ2-34NS-H6Z4-TZL0PR0RQ17G@cs.ucy.ac.cy> *** Industry Day - Final Call for Papers *** Fifth International Conference on Software Business (ICSOB 2014) Azia Resort and Spa, Paphos Cyprus June 15-18, 2014 http://www.icsob.org Online submission: https://www.easychair.org/conferences/?conf=icsob2014 The Industrial Track of the 5th International Conference on Software Business (ICSOB) offers the opportunity for sharing practical experiences and insights in the area of software business. In accordance with the theme of the main conference "shortening the time-to-market - from short cycle times to continuous value delivery" and the special industry day session "Industry 4.0", those involved in such activities are especially encouraged to share their experiences. The industrial track will be held on Wednesday, June 18th, 2014 and consist of presentations and discussions. For more details concerning ICSOB 2014 please visit http://www.icsob.org. Special sessions this year * Industry 4.0 includes e.g. cyber-physical systems, Internet of Things, computerization of traditional industries such as manufacturing * Speeding up time-to-market: towards continuous value delivery * Business models in game and entertainment software Submission Proposals for presentations in form of abstracts (up to 3 pages) or industrial papers (up to 10 pages) should be submitted online at the following URL: https://www.easychair.org/conferences/?conf=icsobid2014 The best industrial contributions will be included in the conference proceedings published by Springer as a volume in Lecture Notes in Business Information Processing (LNBIP) series (if at least one author of the paper attends the conference and presents the paper). All other industrial contributions will be included in the ICSOB post-proceedings (probably published in Springer's CCIS series). Note: Presentation without publishing the accepted contribution is possible as well. Important Dates Submission deadline: February 7th, 2014 Notification: March 7th, 2014 Camera-Ready: April 7th, 2014 Industry Day: June 18th, 2014 Organizers / Program committee Georg Herzwurm, Universität Stuttgart, Germany George Angelos Papadopoulos, University of Cyprus, Cyprus Olaf Mackert, SAP AG, Germany Arnd Simon, Microsoft, Germany Tobias Tauterat, Universität Stuttgart, Germany Contact Please do not hesitate to contact industry at icsob.org for further information. -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at urv.cat Sat Jan 11 15:17:30 2014 From: grlmc at urv.cat (GRLMC) Date: Sat, 11 Jan 2014 15:17:30 +0100 Subject: SSTiC 2014: January 18, 2nd registration deadline Message-ID: <09CAA6E5A2AB45CEA986861205267A5A@Carlos1> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************* 2014 TARRAGONA INTERNATIONAL SUMMER SCHOOL ON TRENDS IN COMPUTING SSTiC 2014 Tarragona, Spain July 7-11, 2014 Organized by Rovira i Virgili University http://grammars.grlmc.com/sstic2014/ ********************************************************************* --- January 18, 2nd registration deadline --- ********************************************************************* AIM: SSTiC 2014 is the second edition in a series started in 2013. For the previous event, see http://grammars.grlmc.com/SSTiC2013/ SSTiC 2014 will be a research training event mainly addressed to PhD students and PhD holders in the first steps of their academic career. It intends to update them about the most recent developments in the diverse branches of computer science and its neighbouring areas. To that purpose, renowned scholars will lecture and will be available for interaction with the audience. SSTiC 2014 will cover the whole spectrum of computer science through 5 keynote lectures and 24 six-hour courses dealing with some of the most lively topics in the field. The organizers share the idea that outstanding speakers will really attract the brightest students. ADDRESSED TO: Graduate students from around the world. There are no formal pre-requisites in terms of the academic degree the attendee must hold. However, since there will be several levels among the courses, reference may be made to specific knowledge background in the description of some of them. SSTiC 2014 is also appropriate for more senior people who want to keep themselves updated on developments in their own field or in other branches of computer science. They will surely find it fruitful to listen and discuss with scholars who are main references in computing nowadays. REGIME: In addition to keynotes, 3 parallel sessions will be held during the whole event. Participants will be able to freely choose the courses they will be willing to attend as well as to move from one to another. VENUE: SSTiC 2014 will take place in Tarragona, located 90 kms. to the south of Barcelona. The venue will be: Campus Catalunya Universitat Rovira i Virgili Av. Catalunya, 35 43002 Tarragona KEYNOTE SPEAKERS: Larry S. Davis (U Maryland, College Park), A Historical Perspective of Computer Vision Models for Object Recognition and Scene Analysis David S. Johnson (Columbia U, New York), Open and Closed Problems in NP-Completeness George Karypis (U Minnesota, Twin Cities), Recommender Systems Past, Present, & Future Steffen Staab (U Koblenz), Explicit and Implicit Semantics: Two Sides of One Coin Ronald R. Yager (Iona C, New Rochelle), Social Modeling COURSES AND PROFESSORS: Divyakant Agrawal (U California, Santa Barbara), [intermediate] Scalable Data Management in Enterprise and Cloud Computing Infrastructures Pierre Baldi (U California, Irvine), [intermediate] Big Data Informatics Challenges and Opportunities in the Life Sciences Stephen Brewster (U Glasgow), [introductory] Multimodal Human-computer Interaction Rajkumar Buyya (U Melbourne), [intermediate] Cloud Computing John M. Carroll (Pennsylvania State U, University Park), [introductory] Usability Engineering and Scenario-based Design Kwang-Ting (Tim) Cheng (U California, Santa Barbara), [introductory/intermediate] Smartphones: Hardware Platform, Software Development, and Emerging Apps Amr El Abbadi (U California, Santa Barbara), [introductory] The Distributed Foundations of Data Management in the Cloud Richard M. Fujimoto (Georgia Tech, Atlanta), [introductory] Parallel and Distributed Simulation Mark Guzdial (Georgia Tech, Atlanta), [introductory] Computing Education Research: What We Know about Learning and Teaching Computer Science David S. Johnson (Columbia U, New York), [introductory] The Traveling Salesman Problem in Theory and Practice George Karypis (U Minnesota, Twin Cities), [intermediate] Programming Models/Frameworks for Parallel & Distributed Computing Aggelos K. Katsaggelos (Northwestern U, Evanston), [intermediate] Optimization Techniques for Sparse/Low-rank Recovery Problems in Image Processing and Machine Learning Arie E. Kaufman (U Stony Brook), [advanced] Visualization Carl Lagoze (U Michigan, Ann Arbor), [introductory] Curation of Big Data Bijan Parsia (U Manchester), [introductory] The Empirical Mindset in Computer Science Charles E. Perkins (FutureWei Technologies, Santa Clara), [intermediate] Beyond LTE: the Evolution of 4G Networks and the Need for Higher Performance Handover System Designs Sudhakar M. Reddy (U Iowa, Iowa City), [introductory] Test and Design for Test of Digital Logic Circuits Robert Sargent (Syracuse U), [introductory] Validation of Models Mubarak Shah (U Central Florida, Orlando), [intermediate] Visual Crowd Analysis Steffen Staab (U Koblenz), [intermediate] Programming the Semantic Web Mike Thelwall (U Wolverhampton), [introductory] Sentiment Strength Detection for Twitter and the Social Web Jeffrey D. Ullman (Stanford U), [introductory] MapReduce Algorithms Nitin Vaidya (U Illinois, Urbana-Champaign), [introductory/intermediate] Distributed Consensus: Theory and Applications Philip Wadler (U Edinburgh), [intermediate] Topics in Lambda Calculus and Life ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Carlos Martín-Vide (Tarragona, chair) Florentina Lilica Voicu (Tarragona) REGISTRATION: It has to be done at http://grammars.grlmc.com/sstic2014/registration.php The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course. Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed when the capacity of the venue will be complete. It is very convenient to register prior to the event. FEES: As far as possible, participants are expected to attend for the whole (or most of the) week (full-time). Fees are a flat rate allowing one to participate to all courses. They vary depending on the registration deadline. ACCOMMODATION: Information about accommodation will be available on the website of the School in due time. CERTIFICATE: Participants will be delivered a certificate of attendance. QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat POSTAL ADDRESS: SSTiC 2014 Lilica Voicu Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559 543 Fax: +34 977 558 386 ACKNOWLEDGEMENTS: Departament d’Economia i Coneixement, Generalitat de Catalunya Universitat Rovira i Virgili From announce at cs.ucy.ac.cy Sun Jan 12 12:59:24 2014 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 12 Jan 2014 13:59:24 +0200 Subject: KICSS 2014: Preliminary Call for Papers Message-ID: <2TYY3GV-IK3X-FVBE-F5AO-2K5WXI6QYU@cs.ucy.ac.cy> *** PRELIMINARY CALL FOR PAPERS *** 9th INTERNATIONAL CONFERENCE ON KNOWLEDGE, INFORMATION AND CREATIVITY SUPPORT SYSTEMS (KICSS 2014) Elias Beach Hotel, Limassol, Cyprus 6-8 November, 2014 http://kicss2014.cs.ucy.ac.cy/ (Proceedings will be published by Springer) Following the tradition of previous conferences on Knowledge, Information and Creativity Support Systems, KICSS 2014 will cover all aspects of knowledge management, knowledge engineering, intelligent information systems, and creativity in an information technology context, including computational creativity and its cognitive and collaborative aspects. Papers reporting original unpublished research results on theoretical foundations, IT implementations of decision support and expert systems, as well as case studies of successful applications of the above- mentioned ideas in various fields are equally solicited. The list of conference topics includes but is not limited to: Anticipatory networks, systems, and decisions Autonomous creative systems Cognitive foundations of knowledge Cognitive and psychological issues in creativity research Cognitive foundations of knowledge Collaborative activities in Living Labs Collaborative idea generation and creativity Collaborative knowledge creation Collaborative working environments fostering creativity Complex system modelling Computer supported creativity Creative approaches to model technological evolution Creative business models Creative conflict resolution Creative coordination and cooperation mechanisms Creative decision processes Creative interaction techniques Creative model building Creative reasoning and decision making Creative research environments and their performance Creative social computing Creative visualisation of data and knowledge Creativity in finance Creativity in augmented reality Creativity in health care Creativity in mobile applications Creativity in social media Creativity in the Cloud Creativity measurement Creativity support systems Creativity transfer and stimulation Creativity vs. rationality Creativity-enhancing interfaces Creativity-oriented information system architectures Decision sciences Decision support systems (DSS) Discovering opportunities, threats and challenges Foresight support systems (FSS) Future Internet and knowledge-based society Future exploration and modelling Future perspectives of knowledge, information, and creativity support Game-theoretical aspects of knowledge General creative systems (GCS) Group recommendation, and advise Heuristics and general problem solving Identifying real options in complex business environments Information fusion Information quality Intelligent analysis of Big Data Knowledge extraction, creation, and acquisition Knowledge in multi-agent systems Knowledge integration Knowledge management in business, industry, and administration Knowledge representation and reasoning Knowledge verification and validation Living Lab support systems (LLSS) Machine learning and creativity Malicious creativity in the web, its discovery and remedy Mathematical models of creative processes Multi- and interdisciplinary approaches in creativity research Multicriteria decision making Natural language analysis Non-monotonic reasoning Ontology creation and management Open innovation Organizational learning Preference modelling Reasoning about knowledge Recommender systems Scientific information management Search for a compromise in multicriteria decision making and collaborative games Social Computing Social factors of collaborative creativity Software-based stimulation of creativity Supervised and semi-supervised learning Trust modeling Uncertainty modelling Virtual environment design Visual Analytics and Intelligent User Interfaces Web intelligence tools World models Important Dates Paper Submission Deadline: June 20, 2014 Notification of Acceptance: August 8, 2014 Camera-Ready Version Due: September 8, 2014 Research-in-Progress Report Submission Deadline: September 5, 2014 Research-in-Progress Reports Author Notification Due: September 12, 2014 Research-in-Progress Reports Camera-Ready Versions Due: September 19, 2014 Submission Regular papers on all conference topics should be formatted according to the Springer CS Proceedings (LNCS) format and should not exceed 12 pages. Short and industrial/demo papers as well as research-in-progress reports should not exceed 6 pages according to the above format. Up to 2 additional pages may be allowed at extra charge. The KICSS 2014 papers can be submitted via Easychair. Submissions that overlap substantially with any other papers printed, submitted, or accepted for publication or presentation elsewhere are not allowed. Special session proposals may be submitted by email to the KICSS Organizing Committee. Although there is no formal template for such a proposal, the proposers should nevertheless specify the title of the session, describe briefly its essential content and relation to the conference topics, and specify the expected number of contributions, and titles, if already known. Proceedings The KICSS 2014 (Post-) Proceedings will be published in the Springer Series: Advances in Intelligent Systems and Computing, ISSN 2194-5357, indexed by ISI Proceedings, SCOPUS, Zentralblatt Math, Ulrich's, EI-Compendex, DBLP, MetaPress, Springerlink, see more here. The Post-Proceedings will contain all the revised regular papers and - following an extension - a selection of research-in-progress reports as well as short and demo papers. The authors of the selected best papers presented at the conference will be invited to submit the revised and extended versions of their contributions to special issues of high-rank scientific journals. -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From mdeters at cs.nyu.edu Mon Jan 13 23:01:16 2014 From: mdeters at cs.nyu.edu (Morgan Deters) Date: Mon, 13 Jan 2014 17:01:16 -0500 Subject: IJCAR 2014 - Deadline Extended and Final Call for Papers Message-ID: (( Apologies for multiple copies )) ** FINAL CALL FOR PAPERS ** - Note deadline extension - IJCAR 2014 - The 7th International Joint Conference on Automated Reasoning Vienna, Austria, July 19-22, 2014 http://cs.nyu.edu/ijcar2014/ as part of FLoC 2014 - Federated Logic Conference http://www.floc-conference.org/ as part of VSL 2014 - Vienna Summer of Logic http://vsl2014.at/ Call for Papers --------------- IJCAR is the premier international joint conference on all topics in automated reasoning. The IJCAR technical program will consist of presentations of high-quality original research papers, system descriptions, and invited talks. IJCAR 2014 is a merger of leading events in automated reasoning: CADE (Conference on Automated Deduction), FroCoS (Workshop on Frontiers of Combining Systems) and TABLEAUX (Conference on Analytic Tableaux and Related Methods) IJCAR 2014 invites submissions related to all aspects of automated reasoning, including foundations, implementations, and applications. Original research papers and descriptions of working automated deduction systems are solicited. IJCAR topics include the following ones: - Logics of interest include: propositional, first-order, classical, equational, higher-order, non-classical, constructive, modal, temporal, many-valued, substructural, description, type theory, etc. - Methods of interest include: tableaux, sequent calculi, resolution, model-elimination, inverse method, paramodulation, term rewriting, induction, unification, constraint solving, decision procedures, model generation, model checking, semantic guidance, interactive theorem proving, logical frameworks, AI-related methods for deductive systems, proof presentation, automated theorem provers, etc. - Applications of interest include: verification, formal methods, program analysis and synthesis, computer mathematics, declarative programming, deductive databases, knowledge representation, etc. The proceedings of IJCAR 2014 will be published by Springer-Verlag in the LNAI/LNCS series. Submission details: Submission is electronic, through https://www.easychair.org/conferences/?conf=ijcar14 Authors are strongly encouraged to use LaTeX and the Springer "llncs" format, which can be obtained from http://www.springer.de/comp/lncs/authors.html The page limit is 15 pages for full papers, and 7 pages for system descriptions. Best paper award: IJCAR 2014 will offer a best paper award to recognize the most outstanding paper appearing at the conference. Invited speakers: Ken McMillan (Microsoft Research) Rajeev Goré (Australian National University) Other speakers during the second week of the Vienna Summer for Logic, but affiliated with other events, include (in alphabetical order) Franz Baader, Edmund Clarke, Veronique Cortier, Orna Kupferman, Christos Papadimitriou, and Alex Wilkie. Program co-chairs: Stéphane Demri (New York University & CNRS) Deepak Kapur (University of New Mexico, USA) Christoph Weidenbach (MPI-INF Saarbrücken, Germany) Conference co-chairs: Christian Fermueller (TU Vienna, Austria) Stefan Hetzl (TU Vienna, Austria) Publicity chair: Morgan Deters (New York University) Workshop chair: Matthias Horbach (MPI-INF Saarbrücken, Germany) Important dates: [updated] Abstract submission deadline: January 22, 2014 [updated] Paper submission deadline: January 29, 2014 [updated] Notification of paper decisions: April 7, 2014 [updated] Final version of papers due: April 26, 2014 [updated] Conference dates: July 19-22, 2014 Student travel awards: Travel awards will be available to enable selected students to attend the conference. Details will be announced in March 2014. Program Committee: Franz Baader (TU Dresden, Germany) Peter Baumgartner (NICTA Canberra, Australia) Bernhard Beckert (Karlsruhe Institute of Technology, Germany) Jasmin Blanchette (Technische Universität München, Germany) Bernard Boigelot (University of Liege, Belgium) Maria Paola Bonacina (Università degli Studi di Verona, Italy) Agata Ciabattoni (TU Vienna, Austria) Koen Claessen (Chalmers University of Technology, Gothenburg, Sweden) Leonardo de Moura (Microsoft Research) Stéphanie Delaune (LSV, CNRS, Cachan, France) Stéphane Demri (New York University & CNRS) Stephan Falke (Karlsruhe Institute of Technology, Germany) Christian Fermueller (TU Vienna, Austria) Pascal Fontaine (LORIA, University of Nancy, France) Silvio Ghilardi (University of Milano, Italy) Juergen Giesl (RWTH Aachen University, Germany) Valentin Goranko (TU Denmark, Copenhagen) Radu Iosif (VERIMAG, Grenoble, France) Deepak Kapur (University of New Mexico, USA) Boris Konev (University of Liverpool, UK) Konstantin Korovin (The University of Manchester, UK) Daniel Kroening (Oxford University, UK) Viktor Kuncak (EPFL Lausanne, Switzerland) Martin Lange (University of Kassel, Germany) Stephan Merz (LORIA, INRIA Lorraine, France) Aart Middeldorp (University of Innsbruck, Austria) Enric Rodríguez-Carbonell (TU Catalonia, Spain) Renate Schmidt (The University of Manchester, UK) Carsten Schürmann (IT University of Copenhagen, Denmark) Roberto Sebastiani (University of Trento, Italy) Viorica Sofronie-Stokkermans (University Koblenz-Landau, Germany) Geoff Sutcliffe (University of Miami, USA) Cesare Tinelli (The University of Iowa, USA) Uwe Waldmann (MPI-INF, Saarbrücken, Germany) Christoph Weidenbach (MPI-INF, Saarbrücken, Germany) Jian Zhang (Chinese Academy of Sciences, P.R. China) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ecai2014 at guarant.cz Tue Jan 14 11:23:53 2014 From: ecai2014 at guarant.cz (ecai2014) Date: Tue, 14 Jan 2014 10:23:53 +0000 Subject: ECAI 2014 - second call for papers Message-ID: ECAI'14 Second Call for Papers The Twenty-first European Conference on Artificial Intelligence 18-22 August 2014, Prague, Czech Republic http://www.ecai2014.org The biennial European Conference on Artificial Intelligence (ECAI) is Europe's premier archival venue for presenting scientific results in AI. Organised by the European Coordinating Committee for AI (ECCAI), the ECAI conference provides an opportunity for researchers to present and hear about the very best research in contemporary AI. As well as a full programme of technical papers, ECAI'14 will include the Prestigious Applications of Intelligent Systems conference (PAIS), the Starting AI Researcher Symposium (STAIRS), the International Web Rule Symposium (RuleML) and an extensive programme of workshops, tutorials, and invited speakers. (Separate calls are issued for PAIS, STAIRS, tutorials, and workshops.) ECAI'14 will be held in the beautiful and historic city of Prague, the capital of the Czech Republic. With excellent opportunities for sightseeing and gastronomy, Prague promises to be a wonderful venue for a memorable conference. This call invites the submission of papers and posters for the technical programme of ECAI'14. High-quality original submissions are welcome from all areas of AI; the following list of topics is indicative only. - Agent-based and Multi-agent Systems - Constraints, Satisfiability, and Search - Knowledge Representation, Reasoning, and Logic - Machine Learning and Data Mining - Natural Language Processing - Planning and Scheduling - Robotics, Sensing, and Vision - Uncertainty in AI - Web and Knowledge-based Information Systems - Multidisciplinary Topics Both long (6-page) and short (2-page) papers can be submitted. Whereas long papers should report on substantial research results, short papers are intended for highly promising but possibly more preliminary work. Short papers will be presented in poster form. Rejected long papers will be considered for the short paper track. Submitted papers must be formatted according to ECAI'14 guidelines and submitted electronically through the ECAI'14 paper submission site. Full instructions including formatting guidelines and electronic templates are available on the ECAI'14 website. Paper submission: 1 March 2014 Author feedback: 14-18 April 2014 Notification of acceptance/rejection: 9 May 2014 Camera-ready copy due: 30 May 2014 The proceedings of ECAI'14 will be published by IOS Press. Best papers go AIJ The authors of the best papers (and runner ups) of ECAI'14 will be invited to submit an extended version of their paper to the Artificial Intelligence Journal. Conference Secretariat GUARANT International Na Pankráci 17 140 21 Prague 4 Tel: +420 284 001 444, Fax: +420 284 001 448 E-mail: ecai2014 at guarant.cz Web: www.ecai2014.org This email is not intended to be spam or to go to anyone who wishes not to receive it. If you do not wish to receive this letter and wish to remove your email address from our database please reply to this message with "Unsubscribe" in the subject line. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ecmlpkdd2014publicity at gmail.com Tue Jan 14 23:55:12 2014 From: ecmlpkdd2014publicity at gmail.com (ECML PKDD) Date: Tue, 14 Jan 2014 23:55:12 +0100 Subject: ECML/PKDD 2014 Journal Track Call for Papers Message-ID: ECML/PKDD 2014, the European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, continues the journal track started at ECML/PKDD 2013 in collaboration with the Springer journals "Machine Learning" and "Data Mining and Knowledge Discovery". The journal track invites high-quality submissions that present original work in the areas of data mining and machine learning. Accepted papers will be published in the respective journal and, moreover, a presentation slot at the ECML/PKDD 2014 conference will be offered to the authors. However, given the special nature of the ECML/PKDD 2014 journal track, only papers that naturally lend themselves to conference talks will be considered. For instance, neither journal versions of previously published conference papers nor survey papers will be considered for the special issue. Papers submitted to the journal track are supposed to be handled fast, with an overall turn-around time of 8 weeks. Yet, due to possible delays or the need for revisions, inclusion of accepted papers in the 2014 edition cannot be guaranteed, especially for papers submitted after February. Nevertheless, such papers can be published in regular issues of the respective journal, or perhaps be considered for ECML/PKDD 2015. For more information about the ECML/PKDD 2014 journal track and information about how to submit, please visit the following website: http://ecmlpkdd2014.loria.fr/submission/journal-track-submission/ Toon Calders, Floriana Esposito, Eyke Hüllermeier, Rosa Meo ECML/PKDD 2014 PC Co-Chairs -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From aamas14publicity at gmail.com Wed Jan 15 06:27:15 2014 From: aamas14publicity at gmail.com (Matthew Taylor) Date: Tue, 14 Jan 2014 21:27:15 -0800 Subject: [AAMAS-14] Call for Participation Message-ID: 1st Call for Participation Registration for the AAMAS-14 conference is now open! Please register by March 25, 2014 in order to receive the early registration rate. The registration site for AAMAS is http://aamas2014.lip6.fr/registration.php. The conference site and official hotel for AAMAS is the Paris Marriott Rive Gauche Hotel and Conference Center. Rooms can be booked at a special conference rate (check at http://aamas2014.lip6.fr/accomodations.php). Please note that an additional discount will be offered to conference participants only until January 31, 2014. We are looking forward to seeing you in Paris in May! -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From aamas14publicity at gmail.com Wed Jan 15 06:28:22 2014 From: aamas14publicity at gmail.com (Matthew Taylor) Date: Tue, 14 Jan 2014 21:28:22 -0800 Subject: [AAMAS-14] Demo Submission Extension Message-ID: ************************************************************************ Due to multiple requests, we have extended the deadline to January 20th. ************************************************************************ Call for Demonstrations Demos track Website: http://www.ntu.edu.sg/home/boan/ aamas2014Demo/ The goal of the AAMAS DEMOs track is to provide opportunities for participants from academia and/or industry to present their latest developments in agent-based software and/or robotic systems. Interactive systems and novel applications are particularly welcome. Student researchers are encouraged to submit. A "Best Demo" will be selected and awarded by the committee. At least one author of accepted demos will be expected to present a poster and live demonstration at the conference in Paris. Authors of accepted papers and posters in the main track of the AAMAS conference, as well as workshop presenters, are particularly encouraged to submit! (You'll be there anyway - this is another opportunity to share your work and discuss your results in detail with conference attendees who visit your Demo!) Examples of demos include but are not limited to: · Robotic systems (single- and multi-agent) · Interactive agent-based software systems · Agent-based simulation environments · Personal robotics · Innovative applications of agent-based systems or prototypes (e.g., industrial, military, educational) · Agent-based games · Agent platforms and development environments · Open-source software tools for agent-based system development · Human-robot interactive systems · Virtual agents and interactive virtual environments The organizers will make every effort to facilitate demo requirements. If you have unusual requirements please contact the organizers in advance. At a minimum, we will provide a poster board, a monitor with a standard VGA connector, a power strip and a 2m table for each demonstration. Submission Requirements Submissions accepted for the demonstration session will be advertised on the AAMAS website and in the conference booklet, which will contain abstracts of all available Demos. Each Demo submission must consist of the following: 1. Paper: A 2-page paper in which the authors describe the system to be demonstrated. The paper should describe the application domain, the problem scenario, the technology used, the agent/multi-agent techniques involved, the innovations of the system, its live and interactive aspects, etc. Papers MUST BE PREPARED IN PDF format using the AAMAS style (follow these instructions)). 2. Video or PPT: The paper must contain a URL linking to a demonstration video no more than 5 minutes in length (QuickTime or YouTube format) or a Powerpoint presentation showing and explaining what happens. If some other format can more clearly show the demo, accommodation may be made. Please contact the organizers in advance. 3. Contribution and Supervisor Endorsement (Student Projects Only): A brief note from the student's supervisor describing the student's individual contribution to the project, written on university letterhead and including the supervisor's full name, title and email address. This should be attached as the 3rd page of the PDF Paper submission (above). Accepted Demos will have the 2-page papers included in the AAMAS proceedings. The submission web site: https://www.easychair.org/conferences/?conf=aamas2014demo Selection Process The submission and selection processes for the AAMAS 2014 Demos will be separate from that of the main conference. Each submission will be assessed by the Demos Committee. The authors will receive a brief report with the result of the evaluation with the notification. The main evaluation criteria are: · Presentation and technical quality · Significance and originality · Relevance to AAMAS · Maturity of the (deployed) system and readiness for demonstration · Potential for public interaction Notification of acceptance or rejection of submitted demos will be sent to the corresponding author (see dates below). At least one author of each accepted demonstration is required to register and to attend the conference to give the demonstration. Important Dates ***Submission deadline: January 20, 2014*** Notification of acceptance/rejection: February 14, 2014 Camera-ready paper: February 25, 2014 Contact Information For more information, please contact the Demos Chairs: Dr. Bo An Nanyang Technological University boan at ntu.edu.sg or Dr. Juan A. Rodriguez-Aguillar IIIA-CSIC jar at iiia.csic.es -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From aamas14publicity at gmail.com Wed Jan 15 06:29:27 2014 From: aamas14publicity at gmail.com (Matthew Taylor) Date: Tue, 14 Jan 2014 21:29:27 -0800 Subject: [AAMAS-14] 2nd Call: IFAAMAS Distinguished Dissertation Award Message-ID: Call for IFAAMAS-13 Victor Lesser Distinguished Dissertation Award nominations Nominations are invited for the 2013 Victor Lesser Distinguished Dissertation Award sponsored by IFAAMAS, the International Foundation for Autonomous Agents and Multiagent Systems (http://www.ifaamas.org) and to be presented at AAMAS-2014 (http://aamas2014.lip6.fr/). Eligible doctoral dissertations are those defended between January 1, 2013 and December 31, 2013 in the area of Autonomous Agents or Multiagent Systems. This award includes a certificate and a 1500EUR payment. The selection of the dissertation will be based on the originality, significance, and impact of the work. Evidence of such impact include publications at highly selective conferences and journals in the field with due importance given to the AAMAS conference series and JAAMAS. Research output that resulted primarily from the student's initiative will be considered more favourably. The selection committee will be the final arbiter in the decision process. The selection committee might decide to consult external assessors and reserves the right to not award the prize if the nominations do not meet the expected quality level. The dissertation must be nominated by the thesis supervisor and must be supported by the following documents (the documents must be placed on a web page and only a link to this page e-mailed to Michael Winikoff, michael.winikoff at otago.ac.nz, on or before February 28, 2014): 1. A PDF file of the dissertation. If the dissertation is not written in English, the nomination must include a substantial manuscript in English, with the nominee as the first author, published in a journal or a prestigious conference. 2. A list of citations to published papers based primarily on this dissertation with links to corresponding PDF files. 3. A recommendation from the dissertation supervisor, on departmental letterhead, nominating the dissertation for the IFAAMAS-13 Victor Lesser Distinguished Dissertation Award. The recommendation should argue the merit of the dissertation and highlight, where relevant, how the work resulted from the initiative of the student. This document, not to exceed 500 words, should also certify the eligibility of the PhD by asserting that the PhD was defended in calendar year 2013. 4. The names, email addresses, and affiliations of at most three referees, familiar with the research of the candidate and experts in the pertinent research area, who will directly email their recommendations for the candidate to the chair of the selection committee. It is the responsibility of the dissertation supervisor to contact the referees and ensure that the letters are submitted by the deadline. A reference letter should be no more than 500 words in length and should be on official letterhead, signed and emailed as scanned PDF file. Though the nomination is to be submitted by the nominee's dissertation supervisor, it is required that the nominee has consented that the dissertation be considered for this award and, if selected for the award, commits to attend the AAMAS-2014 conference, where he/she will receive the award, and will give an hour-long presentation in a special session of the conference on the work contained in the dissertation. The cost of attending the conference is not covered by the award. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From aamas14publicity at gmail.com Wed Jan 15 06:30:15 2014 From: aamas14publicity at gmail.com (Matthew Taylor) Date: Tue, 14 Jan 2014 21:30:15 -0800 Subject: [AAMAS-14] 2nd Call for Doctorial Mentoring Progarm Message-ID: Call for Submissions to the Doctoral Mentoring Program part of The Thirteenth International Joint Conference on AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS 2014) Paris, France Symposium Date: May 5, 2014 Conference Dates: May 5-9, 2014 http://aamas2014.lip6.fr/ Following past successful editions, AAMAS 2014 will again include a doctoral mentoring program, intended for PhD students in advanced stages of their research. This program will provide an opportunity for students to interact closely with established researchers in their fields, to receive feedback on their work and to get advice on managing their careers. Specifically, the goals of the program are: * To match each student with an established researcher in the community, who will act as a mentor. The mentor will interact closely with the student, to provide feedback on the student's research, help form new contacts, etc. * To allow students an opportunity to present their work to a friendly audience of other students as well as mentors. * To provide students with suggestions for managing their careers, contacts and professional networking opportunities. * To provide ample opportunities for interactions between mentors and their students prior to the conference, as well as a one day doctoral symposium. Those students selected to take part in the mentoring program will be invited to submit a 2-page extended abstract which will be included in the AAMAS 2014 proceedings. Submissions We encourage submissions from PhD students in advanced stages of their research within the Autonomous Agents and Multi Agent Systems field. Based on the submissions, the organizing committee will select a group of students that will be invited to participate in the program. Those students selected will be expected to take active part in all program activities. Submissions consist of documents which students should provide, together with a recommendation letter from the advisor/supervisor. The submission materials consist of: 1. A two-page extended abstract of the student's thesis (in the AAMAS submission format) 2. A short (2-page) resume (Curriculum Vitae) 3. A recommendation letter from the advisor/supervisor. The first two items should be submitted via EasyChair: https://www.easychair.org/conferences/?conf=dcaamas14 The student advisor/supervisor should send their letter of recommendation (third item) via email to the Doctoral Mentoring Program chairs: Edith Elkind (elkind at cs.ox.ac.uk ) Karl Tuyls (k.tuyls at liverpool.ac.uk) Wamberto Vasconcelos (w.w.vasconcelos at abdn.ac.uk) by February 9, 2014. The letter should address the expected benefit of the student attending, the significance of the research, and the expected date for thesis submission. This letter can be sent in either plain text or PDF format. The student's name must be clearly pointed out in the letter. Important Dates * February 9: Submission package due * March 3: Acceptance notifications * March 11: Camera-ready copy due * May 5: Doctoral Mentoring Symposium The one-day symposium will be held on one day. Doctoral Mentoring Chairs Edith Elkind Department of Computer Science, University of Oxford, United Kingdom -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From cambria at nus.edu.sg Thu Jan 16 00:05:29 2014 From: cambria at nus.edu.sg (Erik Cambria) Date: Thu, 16 Jan 2014 07:05:29 +0800 Subject: CFP: Sentic Computing @ Springer CogComp Message-ID: Apologies for cross-posting, Submissions are invited for a Springer Cognitive Computation special issue on Sentic Computing. For more information, please visit http://sentic.net/cogcomp RATIONALE The opportunity to capture the opinions of the general public has raised growing interest both within the scientific community, leading to many exciting open challenges, as well as in the business world, due to the remarkable benefits to be had from marketing and financial prediction. Mining opinions and sentiments from natural language, however, is an extremely difficult task as it involves a deep understanding of most of the explicit and implicit, regular and irregular, syntactical and semantic rules proper of a language. Existing approaches to sentiment analysis mainly rely on parts of text in which opinions are explicitly expressed such as polarity terms, affect words, and their co-occurrence frequencies. However, opinions and sentiments are often conveyed implicitly through latent semantics, which make purely syntactical approaches ineffective. Concept-level approaches, instead, use Web ontologies or semantic networks to accomplish semantic text analysis. This helps the system grasp the conceptual and affective information associated with natural language opinions. By relying on large semantic knowledge bases, such approaches step away from blindly using keywords and word co-occurrence counts, and instead rely on the implicit meaning/features associated with natural language concepts. Superior to purely syntactical techniques, concept-based approaches can detect subtly expressed sentiments. Concept-based approaches, in fact, can analyze multi-word expressions that do not explicitly convey emotion, but are related to concepts that do. Sentic computing, in particular, is a multi-disciplinary approach to sentiment analysis at the crossroads between affective computing and common sense computing, which exploits both computer and social sciences to better recognize, interpret, and process opinions and sentiments over the Web. In sentic computing, whose term derives from the Latin sentire (root of words such as sentiment and sentience) and sensus (intended both as capability of feeling and as common sense), the analysis of natural language is based on affective ontologies and common sense reasoning tools, which enable the analysis of text not only at document-, page- or paragraph-level, but also at sentence-, clause-, and concept-level. TOPICS This special issue focuses on the introduction, presentation, and discussion of new approaches that further develop and apply sentic computing models, techniques, and tools, for the design of emotion-sensitive applications in fields such as social media marketing, human-computer interaction, and e-health. The main motivation for the special issue, in particular, is to further explore how the passage from (unstructured) natural language to (structured) machine-processable data can be implemented, in potentially any domain, through the application of sentic computing or an ensemble of sentic computing and other approaches. Articles are thus invited in areas such as weakly supervised learning, active learning, transfer learning, novel neural and cognitive models, data mining, pattern recognition, knowledge-based systems, information retrieval, natural language processing, and big data computing. Topics include, but are not limited to: • Sentic computing for social media marketing • Sentic computing for big social data analysis • Sentic computing for social media visualization and retrieval • Sentic computing for biologically inspired opinion mining • Sentic computing for cognitive and affective modeling • Sentic computing for metaphor detection and understanding • Sentic computing for patient opinion mining • Sentic computing for opinion spam detection • Sentic computing for online advertising • Sentic computing for social network modeling and analysis • Sentic computing for multi-modal sentiment analysis • Sentic computing for human-agent, -computer, and -robot interaction • Sentic computing for image analysis and understanding • Sentic computing for user profiling and personalization • Sentic computing for aided affective knowledge acquisition • Sentic computing for multi-lingual sentiment analysis • Sentic computing for time-evolving sentiment tracking • Sentic computing for cross-domain evaluation The special issue also welcomes papers on specific application domains of sentic computing, e.g., influence networks, customer experience management, intelligent user interfaces, multimedia management, computer-mediated human-human communication, enterprise feedback management, surveillance, and art. To be considered, authors will need to clearly establish relevance of their paper to the scope of the special issue and the journal. Authors will be required to follow the Author's Guide for manuscript submission to Cognitive Computation. TIMEFRAME February 15th, 2014: Paper submission deadline March 15th, 2014: Notification of acceptance April 15th, 2014: Final manuscript due June, 2014: Publication SUBMISSION GUIDELINES The Cognitive Computation special issue on Sentic Computing will consist of papers on novel methods and techniques that further develop and apply big data analysis tools and techniques in the context of opinion mining and sentiment analysis. Some papers may survey various aspects of the topic. The balance between these will be adjusted to maximize the issue's impact. Authors are required to follow Cognitive Computation's Instructions for Authors and to submit their papers through Editorial Manager, after specifing the name of the special issue. All articles are expected to successfully negotiate the standard review procedures for Cognitive Computation. ORGANIZERS • Erik Cambria, National University of Singapore (Singapore) • Amir Hussain, University of Stirling (UK) From rino.falcone at istc.cnr.it Thu Jan 16 13:33:03 2014 From: rino.falcone at istc.cnr.it (Rino Falcone) Date: Thu, 16 Jan 2014 13:33:03 +0100 Subject: CfP: Workshop trust at AAMAS 2014 Message-ID: --------- TRUST 2014 ­ Call for Papers --------- We apologize for multiples copies. Please distribute this CFP among your colleagues and students. The 17th edition of this international workshop will be co-located with AAMAS 2014, the 13th International Conference on Autonomous Agents and Multiagent Systems to be held in Paris, France, 5-9 May 2014. https://sites.google.com/site/trustworkshop/trust2014 Thanks and Regards, Rino Falcone From fink at kr.tuwien.ac.at Thu Jan 16 17:53:59 2014 From: fink at kr.tuwien.ac.at (fink at kr.tuwien.ac.at) Date: Thu, 16 Jan 2014 17:53:59 +0100 Subject: Kurt Gödel Research Prize Fellowship Competition Announcement Message-ID: <201401161653.s0GGrx50019841@hummel.kr.tuwien.ac.at> The Logical Mind: Connecting Foundations and Technology Competition (Organized by the Kurt Gödel Society) The Kurt Gödel Society is proud to announce the commencement of the Kurt Gödel Research Prize Fellowships Program- The Logical Mind: Connecting Foundations and Technology. A. The program has a particular emphasis on supporting young scholars as previous rounds of Kurt Gödel Research Prize Fellowships showed that the impact on the careers of the young researchers had the most significance. Young scholars are defined by being less or exactly 40 years old at the time of the commencement of the Vienna Summer of Logic (July 9, 2014). The program will offer: One fellowship award in the amount of EUR 100,000, in each of the following categories: * Logical Foundations of Mathematics, * Logical Foundations of Computer Science and * Logical Foundations of Artificial Intelligence B. The awards will be based on a categorized world-wide open competition by way of submission of up to three-pages project description, CV and two letters of recommendation. C. The applicant will have to choose an applicable category him/herself. D. The following three Boards of Jurors will choose four finalists from their respective discipline electronically: Logical Foundations of Artificial Intelligence: Luigia Carlucci Aiello, Georg Gottlob (Chair), and Bernhard Nebel Logical Foundations of Computer Science: Franz Baader, Johann Makowsky, and Wolfgang Thomas (Chair). Logical Foundations of Mathematics: Harvey Friedman (Chair), Angus Macintyre, and Dana Scott. The winners will be chosen by all three juries together. The finalists will be invited to submit an extended project proposal version electronically before the Vienna Summer of Logic and only the finalists shall be entitled to reviewer's feedback. E. Finalists will be obliged to submit a full version of their proposal (up to 20 pages) F. All deliberations will be performed electronically. The same shall apply to all decisions G. All finalists except for the winners will receive silver medals and certificates per post. H. Gold medals will be awarded to the winners at the ceremony held in the Celebration Hall of the Vienna University of Technology together with silver medals for the winners of fifteen major competitions related to the conceptual progress in computer science. I. The winners will be obliged to write an article for publication in the book containing planned contributions from the winners of all fellowships rounds organized by the Kurt Gödel Society. Timeline March 2, 2014 (midnight PST): Proposals submission deadline March 31, 2014: Jury decision on finalists due May 30, 2014: Full proposals due June 20, 2014: Jury decision on winners due July 17, 2014: Foundations and Technology Competitions Award Ceremony August 1, 2014: Commencement of the fellowship July 31, 2016: End of the fellowships program Web: http://fellowship.logic.at From aamas14publicity at gmail.com Fri Jan 17 02:03:15 2014 From: aamas14publicity at gmail.com (Matthew Taylor) Date: Thu, 16 Jan 2014 17:03:15 -0800 Subject: [AAMAS-14] Student Travel Support Message-ID: AAMAS 2014 Student Travel Support We are delighted to announce funding for student travel support. The purpose is to enable graduate students to travel and participate in the conference. To be eligible, you must: • be registered as a full-time student at a higher education institution (e.g. University); AND • be explicitly listed as an author of a paper accepted for AAMAS-14 (full or extended abstract). The order of priority for awards is as follows: • students presenting a full paper accepted at the main conference • students presenting a paper in the Challenges and Visions track • students presenting at the doctoral consortium • students presenting posters at the main conference If funds remain, students authors of workshop papers will also be considered. To the extent that funds allow, we also hope to support students whose research will benefit from attendance at the conference. We anticipate different levels of funding based on geographic location (distance to conference venue, underrepresented regions), level of participation, and so on, covering most of the travel costs. We particularly encourage student scholarship applications from underrepresented regions. Application To apply, you are required to complete the Student Scholarship Application Form at https://docs.google.com/forms/d/1xZfQlS06XI-c_PCA9piCObI7A3exroglQumep0k8dTQ/viewform You will need to provide your participation details for AAMAS-14 as well as a pdf with a scanned student ID card certifying you are registered as a full-time student. Please note that participation in the student scholarship program carries with it an obligation to be a student volunteer during the conference and, in the case of US applicants, to participate in the doctoral mentoring consortium . Student volunteers are often used to provide support in the various conference rooms in case of problems (e.g., projector failure, etc). Please submit your application by January 29, 2014 (11:59pm, Hawaii time) via the web form shown above. We will notify you of your application decision by February 21 (in case of workshop authors March 21). Scholarship Co-Chairs Kagan Tumer Dani Villatoro Mathijs de Weerdt E-mail: aamas2014scholarshipchairs at gmail.com -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From rseba at disi.unitn.it Fri Jan 17 20:09:02 2014 From: rseba at disi.unitn.it (Roberto Sebastiani) Date: Fri, 17 Jan 2014 20:09:02 +0100 Subject: Postdoc positions in SAT/SMT-based Verification available in Trento Message-ID: <20140117190902.GA8634@disi.unitn.it> --------------------------------------------------------------------------- [[[ We apologize if you receive multiple copies of this message ]]] --------------------------------------------------------------------------- -------------------------------------------------------------- PLEASE FORWARD THIS EMAIL TO WHOEVER YOU MAY THINK INTERESTED. -------------------------------------------------------------- One post-doc position in ICT on the research project "Advanced SMT Techniques for Word-level Formal Verification - (WOLF)" is available in Trento, Italy, under the joint supervision of - Alessandro Cimatti, FBK, Trento, and - Roberto Sebastiani, DISI, University of Trento. This is a three-year research project supported by SRC/GRC (http://www.src.org/compete/s201113/), in collaboration with major HW companies. The details of the call are available at http://disi.unitn.it/~rseba/WOLF-Recruit-postdoc.txt From announce at cs.ucy.ac.cy Sat Jan 18 12:44:35 2014 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 18 Jan 2014 13:44:35 +0200 Subject: Last Mile: Fifth International Conference on Software Business (ICSOB 2014) Message-ID: <7JKUXOAA-DX3-2PXQ-IQLD-FW5ZMXDEGJPK@cs.ucy.ac.cy> *** Last Mile *** Fifth International Conference on Software Business (ICSOB 2014) Azia Resort and Spa, Paphos Cyprus June 15-18, 2014 http://www.icsob.org Online submission: https://www.easychair.org/conferences/?conf=icsob2014 Extended Deadline for submissions: February 1, 2014 Conference Theme Shortening the time-to-market: from short cycle times to continuous value delivery Advancements in the software industry have had a substantial impact not only on productivity and on GDP growth globally, but also on our daily work and lives. Moreover there is a noticeable spillover within other industries (e.g. manufacturing, entertainment industry) enabling new business models: companies bundle their physical products and software services into solutions (e.g. using subscription models or in-app purchases) and start to sell independent software products in addition to physical products. Software business refers to commercial activities in and around the software industry, aimed at generating income from the delivery of software products and software services. Although the software business shares common features with other international knowledge-intensive businesses, it carries many inherent features making it a challenging domain for research. In particular software companies have to depend on one another to deliver a unique value proposition to their customers or a unique experience to their users. Moreover recent developments like the emerging app economy offer a variety of opportunities for entrepreneurs or start-up companies. The recent acquisition of the three-year old Finnish mobile game startup Supercell with the total value of 2.2 billion Euros shows that the future of software is not only in utility and but also in entertainment and increasing freetime of people globally. This will have a profound effect on software business and requires novel business models and new approaches to software product development as well. ICSOB 2014 addresses researchers and practitioners, who are concerned with software business in different ways as well as the start-up community, which is increasingly focusing on mobile and social software. The main theme of 2014 focuses on speeding up the time from idea to value delivery, towards continuous delivery of added value. Conference Topics You are invited to submit papers addressing contemporary issues emerging at the intersection of the software and business domains, broadly defined. Both papers reporting research results and industrial experiences are welcome. Invited are original submissions on the topics listed below, including but not limited to: Special sessions this year: * Speeding up time-to-market: towards continuous value delivery * Business models in game and entertainment software Regular themes of the conference series: * Software Platforms and Ecosystems * Corporate networks between software companies / Software Supply Networks * Business impacts and business models of Cloud Computing * Software Product Management * Software business in the future * Licensing, Intellectual Property and Patent Issues (IP modularity) * Business models for software startups and existing software companies * App Economy * Productization, Servification, and Servitization * Impact of Megatrends on software business (e.g. Customization) * Effects of business models on software development * Global and cultural aspects of software business * Mobile software business trends Submission Instructions Full research papers (15 pages), short papers (6 pages), industrial track presentations (abstract) and posters are all welcome. Accepted full papers and short papers will be included in the conference proceedings published by Springer as a volume in Lecture Notes in Business Information Processing (LNBIP) series (if at least one author of the paper attends the conference and presents the paper). Extended versions of the best papers selected from ICSOB 2014 will be published in a special issue of Journal of Systems and Software (http://www.journals.elsevier.com/journal-of-systems-and-software/). PhD students are invited to submit research abstracts and present and discuss their work at the Doctoral Symposium. A separate CFP for the Doctoral Symposium will be published later. You may also submit workshop proposals to the conference. For details and updates visit http://www.icsob.org. Important Dates Paper Submission: February 1, 2014 (extended deadline) Notification: March 10, 2014 Camera-Ready: April 7, 2014 Conference: June 15-18, 2014 Conference Officers General Chair Tiziana Margaria, University of Potsdam Program Chairs Casper Lassenius, Aalto University Kari Smolander, Lappeenranta University of Technology Local Organization Chair George Angelos Papadopoulos, University of Cyprus Industry Chair Georg Herzwurm, Universität Stuttgart Workshops Chair Krzysztof Wnuk, Lund University Doctoral Symposium Co-Chairs Anna-Lena Lamprecht, University of Potsdam Tobias Tauterat, University of Stuttgart Publicity Chair Eetu Luoma, University of Jyväskylä Steering Committee Slinger Jansen, Utrecht University Michael Cusumano, Massachusetts Institute of Technology Pasi Tyrväinen, University of Jyväskylä Björn Regnell, Lund University Inge van de Weerd, Utrecht University Tiziana Margaria, University of Potsdam Sjaak Brinkkemper, Utrecht University Jan Bosch, Chalmers University Georg Herzwurm, University of Stuttgart Program Committee Sergey Avdoshin, Higher School of Economics, Moscow, Russia Jan Bosch, Chalmers University of Technology, Sweden Sjaak Brinkkemper, Utrecht University, The Netherlands Peter Buxmann, Darmstadt University of Technology, Germany Michael Cusumano, Massachusetts Institute of Technology, USA Torgeir Dingsøyr, SINTEF, Norway Brian Fitzgerald, University of Limerick / Lero, Ireland Samuel Fricker, Blekinge Institute of Technology, Sweden Peter Gloor, Massachusetts Institute of Technology, USA Georg Herzwurm, Universität Stuttgart, Germany Thomas Hess, LMU Munich, Germany Slinger Jansen, Utrecht University, The Netherlands Philippe Kruchten, University of British Columbia, Canada Thomas Kude, University of Mannheim, Germany Olli Kuivalainen, Lappeenranta University of Technology, Finland Patricia Lago, VU University Amsterdam, The Netherlands Ulrike Lechner, Universität der Bundeswehr München, Germany Andrey Maglyas, Lappeenranta University of Technology, Finland Tiziana Margaria, University of Potsdam, Germany Rory O'Connor, Dublin City University, Ireland Samuli Pekkola, Tampere University of Technology, Finland Wolfram Pietsch, FH Aachen, Germany Björn Regnell, Lund University, Sweden Dirk Riehle, Friedrich-Alexander-Universität, Germany Matti Rossi, Aalto University, Finland Günther Ruhe, University of Calgary, Canada Stefan Seidel, University of Liechtenstein, Liechtenstein Klaus-Dieter Thoben, Universität Bremen, Germany Pasi Tyrväinen, University of Jyväskylä, Finland Krzysztof Wnuk, Lund University, Sweden Updated information and further details are available at http://www.icsob.org. Please, send emails with further questions to info at icsob.org. -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From bulling at in.tu-clausthal.de Sat Jan 18 22:52:35 2014 From: bulling at in.tu-clausthal.de (Nils Bulling) Date: Sat, 18 Jan 2014 22:52:35 +0100 Subject: LAMAS workshop @ AAMAS 2014: deadline extension (February 2) References: <11916890-88B1-40D3-A8EC-F5DCE7A0122C@liverpool.ac.uk> Message-ID: <6BDE276C-3EB5-40EA-A375-0A279A8B612F@in.tu-clausthal.de> ======================================================== 7th Workshop on Logical Aspects of Multi-Agent Systems *** LAMAS 2014 *** (satellite workshop of AAMAS 2014) May 5 or 6, 2014, Paris, France http://lamas2014.in.tu-clausthal.de Call for Papers Submission deadline extended to February 2, 2014 ======================================================== ================================= INTRODUCTION ================================= There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, etc. The LAMAS workshop serves the community as a platform for presentation, exchange, and publication of ideas. The workshop is intended to cover the following subjects: - Logical systems for specification, analysis, and reasoning about MAS - Modeling MAS with logic-based models - Logic in game theory - Logic in social choice theory - Deductive systems and decision procedures for logics for MAS - Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS - Logic-based tools for MAS - Applications of logics in MAS ================================= SUBMISSION ================================= Authors are invited to submit papers in the following three categories: - Regular papers up to 15 pages, describing original unpublished research. Position papers and visionary work in progress can also be submitted in this category. Simultaneous submission to another venue is not allowed. - System descriptions of up to 12 pages, describing new systems or significant upgrades of existing ones. - Extended abstracts of 2-5 pages reporting interesting and relevant work that has been published (or accepted for publication) in the last 12 months. Submissions should be anonymous, subject to double-blind reviewing procedure. Each submission will be reviewed by at least 2 PC members. Papers must be in PDF format and prepared according to the Springer LNCS format. For templates and instructions for authors, see http://www.springer.de/comp/lncs/authors.html. ================================= PROCEEDINGS AND POST-PROCEEDINGS ================================= Workshop notes including all accepted papers will be distributed to AAMAS-2014 registrants in electronic form. Printed workshop notes will not be made available to workshop participants. Workshop post-proceedings are planned as a journal special issue of STUDIA LOGICA. The submissions to that special issue will be subject to another reviewing and selection process. ================================= Keynote Speakers ================================= Invited talk: Prof. John-Jules Meyer, Utrecht University, the Netherlands Invited tutorial: Prof. Thomas Agotnes, University of Bergen, Norway ================================= TUTORIAL SESSION ================================= According to the rules of AAMAS workshops, the workshop will include a one hour tutorial session covering topics of: (i) logic-based modeling of MAS, (ii) deduction and meta-logical properties and techniques (satisfiability, bounded model property, etc.), and (iii) applications of logics in MAS (e.g. Verification). ================================= IMPORTANT DATES ================================= Paper submission: February 2, 2014 (extended deadline) Author notification: February 19, 2014 Camera-ready deadline: March 19, 2014 Workshop: May 5 or 6, 2014 ================================= WORKSHOP and PC CHAIRS ================================= Nils Bulling, Clausthal University of Technology, Germany Wiebe van der Hoek, University of Liverpool, UK ================================= PROGRAM COMMITTEE ================================= Thomas Agotnes, University of Bergen, Norway Natasha Alechina, University of Nottingham, UK Thomas Bolander, Technical University of Denmark, Denmark Jan Broersen, Utrecht University, the Netherlands Juergen Dix, Clausthal University of Technology, Germany Michael Fisher, University of Liverpool, UK Pietro Galliani, Clausthal University of Technology, Germany Valentin Goranko, Technical University of Denmark Andreas Herzig, University of Toulouse, France Wojciech Jamroga, University of Luxembourg, Luxembourg Joao Leite, New University of Lisbon, Portugal Emiliano Lorini, Universite Paul Sabatier, France John-Jules Meyer, Utrecht University, the Netherlands Aniello Murano, Universita di Napoli Federico II, Italy Ram Ramanujam, Institute of Mathematical Sciences, Chennai, India Pierre-Yves Schobbens, University of Namur, Belgium Nicolas Troquard, Laboratory of Applied Ontology, Trento, Italy Dirk Walther, Dresden University of Technology, Germany Michael Wooldridge, University of Oxford, UK ================================= ORGANIZATION AND CONTACT ================================= The workshop is organized by Nils Bulling, Clausthal University of Technology and Wiebe van der Hoek, University of Liverpool. In case of questions, do not hesitate to contact us at bulling at in.tu-clausthal.de and wiebe.van-der-hoek at liverpool.ac.uk, respectively. -- Dr. Nils Bulling Clausthal University of Technology, Germany http://www.nilsbulling.com phone: +49 5323 72 7182 From announce at cs.ucy.ac.cy Sun Jan 19 13:13:18 2014 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 19 Jan 2014 14:13:18 +0200 Subject: ICTAI 2014: First Call for Papers Message-ID: *** FIRST CALL FOR PAPERS *** 26th IEEE International Conference on Tools with Artificial Intelligence ICTAI 2014 (pending IEEE approval) November 10-12, 2014, Limassol, Cyprus http://ictai2014.cs.ucy.ac.cy Aim & Scope The annual IEEE International Conference on Tools with Artificial Intelligence (ICTAI) provides a major international forum where the creation and exchange of ideas related to artificial intelligence are fostered among academia, industry, and government agencies. The conference facilitates the cross-fertilization of these ideas and promotes their transfer into practical tools, for developing intelligent systems and pursuing artificial intelligence applications. The ICTAI encompasses all technical aspects of specifying, developing and evaluating the theoretical underpinnings and applied mechanisms of the AI-based components of computer tools such as algorithms, architectures and languages. Topics (not limited to) AI Foundations - Evolutionary computing, Bayesian and Neural Networks - Decision/Utility Theory and Decision Optimization - Search, SAT, and CSP - Description Logic and Ontologies AI in Domain Specific Applications - AI in Natural Language Processing and Understanding - AI in Computational Biology, Medicine and Biomedical Applications - AI in WWW, Communication, Social Networking, Recommender Systems, Games and E-Commerce - AI in Finance and Risk Management AI in Computer Systems - AI in Robotics, Computer Vision and Games - AI in Software Engineering, Real-Time and Embedded Applications, and Sensor Networks - AI in Cloud Computing, Data-Intensive Applications and Online/Streaming and Multimedia Systems - AI in Web search and Information Retrieval - AI in Computer Security, Data Privacy, and Information Assurance AI in Data Analytics and Big Data - Visualization Analytics for Big Data - Computational Modeling for Big Data - Large-scale Recommendation and Social Media Systems - Cloud/Grid/Stream Data Mining for Big Velocity Data - Semantic-based Big Data Mining Machine Learning and Data Mining - Data pre-processing, reduction and feature selection - Learning Graphical Models and Complex Networks - Active, Cost-Sensitive, Semi-Supervised, Multi-Instance, Multi-Label and Multi-Task Learning - Transfer/Adaptive, Rational and Structured Learning - Preference/Ranking, Ensemble, and Reinforcement Learning Knowledge Representation, Reasoning and Cognitive Modelling - Knowledge Representation, Reasoning - Knowledge Extraction, Management and Sharing - Case-Based Reasoning and Knowledge-based Systems - Cognitive Modelling and Semantic Web AI and Decision Systems - Decision Guidance and Support Systems - Optimization-based recommender systems - Group, distributed, and collaborative decisions - Crowd-sourcing and collective intelligence decision making - Strategic, tactical and operational level decisions - Decision making in social and mobile networks Uncertainty in AI - Uncertainty and Fuzziness Representation and Reasoning - Approximate/Exact Probabilistic Inference - Knowledge Discovery and Data Mining for Uncertain Data Paper Submission The submissions should contain original, high quality, not submitted or published elsewhere work. Papers should be submitted electronically through the EasyChair system in pdf format and should conform to IEEE specifications (single-spaced, double-column, 10-point font size, up to 8 pages). Paper Presentation Each accepted paper should be presented by one of the authors and accompanied by at least one full registration fee payment, to guarantee publication in the proceedings. All accepted papers will be included in proceedings of ICTAI 2014 that will be published by the IEEE Computer Society. IJAIT special issue Extended versions of the best papers of the conference will be invited for publication in a special issue of the International Journal on Artificial Intelligence Tools (IJAIT) (SCI Indexed). Important Dates Paper submission: June 30, 2014 Paper notification: July 30, 2014 Camera-ready paper: August 30, 2014 Point of Contact George A. Papadopoulos Department of Computer Science University of Cyprus george-at-cs-dot-ucy-dot-ac-dot-cy -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ecmlpkdd2014publicity at gmail.com Mon Jan 20 21:55:19 2014 From: ecmlpkdd2014publicity at gmail.com (ECML PKDD) Date: Mon, 20 Jan 2014 21:55:19 +0100 Subject: ECML/PKDD 2014 Call for Papers Message-ID: ----------------------------------------------------------- C A L L F O R P A P E R S ECML/PKDD 2014: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases Nancy, France, September 15-19, 2014 http://www.ecmlpkdd2014.org/ ----------------------------------------------------------- The European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ECML/PKDD, provides an international forum for the discussion of the latest high-quality research results in all areas related to machine learning, data mining and knowledge discovery in databases, as well as other innovative application domains. The 2014 edition of ECML/PKDD will take place in Nancy, France, September 15-19. Submissions are invited on all aspects of machine learning, knowledge discovery and data mining, including real-world applications. Papers will mainly be evaluated on the basis of their relevance for the conference, their scientific contribution, rigor and correctness, the quality of presentation and reproducibility of experiments. Apart from that, we specifically welcome submissions which -- have the potential to inspire the research community by introducing new and relevant problems, concepts, solution strategies, and ideas; -- contribute to solving a problem widely recognized as both challenging and important; -- address a novel area of impact of machine learning and data mining. ----------------------------------------------------------- Proceedings ----------------------------------------------------------- The conference proceedings will be published by Springer in the Lecture Notes in Artificial Intelligence series (LNAI). Apart from making regular conference submissions, there is also the possibility of submitting papers to the ECML/PKDD 2014 journal track. For information about the journal track, please visit the following website: http://ecmlpkdd2014.loria.fr/submission/journal-track-submission/ ----------------------------------------------------------- Submissions ----------------------------------------------------------- The papers must be written in English and formatted according to the Springer LNAI guidelines. Authors instructions and style files can be downloaded at: http://www.springer.de/comp/lncs/authors.html The maximum length of papers is 16 pages in this format. Over length papers will be rejected without review (papers with smaller page margins and font sizes than specified in the author instructions and set in the style files will also be treated as over length). Papers submitted should report original work; ECML/PKDD 2014 will not accept any paper which, at the time of submission, is under review or has already been accepted for publication in a journal or another conference. Authors are also expected not to submit their papers elsewhere during the review period. Guidelines for submission will be made available on the conference website soon. ----------------------------------------------------------- Reviewing process ----------------------------------------------------------- Papers submitted to ECML/PKDD 2014 will normally be reviewed by three referees. The review process is single-blind (reviewer identities unknown to authors) and there will be no opportunity for author rebuttal. This decision was made to minimize reviewer workload and to concentrate it in time, which may ultimately result in better quality reviews and decisions. If necessary, a discussion will take place among the reviewers of a paper until a decision is reached. ----------------------------------------------------------- Important dates ----------------------------------------------------------- Abstract submission deadline: 12 April 2014 Paper submission deadline: 16 April 2014 Author notification: 15 June 2014 Camera ready submission: 23 June 2014 ----------------------------------------------------------- Contact ----------------------------------------------------------- You can contact the Program Committee Chairs at pcchairs at ecmlpkdd2014.org. Toon Calders, Floriana Esposito, Eyke Hüllermeier, Rosa Meo -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From K.M.Atkinson at liverpool.ac.uk Tue Jan 21 10:31:48 2014 From: K.M.Atkinson at liverpool.ac.uk (Atkinson, Katie) Date: Tue, 21 Jan 2014 09:31:48 +0000 Subject: ArgMAS 2014 - Call For Papers (revised deadline) Message-ID: <4A4CDC5C-2C02-4E0C-BAC3-A7ACF1BF769E@liverpool.ac.uk> [With apologies for cross postings] ---------------------------------------------------------------- CALL FOR PAPERS Eleventh International Workshop on Argumentation in Multi-Agent Systems ArgMAS 2014 www.mit.edu/~irahwan/argmas/argmas14/ Revised submission date! ---------------------------------------------------------------- Submissions are invited for the Eleventh International Workshop on Argumentation in Multi-Agent Systems (ArgMAS 2014), to be held in Paris, France, as part of AAMAS 2014. For ArgMAS 2014, papers are solicited on the concepts, theories, methodologies, and applications of computational models of argument in creating autonomous agents and multi-agent systems. Argumentation can be abstractly defined as the formal interaction of different arguments for and against some conclusion (e.g., a proposition, an action intention, a preference, etc). A single agent may use argumentation techniques to perform individual reasoning, to resolve conflicting evidence, or to decide between conflicting goals. Multiple agents may also use dialectical argumentation in order to identify and reconcile differences between themselves, through interactions such as negotiation, persuasion, and joint deliberation. The main goal of ArgMAS 2014 will be to bring together the community of researchers working on argumentation in multi-agent systems. The workshop has the following technical goals: (a) To explore the use of argumentation in practical reasoning. (b) To investigate how argumentation can be used to enable rational interaction between autonomous agents. (c) To explore the applicability of argumentation for solving a variety of problems in multi-agent systems, such as information exchange, negotiation, team formation, deliberation, etc. (d) To explore strategic reasoning and behaviours in argumentation-based interaction. (e) To better understand how argumentation relates to other areas of multiagent research, such as game theory, agent communications, and planning. (f) To present and encourage implemented systems which demonstrate the use of argumentation in multi-agent systems. The workshop solicits papers looking at either theory or practice, or both. In particular, the workshop aims at bridging the gap between the vast amount of work on argumentation theory and the practical needs of multi-agent systems research. Different agents within a multiagent system potentially have differential access to information and capabilities, different beliefs, different preferences and desires, and different goals and values. A key aspect of the scientific study of multiagent systems therefore is the development of methods and procedures for identifying, assessing, reconciling, and arbitrating between such differences. Market mechanisms and voting procedures are two methods for dealing with such differences. Argumentation theory is another. In recent years, formal theories of argument and argument interaction have been proposed, and this has led to the study of computational models of argument. The ArgMAS series of workshops has focused on computational argumentation within the context of agent reasoning and multiagent systems. The workshop will be of interest to anyone studying or applying default reasoning in autonomous agents, single-agent reasoning and planning under uncertainty, strategic single-agent reasoning in the context of potential competitor actions, and the rational resolution of the different beliefs and intentions of multiple agents within multiagent systems. Topics: We solicit papers dealing with, but not limited to, the following areas: . Computational models for argumentation . Argumentation-based decision making . Argumentation-based joint deliberation . Argumentation-based persuasion . Argumentation-based inquiry . Argumentation-based negotiation and conflict resolution . Argumentation and risk assessment . Argumentation for legal reasoning . Argumentation for electronic democracy . Argumentation for coordination, cooperation and team formation . Argumentation and game theory in multi-agent systems . Human-agent argumentation . Argumentation and preferences modeling . Strategic behavior in argument-based dialogues . Deception, trust, reputation in argument-based interaction . Computational complexity of argumentation dialogues . Properties of argumentation dialogues (termination, success, etc.) . Hybrid argumentation-based models . Implemented argumentation-based multi-agent systems . New application areas. Important Dates: Submission Deadline (revised): 7 February 2014 Notification of Decisions: 1 March 2014 Camera-Ready Copy Due: 10 March 2014 ArgMAS Workshop: Monday 5 or Tuesday 6 May 2014 Proceedings: The proceedings of ArgMAS will be printed and distributed at the workshop. As with previous ArgMAS workshops, it is planned to publish revised versions of the accepted full papers in an edited book as part of the Springer Lecture Notes in Computer Science (LNCS) series. This publication will have an ISBN number, and would be available both in printed form, as well as electronically in SpringerLink online. Submission Procedure: As with previous workshops, each ArgMAS submission will be reviewed by two members of the expert program committee. Contributors may submit either full papers (not longer than 20 pages) OR a two-page position statement that outlines their interests, background, and discussion of an aspect of the workshop theme. Authors are encouraged to submit their papers in the Springer Lecture Notes in Computer Science (LNCS) style, since this will be the format required for the planned post-proceedings book. Formatting instructions, as well as the style and sample files, can be found here: http://www.springer.de/comp/lncs/authors.html Papers submitted should be in PDF format, and must be submitted through our dedicated EasyChair site, here: https://www.easychair.org/conferences/?conf=argmas2014 Submitted papers should give full names and contact details for all authors. At least one author of each accepted paper must register for the workshop. Organization: The workshop organizers are: Katie Atkinson (Contact Organiser) Department of Computer Science University of Liverpool Tel: +44 (0)151 795 4243 K.M.Atkinson at liverpool.ac.uk Simon Parsons Department of Computer Science University of Liverpool s.d.parsons at liverpool.ac.uk Iyad Rahwan Masdar Institute of Science & Technology School of Informatics P.O.Box 54224 Abu Dhabi University of Edinburgh United Arab Emirates Edinburgh, UK irahwan at acm.org Program Committee to be confirmed. END of CALL FOR PAPERS ---------------------------------------------- -- Dr. Katie Atkinson Agent ART Group Dept. of Computer Science University of Liverpool Liverpool L69 3BX, UK Tel: +44 (0)151 795 4243 Email: K.M.Atkinson at liverpool.ac.uk Web: http://www.csc.liv.ac.uk/~katie -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From hastings at ebi.ac.uk Tue Jan 21 15:35:33 2014 From: hastings at ebi.ac.uk (Janna Hastings) Date: Tue, 21 Jan 2014 14:35:33 -0000 Subject: FOIS 2014 ontology competition: call for submissions due March 3, 2014 In-Reply-To: <022401cf16b5$f9c199e0$ed44cda0$@ebi.ac.uk> References: <01b701cf16b5$3c44fec0$b4cefc40$@ebi.ac.uk> <01c701cf16b5$71ddd9d0$55998d70$@ebi.ac.uk> <01d701cf16b5$88f03910$9ad0ab30$@ebi.ac.uk> <01f401cf16b5$ba298a90$2e7c9fb0$@ebi.ac.uk> <020401cf16b5$d70abad0$85203070$@ebi.ac.uk> <021401cf16b5$e7b6c400$b7244c00$@ebi.ac.uk> <022401cf16b5$f9c199e0$ed44cda0$@ebi.ac.uk> Message-ID: <022f01cf16b6$0a894160$1f9bc420$@ebi.ac.uk> CALL FOR SUBMISSIONS Ontology competition at the 8th International Conference on Formal Ontology in Information Systems FOIS 2014, September 22-25, 2014, Rio de Janeiro, Brazil http://fois2014.inf.ufes.br/p/all.html http://www.iaoa.org/fois/ ----------------------------------- DEFINITION AND SCOPE ----------------------------------- FOIS papers often refer to ontologies which are not publicly available, or to ontologies whose relations to other ontologies are not clearly specified. The aim of the FOIS 2014 ontology competition is (1) to encourage ontology authors to make their ontologies publicly available and (2) to subject them to evaluation according to a set of pre-determined criteria. Submission is not restricted to ontologies accompanying FOIS research papers. The criteria to be used in the competition were identified at the Ontology Summit 2013 and summarized at http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2013_Communique): Informal Criteria 1. Can ontologically naive speakers understand the ontology and agree with one another as well as with the ontology engineers about its design and the meaning of its terms? (Intelligibility) 2. Does the ontology accurately represent its domain? (Fidelity) 3. Is the ontology well-built and are design decisions followed consistently? (Craftsmanship) 4. Does the representation of the domain fit the requirements for its intended use? (Fitness) 5. Does the deployed ontology meet the requirements of the information system of which it is part? (Deployability) Logically formalizable criteria 6. Is the ontology consistent? 7. Does the ontology satisfy its intended consequences? 8. Do intended models satisfy the ontology? 9. Has the ontology been aligned/linked with other ontologies? 10. Has an OWL version of the ontology been (formally) linked to a FOL version? Criteria for links 11. Do links represent an interesting logical and/or ontological relationship between ontologies? 12. Do links relate domain and foundational ontologies? 13. Do links provide a logical relation between different versions of one ontology formulated in different languages? 14. Do links provide the basis for an interesting combination of ontologies? Each paper should satisfy a non-empty subset of these criteria. Papers suggesting ways to detail these criteria are welcome as well, as long as they are accompanied by some sample ontology submitted for evaluation. ------------------------------ FORMAT ------------------------------ Each submission should consist of A: 1. one or more ontologies, and possibly links between these, and 2. a paper describing the ontologies, addressing at least some of the above criteria. or B: 1. one or more links between existing ontologies, and 2. a paper describing the links, addressing at least some of the above questions. The paper can either be a regular FOIS paper (that then will be reviewed both within the main FOIS conference and in the competition track, with independent acceptance decision), or a short paper focusing on the description of the ontology/ontologies (and possibly links) that is reviewed only in the competition track. Note that links may be formulated as alignments in the ontology alignment format, see http://alignapi.gforge.inria.fr/format.html. However, the focus of the competition will not be on mapping individual terms, but on links carrying also some logical relation between the axioms of the involved ontologies, like e.g. theory interpretations. Logical links between versions in different languages (e.g. OWL and FOL) are of particular interest. Submissions may have been published previously, but any prior publication must be cited in the paper. However, the verbatim reproduction of previous work is not encouraged - and submissions should explicitly address as many of the fourteen above-mentioned criteria as possible. At the conference, the best submission(s) will be rewarded a prize. ----------------------------- IMPORTANT DATES ----------------------------- Paper Submission Deadline: March 3, 2014 Ontology/Link Submission Deadline: March 10, 2014 Notification: May 5, 2014 Ontology and Paper Final Version Due: June 30, 2014 Conference Dates: September, 22-26, 2014 ----------------------------- SUBMISSION GUIDELINES ----------------------------- Ontologies, links and the paper should be submitted simultaneously. Ontologies and links should be uploaded to some repository of the Open Ontology Repository initiative, see http://www.oor.net Whilst these repositories share common goals, they have different specialisations: some support exclusively OWL and related languages, whilst the COLORE repository focuses on Common Logic, and the Ontohub.org repository specialises on supporting a variety of languages. Moreover, some repositories are more domain-specific, e.g. Bioportal focuses on biomedical ontologies, etc. In any case, all submissions will be mirrored at one site in order to give reviewers (and later FOIS participants) a compact access to the ontologies and links. Submitters should contact mossakow at iws.cs.uni-magdeburg.de for details about how to add their ontologies and links to some repository. Submitted short papers must not exceed 6 pages (including the bibliography). Papers should be submitted electronically in PDF format. Submission should be prepared in accordance with the IOS formatting guidelines found at http://www.iospress.nl/service/authors/latex-and-word-tools-for-book-authors / The Easychair submission page can be found at (please select the competition track): https://www.easychair.org/conferences/?conf=fois2014 Short papers will be published within the FOIS proceedings volume in the IOS Press series 'Frontiers in Artificial Intelligence and Applications'. -------------------------------------------- COMPETITION ORGANISATION -------------------------------------------- Competition committee: Aldo Gangemi (Université Paris 13 & CNR-ISTC, France) Barry Smith (The State University of New York, Buffalo, USA) Christiane Fellbaum (Princeton University, USA) Christoph Benzmüller (FU Berlin, Germany) Fabian Neuhaus (University of Magdeburg, Germany) Florian Probst (SAP Research, Germany) Jérôme Euzenat (INRIA & LIG, France) Matthew Horridge (Stanford University, USA) Michael Gruninger (University of Toronto, Canada) Oliver Kutz (University of Bremen, Germany) Robert Hoehndorf (University of Cambridge, UK) Till Mossakowski (University of Magdeburg, Germany) (chair) Vinay Chaudhri (SRI International, Menlo Park, USA) ---------------------------------------------------------------------------- ---------------------------------- Janna Hastings Email: hastings at ebi.ac.uk | Tel: +44 (0)1223 494411 | Fax: +44 (0)1223 494468 Twitter: @jannahastings | Web: www.ebi.ac.uk/~hastings | Blog: www.bioontology.ch Coordinator, Cheminformatics and Metabolism, European Bioinformatics Institute ---------------------------------------------------------------------------- ---------------------------------- Visit ChEBI at www.ebi.ac.uk/chebi -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Tue Jan 21 21:15:21 2014 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Tue, 21 Jan 2014 15:15:21 -0500 (EST) Subject: Herbrand Award Nominations, 2014 Message-ID: <20140121201521.81033121470@mcclellan.cs.miami.edu> Herbrand Award: Call for Nominations Martin Giese Secretary of AAR and CADE On behalf of the CADE Inc. Board of Trustees The Herbrand Award is given by CADE Inc. to honour a person or group for exceptional contributions to the field of Automated Deduction. At most one Herbrand Award will be given at each CADE or IJCAR meeting. The Herbrand Award has been given in the past to Larry Wos (1992) Woody Bledsoe (1994) Alan Robinson (1996) Wu Wen-Tsun (1997) Gerard Huet (1998) Robert S. Boyer and J Strother Moore (1999) William W. McCune (2000) Donald W. Loveland (2001) Mark E. Stickel (2002) Peter B. Andrews (2003) Harald Ganzinger (2004) Martin Davis (2005) Wolfgang Bibel (2006) Alan Bundy (2007) Edmund Clarke (2008) Deepak Kapur (2009) David Plaisted (2010) Nachum Dershowitz (2011) Melvin Fitting (2012) Greg Nelson (2013) A nomination is required for consideration for the Herbrand award. The deadline for nominations for the Herbrand Award that will be given at IJCAR 2014 is: 15th April 2014 Nominations pending from previous years must be resubmitted in order to be considered. Nominations should consist of a letter (preferably email) of up to 2000 words from the principal nominator, describing the nominee's contribution, along with letters of up to 2000 words of endorsement from two other seconders. Nominations should be sent to Maria Paola Bonacina, President of CADE Inc. mariapaola.bonacina (at) univr.it with copy to Martin Giese, Secretary of CADE Inc. and AAR martingi (at) ifi.uio.no From invitation at iariaannounce.org Wed Jan 22 04:32:36 2014 From: invitation at iariaannounce.org (INTERNET 2014) Date: Tue, 21 Jan 2014 22:32:36 -0500 Subject: Deadline Extension: INTERNET 2014 || June 22 - 26, 2014 - Seville, Spain Message-ID: <1390361556727.1693@iariaannounce.org> INVITATION: ================= Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to INTERNET 2014. The submission deadline is extended to February 12, 2014. Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org ================= ============== INTERNET 2014 | Call for Papers =============== CALL FOR PAPERS, TUTORIALS, PANELS INTERNET 2014, The Sixth International Conference on Evolving Internet June 22 - 26, 2014 - Seville, Spain General page: http://www.iaria.org/conferences2014/INTERNET14.html Call for Papers: http://www.iaria.org/conferences2014/CfPINTERNET14.html - regular papers - short papers (work in progress) - posters Submission page: http://www.iaria.org/conferences2014/SubmitINTERNET14.html Submission deadline: February 12, 2014 Sponsored by IARIA, www.iaria.org Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org Please note the Poster and Work in Progress options. The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas. All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels. Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html INTERNET 2014 Topics (topics and submission details: see CfP on the site) Advanced Internet mechanisms Access: call admission control vs. QoE vs. structural QoS / capability-based access control vs. role-based access control vs. attribute-based access control; Routing and pricing models: BGP, pricing peering agreements using microeconomics, topological routing vs. table-based routing vs. network coding, power-efficient routing; Optimization in P2P/CDN networks: peer placement for streaming P2P, analysis of P2P networks; Traffic engineering: estimating traffic matrices, constrained routing, exponentially bounded burstness; Behavioral traffic recognition: identifying applications from traffic behavior; Traffic analysis: methods for analysis and visualization of multidimensional measurements, characterizing protocols; Software defined radio networks: low power signal processing methods, applications of machine learning; Cognitive radio: medium access, spatiotemporality, complexity, spectrum sharing and leasing, channel selection, multi-stage pricing, cyclostationary signatures, frame synchronization; Streaming video: learning from video, techniques for in-network modulation; Location: statistical location, partial measurements, delay estimation Graph theory/topology/routing Internet support Information theory: distributed network coding, Shannon's entropy, Nash equilibrium; Optimization: LP, NLP, NeuroP, quadratic, convex programming, compressed sensing; Graph theory: random graphs, spectra graph theory, percolations and phase transitions, methods from statistical physics, geometric random graphs; Algebraic techniques: tensor analysis, matrix decomposition; Processing: signal processing techniques, equalization, point-process, source coding vs. network coding, recoverability; Statistical machine learning: probabilistic graphical models, classification, clustering, regression, classification, neural networks, support vector machines, decision forests; Game Theory/Microeconomic theory: social choice theory, equilibria, arbitrage and incentive oriented distributed mechanism design, cooperative games, and games on graphs; Stochastic network calculus; Fractal behavior and stability mechanisms; Kolmogorov complexity for performance evaluation; Complexity theory Internet security mechanisms Cryptography: design and analysis of cryptographic algorithms, applied cryptography, cryptographic protocols and functions; Specification, validation design of security and dependability: security and trust models, semantics and computational models for security and trust, business models in security management, security policies models, security architectures, formal methods for verification and certification, multi-level security specification; Vulnerabilities, attacks and risks: methods of detection, analysis, prevention, intrusion detection, tolerance, response and prevention, attacks and prevention of on-line fraud, denial of services attacks and prevention methods; Access Control: authentication and non-repudiation, accounting and audit, anonymity and pseudonymity; identity and trust management, biometric methods; Anti-malware techniques: detection, analysis, prevention; Cyber-crime response: anti-phishing, anti-spam, anti-fraud methods Internet trust, security, and dependability levels Network and transport level security; Network edge security controls: firewalls, packet filters, application gateways; Wireless and mobile network security: risks of wireless insecurity, wireless vulnerabilities and intrusion detection, WLAN and WMAN MAC layer security technologies, key management mechanisms and protocols, security in ad hoc, sensor, mesh and personal communication networks; Security of Internet protocols: routing security, naming, network management, signaling security, transport layer security; Network security policies: specification, implementation, deployment and management; Security of P2P and overlay/middleware systems; Security for multiple domains, large-scale systems and critical infrastructures; Applications and high level services security: Web-based applications and services, VoIP, multimedia streaming services, VoD and IPTV, collaborative applications (conferencing), electronic commerce and eBusiness, eVoting, grid computing, security of eGovern ment; Intellectual property protection: digital rights management, licensing, metering, watermarking, information hiding, implementations; Security services integration in complex architectures; Tradeoffs between security and efficiency, usability, reliability and cost. Internet performance Performance degradation and anomaly detection mechanisms; User-oriented performance metrics; Network and service provider-oriented performance metrics; Hybrid (chip and network) performance calculi; Intrusive and non-intrusive performance measurement mechanisms; Mechanisms for performance degradation-tolerant applications; Mechanisms for application performance and network performance; Performance enhancement mechanisms; Performance and traffic entropy algorithms; Performance prediction algorithms Internet AQM/QoS Buffer sizing, majorization, QoS routing, finite buffer queue vs. infinite buffer queue and performance; Control theoretic framework for modeling of TCP and AQM schemes; Discrete mathematics to model buffer occupancy at queues of a network (given workloads); Game theoretic modeling of AQMs (mathematics to model selfish traffic); Fairness models (proportional fairness, max-min fairness, low state global fairness); Optimization framework for congestion control, fairness and utility maximization; Modeling and simulation of large network scenarios using queuing theory Internet monitoring and control Visualization mechanisms; Sub-network/device isolation mechanisms; Control feedback mechanisms (limited feedback, delay and disruption tolerance, optimal and adaptive feedback); Optimal control; Adaptive behavior control; Network resiliency; Self-adaptable and tunable performance; Mechanisms for anticipative measurements and control Internet and wireless Capacity of wireless networks; Potential based routing; Algebraic techniques to mine patterns from wireless networks; QoS/QoE translation; Wireless ad hoc / mesh networks: MAC protocols, routing, congestion control, P2P CDNs on wireless meshes Internet and data streaming/mining algorithms Mathematics for clustering massive data streams; Randomized algorithms etc and impossibility results; Dimension reduction in metric spaces; Tensor and multidimensional algebraic techniques; Non linear dimension reduction; Optimal collector positioning; Data fusion and correlation algorithms Internet and sensor-oriented networks/algorithms Optimal sensor placement; Inference models for sensing; Congestion control; Resource allocation; Mathematics to model different diffusion processes and applications to routing; Algorithms for data fusion; Algorithms for computing dormant/active sending periods; Energy-driven adaptive communication protocols Internet challenges Future Internet architecture and design; Next generation Internet infrastructure; Internet cross-layer design and optimization; Internet security enforcement and validation; Future cross-Internet computing; Configurable Internet protocols; Internet-scale overlay content hosting; Internet citizen-centric services; End-user customizable Internet; Mobile Internet; Internet imaging; Internet coding; Internet resilience; Internet QoS/QoE; Context-aware, ambient, and adaptive Internet; Virtualization and Internet; Privacy Enhancing Technologies - PETs Committee: http://www.iaria.org/conferences2014/ComINTERNET14.html ================================================ To stop receiving notices about INTERNET, please reply with "DROP INTERNET event at in.tu-clausthal.de" in the subject field. To receive notices about specific topics only, please reply with "TOPIC CHANGE event at in.tu-clausthal.de" in the subject field, and the specific topics in the email body. To stop receiving any notice, please reply with "UNSUBSCRIBE event at in.tu-clausthal.de" in the subject field. From invitation at iariaprogram.org Wed Jan 22 22:27:40 2014 From: invitation at iariaprogram.org (ICWMC 2014) Date: Wed, 22 Jan 2014 16:27:40 -0500 Subject: Deadline Extension: ICWMC 2014 || June 22 - 26, 2014 - Seville, Spain Message-ID: <1390426060685.1848@iariaprogram.org> INVITATION: ================= Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to ICWMC 2014. The submission deadline is extended to February 12, 2014. Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org ================= ============== ICWMC 2014 | Call for Papers =============== CALL FOR PAPERS, TUTORIALS, PANELS ICWMC 2014, The Tenth International Conference on Wireless and Mobile Communications June 22 - 26, 2014 - Seville, Spain General page: http://www.iaria.org/conferences2014/ICWMC14.html Call for Papers: http://www.iaria.org/conferences2014/CfPICWMC14.html - regular papers - short papers (work in progress) - posters Submission page: http://www.iaria.org/conferences2014/SubmitICWMC14.html Submission deadline: February 12, 2014 Sponsored by IARIA, www.iaria.org Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org Please note the Poster and Work in Progress options. The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas. All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels. Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html ICWMC 2014 Topics (topics and submission details: see CfP on the site) Wireless Communications Basics Coding & modulation & equalization; Channel modeling and characterization; Equalization/Synchronization; Transform-domain communication; Multiple access algorithms and schemes; Antenna and RF subsystems; Smart antennas, adaptive antennas, MIMO and beam forming; MIMO and OFDM Based PHY Layer technologies; CDMA Systems Radio Interfaces and Systems Radio communications systems; Radio resource management; Radio transmission technologies; Power and interference control; Interference Cancellation for Wireless Mobile Systems; Power management for small terminals; Energy map; Channel Measurement and Characterization Spectrum Allocation and Management Spectrum efficiency analyses; Dynamic spectrum access networks; Spectrum management; Interference mitigation and management techniques Circuits for Wireless Communications Wireless ASICs; Wireless technologies; RF Design issues Wireless and Mobility Mobility management; Location-based services and positioning; Micro and macro-mobility; Mobility, location and handoff management; Mobile and wireless IP; Wireless broadband mobile access; Routing in multihop, ad hoc and sensor networks; Wireless multicasting; Wireless mesh networks; Topology control in wireless Protocols for wireless and mobility Wireless protocols, architectural and design concepts; Protocols for air interfaces and networks; Wireless MAC protocols: Design and analysis; Transport layer issues in mobile and wireless networks; Middleware for handhelds and mobile services nodes; Proxies and middleware for wireless networks Traffic and congestion control, QoS, Resource Management Traffic Modeling and Analysis; 3G/4G Bandwidth on Demand; QoS and mobility; End-to-end QoS; QoS profiling and pricing; Traffic Engineering; Congestion and admission control Wireless and mobile technologies Micro-mobility and macro-mobility; Wireless LANs; Home and Personal Area Networks: Bluetooth, ZigBeee, etc; Wireless MANs:802.16, 802.20; Wireless WANs: 2G/3G/4G; Mobile ad hoc networks and multi-hop wireless; Sensor networks and applications; Ultra-wideband and short-range networks; High altitude platforms and satellites; Emergency wireless communications; Wireless real-time communications; RFID systems (including readers and transponders in LF, HF and UHF bands) Performance Evaluation, Simulation and Modeling of wireless networks and systems Performance and QoS in wireless networks; Radio channel modeling (wave propagation and measurements); Mobile/wireless networks modeling and simulation; Performance of end-to-end protocols over wireless networks Management of wireless and mobile networks Mobility and QoS management; Billing technologies and tools; Policy Based Management in wireless LANS and MANs; Wireless and Mobile Network Planning; Mobile Database Access and Design Security in wireless and mobile environment Security and robustness in wireless networks; Privacy, Authentication Authorization and Accounting (AAA); Encryption and Cryptography; Key Management Protocols; Digital Rights Management and Multimedia Protection Networks convergence and integration 2G/3G/4G integration; Convergence of 3G wireless and Internet cross-layer design in wireless networks; WLAN/3G/4G integration; Wireless-wireline convergence; Heterogeneous Networks (WAN, Wireless MAN, WLAN); IP Multimedia subsystems (IMS); Next Generation Network Architecture- mobility issues; Coexistence of mobile radio networks; End to End QoS in Heterogeneous environment; Signaling for integrated wireline/wireless networks Applications and services based on wireless infrastructures Mobile & Wireless applications & services; Service discovery: protocols and frameworks; Personalized services and applications; Audio-visual and mobile multimedia applications; Media and content distribution over wireless networks Standardization and regulations Position on standards & fora on wireless and mobile networks; Wireless Networks Standards and Protocols; Communications regulations; 802.11 WLAN Standards; 802.16 WMAN Standards; 3GPP and 3GPP2 standards; HSDPA Technology and Standards; Next Generation Network standards Design and implementation Emerging wireless technologies; Cross-layer optimizations in wireless networks; Design and implementation of mobile information systems; Software defined radio and re-configurability; Joint PHY/MAC design Wireless and mobile network deployment Business models on wireless networks; Market trends and regional developments; M-commerce; Lessons learnt for wireless deployment in schools Lessons learnt for wireless deployment in special regions; Specialized wireless networks; Heterogeneous wireless network deployment (e.g., combining 802.11, 802.16 and 3G networks) Cooperative and Cognitive Vehicular Networks Architectures and platforms of cognitive vehicular network; Distributed artificial intelligence techniques for cognitive networks; Cognitive vehicular routing metrics and supporting protocols; Reduced complexity cognitive networks; Physical and MAC layer issues; Protocols design for cognitive vehicular networks; Cross-layer optimization in cognitive networks; Security issues for vehicular and cognitive networks; Testbed experiment, applications and new advances; Cooperative vehicular networks; QoS provisioning in heterogeneous networks ; Managing vertical handover; Multihoming; IPv6 GeoNetworking; Vehicular network architectures and protocols ; Cross-layer design and optimization for vehicular networks and cognitive networks; Mobility management and topology control; Standardization and Development of vehicular networks Convergence and social mobility Convergence of mobile networks with the Web 2.0; Convergence on architecture and services; Open service capabilities; Open exposure of telco capabilities; Open Web APIs, SOA and SDP); Interworking strategies; Mobile terminals as sources for User-generated content; Architecture and services for user-generated content; Auto-description and metadata synthesis for telecom-generated for user-generated content; Social mobile networks; User behavior profiling; Social connections (social graphs, contacts, etc); Services and architectures/solutions for social mobile services Committee: http://www.iaria.org/conferences2014/ComICWMC14.html ================================================ To stop receiving notices about ICWMC, please reply with "DROP ICWMC event at in.tu-clausthal.de" in the subject field. To receive notices about specific topics only, please reply with "TOPIC CHANGE event at in.tu-clausthal.de" in the subject field, and the specific topics in the email body. To stop receiving any notice, please reply with "UNSUBSCRIBE event at in.tu-clausthal.de" in the subject field. From invitation at iariaevent.org Wed Jan 22 23:43:21 2014 From: invitation at iariaevent.org (ACCESS 2014) Date: Wed, 22 Jan 2014 17:43:21 -0500 Subject: Deadline Extension: ACCESS 2014 || June 22 - 26, 2014 - Seville, Spain Message-ID: <1390430601359.779@iariaevent.org> INVITATION: ================= Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to ACCESS 2014. The submission deadline is extended to February 12, 2014. Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org ================= ============== ACCESS 2014 | Call for Papers =============== CALL FOR PAPERS, TUTORIALS, PANELS ACCESS 2014, The Fifth International Conference on Access Networks June 22 - 26, 2014 - Seville, Spain General page: http://www.iaria.org/conferences2014/ACCESS14.html Call for Papers: http://www.iaria.org/conferences2014/CfPACCESS14.html - regular papers - short papers (work in progress) - posters Submission page: http://www.iaria.org/conferences2014/SubmitACCESS14.html Submission deadline: February 12, 2014 Sponsored by IARIA, www.iaria.org Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org Please note the Poster and Work in Progress options. The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas. All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels. Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html ACCESS 2014 Topics (topics and submission details: see CfP on the site) NEXTACCESS: Next generation access technologies Interactivity, unlimited access and full-scale media support; Energy-aware and efficiency-oriented technologies; Sustainable access network business (standard DSL vs. fiber vs. wireless access); 3G/4G wireless technologies; Multiservice access (DSL, fiber, WiMAX, POTS); FTTH; Ethernet P2P vs. xPON; FTTx with VDSL2, or Ethernet, or DOCSIS 3.0; Radio extension, 802.xx (Wi-Fi, WiMax, etc.); LTE, LTE-advanced; IMT-advanced networks; Mesh and relay networks (IEEE 802.11s, IEEE802.16j, etc.); Quality of experience (QoE) FEMTO: Femtocells-based access Femtocells architectures; Femtocells requirements ands specifications; Femtocells protocols; Femtocells services and applications; Traffic and QoS in Femtocells; Performance analysis in Femtocells; Femtocells control and management; Interoperability of Femtocells devices; Femtocells operation optimization; Femtocells specific solutions for mobility; OFDMA Femtocells: interference avoidance; Macrocell-Femto cell interference issues and mitigation; Macrocell-Femto cell handover strategies; WiMAX Fentocells; Standardization of Femtocells BROADBAND: Broadband wireless Internet access New architectures, technologies, protocols for broadband wireless access; QoS in mobile and broadband wireless access networks; Broadcast and multicast support; Physical and data link layer issues; Medium access control, SLA and QoS; Radio resource management and call admission control; Space-time coding for broadband wireless Internet; Modulation, coding and antennas (MIMO); Spectrum management; Scalability and reliability issues; Wireless mesh networks; Capacity planning and traffic engineering; Security and privacy issues; Interoperability aspects (fixed/mobile LANs/MANs, WANs); Experiences/lessons from recent deployments OPTICAL: Optical access networks Optical access network architecture design; Optical access network components and systems; New PON developments and testbeds; WDM and OFDM PON technologies; MAC and bandwidth allocation; RoF network architecture and MAC; RoF components and systems; Signal processing for new modulation formats; Optical spectral management; Multimode fiber technology and applications; Performance monitoring and diagnosis; Deployment and economic analysis MOBILE WIRELESS: Mobile wireless access Mobile Broadband Wireless Access; Wireless/Mobile Access Protocols; Wireless/Mobile Web Access; Ubiquitous and mobile access; Mobile/vehicular environment access; Multi-Homing and Vertical Handoff; Localization and tracking; Context-aware services and applications; Context-aware protocols and protocol architectures; Interactive applications; Mobile and Wireless Entertainment; Mobile Info-services; Wireless ad hoc and sensor networks DYNAMIC: Dynamic and cognitive access Dynamic spectrum access; Architectures and platforms for dynamic spectrum access networks; Spectrum sensing, measurement and models; Efficient and broadband spectrum sensing; Interference metrics and measurements; New spectrum protocols and models; Cognitive radio (cross-layer optimization); Multiple access schemes for cognitive radio networks; Radio resource management and dynamic spectrum access networks; Dynamic spectrum auction and economics; Business model, pricing, and regulations for dynamic spectrum HOWAN: Hybrid optical and wireless access networks Multi-hop wireless mesh networks; Passive optical networks; Node architecture and design of hybrid optical and wireless networks; Emerging wireless/optical applications QoS management for hybrid access networks; PON and WDM-PON network experiments; Radio over Fiber (RoF); FTTx network architecture and applications; Routing and multicast over hybrid optical and wireless networks; Service resilience and availability of hybrid optical and wireless networks; Applications and evolutions of hybrid access networks; Network design, control, and performance in HOWANs; Capacity analysis, flow and congestion control in HOWANs; Optimization of hybrid optical and wireless networks; Evolution of HOWAN access networks Broadband wireless access in HOWANs; Security and privacy in HOWANs; New services and applications; Test-bed and prototype implementation; Standardization issues COPPER: Copper Access Ubiquity via phone lines; Speed reaching 100 Mbps; DSL broadband access; Dynamic and joint optimization of resources (frequency, amplitude, space, and time); Attenuation and crosstalk bottlenecks; Management and control for the multi-user twisted pair networks GIGATERA: Giga/Tera Access Multi-antenna technologies (MIMO, Beamforming, Antenna Selection, etc); RF/Antenna propagation (RF beamforming, Tera-Hz signal generation, Propagation); Interoperability aspects (fixed/mobile LANs/MANs, WANs); Signal processing for millimeter and Tera-Hz wireless systems; NLOS avoidance techniques; Cooperative networks, repeaters and relaying; Error correction, equalization; Space division multiple access; Coexistence and interoperability; OFDM versus single-carrier systems; MIMO in mm-wave and Tera-Hz systems; OFDMA processing; Spread spectrum techniques; High-efficiency medium access control (MAC) protocol; Neighbor discovery in directional wireless networks CONTROL: Access Control Foundations for access control; Models for access control; Mechanisms for access control; Policy-driven and role-driven access control; Delegation and identity management; Privacy-drive control; Access control for advanced applications (cloud, autonomic, sensor, social networks, etc.); Standards for accesses control NEUTRAL: Neutral Access Networks Open access networks; Network neutrality; Operator-neutral residential access technologies; Operator-neutral nomadic access technologies; Operator-neutral mobile access technologies; Operator-neutral CPEs; Internet access regulation; NANs design and management; Multi-gateway traffic management; QoS management in shared infrastructures; Routing and multicast in NANs; Broadband business models for NANs; Broadband pricing models for NANs; Broadband market analysis for NANs; IP traffic models for NANs; Edge routers for NANs; Identity management in NANs; NANS and Digital divide; NANs and Digital inclusion; Inclusive services and applications; NAN testbeds and case studies LEGAL: Legal aspects on network and service access Network neutrality principle; Security and privacy rights; Institutional implications; Accessibility and social affordability; User responsibility Committee: http://www.iaria.org/conferences2014/ComACCESS14.html ================================================ To stop receiving notices about ACCESS, please reply with "DROP ACCESS event at in.tu-clausthal.de" in the subject field. To receive notices about specific topics only, please reply with "TOPIC CHANGE event at in.tu-clausthal.de" in the subject field, and the specific topics in the email body. To stop receiving any notice, please reply with "UNSUBSCRIBE event at in.tu-clausthal.de" in the subject field. From ksatoh at nii.ac.jp Thu Jan 23 01:47:54 2014 From: ksatoh at nii.ac.jp (Ken Satoh) Date: Thu, 23 Jan 2014 09:47:54 +0900 Subject: CALL for Workshop Proposals: JSAI-isAI 2014 in Yokohama In-Reply-To: <66E75A3B84C94D9BB14A34D7F9925DB8@niiks2010PC> References: <66E75A3B84C94D9BB14A34D7F9925DB8@niiks2010PC> Message-ID: <26E4780DBF0F4E49B054DCC771E6331B@niiks2010PC> JSAI International Symposia on AI JSAI-isAI 2014 November 23 - 25, 2014 Sponsored by: The Japanese Society for Artificial Intelligence (JSAI) Venue: Raiousha Building, Keio University, Kanagawa http://www.ai-gakkai.or.jp/isai/ Call for Workshop Proposals Submission deadline: March 23, 2014 Submit a proposal to "JSAI-isAI [at] ai-gakkai.or.jp" by e-mail The sixth JSAI International Symposia on AI (JSAI-isAI) will take place at Keio University, Kanagawa on November 23rd – 25th, 2014. JSAI-isAI is an event that hosts several international workshops at the same location. This is in succession to the international workshops co-located with JSAI annual conferences since 2001. JSAI invites proposals for the sixth JSAI-isAI. JSAI-isAI brings together a set of workshops at a common site, providing a unique and intimate forum for colleagues in a given discipline. JSAI-isAI also provides an important opportunity for AI researchers to get together and share their knowledge. In previous symposia, selected papers were published from Springer LNAI series (http://www.springer.com/series/1244). Prospective workshop organizers should send a proposal (maximum three pages) with the following sections to the JSAI-isAI 2014 Committee (JSAI-isAI [at] ai-gakkai.or.jp). - Title of the workshop - Objectives, and scope - Names and contacts of key organizers and a tentative list of the program committee members. - Expected number of papers, attendees, and preliminary workshop format. Proposals will be reviewed by the JSAI-isAI 2014 Committee. The form for workshop proposals is shown below. ------------------------------------------------------------ Workshop title: Abstract (within 400 words): #Describe objective, scope Expected number of papers: Expected number of attendees: Preliminary workshop format: #Describe whether the workshop will include panels, posters, and etc. Past experiences in JSAI-isAI (if any): #Describe whether you have organized workshops in JSAI-isAI and how #many participants you have got in the past Information of Workshop leader (1) Name: Affiliation: Postal address: Telephone: Fax e-mail: Experiences with conference/workshop (if any): Information of Workshop co-leader (2) (if any) Name: Affiliation: Postal address: Telephone: Fax e-mail: Experiences with conference/workshop (if any): The tentative list of members in the program committee (3): ------------------------------------------------------------ Important Dates Workshop Proposal Due : 23 March 2014 Workshop Notification : 9 April 2014 Release of Workshop Call for Paper : April 2014 Workshop Submission Deadline : August 2014 Workshop Author Notification : September 2014 Workshop Camera-ready : October 2014 Workshop Date : 23-25, November 2014 Notes The organizers and chairs of the workshop shall have full control on the call for papers, forming of program committees, review and selection of papers as well as planning the workshop program. Furthermore, the organizers and chairs of the workshop should specify in the web page that the workshop is `with a support of The Japanese Society for Artificial Intelligence' and `in association with forth JSAI International Symposia on AI (JSAI-isAI 2014).' The organizers and chairs of the workshop are also responsible for preparing a short review of the workshop, to be printed in the journal of JSAI. --------- From ecai2014 at guarant.cz Thu Jan 23 16:02:51 2014 From: ecai2014 at guarant.cz (ecai2014) Date: Thu, 23 Jan 2014 15:02:51 +0000 Subject: =?Windows-1252?Q?PAIS=9214_Call_for_System_Demonstrations?= Message-ID: PAIS’14 Call for System Demonstrations Conference on Prestigious Applications of Intelligent Systems 20 - 21 August 2014, Prague, Czech Republic http://www.ecai2014.org The PAIS 2014 Programme Committee invites system demonstrations for presentation at the 8th International Conference on the Prestigious Applications of Intelligent Systems - a subconference of the 21st European Conference on Artificial Intelligence (ECAI 2014). PAIS is the largest showcase in Europe of real applications using AI technology. The System Demonstrations track provides AI researchers and practitioners with an opportunity to demonstrate impressive and innovative systems. We invite applications for demonstrations of a non-commercial nature from universities, research institutes and industry. Commercial demos may incur extra fees for booth usage. A submission includes: * A 150-word summary of the demonstration in plain text. * An obligatory 2-page system and demonstration description formatted according to the ECAI submission instructions. If the demo is accepted, these short papers will be published in the official proceedings. Details of the ECAI 2014 formatting style will be made available at http://www.ecai2014.org/ecai2014.zip * A short video (less than 5 minutes) showing that a working system exists and that convinces the programme committee that it is exciting, innovative and relevant, and deserves to be highlighted at the conference. * A demo storyboard consisting of a detailed description of the demo, including images or slides depicting the various stages of the demo. If the video shows the demonstration, then a separate storyboard is not required. * A detailed description of hardware and software requirements, such as space, power supplies, etc. Demonstrators are encouraged to be flexible in their requirements. Based on the recommendations made by the reviewers and a separate award committee, one of the accepted system demonstrations will receive the “BEST PAIS DEMO AWARD”. System demo submission: 1 March 2014 Author feedback: 14-18 April 2014 Notification of acceptance/rejection: 9 May 2014 Camera-ready copy due: 30 May 2014 The proceedings of PAIS’14 will be included in ECAI'14 and will be published by IOS Press. PAIS’14/ECAI’14 will be held in the beautiful and historic city of Prague, the capital of the Czech Republic. With excellent opportunities for sightseeing and gastronomy, Prague promises to be a wonderful venue for a memorable conference. PAIS’14 Conference Chairs: Gerhard Friedrich, Universitaet Klagenfurt, Austria Barry O’Sullivan, University College Cork, Ireland -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From m.b.vanriemsdijk at tudelft.nl Fri Jan 24 13:44:12 2014 From: m.b.vanriemsdijk at tudelft.nl (Birna van Riemsdijk) Date: Fri, 24 Jan 2014 13:44:12 +0100 Subject: 2nd CFP Agents and Multiagent Systems Schools (IFAAMAS) Message-ID: <19769585-62AF-41D6-A9E9-4CDFC6EC1EDC@tudelft.nl> ******************************************************** CALL FOR PROPOSALS AGENTS and MULTIAGENT SYSTEMS SCHOOLS ******************************************************** The International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS) invites proposals for Agent and Multiagent System Schools from countries or regions that have been traditionally under-represented in the AAMAS conference (International Joint Conference on Autonomous Agents and Multiagent Systems). For more information on the conference series, please look at www.aamas-conference.org The intent is to encourage further participation of researchers from such countries in AAMAS, and to foster research in the field of agent and multiagent systems. Attendees at such schools can be from academia (typically graduate students but also faculty looking to enter the field) or from industry and government. WHAT IS IFAAMAS? IFAAMAS is the International Foundation for Autonomous Agents and Multiagent Systems (http://ifaamas.org/). It is a legally registered not-for-profit organisation responsible for organising the AAMAS conference series. Broadly, the aims of IFAAMAS are to promote research into and awareness of agent and multiagent systems, primarily by means of its involvement in organising the AAMAS conferences, but also by providing student travel scholarships, and the like. WHAT IS IFAAMAS TRYING TO ACHIEVE WITH THIS INITIATIVE? A number of advanced schools on agent systems have been held throughout the world since 1999 (the European Agent Systems Summer School (EASSS) in Europe, the Americas schools, the Pacific Rim region school). While these events have been enormously successful, they have primarily been focussed around regions and countries that already have substantial agent research communities, and that in addition have the resources to travel to international conferences. For this reason, IFAAMAS has initiated similar teaching events in regions that are not so well represented in terms of established research groups, and that do not have easy access to funds for international travel. WHAT KIND OF EVENTS ARE WE AIMING AT? IFAAMAS will consider any reasonable proposal for a training event, but typically 3 to 5 days of intensive courses (or tutorials), presented by internationally or regionally recognised speakers, on a variety of topics in the agent systems area, with some 5-15 courses, each of 1/2 day to a day duration. The aim is usually to provide both introductory and more advanced courses and in addition to provide a "balanced curriculum" insofar as this is possible. Please do not feel constrained by this model, however; IFAAMAS will consider any reasonable structure, provided a justification is given. WHAT SUPPORT WILL BE AVAILABLE? IFAAMAS will provide a grant to subsidize the agent school so as to make it affordable to the participants, for example, by providing travel support for students to attend the school. In the past, levels of financial support have been in the form of a (roughly $5000) grant. WHICH REGIONS/COUNTRIES ARE ELIGIBLE? Broadly, regions/countries that (i) do not have major established research groups in the agents area, and (ii) do not have easy access to funds for international travel. HOW DO I APPLY? Proposal writers are encouraged to submit proposals as soon as possible but no later than *February 15th, 2014*. Proposals will undergo an evaluation and selection process. Please send your proposals in pdf or plain text form to Birna van Riemsdijk (m.b.vanriemsdijk at tudelft.nl). Proposals should include the following information: - Expected value to the community * What is the "catchment area" for your school, i.e., which countries/regions might you expect students from, and what proportion will be from under-represented countries? * What is the potential for (further) developing agent research in the region where you plan to hold your school? For example, do you see a growing interest in agents and multiagent systems and could the school help to create momentum for its (further) development? * How many students might be expected to attend? * How do you plan to use the requested funds to support the aims of this call for proposals? - Programme and organization * What structure do you envisage the event having? How many courses/lecturers and on which topics? How many parallel sessions (if any)? Not all lecturers need be international lecturers; including some local/regional speakers can sometimes be beneficial. * When will the school be held, and what will be the duration of the school? (Please provide multiple possibilities). Is it colocated with other events? * What is the location of the school and will this be easily accessible to lecturers and students? - Finances * What amount of funding do you request? * Is there potential for other support (sponsorship) for the school beyond IFAAMAS? For instance, would some universities, industry, or the government potentially support the school? * Can you give a *preliminary* breakdown of costs? Note that a detailed breakdown is not necessary at this stage. * Will affordable student accommodation be available? If so, how many rooms and how much will they cost? IFAAMAS Education and Training Subcommittee, M. Birna van Riemsdijk, Delft University of Technology, The Netherlands (chair) Michael Luck, King's College London, UK Sascha Ossowski, Universidad Rey Juan Carlos, Spain ----------------------------- Dr. M. Birna van Riemsdijk assistant professor Interactive Intelligence Group Department of Intelligent Systems Faculty of Electrical Engineering, Mathematics and Computer Science Delft University of Technology Mekelweg 4 2628 CD Delft The Netherlands Room: HB 12.040 Telephone: +31 (0)15 2786331 Website: http://ii.tudelft.nl/~birna/ Twitter: @mbirna From grlmc at urv.cat Sat Jan 25 10:56:49 2014 From: grlmc at urv.cat (GRLMC) Date: Sat, 25 Jan 2014 10:56:49 +0100 Subject: SLSP 2014: 1st call for papers Message-ID: <1196B761ECF84CDE8554E86BF50E9A63@Carlos1> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* **************************************************************************** ****** 2nd INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING SLSP 2014 Grenoble, France October 14-16, 2014 Organised by: Équipe GETALP Laboratoire d’Informatique de Grenoble Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/slsp2014/ **************************************************************************** ****** AIMS: SLSP is a yearly conference series aimed at promoting and displaying excellent research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large, well-known conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between subdomains and people will hopefully happen. In SLSP 2014, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology. VENUE: SLSP 2014 will take place in Grenoble, at the foot of the French Alps. SCOPE: The conference invites submissions discussing the employment of statistical methods (including machine learning) within language and speech processing. The list below is indicative and not exhaustive: phonology, phonetics, prosody, morphology syntax, semantics discourse, dialogue, pragmatics statistical models for natural language processing supervised, unsupervised and semi-supervised machine learning methods applied to natural language, including speech statistical methods, including biologically-inspired methods similarity alignment language resources part-of-speech tagging parsing semantic role labelling natural language generation anaphora and coreference resolution speech recognition speaker identification/verification speech transcription speech synthesis machine translation translation technology text summarisation information retrieval text categorisation information extraction term extraction spelling correction text and web mining opinion mining and sentiment analysis spoken dialogue systems author identification, plagiarism and spam filtering STRUCTURE: SLSP 2014 will consist of: invited talks invited tutorials peer-reviewed contributions INVITED SPEAKERS: to be announced PROGRAMME COMMITTEE: Sophia Ananiadou (Manchester, UK) Srinivas Bangalore (Florham Park, US) Patrick Blackburn (Roskilde, DK) Hervé Bourlard (Martigny, CH) Bill Byrne (Cambridge, UK) Nick Campbell (Dublin, IE) David Chiang (Marina del Rey, US) Kenneth W. Church (Yorktown Heights, US) Walter Daelemans (Antwerpen, BE) Thierry Dutoit (Mons, BE) Alexander Gelbukh (Mexico City, MX) Ralph Grishman (New York, US) Sanda Harabagiu (Dallas, US) Xiaodong He (Redmond, US) Hynek Hermansky (Baltimore, US) Hitoshi Isahara (Toyohashi, JP) Lori Lamel (Orsay, FR) Gary Geunbae Lee (Pohang, KR) Haizhou Li (Singapore, SG) Daniel Marcu (Los Angeles, US) Carlos Martín-Vide (Tarragona, ES, chair) Manuel Montes-y-Gómez (Puebla, MX) Satoshi Nakamura (Nara, JP) Shrikanth S. Narayanan (Los Angeles, US) Vincent Ng (Dallas, US) Joakim Nivre (Uppsala, SE) Elmar Nöth (Erlangen, DE) Maurizio Omologo (Trento, IT) Mari Ostendorf (Seattle, US) Barbara H. Partee (Amherst, US) Gerald Penn (Toronto, CA) Massimo Poesio (Colchester, UK) James Pustejovsky (Waltham, US) Gaël Richard (Paris, FR) German Rigau (San Sebastián, ES) Paolo Rosso (Valencia, ES) Yoshinori Sagisaka (Tokyo, JP) Björn W. Schuller (London, UK) Satoshi Sekine (New York, US) Richard Sproat (New York, US) Mark Steedman (Edinburgh, UK) Jian Su (Singapore, SG) Marc Swerts (Tilburg, NL) Jun'ichi Tsujii (Beijing, CN) Gertjan van Noord (Groningen, NL) Renata Vieira (Porto Alegre, BR) Dekai Wu (Hong Kong, HK) Feiyu Xu (Berlin, DE) Roman Yangarber (Helsinki, FI) Geoffrey Zweig (Redmond, US) ORGANISING COMMITTEE: Laurent Besacier (Grenoble, co-chair) Adrian Horia Dediu (Tarragona) Benjamin Lecouteux (Grenoble) Carlos Martín-Vide (Tarragona, co-chair) Florentina Lilica Voicu (Tarragona) SUBMISSIONS: Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices) and should be prepared according to the standard format for Springer Verlag's LNAI/LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Submissions have to be uploaded to: https://www.easychair.org/conferences/?conf=slsp2014 PUBLICATIONS: A volume of proceedings published by Springer in the LNAI/LNCS series will be available by the time of the conference. A special issue of a major journal will be later published containing peer-reviewed extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation. REGISTRATION: The period for registration is open from January 16, 2014 to October 14, 2014. The registration form can be found at: http://grammars.grlmc.com/slsp2014/Registration.php DEADLINES: Paper submission: May 7, 2014 (23:59h, CET) Notification of paper acceptance or rejection: June 18, 2014 Final version of the paper for the LNAI/LNCS proceedings: June 25, 2014 Early registration: July 2, 2014 Late registration: September 30, 2014 Submission to the post-conference journal special issue: January 16, 2015 QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat POSTAL ADDRESS: SLSP 2014 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559 543 Fax: +34 977 558 386 ACKNOWLEDGEMENTS: Departament d’Economia i Coneixement, Generalitat de Catalunya Laboratoire d’Informatique de Grenoble Universitat Rovira i Virgili From announce at cs.ucy.ac.cy Sat Jan 25 12:07:50 2014 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 25 Jan 2014 13:07:50 +0200 Subject: ICEIRD 2014: *** Submission Deadline Extension *** Message-ID: *** Submission Deadline Extension *** The 7th International Conference for Entrepreneurship, Innovation and Regional Development (ICEIRD 2014) 5-6 June 2014, Hilton Hotel | Nicosia, Cyprus https://iceird2014.cs.ucy.ac.cy DEADLINES: Due to many requests we have extended the deadlines as follows: Abstract submission: February 14, 2014 Notification of abstract submission: February 21, 2014 Full paper submission: March 28, 2014 Notification of paper submission: April 11, 2014 Camera-ready paper submission: April 28, 2014 Author registration: April 28, 2014 Conference Themes: Igniting Regional Economies - Knowledge, Innovation and Entrepreneurship in South East Europe Energy Enabled: The Innovation and Cooperation Hotbed of South Eastern Europe In the face of fragile economic recovery following the economic and financial crisis of 2008, many firms all around the world continue to invest in growth-enhancing activities to achieve a sustainable development. While the crisis has heavily hit all aspects of business vested interests, investments in innovation, entrepreneurship and regional partnership have been the key priority to ensuring a strong and stable economic growth. The objective of the conference is to gather decision makers (government, ministries and state agencies), innovation experts (universities, research and development centres, technology transfer centres, start-up centres) and practitioners (smes, business incubators and business support organisations) to generate discussion and exchange on the potential of entrepreneurship promotion and innovation to national and regional competitiveness. CONFERENCE TOPICS OF INTEREST Creativity, Complexity and Competitiveness Issues for Small and Medium Enterprises (SMEs) in SEE vs. other regions (EU and other) * Leveraging e-skills for innovation in the knowledge society * Managing and Leveraging Complexity, Creativity and Innovation in SMEs * Trust, Respect, Culture and Collaboration Issues for SMEs in SEE vs. other regions (EU and other) * Leadership and Management practices that can be applied to SMEs * SME Knowledge management and technology transfer * SME Business process modeling * New Technology Ventures Financing * Business incubation management and leadership * Human Resources Practices for promoting innovation for SMEs South East European Entrepreneurial Innovation Clusters * SMEs' Entrepreneurship as an Innovation Driver * Opportunities and barriers for closer cooperation between South East European SMEs in Innovation & Entrepreneurship: Strategic Integration vs. Flexibility and SME Competitiveness * Innovation Clusters, Technology Transfer and Social Entrepreneurship * Social Networking as Driver of EICs formation * Science & Technology Parks and EICs * Young and Women Entrepreneurs development via EICs * Benchmarking of Entrepreneurship and Innovation Best Practices in the region * Innovation policy in SMEs Technology Innovation, Transfer and Commercialization across Governement, University, Industry domains * The role of the State and Public Policy with regards to SME Innovation and Entrepreneurship * Governmental and regional policies on entrepreneurship and innovation * Entrepreneurial Universities and Entrepreneurial Innovation Clusters * Entrepreneurship education * University - Industry collaboration * ICT and SME Regional competitiveness * SMEs and the role of the Innovation Zone (business centers and incubators) * Intangibles Valuation and Intellectual Property Rights * Innovative Supply Chain Management practices in SEE * Innovative Supply Chains * Information Technology proliferation in SEE SMEs ICEIRD 2014 invites submissions of papers related to all the topics of interest of the conference. Papers that address collaborations between industry and academia, case studies as well as experience reports on any of the conference themes are welcome. For more information on the conference topics, visit the ICEIRD 2014 webpage (https://iceird2014.cs.ucy.ac.cy). SUBMISSIONS *Abstract submission Authors are first requested to submit an about 100 words long abstract by February 14, 2014. Upon acceptance of the abstract by February 31, 2014 the authors should proceed to submit a full paper as per the instructions below. * Full Papers (for review) Authors are requested to submit a full paper of 6-10 pages in either Microsoft Word or Adobe PDF format using the template found on the ICEIRD 2014 webpage (https://iceird2014.cs.ucy.ac.cy). The template has all the styles required for formatting the text. The easiest way to prepare the camera ready is to download the template, delete all exixting text, add your unformatted text and use the styles (top-left drop down menu) to format it. Only papers in this format will be published. Submitted papers, which will go under blind review by at least two referees, must be submitted electronically through the EasyChair Conference System: https://www.easychair.org/conferences/?conf=iceird2014. * Camera Ready Papers (after acceptance) Following acceptance, authors are requested to sumbit a camera-ready paper using the template found on the website (https://iceird2014.cs.ucy.ac.cy) to the secretariat of ICEIRD2014 by email (iceird2014 at cs.ucy.ac.cy) in both Microsoft Word or PDF format. * Guidelines for Presentations Each presentation will last 20 minutes (15 + 5 minutes for questions). All rooms are fully equiped. Presenters will be requested to upload their presentation at least 15 minutes before the start of their session. Presenters could also use their own laptop. Techinal support will be provided. * Proceedings The Conference Proceedings, including all papers presented, will be published as a SEERC book edited by the Conference Chairs. * Post-Conference Special Journal Issues Selected high quality papers from the conference will be recommended for publication in the special issues of international journals. For more information please visit the ICEIRD 2014 webpage (https://iceird2014.cs.ucy.ac.cy) The official language of the conference is English. Publication is dependent on at least one author registering to attend ICEIRD 2014. Submissions should be submitted to the easychair account on or before the deadline: https://www.easychair.org/conferences/?conf=iceird2014 IMPORTANT DATES Abstract submission (mandatory): 14th February 2014 Notification of abstract submission: 21st February 2014 Full paper submission: 28th March 2014 Notification of paper acceptance: 11th April 2014 Camera ready paper submission: 28th April 2014 Author registration: 28th April 2014 CONFERENCE CHAIRS Prof. George A. Papadopoulos, University of Cyprus, Cyprus - General Chair Prof. Panos H. Ketikidis, CITY College - International Faculty of the University of Sheffield, Greece - Co-Chair Stavriana A. Kofteros, Special Entrepreneurship & RDI Adviser, Democratic Rally (DISY), Cyprus - Co-Chair -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From yangliu at ntu.edu.sg Sat Jan 25 17:36:13 2014 From: yangliu at ntu.edu.sg (Liu Yang (Asst Prof)) Date: Sat, 25 Jan 2014 16:36:13 +0000 Subject: Call for Papers: ICFEM 2014, Luxembourg, 3-7 November 2014 Message-ID: <5A4257BA3B1EEA45B17620B30FD656E12CA8C7AF@EXCHMBOX31.staff.main.ntu.edu.sg> [We apologize for multiple copies.] ============================================================ Call for Papers ICFEM 2014 16th International Conference on Formal Engineering Methods Luxembourg, 3-7 November 2014 http://icfem2014.uni.lu ============================================================ The 16th International Conference on Formal Engineering Methods (ICFEM 2014) will be held at the Melia Hotel in Luxembourg, Luxembourg from 3rd November to 7 November 2014. Since 1997, ICFEM has been serving as an international forum for researchers and practitioners who have been seriously applying formal methods to practical applications. Researchers and practitioners, from industry, academia, and government, are encouraged to attend, present their research, and help advance the state of the art. We are interested in work that has been incorporated into real production systems, and in theoretical work that promises to bring practical and tangible benefit. ICFEM 2014 is organised and sponsored by The University of Luxembourg. The city of Luxembourg itself is on the UNESCO World Heritage List, on account of the historical importance of its fortifications. Luxembourg was the first city to be named European Capital of Culture twice. SCOPE AND TOPICS ---------------------------------------- Submissions related to the following principal themes are encouraged, but any topics relevant to the field of formal methods and their practical applications will also be considered. + Abstraction and refinement + Formal specification and modelling + Program analysis + Software verification + Software model checking + Formal approaches to software testing + Formal methods for self-adaptive systems + Formal methods for object and component systems + Formal methods for concurrent and real-time systems + Formal methods for cloud computing and cyber-physical systems + Formal methods for software safety, security, reliability and dependability + Tool development, integration and experiments involving verified systems + Formal methods used in certifying products under international standards + Formal model-based development and code generation This year, ICFEM will have special tracks on application of formal methods in three areas: + Computer Security + Biology + Healthcare Submissions in these topics are especially encouraged. Papers in these areas will be subject to the same rigorous review process as other papers. Accepted special track papers will be organised into special sessions. SUBMISSION AND PUBLICATION ---------------------------------------- Submissions to the conference must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. The proceedings will be published in the Springer Lecture Notes in Computer Science series. Papers should be written in English and not exceed 16 pages in LNCS format (see http://www.springer.de/comp/lncs/authors.html for details). Submission should be made through the ICFEM 2014 submission page (https://www.easychair.org/conferences/?conf=icfem2014), handled by the EasyChair conference management system. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to appear in a special issue of the Formal Aspect Computing journal. WORKSHOP AND TUTORIAL ---------------------------------------- The last two days of the conference (6th and 7th November 2014) will be dedicated to workshops, tutorials and other satellite events. The organising committee of ICFEM 2014 therefore cordially invites proposals for one-day workshops and one-day or half-day tutorials in any area related to formal methods or software engineering, but particularly in new or emerging fields of application of formal methods. Proposals for workshops/tutorial should contain: + a title and brief description of the topic and the history of the workshop/tutorial, if applicable; + the names and contact details of the potential organisers; + a brief justification of the topic and estimated size of audience; + a description of any special technical requirements. Proposals should be sent to ICFEM2014 Workshops Chair, Jun Sun, at > no later than 22nd March 2014. SUMMER SCHOOL VTSA 2014 ---------------------------------------- The summer school on verification technology, systems & applications takes place at University of Luxembourg from October 27-31, 2014. It is a co-located event with ICFEM 2014 and is organized by the Montefiore Institute, University of Luxembourg, INRIA Nancy, and the Max Planck Insitute for Informatics Saarbrücken. More detailed information will be provided at the summer school's website. IMPORTANT DATES ---------------------------------------- Abstract Submissions due: 11 April 2014 Full Paper Submissions due: 18 April 2014 Workshop/Tutorial Proposals: 22 March 2014 Acceptance Notification: 20 June 2014 Camera-ready Papers Due: 13 July 2014 ORGANISING COMMITTEE ---------------------------------------- General Co-Chairs Michael Butler, University of Southampton, United Kingdom Sjouke Mauw, University of Luxembourg, Luxembourg Program Committee Co-Chairs Stephan Merz, INRIA, France Jun Pang, University of Luxembourg, Luxembourg Workshop and Tutorial Co-Chairs Jun Sun, Singapore University of Technology and Design, Singapore Local Organisation Chair Andrzej Mizera, University of Luxembourg, Luxembourg Publicity Chair Yang Liu, Nanyang Technological University, Singapore Web Chair: Piotr Kordy, University of Luxembourg, Luxembourg PROGRAM COMMITTEE ---------------------------------------- Frank de Boer, CWI, The Netherlands Jonathan Bowen, Birmingham City University, United Kingdom Michael Butler, University of Southampton, United Kingdom Kostas Chatzikokolakis, CNRS and École Polytechnique, France Zhenhua Duan, Xidian University, China Colin Fidge, Queensland University of Technology, Australia Stefania Gnesi, ISTI-CNR, Italy Radu Grosu, Vienna University of Technology, Austria Ian Hayes, University of Queensland, Australia Michaela Huhn, Technische Universität Clausthal, Germany Pierre Kelsen, University of Luxembourg, Luxembourg Steve Kremer, INRIA Nancy, France Jean Krivine, CNRS and Université Paris Diderot, France Peter Gorm Larsen, Engineering College of Aarhus, Denmark Xuandong Li, Nanjing University, China Shang-Wei Lin, National University of Singapore, Singapore Shaoying Liu, Hosei University, Japan Yang Liu, Nanyang Technological University, Singapore Sjouke Mauw, University of Luxembourg, Luxembourg Dominique Mery, Université de Lorraine, France Stephan Merz, INRIA Nancy, France Mohammad Reza Mousavi, Halmstad University, Sweden Peter Mueller, ETH Zurich, Switzerland Shin Nakajima, National Institute of Informatics, Japan Jun Pang, University of Luxembourg, Luxembourg Ion Petre, Åbo Akademi University, Finland Jaco van de Pol, University of Twente, The Netherlands Shengchao Qin, Teesside University, United Kingdom Zongyan Qiu, Peking University, China Jing Sun, University of Auckland, New Zealand Jun Sun, Singapore University of Technology and Design, Singapore Kenji Taguchi, AIST, Japan Viktor Vafeiadis, MPI-SWS, Germany Hai H. Wang, Aston University, United Kingdom Wang Yi, Uppsala University, Sweden Huibiao Zhu, East China Normal University, China STEERING COMMITTEE ---------------------------------------- Keijiro Araki, Kyushu University, Japan Michael Butler, University of Southampton, United Kingdom Jin Song Dong, National University of Singapore, Singapore Jifeng He, East China Normal University, China Shaoying Liu (Chair), Hosei University, Japan Jeff Offutt, George Mason University, United States Shengchao Qin, University of Teesside, United Kingdom ________________________________ CONFIDENTIALITY:This email is intended solely for the person(s) named and may be confidential and/or privileged.If you are not the intended recipient,please delete it,notify us and do not copy,use,or disclose its contents. Towards a sustainable earth:Print only when necessary.Thank you. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From yangliu at ntu.edu.sg Sat Jan 25 17:48:23 2014 From: yangliu at ntu.edu.sg (Liu Yang (Asst Prof)) Date: Sat, 25 Jan 2014 16:48:23 +0000 Subject: 2nd Call for Papers: ICECCS 2014, Tianjin, China, 4-7 Aug 2014 Message-ID: <5A4257BA3B1EEA45B17620B30FD656E12CA8C8A5@EXCHMBOX31.staff.main.ntu.edu.sg> [We apologize for multiple copies.] ============================================================ Call for Papers ICECCS 2014 (The 19th IEEE International Conference on Engineering of Complex Computer Systems) 4-7 August 2014 School of Computer Science and Technology Tianjin University, China http://cs.tju.edu.cn/iceccs/2014 ============================================================ IMPORTANT DATES --------------------------- * Abstract submission: February 14, 2014 * Paper submission deadline: February 28, 2014 * Workshop proposal submission: February 28, 2014 * Notification of acceptance: April 22, 2014 * Camera-ready material for publication: May 4, 2014 * Checking for Production: May 14, 2014 * Conference date: August 4-7, 2014 Complex computer systems are common in many sectors, such as manufacturing, communications, defense, transportation, aerospace, hazardous environments, energy, and health care. These systems are frequently distributed over heterogeneous networks, and are driven by many diverse requirements on performance, real-time behavior, fault tolerance, security, adaptability, development time and cost, long life concerns, and other areas. Such requirements frequently conflict, and their satisfaction therefore requires managing the trade-off among them during system development and throughout the entire system life. The goal of this conference is to bring together industrial, academic, and government experts, from a variety of user domains and software disciplines, to determine how the disciplines' problems and solution techniques interact within the whole system. Researchers, practitioners, tool developers and users, and technology transition experts are all welcome. The scope of interest includes long-term research issues, near-term complex system requirements and promising tools, existing complex systems, and commercially available tools. SCOPE AND TOPICS --------------------------- Authors are invited to submit papers describing original, unpublished research results, case studies and toolsed research results, case studies and tools. Papers are solicited in all areas related to complex computer-based systems, including the causes of complexity and means of avoiding, controlling, or coping with complexity. Topic areas include, but are not limited to: * Requirement specification and analysis * Verification and validation * Security and privacy of complex systems * Model-driven development * Reverse engineering and refactoring * Architecture software * Big Data Management * Ambient intelligence, pervasive computing * Ubiquitous computing, context awareness, sensor networks * Design by contract * Agile methods * Safety-critical & fault-tolerant architectures * Adaptive, self-managing and multi-agent systems * Real-time, hybrid and embedded systems * Systems of systems * Tools and tool integration * Industrial case studies SUBMISSION --------------------------- Different kinds of contributions are sought, including novel research, lessons learned, experience reports, and discussions of practical problems faced by industry and user domains. The ultimate goal is to build a rich and comprehensive conference program that can fit the interests and needs of different classes of attendees: professionals, researchers, managers, and students. A program goal is to organize several sessions that include both academic and industrial papers on a given topic and culminate panels to discuss relationships between industrial and academic research. Papers are divided into two categories: * Technical Papers and * Experience Reports. The papers submitted to both categories will be reviewed by program committee members, and papers accepted in either category will be published in the conference proceedings. Technical papers should describe original research, and industrial experience reports should describe practical projects carried out in industry, and reflect on the lessons learnt from them. FULL PAPERS Full papers are divided into two categories: Technical Papers and Experience Reports. The papers submitted to both categories will be reviewed by program committee members, and papers accepted in either category will be published in the conference proceedings. Technical papers should describe original research, and experience reports should present practical projects carried out in industry, and reflect on the lessons learnt from them. POSTER PAPERS Poster paper submissions should specify in their abstract whether they describe ongoing or PhD research. Both types of poster papers will be reviewed by program committee members, and accepted posters will be published in the conference proceedings. PAPER SUBMISSION Submitted manuscripts should be in English and formatted in the style of the Conference Publishing Services (CPS) Proceedings Format. Papers should not exceed 10 pages for full papers and 2 pages for poster papers, including figures, references, and appendices. All submissions should be in PDF format. Submissions not adhering to the specified format and length may be rejected immediately, without review. All submissions should be made through the Easychair Website: https://www.easychair.org/account/signin.cgi?conf=iceccs2014 ORGANIZING COMMITTEES --------------------------- General Co-Chairs * JinSong Dong, National University of Singapore, Singapore * Zhiyong Feng, Tianjin University, China. Program Committee Co-Chairs * Etienne Andre, Universite Paris 13, France * Lei Zhang, Tianjin University, China Workshop Chairs * Zhenhua Duan, Xidian University, Xi'an * YuanFang Li, Monash University, Australia Publicity Chair * Yang Liu, Nanyang Technological University, Singapore Tutorial Chair * Jun Sun, Singapore University of Technology and Design, Singapore Local Chairs * Xiaohong Li, Tianjin University, China * Guangquan Xu, Tianjin University, China Doctoral Symposium Chair * Xin Peng, Fudan University, China Registration Chair * Jing Hu, Tianjin University, China Web Chairs * Xiaofei Xie, Tianjin University, China * Gang Shen, Tianjin University, China PROGRAMME COMMITTEE --------------------------- * Aiguier Marc, Ecole Centrale Paris, France * Ait Ameur Yamine, IRIT/ENSEEIHT, France * Almeida Luis, Fac de Eng da Universidade do Porto, Portugal * Andre Etienne, Universite Paris 13, France (co-chair) * Artho Cyrille, AIST, Japan * Baresi Luciano, DEI - Politecnico di Milano, Italy * Brooke Phillip J, Teesside University, UK * Calinescu Radu, University of York, UK * Chen Yixiang,School of Software,East China Normal University,China * Cirstea Corina, University of Southampton, UK * Di Giandomenico Felicita, ISTI-CNR, Italy * Dowek Gilles, INRIA, France * Eder Kerstin, University of Bristol, Department of Computer Science, UK * Furia Carlo Alberto, ETH Zurich, Switzerland * Gerard Sebastien, CEA, LIST, France * Grechanik Mark, University of Illinois at Chicago, United States * Groves Lindsay, Victoria University of Wellington, New Zealand * Guerra Esther, Universidad Autonoma de Madrid, Spain * He Fei, School of Software, Tsinghua University, China * Kim Moonzoo, KAIST, South Korea * Kroening Daniel, Computer Science Department, Oxford University, UK * Laleau Regine, Universite Paris-Est Creteil, France * Laplante Phillip, Penn State, United States * Lau Kung-Kiu, UK * Li Bing,State Key Lab of Software Engineering, Wuhan University, China * Li Xiaohong, Tianjin University, China * Li Yuan-Fang, Monash University, Australia * Lindsay Peter, The University of Queensland, Australia * Liu Ling,School of Software,Tsinghua University,China * Liu Yang, Nanyang Technological University, Singapore * Lo David, Singapore Management University, Singapore * Luettgen Gerald, University of Bamberg, Germany * Mao Xiaoguang, School of Computer Science,cNational University of Defense Technology, China * Margaria Tiziana, University of Potsdam, Germany * Martin Andrew, Department of Computer Science, University of Oxford, UK * Mccann Julie, Imperial College, UK * Mery Dominique, Universite de Lorraine, LORIA, France * Miao HuaiKou,Shanghai University,China * Mirandola Raffaela, Politecnico di Milano, Italy * Nesi Paolo, University of Florence, Italy * Pang Jun, University of Luxembourg, Luxembourg * Perseil Isabelle, Inserm, France * Pettit Robert, United States * Prehofer Christian, Munich, Germany * Rumpe Bernhard, RWTH Aachen University, Germany * Seceleanu Cristina, Malardalen University, Vasteras, Sweden * Stolz Volker, University of Oslo, Norway * Sun Jing, The University of Auckland, New Zealand * Sun Jun, Singapore University of Technology and Design, Singapore * Taguchi Kenji, AIST, Japan * Tamzalit Dalila, LINA Laboratory, University of Nantes, France * Tian Cong, Xidian University, China * Vardanega Tullio, University of Padua, Italy * Van Hoorn Andre, University of Stuttgart, Germany * Wang Farn, National Taiwan University, Taiwan * Wang Hai H, University of Aston, UK * Wang Qianxiang, Software Engineering Insisute, Peking University, China * Wang Xinyu, Computer College of Zhejiang University, China * Wehrheim Heike, Universitaet Paderborn, Germany * Xu Baowen, Nanjin University, China * Xu Guangquan, Tianjin University, China * Xu Jing, Nankai University, China * Yuan Ling, Huazhong University of Science and Technology, China * Zalila Bechir, ReDCAD Laboratory, University of Sfax, Tunisia * Zhan Naijun, Lab of Computer Science, Institute of Software, Chinese Academy of Sciences, China * Zhang Lei, Tianjin University, China (co-chair) * Zhao JianJun, Shanghai Jiao Tong University, China * Zhao Wenyun, Fudan University, China * Zhu Huibiao, Software Engineering Institute, East China Normal University, China * Zschaler Steffen, King's College London, UK ________________________________ CONFIDENTIALITY:This email is intended solely for the person(s) named and may be confidential and/or privileged.If you are not the intended recipient,please delete it,notify us and do not copy,use,or disclose its contents. Towards a sustainable earth:Print only when necessary.Thank you. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fstolzenburg at hs-harz.de Mon Jan 27 09:30:53 2014 From: fstolzenburg at hs-harz.de (Frieder Stolzenburg) Date: Mon, 27 Jan 2014 09:30:53 +0100 Subject: Call for Workshop and Tutorial Proposals at KI 2014 Message-ID: <52E6193D.4090604@hs-harz.de> Please accept our apologies if you receive multiple copies of this call! ================================================================================ Call for Workshop and Tutorial Proposals at KI 2014 Stuttgart, Germany, September 22-26, 2014 ================================================================================ KI 2014 is the 37th edition of the German Conference on Artificial Intelligence, which traditionally brings together academic and industrial researchers from all areas of AI, providing a premier forum for exchanging news and research results on theory and applications of intelligent system technology. The technical program of KI 2014 will comprise paper and poster presentations and a variety of workshops and tutorials. KI 2014 will take place in Stuttgart, Germany, September 22-26, 2014 and will be co-located with Informatik 2014 (Annual Conference of the German Informatics Society) and MATES 2014 (The 12th German Conference on Multi-Agent System Technologies). The conference invites also workshops and tutorials from all areas of AI, its fundamentals, its algorithms, its history and its applications. This is the call for workshop and tutorial proposals at KI 2014. ===== Workshops ===== Together with the main conference, we plan to organize a small number of high-quality workshops. We especially encourage workshop proposals organized by AI Special Groups (GI-Fachgruppen), workshops that bring together researchers from different disciplines, and workshops that highlight emerging topics of AI research. Workshops will be at the beginning of the conference. We are interested in submissions of full-day (6 hours) and half-day (3 hours) workshops. They should preferably be given in English. A workshop proposal should cover the following aspects: (1) Introduction to and motivation of the workshop topic, (2) name of organizers (and possibly of the organizing special group), contact address, (3) program committee, (4) list of possible attendees, expected number of attendees, (5) workshop format (half/full day) (6) webpage of the workshop with submission format details (after acceptance). Please send workshop poposals to the KI 2014 workshop and tutorial chair, Frieder Stolzenburg . ===== Tutorials ===== We aim at a small number of high-quality tutorials suitable for a large percentage of conference participants, including graduate students as well as experienced researchers, and practitioners. We are interested in submissions of full-day (6 hours) and half-day (3 hours) tutorials. Tutorials should preferably be given in English. A tutorial proposal should cover the following aspects: (1) Introduction to and motivation of the tutorial topic, (2) name of the tutorial speaker(s), contact address, (3) expected audience, number of attendees, (4) tutorial format (half/full day). Please send tutorial poposals to the KI 2014 workshop and tutorial chair, Frieder Stolzenburg . ===== Important Dates ===== Workshop and Tutorial Proposal Submission: March 15, 2014 Notification of Workshop or Tutorial Acceptance: March 31, 2014 Workshop Contributions Submission Deadline: July 1, 2014 Notification for Workshop Submissions: August 1, 2014 Camera-ready version for workshop submissions: August 15, 2014 Workshop and Tutorial Date: September 22/23, 2014 -- Prof. Dr. Frieder Stolzenburg Hochschule Harz (Harz University of Applied Sciences) FB Automatisierung und Informatik (Automation & Computer Sciences Dep.) Friedrichstr. 57-59 D-38855 Wernigerode (Germany) Raum (Office): 2.008 Tel: +49 3943 659-333 Fax: +49 3943 659-399 Skype: fstolzenburg E-Mail: fstolzenburg at hs-harz.de WWW: http://fstolzenburg.hs-harz.de/ From thomas.agotnes at infomedia.uib.no Mon Jan 27 10:15:43 2014 From: thomas.agotnes at infomedia.uib.no (=?iso-8859-1?Q?Thomas_=C5gotnes?=) Date: Mon, 27 Jan 2014 10:15:43 +0100 Subject: 2nd CFP LOFT11: Logic and the Foundations of Game and Decision Theory, Bergen (Norway), 27-30 Jul 2014 Message-ID: <159E0B3A-DD4C-4607-B126-E7F52B1E80FF@infomedia.uib.no> *************************************************************************** LOFT11 2014: Call for Papers Eleventh Conference on Logic and the Foundations of Game and Decision Theory University of Bergen, Norway, July 27-30, 2014 http://folk.uib.no/nmita/LOFT11 Submission deadline: 1 March, 2014. AIMS OF THE CONFERENCE This is the eleventh in a series of bi-annual conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making. Preference is given to papers which bring together the work and problems of several fields, such as game and decision theory, logic, computer science and artificial intelligence, philosophy, cognitive psychology, mathematics and mind sciences. The previous ten conferences took place in Marseille (France), January 1994, Torino (Italy), December 1996, December 1998, July 2000 and July 2002, Leipzig (Germany), July 2004, Liverpool (UK), July 2006, Amsterdam (The Netherlands), July 2008, Toulouse (France), July 2010, and Sevilla (Spain), 2012. Among the topics of particular relevance are: (*) Modal logics for games and protocols: epistemic and deontic logic, multi-agent logic, temporal logic, dynamic logic, probabilistic and multivalued logic, logic of belief revision. (*) Foundations of game and decision theory: epistemic foundations of solution concepts, information processing and communication in games, belief formation and revision in games. (*) Learning and information-processing models: economic aspects of information processing, learning in game-theoretic contexts, inductive learning and inductive decision making. (*) Bounded rationality approaches to game and decision theory. SUBMISSION INFORMATION: The three-day conference will give opportunity for paper presentations and discussions. Potential contributors should submit an extended abstract of approximately 5 - 10 pages in PDF format through https://www.easychair.org/conferences/?conf=loft11 The deadline for submission is March 1, 2014, and authors will be notified of acceptance decisions by April 9, 2014. INVITED SPEAKERS: Krzysztof Apt (CWI, The Netherlands) Pierpaolo Battigalli (Bocconi University, Italy) Luciano Floridi (University of Oxford, UK) Ariel Procaccia (Carnegie Mellon University, USA) PROGRAM CHAIRS: Thomas Ågotnes, University of Bergen, Norway Giacomo Bonanno, University of California Davis, U.S.A. Wiebe van der Hoek, University of Liverpool, United Kingdom PROGRAM COMMITTEE: Jan Broersen Cédric Dégremont Edith Elkind Spyros Galanis Olivier Gossner Paul Harrenstein Andreas Herzig Willemien Kets Piotr Krysta Jérôme Lang Emiliano Lorini Larry Moss Eric Pacuit Paul Pedersen Antonio Penta Andres Perea Martin Peterson Daniele Porello Bryan Renne Olivier Roy Burkhard Schipper Marija Slavkovik Paul Spirakis Wolfgang Spohn Elias Tsakas Hans van Ditmarsch Michael Wooldridge PUBLICATION OF CONTRIBUTED PAPERS: A selection of papers presented at LOFT11 will be published in special issues of two journals: Synthese and the Journal of Logic and Computation. For a list of publications based on previous LOFT conferences see http://www.econ.ucdavis.edu/faculty/bonanno/loft.html IMPORTANT DATES: Deadline for submission: 1 March, 2014 Notification to authors: 9 April, 2014 Conference: 27-30 July 2014 ************************************************************************ From paliourg at iit.demokritos.gr Mon Jan 27 14:17:13 2014 From: paliourg at iit.demokritos.gr (George Paliouras) Date: Mon, 27 Jan 2014 15:17:13 +0200 Subject: Call for Participation: Second BioASQ challenge on large-scale biomedical semantic indexing and question answering Message-ID: <020901cf1b62$17ea4dd0$47bee970$@demokritos.gr> BioASQ challenge on large-scale biomedical semantic indexing and question answering (part of the CLEF 2014 QA track to take place in Sheffield, UK, 15-18 September, 2014) Web site: http://bioasq.org/ twitter: https://twitter.com/bioasq CLEF-QA site: http://nlp.uned.es/clef-qa/ The BioASQ challenge consists of two different tasks (Task 2a and Task 2b). If you are interested in any of the following areas: * Large-scale and hierarchical classification * Machine learning * Semantic Indexing, semantic similarity then you may want to participate in BioASQ Task 2a (large-scale biomedical semantic indexing). More information at http://bioasq.org/participate/challenges#Task2a. If you are interested in any of the following areas: * Question answering from unstructured and structured data * Single and multi-document summarization * Information retrieval and passage retrieval * Semantic indexing, semantic similarity and reasoning * Machine learning, classification, learning to rank * Named-entity recognition and disambiguation * Information extraction, fact checking, relation extraction * Textual entailment * Natural-language generation then you may want to participate in BioASQ Task 2b (biomedical semantic QA). More information at http://bioasq.org/participate/challenges#Task2b. Important dates: * Task 2a: You can join anytime from February 03, 2014 onwards. New data sets will be released weekly. * Task 2b: You can join on ANY of the following dates: - March 05, 2014 - March 19, 2014 - April 02, 2014 - April 16, 2014 - April 30, 2014. Detailed schedule at http://bioasq.org/participate/schedule. Training data for both tasks available at http://bioasq.lip6.fr/. Prizes: http://www.bioasq.org/participate/prizes. The BioASQ challenge and workshop are organised by the BioASQ project, supported by the European Commission within the 7th Framework Programme (Grant Agreement No. 318652). From aamas14publicity at gmail.com Tue Jan 28 05:25:48 2014 From: aamas14publicity at gmail.com (Matthew Taylor) Date: Mon, 27 Jan 2014 20:25:48 -0800 Subject: [AAMAS-14] Call for Nominations of Influential Papers Message-ID: ******************************************************************************** *** Call for Nominations *** ******************************************************************************** 2014 IFAAMAS Award for Influential Papers in Autonomous Agents and Multiagent Systems ******************************************************************************** In 2006 The International Foundation for Autonomous Agents and Multi-Agent Systems established an award to recognize publications in the autonomous agents and multiagent systems field that have made influential and long-lasting contributions. Candidates for this award are papers that have proved a key result, led to the development of a new subfield, demonstrated a significant new application or system, or simply presented a new way of thinking about a topic that has proven influential. A list of previous winners of this award is appended below. This award is presented annually at the AAMAS Conference, in this case AAMAS-2014 in Paris in May. Winning papers must have been published at least 10 years before the award presentation, therefore this year's eligible set comprises papers published in 2004 or earlier, in any recognized forum (journal, conference, workshop). To nominate a publication for this award, please send the full reference plus a brief statement (150 words or fewer) about the significance of the paper to Toru Ishida (chair of the 2014 committee for this award), ishida at i.kyoto-u.ac.jp. (Please put NOMINATION in the subject line.) Nominations are due by the 17th of February 2014. 2014 Influential Paper Award Committee: Cristiano Castelfranchi, Yoav Shoham, Michael Wellman, Toru Ishida (chair) ------------------------------------------ Previous Award Winners 2013 CRISTIANO CASTELFRANCHI (1998) Modelling social action for AI agents. Artificial Intelligence, Volume 103, Issues 1-2, August 1998, Pages 157-182. TOGETHER WITH CRISTIANO CASTELFRANCHI (1995) Commitment: From individual intentions to groups and organizations. First International Conference on Multi-Agent Systems, pages 41-49, 1995. 2012 MILIND TAMBE (1997) Towards Flexible Teamwork", Journal of Artificial Intelligence Research, 7, pp 83-124. MICHAEL P. WELLMAN (1993) A market-oriented programming environment and its application to distributed multicommodity flow problems." Journal of Artificial Intelligence Research, 1, pp. 1-23. 2011 YOAV SHOHAM (1993) Agent-oriented programming, Artificial Intelligence, 60, pp. 51-92. 2010 YOKOO, M. DURFEE, E. H., ISHIDA, T. & KUWABARA, K. (1998) The Distributed Constraint Satisfaction Problem: Formalization and Algorithms. IEEE Transactions on Knowledge and Data Engineering 10:673-685. TOGETHER WITH YOKOO, M. & HIRAYAMA, K. (1996) Distributed Breakout Algorithm for Solving Distributed Constraint Satisfaction Problems Second International Conference on Multiagent Systems (ICMAS-96), pp.401-408. 2009 The award was given to the series of edited collections of papers on Distributed AI published in the late 1980s: HUHNS. M. H. (Ed.) (1987) Distributed Artificial Intelligence. London, Pitman. BOND, A. & GASSER, L. (Eds.) (1988) Readings in Distributed Artificial Intelligence. San Mateo, CA, Morgan Kaufmann. GASSER L. & HUHNS, M. H. (Eds.) (1989) Distributed Artificial Intelligence (Volume II). Pitman and Morgan Kaufmann. 2008 BRATMAN, M. E., ISRAEL, D. J. & POLLACK, M. E. (1988) Plans and resource-bounded practical reasoning. Computational Intelligence, 4, 349-355. DURFEE, E. H. & LESSER, V. R. (1991) Partial global planning: A coordination framework for distributed hypothesis formation. IEEE Transactions on Systems, Man, and Cybernetics, 21, 1167-1183. 2007 GROSZ, B. J. & KRAUS, S. (1996) Collaborative plans for complex group action. Artificial Intelligence, 86, 269-357. RAO, A. S. & GEORGEFF, M. P. (1991) Modeling rational agents within a BDI-architecture. Second International Conference on Principles of Knowledge Representation and Reasoning. ROSENSCHEIN, J. S. & GENESERETH, M. R. (1985) Deals among rational agents. Ninth International Joint Conference on Artificial Intelligence. 2006 COHEN, P. R. & LEVESQUE, H. J. (1990) Intention is choice with commitment. Artificial Intelligence, 42, 213-261. DAVIS, R. & SMITH, R. G. (1983) Negotiation as a metaphor for distributed problem solving. Artificial Intelligence, 20, 63-109. ******************************************************************************** Toru Ishida Department of Social Informatics, Kyoto University Yoshida-Honmachi, Kyoto 606-8501, Japan TEL 81 75 753 4821 FAX 81 75 753 4820 E-mail ishida at i.kyoto-u.ac.jp Web http://www.ai.soc.i.kyoto-u.ac.jp/~ishida/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Wed Jan 29 14:24:36 2014 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Wed, 29 Jan 2014 08:24:36 -0500 (EST) Subject: Vienna Summer of Logic Announcement Message-ID: <20140129132436.BD5331214BE@mcclellan.cs.miami.edu> **Vienna Summer of Logic Announcement** In the summer of 2014, Vienna will host the largest event in the history of logic. The Vienna Summer of Logic (VSL) will consist of twelve large conferences and numerous workshops, attracting an expected number of 2500 researchers from all over the world. The conferences and workshops will deal with the main theme, logic, from three important aspects: logic in computer science, mathematical logic and logic in artificial intelligence. This unique event will be organized by the Kurt Goedel Society at Vienna University of Technology from July 9 to 24, 2014 (see website for more details: http://vsl2014.at) *Keynote Speakers* The VSL keynote speakers are Franz Baader (Technische Universitaet Dresden), Edmund Clarke (Carnegie Mellon University), Christos Papadimitriou (University of California, Berkeley) and Alex Wilkie (University of Manchester). Dana Scott (Carnegie Mellon University) will speak in the opening session. *Logic in Computer Science / Federated Logic Conference (FLoC)* - 26th International Conference on Computer Aided Verification (CAV) - 27th IEEE Computer Security Foundations Symposium (CSF) - 30th International Conference on Logic Programming (ICLP) - 7th International Joint Conference on Automated Reasoning (IJCAR) - 5th Conference on Interactive Theorem Proving (ITP) - Joint meeting of the 23rd EACSL Annual Conference on Computer Science Logic (CSL) and the 29th ACM/IEEE Symposium on Logic in Computer Science (LICS) - 25th International Conference on Rewriting Techniques and Applications (RTA) joint with the 12th International Conference on Typed Lambda Calculi and Applications (TLCA) - 17th International Conference on Theory and Applications of Satisfiability Testing (SAT) - FLoC Workshops - FLoC Olympic Games (System Competitions) *Mathematical Logic* - Logic Colloquium 2014 - Logic, Algebra and Truth Degrees 2014 - The Infinity Workshop - Kurt Goedel Fellowship Competition *Logic in Artificial Intelligence* - 14th International Conference on Principles of Knowledge Representation and Reasoning (KR) - 27th International Workshop on Description Logics (DL) - 15th International Workshop on Non-Monotonic Reasoning (NMR) - International Workshop on Knowledge Representation for Health Care 2014 (KR4HC) *Kurt Goedel Research Prize Fellowship Competition* At the Vienna Summer of Logic, the Kurt Goedel Society will award three fellowship prizes endowed with 100.000 Euro each to the winners of the Kurt Goedel Research Prize Fellowship Competition "Logical Mind: Connecting Foundations and Technology." *FLoC Olympic Games - Citius, Maius, Potentius* The Federated Logic Conference (FLoC) 2014 will host the 1st FLoC Olympic Games. Intended as a new FLoC tradition, the Games will bring together a multitude of established solver competitions by different research communities. In addition to the competitions, the Olympic Games will facilitate the exchange of expertise between communities, and increase the visibility and impact of state-of-the-art solver technology. The winners in the competition categories will be awarded Kurt Goedel medals at the FLoC Olympic Games award ceremonies. From efg at isep.ipp.pt Wed Jan 29 23:54:31 2014 From: efg at isep.ipp.pt (Elsa Ferreira Gomes) Date: Wed, 29 Jan 2014 22:54:31 -0000 Subject: IDEAS 2014 : 18th International Database Engineering & Applications Symposium, Porto, Portugal, Call for Papers Message-ID: <001d01cf1d45$1444dd00$3cce9700$@isep.ipp.pt> (We apologize for multiples copies) (Please distribute this CFP among your colleagues and students) IDEAS 2014 : 18th International Database Engineering & Applications Symposium http://confsys.encs.concordia.ca/IDEAS/ideas14/ideas14.php Instituto Superior de Engenharia do Porto: ISEP Porto, Portugal . July 7-9, 2014 Call For Papers The annual IDEAS conference has emerged as an important international forum for data engineering researchers, practitioners, developers, and application users to explore revolutionary ideas and results, and to exchange techniques, tools, and experiences. We invite the submission of original research contributions relating to all aspects of database engineering defined broadly, and particularly encourage submissions on topics of emerging interest describing work on integrating new technologies into products and applications, on experiences with existing and novel techniques, and on the identification of unsolved challenges. *** Important Dates *** March 24, 2014: Papers submission deadline May 19, 2014: Notification of acceptance June 9, 2014: Camera-ready deadline *** Conference Publication *** The conference proceedings will be published by ACM; the ISBN assigned by ACM to IDEAS14 is: 978-1-4503-2627-8. A version of the proceedings to be distributed to the conference attendees would be prepared by BytePress. *** Topics of Interest *** Topics of interest include but are not limited to: - Emerging database technologies - Big Data and Advanced Analytics - Query Processing and Query Optimization - Cloud Computing, Map Reduce, Parallel, Distributed, P2P Systems - Scientific Data and Data Visualization - Security, Privacy, Authenticated Query Processing - Data Warehouses, OLAP, Business Intelligence - Streams, Sensor Networks, Complex Event Processing - Data Mining and Knowledge Discovery: Algorithms and Applications - Systems, Performance, Transaction Processing - Data Models and Languages - Data Integration, Metadata management, Interoperability - User Interfaces and Social Data - Characterization and Analysis of Social and other large datasets - NoSQL approaches to data management - Benchmarking efforts for all types of data management technologies *** Organized by *** Instituto Superior de Engenharia do Porto: ISEP; Porto, Portugal; Concordia University, Montreal, Canada with the cooperation of ACM, BytePress.org and ConfSys.org General Chair: Jorge Bernardino, CISUC-Polytechnic Institute of Coimbra, Portugal Program Co-Chairs: Ana Almeida, ISEP, Porto, Portugal; Bipin C. Desai, Concordia University, Canada Publicity Chair: Elsa Ferreira Gomes,ISEP, Porto, Portugal -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sebastien.konieczny at gmail.com Thu Jan 30 02:59:24 2014 From: sebastien.konieczny at gmail.com (=?iso-8859-1?Q?S=E9bastien_Konieczny?=) Date: Thu, 30 Jan 2014 10:59:24 +0900 Subject: CFP 15th International Workshop on Non-Monotonic Reasoning (NMR 2014) Message-ID: CALL FOR PAPERS 15th International Workshop on Non-Monotonic Reasoning (NMR 2014) http://www.kr.tuwien.ac.at/nmr14/ Vienna, Austria, July 17–19, 2014 Co-located with KR 2014 [http://kr.org/KR2014/], DL 2014 [http://www.dbai.tuwien.ac.at/dl2014/], FLoC 2014, and Logic Colloquium 2014. NMR 2014 is part of the Vienna Summer of Logic [http://vsl2014.at/] ______________________________________________________________________ * Aims and Scope * The NMR workshop series is the premier specialized forum for researchers in non-monotonic reasoning and related areas. This will be the 15th workshop in this series. Its aim is to bring together active researchers in the broad area of non-monotonic reasoning, including belief revision, reasoning about actions, argumentation, declarative programming, preferences, non-monotonic reasoning for ontologies, uncertainty, and other related topics. NMR will share a joint session with the 27th International Workshop on Description Logics (DL 2014). * Topics * NMR 2014 welcomes the submission of papers broadly centered on issues and research in non-monotonic reasoning. We welcome papers of either theoretical or practical nature. Topics of interest include (but are not limited to): - abductive reasoning and diagnosis, - algorithms and complexity analysis, - argumentation and dialog, - answer-set programming, - belief revision, belief update, and belief merging, - benchmarks for non-monotonic reasoning, - declarative programming for non-monotonic reasoning, - default reasoning, - empirical studies of reasoning strategies, - foundations of non-monotonic reasoning, - hybrid approaches (non-monotonic reasoning combined with other computing paradigms), - inconsistency handling, - implementations and systems, - non-monotonic logics in multi-agent interaction, including negotiation and dispute resolution, - non-monotonic reasoning for ontologies, - reasoning and decision making under uncertainty, - reasoning with preferences, - representing actions and planning, - causal reasoning, and - similarity based-reasoning. * Tracks * To focus the different topics of submissions, the workshop comprises the following thematic tracks: 1. Actions, Causality, and Belief Change; 2. Declarative Programming; 3. Argumentation and Dialog; 4. Preferences, Norms, and Trust; 5. NMR and Uncertainty; 6. Commonsense and NMR for Ontologies; as well as the following special tracks: 7. Systems and Applications; 8. Benchmarks for NMR. * Systems and Applications Track * Recent years witnessed the development of mature solver technology for some NMR based formalisms and, accordingly, successful real-world applications. This track welcomes papers on describing implemented NMR systems as well as papers presenting applications of NMR formalisms and systems. Topics of interest include pure system descriptions (providing information on the basic functionality and usability of the respective systems), the comparison and evaluation of NMR systems, NMR applications in industry and academia, software engineering and modeling methodology aspects, and reports from the field. * Benchmarks for NMR special track * The aim of the Benchmarks for NMR special track is to discuss the construction of benchmarks for NMR. Benchmarks proved useful in a variety of domains in order to develop efficient algorithms and methods. They are for the moment insufficiently developed for main NMR areas. We want to discuss this issue in NMR 2014. Typical questions of interested could be: - How to obtain benchmarks from real application cases? - How to build sensible random benchmarks? - How to export existing benchmarks in some formalism into other domains formalisms? - Etc. Papers related to these issues, description of existing systems of benchmarks, etc., are welcome. * Submissions * Papers should be between 4 and 10 pages in AAAI style (http://www.aaai.org/Publications/Author/author.php) including references, figures, and appendixes if any. System descriptions can typically be on the lower bound of the page range. Papers submission will be handled electronically by means of the easychair system. Papers must be submitted in PDF only. The submission page is available at http://www.easychair.org/conferences/?conf=nmr2014 Papers already published at other conferences and that can be of interest for an NMR audience are welcomed to NMR 2014, provided that the initial publication is mentioned in a footnote on the first page. Submissions will have to indicate to which of the above listed tracks it is intended to belong to, as well as whether it constitutes new research or recently published research. * Proceedings * There are no formal proceedings for NMR. The accepted papers will be published as a technical report and will be made available in the CoRR Computing Research Repository, see http://arxiv.org/corr/home. The copyright of the papers lies with the authors, and as far as NMR is concerned, they are free to submit to other conferences and workshops as well. Similarly, papers already published can be submitted (but this has to be indicated in the submission). * Important Dates * Submission deadline: February 14, 2014 Notification: April 2, 2014 Camera-ready articles due: April 25, 2014 NMR 2014: July 17-19, 2014 * Location * NMR 2014 will be held at the Vienna University of Technology and is part of the Vienna Summer of Logic, http://vsl2014.at/, which will probably be the largest scientific logic event in known history. * Workshop Chairs * Sébastien Konieczny (CNRS, Université d'Artois, France) Hans Tompits (Vienna University of Technology, Austria) * Track Chairs * 1. Actions, Causality, and Belief Change Renata Wasserman (Universidade de São Paulo, Brasil) 2. Declarative Programming Tomi Janhunen (Aalto University, Finland) 3. Argumentation and Dialog Paul E. Dunne (University of Liverpool, UK) 4. Preferences, Norms, and Trust Mehdi Dastani (Utrecht University, Netherlands) 5. NMR and Uncertainty Lluis Godo (Universitat Autonoma de Barcelona, Spain) 6. Commonsense and NMR for Ontologies Guilin Qi (Southeast University, China) 7. Systems and Applications Esra Erdem (Sabanci University, Turkey) 8. Benchmarks for NMR Sébastien Konieczny (CNRS, Université d'Artois, France) Email: nmr14 [at] kr [dot] tuwien [dot] ac [dot] at * Homepage * http://www.kr.tuwien.ac.at/nmr14/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From francesco.amigoni at polimi.it Thu Jan 30 15:24:34 2014 From: francesco.amigoni at polimi.it (Francesco Amigoni) Date: Thu, 30 Jan 2014 14:24:34 +0000 Subject: Call for Participation RoboCup 2014 Virtual Robot competition *deadline February 5* Message-ID: <9F0DA12A-5AF1-4991-82E2-03FF721830A5@polimi.it> ********************************************************************************************** Call for Participation RoboCup 2014 Virtual Robot competition July 19-25, 2014 (Joao Pessoa, BRAZIL) http://www.robocup2014.org/ We would like to invite all robot rescue teams to participate in the 2014 RoboCup Rescue Simulation League World Championship. If you are interested to participate please take the time to pre-register your team for the RoboCup 2014 Virtual Robot competition. 1) RoboCup Rescue Simulation League and Virtual Robot competition --------------------- The RoboCup Rescue Simulation League is a socially relevant part of RoboCup event. Its main purpose is to provide emergency decision support by integration of disaster information, prediction, planning, and human interface. A generic urban disaster simulation environment is constructed on network computers. Heterogeneous intelligent agents such as fire fighters, commanders, victims, volunteers, etc. conduct search and rescue activities in this virtual disaster world. Real-world interfaces such as helicopter images synchronize the virtuality and the reality by sensing data. Mission-critical human interfaces such as PDAs support disaster managers, disaster relief brigades, residents, and volunteers to decide their action to minimize the disaster damage. Addressing this problem involves advanced and interdisciplinary research themes. As AI/robotics research, for example, behavior strategy (e.g., multi-agent planning, realtime/anytime planning, heterogeneity of agents, robust planning, mixed-initiative planning) is a challenging problem. For disaster researchers, RoboCup Rescue works as a standard basis in order to develop practical comprehensive simulators adding necessary disaster modules. The Virtual Robot competition is based on USARSim, a high fidelity simulator. Within USARSim users can simulate multiple agents whose capabilities closely mirror those of real robots. USARSim currently features wheeled, tracked, and air robots, as well as a wide range of sensors and actuators. Moreover, users can easily develop models of new robotic platforms, sensors, and test environments. See for more information http://wiki.robocup.org/wiki/Rescue_Simulation_League 2) Pre-registration ------------------- For the pre-registration please send before February 5 an email to A.Visser at uva.nl with as attachment the following form filled in: http://home.deib.polimi.it/amigoni/IntentVirtual2014.txt 3) Qualification material ------------------------- Besides the pre-registration please prepare before February 28 the following qualification material: A Team Description Paper describing the most innovative contributions or scientific results. The TDP is limited to 8 pages and must be formatted according to the LNCS format: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 The Team Description Paper is an overview of the methodologies you used and intent to use to control your robots inside the Virtual Robot competition. If applicable, include a reference to your latest publications. The qualification material should be placed on a dedicated web page on the team's home page. Please include the link to the qualification material on the pre-registration information. 4) Deadlines ----------- - Deadline for pre-registration Virtual Robot competition: February 5, 2014 - Deadline for qualification material Virtual Robot competition: February 28, 2014 - Team qualification notification: March 5, 2014 5) Rules -------- The rules for the RoboCup 2014 Virtual Robot competition will be published at: http://wiki.robocup.org/wiki/Rescue_Simulation_League#Rules The latest version currently available is April 22, 2013. It will be finalized with minor changes, also according to the input from the participating teams. We hope to see you all in Brazil. With kind regards, Sanaz Taleghani, Amir Abdi, and Francesco Amigoni, 2014 RoboCup Rescue Simulation Virtual Robot competition Technical committee ********************************************************************************************** --------------------------------------------------------- Francesco Amigoni, Ph.D. Associate Professor Artificial Intelligence and Robotics Laboratory Dipartimento di Elettronica, Informazione e Bioingegneria Politecnico di Milano Piazza Leonardo da Vinci, 32 I-20133 Milano (MI), Italy Voice: +39 02 2399-3475 Fax: +39 02 2399-3411 Email: francesco.amigoni at polimi.it Web: http://www.deib.polimi.it/people/amigoni --------------------------------------------------------- From kesamsta2014 at fer.hr Fri Jan 31 10:37:27 2014 From: kesamsta2014 at fer.hr (KES AMSTA 2014 Conference) Date: Fri, 31 Jan 2014 09:37:27 +0000 Subject: =?windows-1250?Q?Agents_and_Multi-agent_Systems_=96_Technologies_&_Applic?= =?windows-1250?Q?ations_2014_-_2nd_Call_for_Papers?= Message-ID: <161512044993684484E6572B432198230FC3E0@MAIL4.fer.hr> Agents and Multi-agent Systems – Technologies & Applications 2014 - 2nd Call for Papers 8th International KES Conference on Agents and Multi-agent Systems – Technologies & Applications (AMSTA-14) Chania - Crete, Greece 18 - 20 June 2014 http://amsta-14.kesinternational.org/ ------------------------------------------- AMSTA-14 is an international scientific conference for research in the field of agent and multi-agent systems. The aim of the conference is to provide an internationally respected forum for scientific research in the technologies and applications of agent and multi-agent systems. Agents and multi-agent systems are related to a modern software paradigm which has long been recognized as a promising technology for constructing autonomous, complex and intelligent systems. This conference will provide an excellent opportunity for researchers to discuss modern approaches and techniques for agent and multi-agent systems and their applications. The conference will be co-located under the KES Smart Digital Futures topic with our other Intelligent Systems conferences: IIMSS and IDT along with the new STET (Smart Technology in Education) conference. Please see the KES International website for more details here: http://www.kesinternational.org/ =============== Conference Scope =============== Agent Systems Formal models of agency. Agent architectures. BDI architecture. Learning, evolution, and adaptation. Perception and action. Communication: languages, semantics, pragmatics, protocols, and conversations. Knowledge representation Computational complexity. Autonomous or humanoid robots. Social robots and robot teams. Autonomy aspect. Cognitive models, including emotions and philosophies. Embodied and believable agents. Emergent behaviour. Ontologies. Multi-agent Systems Cooperative distributed problem solving. Task and resource allocation. Mechanism design, auctions, and game theory. Modelling other agents and self. Multi-agent planning. Negotiation protocols. Multi-agent learning. Conflict resolution. Trust and reputation management. Privacy, safety and security. Scalability, robustness and dependability. Social and organizational structures. Verification and validation. Novel computing paradigms (autonomic, grid, P2P, ubiquitous computing). Brokering and matchmaking. Agent-oriented software engineering, including implementation languages and frameworks. Mobile agents. Per-formance, scalability, robustness, and dependability. Verification and validation. E-business agents. Pervasive computing. Privacy, safety, and security. Tools and Applications Simulation systems. Web services and service-oriented computing. Artificial social systems. Autonomic computing. Case studies and reports on deployments. Computational infrastructures. Information retrieval. Web services and semantic web. E-learning sys-tems. E-institutions. E-commerce. =============== Dates & Deadlines =============== General Track Papers Submission of Papers: 10 February 2014 (Extended) Notification of Acceptance: 3 March 2014 Upload of Final Publication Files: 17 March 2014 Invited Session and Workshops Self-organizing multi-agent systems: Technologies and applications Invited Session Submission deadline: 10 February 2014 (Extended) Notification of acceptance: 3 March 2014 Camera-ready submission: 17 March 2014 Early Registration Deadline All delegates to main conference: 14 March 2014 Inclusion in Proceedings Every paper for inclusion in the published proceedings must have at least one author who has registered for the conference with payment by: 14 March 2014. Conference Sessions: 18 - 20 June 2014 =============== Further Information =============== Please note that the above deadlines are provisional and subject to change. For further information on all the above, please visit the conference website at the top of the page. For general enquiries about the conference, please contact: contact at kes2014.kesinternational.org. For registration enquiries, please contact: registration at kesinternational.info (if you have already registered please ensure you quote your registration order number). You can follow us for updates on: Twitter: @KESIntl Facebook: https://www.facebook.com/KesInternational -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: