From sara at kdbio.inesc-id.pt Thu Dec 1 13:59:42 2011 From: sara at kdbio.inesc-id.pt (Sara Silva) Date: Thu, 01 Dec 2011 12:59:42 +0000 Subject: EuroGP 2012 - final call for papers - one week to deadline! Message-ID: <4ED77A3E.6050606@kdbio.inesc-id.pt> * Apologies if you receive this multiple times * *********************************** EuroGP 2012 (one week to deadline) -------> STRICT DEADLINE!! <------- *********************************** 15th European Conference on Genetic Programming 11-13 April 2012, Malaga - Spain www.evostar.org Submission deadline: December 7, 2011 ------> IMPORTANT NOTICE: This is a *STRICT DEADLINE*. ------> *NO FURTHER EXTENSIONS* will be given! EuroGP is the premier annual conference on Genetic Programming. EuroGP is always a very enjoyable event, held together with the other main european events on Evolutionary Computation (EvoBio, EvoCOP, EvoApplications, EvoMusArt), collectively designated as EvoStar (Evo*). EvoStar 2012 takes place in Malaga, Spain, the capital of the Costa del Sol and one of the most cosmopolitan and open cities in Europe, widely known for its superb weather, food, and hospitality. It offers an excellent environment for participants to enjoy their visit, from the academic and the social point of view. EuroGP 2012 seeks high quality papers on topics strongly related to the evolution of computer programs, including but not limited to: * Theoretical developments * Empirical studies of GP performance and behaviour * Landscape analysis of GP * Algorithms, representations and operators * Applications of GP to real-life problems * Evolutionary design * Evolutionary robotics * Tree-based GP * Linear GP * Graph-based GP * Grammar-based GP * Evolvable hardware * Self-reproducing programs * Multi-population GP * Multi-objective GP * Fast/Parallel GP (e.g., GPU implementation of GP) * Probabilistic GP (e.g., combining ideas of estimation of distribution algorithms and GP) * Evolution of various classes of automata or machine (e.g. cellular automata, finite state machines, pushdown automata, Turing machines) * Software Engineering and GP: using GP to evolve complete programs (e.g., including variables, loops, recursion) and using SE methods (e.g., software design) to improve GP * Object-oriented GP * Hybrid architectures including GP components * Unconventional evolvable computation The submissions will be peer reviewed by at least three members of the program committee. The reviewing process will be double-blind, so please omit information about the authors in the submitted paper. Accepted papers will be presented orally or as posters at the conference and will be published by Springer in the LNCS series. The papers which receive the best reviews will be nominated for the Best Paper Award. Authors of selected papers may be invited to submit extended versions of their work to the Springer journal GPEM - Genetic Programming and Evolvable Machines (http://www.springer.com/10710). Last year, four best papers were selected for a special issue of GPEM to be published in early 2012. To celebrate the 10th anniversary of EvoBio, EuroGP encourages submissions applying genetic programming to problems in computational biology and new biologically inspired extensions of the genetic programming framework for a special joint session of EuroGP with EvoBio. These papers can be submitted either to EuroGP or EvoBio, and the authors of the best ones will be invited to submit extended versions of their work to a special issue of GPEM. Submission link: http://myreview.csregistry.org/eurogp12/ Page limit: 12 pages in Springer LNCS format. Important Dates: * Submission deadline: 7 December 2011 * Notification to authors: 11 January 2012 * Camera-ready deadline: 27 January 2012 * Conference: 11-13 April 2012 Program Chairs: * Sara Silva, INESC-ID Lisboa, Portugal http://kdbio.inesc-id.pt/~sara/ sara(at)kdbio.inesc-id.pt * Alberto Moraglio, University of Birmingham, UK http://www.cs.bham.ac.uk/~moraglia/ a.moraglio(at)cs.bham.ac.uk From aamas2012_publicity at infoscience.otago.ac.nz Sun Dec 4 10:34:06 2011 From: aamas2012_publicity at infoscience.otago.ac.nz (AAMAS 2012 Publicity Chair) Date: Sun, 4 Dec 2011 22:34:06 +1300 (NZDT) Subject: Call for Demos: 11th Int. Conf. on Autonomous Agents and Multiagent Systems, 4-8 June 2012 In-Reply-To: Message-ID: <83b129b9-dda4-4852-ab3e-eeba0d3edf07@SBIS4329> CALL FOR DEMONSTRATIONS Eleventh International Conference on AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS 2012) Valencia, Spain 4-8 June 2012 Demos track Web site: http://swarmlab.unimaas.nl/aamas2012_demos/ Conference Web site: http://aamas2012.webs.upv.es/ DESCRIPTION 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 Valencia. 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. SUBMISSION WEB SITE https://www.easychair.org/conferences/?conf=aamasdemos2012 SELECTION PROCESS The submission and selection processes for the AAMAS 2012 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 9, 2012 * Notification of acceptance/rejection: February 14, 2012 * Camera-ready paper: To Be Announced CONTACT INFORMATION For more information, contact the Demos Chair: Prof Paul Scerri Carnegie Mellon University pscerri at cs.cmu.edu From Wiebe.Van-Der-Hoek at liverpool.ac.uk Sun Dec 4 19:20:55 2011 From: Wiebe.Van-Der-Hoek at liverpool.ac.uk (Van der Hoek, Wiebe) Date: Sun, 4 Dec 2011 18:20:55 +0000 Subject: Fwd: AAMAS 2012 Call for Demos (for LOGIC-L list) References: Message-ID: CALL FOR DEMONSTRATIONS Eleventh International Conference on AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS 2012) Valencia, Spain 4-8 June 2012 Demos track Web site: http://swarmlab.unimaas.nl/aamas2012_demos/ Conference Web site: http://aamas2012.webs.upv.es/ DESCRIPTION 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 Valencia. 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'fs 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. SUBMISSION WEB SITE https://www.easychair.org/conferences/?conf=aamasdemos2012 SELECTION PROCESS The submission and selection processes for the AAMAS 2012 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 9, 2012 * Notification of acceptance/rejection: February 14, 2012 * Camera-ready paper: To Be Announced CONTACT INFORMATION For more information, contact the Demos Chair: Prof Paul Scerri Carnegie Mellon University pscerri at cs.cmu.edu From wei.chen at gmail.com Mon Dec 5 05:32:50 2011 From: wei.chen at gmail.com (Wei Chen) Date: Sun, 4 Dec 2011 23:32:50 -0500 Subject: CFP: 3rd International Workshop on Multi-Agent Systems and Collaborative Technologies (I-MASC'12) In-Reply-To: References: Message-ID: The 3rd International Workshop on Multi-Agent Systems and Collaborative Technologies (I-MASC 2012) http://cisedu.us/rp/cts12/2-conference/workshops/workshop-06-imasc CALL FOR PAPERS As part of The 2012 International Conference on Collaboration Technologies and Systems (CTS 2012) http://cts2012.cisedu.info/ May 21 – 25, 2012 The Westin Westminster Hotel Denver, Colorado, USA Submission Deadline: January 16, 2012 *** A hard deadline without any extension *** Submissions could be for full papers (8 pages) or short papers (4 pages) SCOPE AND OBJECTIVES Multi-Agent Systems (MAS) has grown into an interdisciplinary field that includes various tracks and embraces many previously distinctive research areas. Particularly, multi-agent coordination, a sub-area of MAS, investigates how multiple intelligent computational agents work together to achieve high-level goals beyond the capabilities of single agents. Many different approaches have been investigated, such as the partially observable Markov decision process (POMDP), task structure analysis, coordination communication protocols, etc. Collaborative Technologies and Systems (CTS) have evolved significantly as well. These tend to investigate the design and development of effective environments or tools that help human users work together in a distributed collaborative, possibly virtual, fashion. Some notable examples of CTS include Collaboratories, collaborative design/editing, and on-line collaboration tools and environments. CTS is beginning to look at the challenges of supporting coordinated, purposive activities. MAS is still facing challenges of scaling to large numbers of entities and real-world tasks (see, for example, Hendler's question of, “where are all the intelligent agents?" ). This workshop will explore potential synergy between CTS and MAS/coordination because they share a common ground: how multiple entities ? intelligent agents or humans alike - work together to carry out potentially related tasks. We will ask questions of whether and how design and development of collaborative systems, promoting coordinated human activity, could be enhanced by incorporating insights from MAS. Collaborative technologies embody practical considerations from the human users' points of view, allowing users to ignore how the underlying (agent) infrastructure is implemented. Meanwhile, MAS/coordination investigates intelligent agents’ underlying algorithms and mechanisms and, in some cases, how artificial agents can interact with people as peers. Conversely, intelligent agents will not see significant acceptance, nor will they be able to manage the complexity and knowledge-intensity of meaningful practical applications, without developing some understanding of how to make effective use of human contributions throughout the specification, execution, evaluation, and refinement stages of the software lifecycle. This workshop solicits papers that discuss synergies between MAS and CTS, possible advantages/disadvantages of hybrids between them for designing and developing modern distributed collaborative software systems, and research and/or real-world experience and/or applications and/or lessons learned that involve both CTS and MAS. That is, any paper that addresses both CTS and MAS, preferably in one or a set of applications that share similar underlying research challenges, is of interest to this workshop. An example could be: the design and development of a collaborative environment (say, a distributed planning tool) that enables multiple heterogeneous, human experts and agents to work in combination across computer networks on courses of actions in response to cyber attacks. Another example might be systems or interfaces supporting the division of labor between CTS and MAS elements during execution. The Workshop topics include (but are not limited to) the following: * MAS: Coordination of and by Computational Agents - Agent Communication, Languages and Protocols - Agent Models and Architectures - Multi-Agent Coordination and Cooperation - Human-Agent Interaction - Multi-User/Multi-Agent Interaction - Teamwork, Coalition Formation, Coordination - Peer to Peer Coordination - Modeling the Dynamics of MAS - Agent-based System Development - Collective Decision Making - Bargaining and Negotiation - Auction and Mechanism Design - Cooperative and Non-Cooperative Agents - Complex MAS - Virtual Agents Applications - Conversational Agents - Distributed Task Planning and Execution - Cooperation with Humans and Robots - Collective Intelligence - Agent Reasoning - Mining Agents - Security Agents * CTS: Agent Technologies and Systems Supporting Collaboration Among Humans - Architectures and Design of Collaborative Systems - Frameworks and Methodologies for Collaboration - Cognitive and Psychological Issues in Collaboration - Collaborative Human-Centered Systems - Cultural Aspects & Human Factors in Collaboration - Interfaces for Collaborative Work - Social Software Based Collaboration - Visualization of Collaborative Processes - Web Infrastructure for Collaborative Applications - Information Infrastructure for Collaboration - Management of Metadata for Collaboration - Mobile and Wireless Collaboration Systems - Modeling and Simulation of Collaboration - Platforms for Collaboration - Collaboration in Domain Applications Important: A submitted paper must have keywords from BOTH lists of MAS and CTS! Synergies of CTS and MAS topics are of interest with respect to any phase of a human or software systems lifecycle: specification, implementation, testing, evaluation, and deployment. PAPER SUBMISSION You are invited to submit original and unpublished research works on the above and other topics related to Collaborative Technologies and Multi-Agent Systems. Submitted papers must not have been published or simultaneously submitted elsewhere. Submission should include a cover page with authors' names, affiliation addresses, fax numbers, phone numbers, and email addresses. Please, indicate clearly the corresponding author and include up to 6 keywords from the above list of topics and an abstract of no more than 400 words. We welcome prospective participants to submit either full papers (up to 8 pages) or short papers (up to 4 pages). The manuscript should use the two-column IEEE format. Additional pages will be charged at additional fee. In case of multiple authors, an indication of which author is responsible for correspondence must be indicated. Please include page numbers on all preliminary submissions to make it easier for reviewers to provide helpful comments. Submit a PDF copy of your full manuscript to the Workshop paper submission site at the link: https://www.easychair.org/conferences/?conf=imasc2012. Notably, (1) only PDF files will be accepted; (2) papers should have the following name format for easy identification: ‘Surname_Initial_1.PDF’, where the Surname is that of the first author; and (3) follow the Easy Chair website instructions to login into the system (or create your account if necessary) and upload your paper accordingly. Each paper will receive a minimum of three reviews. Papers will be selected based on their originality, relevance, technical clarity and presentation. Submission implies the willingness of at least one of the authors to register and present the paper, if accepted. Authors of accepted papers must guarantee that their papers will be registered and presented at the workshop. Accepted papers will be published in the Conference proceedings. Instructions for final manuscript format and requirements will be posted on the CTS 2012 Conference web site. It is our intent to have the proceedings formally published in hard and soft copies and be available at the time of the conference. The proceedings is projected to be included in the IEEE Digital Library and indexed accordingly. If you have any questions about paper submission or the workshop, please contact the workshop organizers. IMPORTANT DATES Paper Submissions: ------------------------------------------- January 16, 2012 Acceptance Notification: ------------------------------------- February 06, 2012 Camera Ready Papers and Registration Due: ------- March 01, 2012 Conference Dates: -------------------------------------------- May 21 - 25, 2012 WORKSHOP ORGANIZERS Wei Chen Intelligent Automation, Inc. 15400 Calhoun Drive, Suite 400, Rockville, MD 20855, USA Phone : +1 (301) 294-5278, Email: wchen at i-a-i.com Edmund Durfee Computer Science and Engineering, University of Michigan 2260 Hayward Street, Ann Arbor MI 48109-2121, USA Phone: +1 (734) 936-1563, Email: durfee at umich.edu International Program Committee: All submitted papers will be reviewed by the workshop technical program committee members following similar criteria used in CTS 2012. Giacomo Cabri Università di Modena e Reggio Emilia, Italy Bradley Clement NASA JPL, USA Geoffrey Fox Indiana University, USA Alexander Grushin Intelligent Automation, Inc., USA Peng Liu Pennsylvania State University, USA Frank Liu Missouri University of Science and Technology, USA William Mcquay AFRL, USA John Meier Boeing, USA Priya Ranjan Human Development Foundation, India Volkmar Schau Friedrich Schiller University Jena, Germany Waleed Smari University of Dayton, USA Jose Vidal University of South Carolina (*Additional committee members may be available pending confirmation shortly.) For information or questions about Conference's paper submission, tutorials, posters, workshops, special sessions, exhibits, demos, panels and forums organization, doctoral colloquium, and any other information about the conference location, registration, paper formatting, etc., please consult the Conference’s web site at URL: http://cts2012.cisedu.info/ or contact one of the Conference's organizers or Co-Chairs: Geoffrey C. Fox at gcf at indiana.edu and Waleed W. Smari at Smari at arys.org. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From C.Orasan at wlv.ac.uk Mon Dec 5 19:33:27 2011 From: C.Orasan at wlv.ac.uk (Orasan, Constantin) Date: Mon, 5 Dec 2011 18:33:27 +0000 Subject: Final call for applications: Erasmus Mundus Masters in NLP&HLT Message-ID: <034C0B87CC091D46B6CF0FD17E97B38301C05F@EXCHMBX10X05.unv.wlv.ac.uk> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Erasmus Mundus Masters Course - International Masters in NLP and HLT CALL FOR APPLICATIONS students and scholars http://mastermundusnlp-hlt.univ-fcomte.fr/ For applicants requesting a scholarship from the Consortium (category A, B and scholars), the deadline for submitting applications is 19th December 2011. For the other applicants the deadline for submitting applications is 1st June 2012. Category A = non European and special window Category B = European and other than A Other applicants = not requesting a scholarship ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ We invite applications for the Erasmus Mundus MA course on NLP and HLT, organized jointly by Universite de Franche-Comte (France), Universitat Autònoma de Barcelona (Spain), Universidade do Algarve (Portugal) and the University of Wolverhampton (UK). The objective of this Masters Course is to provide education and training of specialists in Language Technologies and their applications and prepare them for careers in the LT industry, research and academia. Students from European or non European countries will be able to select a combination of modules on topics in Linguistics, Translation Studies, Computer Science, and Mathematics, the languages of instruction being those of the country of each partner university. As part of the course, the students will complete a research project jointly supervised by lecturers from the partner universities. During the two-year programme, each student will spend two semesters at one university of his/her choice, and another two at either one or two other universities. After completing the programme, students will receive a multiple Masters degree from the universities they have attended. Up to 20 best EU and non-EU candidates will be offered a grant for the duration of the course. Four grants will also be offered to scholars to come for 2-3 months in one or 2 of the partner universities. For more information on the course, please visit: http://mastermundusnlp-hlt.univ-fcomte.fr/ -- Dr. Constantin Orasan Senior Lecturer in Computational Linguistics Deputy Head of the Research Group in Computational Linguistics Research Group in Computational Linguistics http://www.wlv.ac.uk/~in6093/ University of Wolverhampton-- Scanned by iCritical. From wchen at i-a-i.com Mon Dec 5 23:44:12 2011 From: wchen at i-a-i.com (Wei Chen) Date: Mon, 5 Dec 2011 17:44:12 -0500 Subject: 3rd International Workshop on Multi-Agent Systems and Collaborative Technologies (I-MASC'12) Message-ID: <009501ccb39f$691afc90$3b50f5b0$@com> The 3rd International Workshop on Multi-Agent Systems and Collaborative Technologies (I-MASC 2012) http://cisedu.us/rp/cts12/2-conference/workshops/workshop-06-imasc CALL FOR PAPERS As part of The 2012 International Conference on Collaboration Technologies and Systems (CTS 2012) http://cts2012.cisedu.info/ May 21 – 25, 2012 The Westin Westminster Hotel Denver, Colorado, USA Submission Deadline: January 16, 2012 *** A hard deadline without any extension *** Submissions could be for full papers (8 pages) or short papers (4 pages) SCOPE AND OBJECTIVES Multi-Agent Systems (MAS) has grown into an interdisciplinary field that includes various tracks and embraces many previously distinctive research areas. Particularly, multi-agent coordination, a sub-area of MAS, investigates how multiple intelligent computational agents work together to achieve high-level goals beyond the capabilities of single agents. Many different approaches have been investigated, such as the partially observable Markov decision process (POMDP), task structure analysis, coordination communication protocols, etc. Collaborative Technologies and Systems (CTS) have evolved significantly as well. These tend to investigate the design and development of effective environments or tools that help human users work together in a distributed collaborative, possibly virtual, fashion. Some notable examples of CTS include Collaboratories, collaborative design/editing, and on-line collaboration tools and environments. CTS is beginning to look at the challenges of supporting coordinated, purposive activities. MAS is still facing challenges of scaling to large numbers of entities and real-world tasks (see, for example, Hendler's question of, “where are all the intelligent agents?" ). This workshop will explore potential synergy between CTS and MAS/coordination because they share a common ground: how multiple entities ? intelligent agents or humans alike - work together to carry out potentially related tasks. We will ask questions of whether and how design and development of collaborative systems, promoting coordinated human activity, could be enhanced by incorporating insights from MAS. Collaborative technologies embody practical considerations from the human users' points of view, allowing users to ignore how the underlying (agent) infrastructure is implemented. Meanwhile, MAS/coordination investigates intelligent agents’ underlying algorithms and mechanisms and, in some cases, how artificial agents can interact with people as peers. Conversely, intelligent agents will not see significant acceptance, nor will they be able to manage the complexity and knowledge-intensity of meaningful practical applications, without developing some understanding of how to make effective use of human contributions throughout the specification, execution, evaluation, and refinement stages of the software lifecycle. This workshop solicits papers that discuss synergies between MAS and CTS, possible advantages/disadvantages of hybrids between them for designing and developing modern distributed collaborative software systems, and research and/or real-world experience and/or applications and/or lessons learned that involve both CTS and MAS. That is, any paper that addresses both CTS and MAS, preferably in one or a set of applications that share similar underlying research challenges, is of interest to this workshop. An example could be: the design and development of a collaborative environment (say, a distributed planning tool) that enables multiple heterogeneous, human experts and agents to work in combination across computer networks on courses of actions in response to cyber attacks. Another example might be systems or interfaces supporting the division of labor between CTS and MAS elements during execution. The Workshop topics include (but are not limited to) the following: * MAS: Coordination of and by Computational Agents - Agent Communication, Languages and Protocols - Agent Models and Architectures - Multi-Agent Coordination and Cooperation - Human-Agent Interaction - Multi-User/Multi-Agent Interaction - Teamwork, Coalition Formation, Coordination - Peer to Peer Coordination - Modeling the Dynamics of MAS - Agent-based System Development - Collective Decision Making - Bargaining and Negotiation - Auction and Mechanism Design - Cooperative and Non-Cooperative Agents - Complex MAS - Virtual Agents Applications - Conversational Agents - Distributed Task Planning and Execution - Cooperation with Humans and Robots - Collective Intelligence - Agent Reasoning - Mining Agents - Security Agents * CTS: Agent Technologies and Systems Supporting Collaboration Among Humans - Architectures and Design of Collaborative Systems - Frameworks and Methodologies for Collaboration - Cognitive and Psychological Issues in Collaboration - Collaborative Human-Centered Systems - Cultural Aspects & Human Factors in Collaboration - Interfaces for Collaborative Work - Social Software Based Collaboration - Visualization of Collaborative Processes - Web Infrastructure for Collaborative Applications - Information Infrastructure for Collaboration - Management of Metadata for Collaboration - Mobile and Wireless Collaboration Systems - Modeling and Simulation of Collaboration - Platforms for Collaboration - Collaboration in Domain Applications Important: A submitted paper must have keywords from BOTH lists of MAS and CTS! Synergies of CTS and MAS topics are of interest with respect to any phase of a human or software systems lifecycle: specification, implementation, testing, evaluation, and deployment. PAPER SUBMISSION You are invited to submit original and unpublished research works on the above and other topics related to Collaborative Technologies and Multi-Agent Systems. Submitted papers must not have been published or simultaneously submitted elsewhere. Submission should include a cover page with authors' names, affiliation addresses, fax numbers, phone numbers, and email addresses. Please, indicate clearly the corresponding author and include up to 6 keywords from the above list of topics and an abstract of no more than 400 words. We welcome prospective participants to submit either full papers (up to 8 pages) or short papers (up to 4 pages). The manuscript should use the two-column IEEE format. Additional pages will be charged at additional fee. In case of multiple authors, an indication of which author is responsible for correspondence must be indicated. Please include page numbers on all preliminary submissions to make it easier for reviewers to provide helpful comments. Submit a PDF copy of your full manuscript to the Workshop paper submission site at the link: https://www.easychair.org/conferences/?conf=imasc2012. Notably, (1) only PDF files will be accepted; (2) papers should have the following name format for easy identification: ‘Surname_Initial_1.PDF’, where the Surname is that of the first author; and (3) follow the Easy Chair website instructions to login into the system (or create your account if necessary) and upload your paper accordingly. Each paper will receive a minimum of three reviews. Papers will be selected based on their originality, relevance, technical clarity and presentation. Submission implies the willingness of at least one of the authors to register and present the paper, if accepted. Authors of accepted papers must guarantee that their papers will be registered and presented at the workshop. Accepted papers will be published in the Conference proceedings. Instructions for final manuscript format and requirements will be posted on the CTS 2012 Conference web site. It is our intent to have the proceedings formally published in hard and soft copies and be available at the time of the conference. The proceedings is projected to be included in the IEEE Digital Library and indexed accordingly. If you have any questions about paper submission or the workshop, please contact the workshop organizers. IMPORTANT DATES Paper Submissions: ------------------------------------------- January 16, 2012 Acceptance Notification: ------------------------------------- February 06, 2012 Camera Ready Papers and Registration Due: ------- March 01, 2012 Conference Dates: -------------------------------------------- May 21 - 25, 2012 WORKSHOP ORGANIZERS Wei Chen Intelligent Automation, Inc. 15400 Calhoun Drive, Suite 400, Rockville, MD 20855, USA Phone : +1 (301) 294-5278, Email: wchen at i-a-i.com Edmund Durfee Computer Science and Engineering, University of Michigan 2260 Hayward Street, Ann Arbor MI 48109-2121, USA Phone: +1 (734) 936-1563, Email: durfee at umich.edu International Program Committee: All submitted papers will be reviewed by the workshop technical program committee members following similar criteria used in CTS 2012. Giacomo Cabri Università di Modena e Reggio Emilia, Italy Bradley Clement NASA JPL, USA Geoffrey Fox Indiana University, USA Alexander Grushin Intelligent Automation, Inc., USA Peng Liu Pennsylvania State University, USA Frank Liu Missouri University of Science and Technology, USA William Mcquay AFRL, USA John Meier Boeing, USA Priya Ranjan Human Development Foundation, India Volkmar Schau Friedrich Schiller University Jena, Germany Waleed Smari University of Dayton, USA Jose Vidal University of South Carolina (*Additional committee members may be available pending confirmation shortly.) For information or questions about Conference's paper submission, tutorials, posters, workshops, special sessions, exhibits, demos, panels and forums organization, doctoral colloquium, and any other information about the conference location, registration, paper formatting, etc., please consult the Conference’s web site at URL: http://cts2012.cisedu.info/ or contact one of the Conference's organizers or Co-Chairs: Geoffrey C. Fox at gcf at indiana.edu and Waleed W. Smari at Smari at arys.org. --------------------------------------------------------------- To unsubscribe, send an empty email to mailto:chi-announcements-unsubscribe-request at listserv.acm.org For further details of CHI lists see http://listserv.acm.org --------------------------------------------------------------- __________________________________________________________________________ This message and all attachments are PRIVATE, and contain information that is PROPRIETARY to Intelligent Automation, Inc. You are not authorized to transmit or otherwise disclose this message or any attachments to any third party whatsoever without the express written consent of Intelligent Automation, Inc. If you received this message in error or you are not willing to view this message or any attachments on a confidential basis, please immediately delete this email and any attachments and notify Intelligent Automation, Inc. From martin at limsi.fr Wed Dec 7 16:52:18 2011 From: martin at limsi.fr (Jean-Claude MARTIN) Date: Wed, 7 Dec 2011 16:52:18 +0100 Subject: Funded PhD studentship at LIMSI-CNRS on Autonomous Virtual Humans and Real-Time Digital Doubles applied to video games Message-ID: -------------------- Funded PhD studentship at LIMSI-CNRS on Autonomous Virtual Humans and Real-Time Digital Doubles applied to video games LIMSI-CNRS offers a funded PhD studentship for a student on Autonomous Virtual Humans and Real-Time Digital Doubles applied to video games. The post is available for three years and will start in January / February 2012. SUPERVISOR AND CONTACT Jean-Claude MARTIN (MARTIN at LIMSI.FR) -------------------- LOCATION LIMSI-CNRS, Orsay (30 km south of Paris, RER B) www.limsi.fr The Laboratory for Mechanics and Engineering Sciences (LIMSI) is a CNRS laboratory located on Paris South University. This thesis will take place in the group CPU (Cognition Perception Uses) of the Human-Machine Communication Department (Head : JC Martin). -------------------- PROJECT BACKGROUND The project is coordinated by the company ADN – “Agence de Doublure Numérique” (www.adnda.com), the ADN-TR project (Real Time Digital Doubles). The project introduces a new process for representing real persons in video games. It considers pre-computed cinematic production, and development of real-time games characters. -------------------- BRIEF DESCRIPTION OF THE SUBJECT The thesis consists in defining, implementing and evaluating a computational model for real-time animation of an expressive digital double of an actor. Constraints of fidelity will be formalized in terms of visual appearance, expressiveness and emotional behavior. This will require the specification and the optimization in order to enable real-time visual representation and management of the animation expressive space. This expressive space will be based on analyses of high-resolution recordings of an actor. A first step will be to establish a specific model of an individual actor. In a second step, the goal will be to specify a more generic model that can be used to simulate the behavior of autonomous virtual agents. The thesis will take place at LIMSI-CNRS in Orsay, in collaboration with the ADN Company. -------------------- PROFILE Master degree or engineer degree in computer science Mathematics, Computer Science, Object Oriented Programming C + + / JAVA Computer Graphics & Animation using by GPU OpenGL 3.3 / GLSL 3.3 / CUDA; Human-Computer Interaction, General knowledge of techniques and tools for 3D content creation (Maya) and real-time rendering (game engines) Facial animation -------------------- APPLICATION Email to MARTIN at LIMSI.FR: CV, grades and ranks of the last 2 years, examples of internship reports / projects. -- ********************************************** Jean-Claude MARTIN Professor of Computer Science at Paris-South 11 University Head of the Group "Cognition, Perception and Usability" at LIMSI-CNRS http://www.limsi.fr/Individu/martin/ Editor-in-Chief of the Springer Journal on Multimodal User Interfaces (JMUI) http://www.springer.com/computer/hci/journal/12193 ---------------------------------------------- LIMSI-CNRS, University of Paris Sud Building 508, Office 204 B.P. 133, 91403 ORSAY cedex (France). Tel.: +33 1 6985 8104 - Fax: +33 1 6985 8088 Email: MARTIN at LIMSI.FR ********************************************** -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From m.b.vanriemsdijk at tudelft.nl Thu Dec 8 15:10:07 2011 From: m.b.vanriemsdijk at tudelft.nl (Birna van Riemsdijk) Date: Thu, 8 Dec 2011 15:10:07 +0100 Subject: Job opening: 4-year PhD position in agent-based socio-geographical support (TU Delft, Netherlands) Message-ID: Job opening: 4-year PhD position in agent-based socio-geographical support (TU Delft, Netherlands) TU Delft, Faculty/department Electrical Engineering, Mathematics and Computer Science Keywords: norms and social structures, decision support, human-agent teamwork, human-computer interaction, user studies ------------------------------------------------------------------------------------- JOB DESCRIPTION As part of the COMMIT program, a vacancy position for a PhD student is available. As PhD student you would participate in the Interaction for Universal Access project, which objective is to develop explicit and implicit methods of “natural” interaction and support a diverse group of citizens to access services in their (social) environment. The work of PhD student will focus on the navigation through socio-geographical environments with agent-based and multimedia-enriched support. This support should help citizens to form relevant mental models of the structure of their social and geographical environment, helping them to feel safe and secure. The general research questions are: (1) How do people learn and maintain awareness of the spatial and social structure of their environment with its dynamics? (2) How do they learn to identify the social risks (strangers in the proverbial “dark alley”) and rewards (potential friends)? (3) How can intelligent agents be used to create support systems that can make the socio-geographical inclusion process more efficient? The PhD project will investigate techniques for developing an intelligent "ePartner" to support people in their navigation through socio-geographical environments. The ePartner is an intelligent agent who should be able to cooperate with its human user, and maintain in contact with ePartners of other people. To its user it should be able to provide decision support, e.g., in identification of social risks and rewards. For this the agent should be able to form a mental model of the social and geographical network in which it is operating, i.e., it should be able to detect, understand and reason about the social and geographical norms, conventions and (social) structures that are in place in that environment. Also it should be possible for the user to formulate norms for the behavior of the ePartner in order to appropriately constrain it, e.g., concerning its interactions with other ePartners. The scientific challenge of this project is thus on the one hand in the area of detecting and reasoning about norms and social structures, and on the other hand on human-agent teamwork between ePartner and human and among ePartners. Your responsibilities include developing several working prototypes of the agent based support system, and conducting the evaluation studies. The research will start with young elementary school children (6-12 years), who have just moved to a new neighbourhood, and for whom it is important to ease the geographical and social integration. Among other things, the study will provide insight in what problems children experience when having to integrate in their novel environment, and how to solve such problems via agent-based and media-mediated navigation. Using a distributed approach, members of a district become key actors in discussing important issues or events in a district and building social cohesion of their community. Allowing them to use multimedia elements (text, pictures, and video) to annotate geographical maps of a district, would create a real-time environment, accessible on mobile platforms. These platforms would give users on location information related to their location. The focus of the first year will be on identifying key design factors that influence social acceptable interaction strategies which supports district members to exchange autobiographical information about their district. The second year will focus on district navigation support targeting young elementary school children new to the neighbourhood. The tool aims at supporting this target group with becoming familiar with social and geographical environment of an unfamiliar district. In year 3 the focus shifts towards the support of real time situational awareness of the district and its members. In the last year focus will be on socio-geographical support in the context of a specific event in the district. An important factor to increase cohesion in the district is the participation of local events such as Queens day, carnival, “intocht Sinterklaas”, and football world cup. REQUIREMENTS As a PhD student your tasks concern the following activities: * perform scientific research * develop research prototypes using a situated cognitive engineering approach (iterative development cycles, empirical evaluation of prototypes with its users, scenario- and claim-based analysis,and focus group reviews) * present results in scientific conferences * publish in renowned scientific journals * participate in activities of the research group We are looking for excellent candidates who meet the following requirements: * an MSc degree in computer science, media and knowledge engineering, human technology interaction, artificial intelligence or a closely related field; * good programming skills * excellent communication skills, both spoken and written Dutch and English; non-Dutch speakers should be willing and able to learn Dutch within the first year in order to be able to conduct user studies * you have a creative mind, like to work to a meticulous level and have stamina The ideal candidate is interested in conducting applied research and has expertise both in AI/multi-agent systems as well as in human-computer interaction (HCI). Candidates without HCI background should be interested in and willing to acquire this expertise during the PhD, as it comprises an important part of the research. You will be part of the project team, which consists of experts in cognitive engineering and agent-based modelling. The work will lead to a PhD under the supervision of Prof.dr. M.A. Neerincx, Dr. M.B. van Riemsdijk, and Dr.ir. W.-P. Brinkman. CONDITIONS OF EMPLOYMENT TU Delft offers an attractive benefits package, including a flexible work week, free high-speed Internet access from home (with a contract of two years or longer), and the option of assembling a customised compensation and benefits package (the 'IKA'). Salary and benefits are in accordance with the Collective Labour Agreement for Dutch Universities. Employment is for a maximum of 38 hours per week (1 FTE), duration of the contract is 4 years, and salary scale is approx. EUR2042 to EUR2612 per month gross. INFORMATION AND APPLICATION For more information about these positions, please contact Dr. M.B. van Riemsdijk (m.b.vanRiemsdijk at tudelft.nl); or Dr.ir. Brinkman (w.p.brinkman at tudelft.nl). To apply, please submit the following application materials: (1) Curriculum Vitae including contact details of references. (2) Course lists with grades. (3) A letter of application in which you explain both your interest and the relevance of your skills and experience in the context of this research project. At this stage, please do NOT submit papers or theses that you might have written. You may submit your materials either by post to Ms. J. Eddini, Mekelweg 4, 2628 CD Delft, The Netherlands; or by e-mail to hr-eemcs at tudelft.nl. Please send your application by 1 January 2012. When applying for this position, please refer to vacancy number EWI2011-17. ELECTRICAL ENGINEERING, MATHEMATICS AND COMPUTER SCIENCE The Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) is known worldwide for its high academic quality and the social relevance of its research programmes. The faculty’s excellent facilities accentuate its international position in teaching and research. The faculty offers an interdisciplinary setting for its 500 employees, 350 PhD students and 1700 undergraduates. Together they work on a broad range of technical innovations in the fields of sustainable energy, telecommunications, microelectronics, embedded systems, computer and software engineering, interactive multimedia and applied mathematics. EEMCS: Your Connection to the Future. The Department of Mediamatics comprises the media-oriented computer science groups in the Faculty of EEMCS and is responsible for a major part of the Bachelor and Master programmes in Computer Science. The department’s mission is to be internationally recognised for its excellent researchers in the field of data processing and interpretation using model- and knowledge-based algorithms. The department aims thus to enable man and machine, in close cooperation with their intelligent environment, to deal with ever increasing information flows. The mission of the Man-Machine Interaction Group is to engineer adaptive, intelligent systems to create intended user experiences. We consider the entire chain, from analysis, modelling and system design to implementation and evaluation. Our research focuses on the combination of the research disciplines of Artificial Intelligence (AI), including the themes of agent reasoning and programming and computational intelligence, and Cognitive Engineering (CE), including the research themes of user-centred design and human perception. Application areas include negotiation and eHealth. ----------------------------- Dr. M. Birna van Riemsdijk assistant professor Man-Machine Interaction Group Department of Mediamatics Faculty of Electrical Engineering, Mathematics and Computer Science Delft University of Technology Mekelweg 4 2628 CD Delft The Netherlands Room: HB 12.080 Telephone: +31 (0)15 2786331 Fax: +31 (0)15 2787141 Website: http://mmi.tudelft.nl/~birna/ Twitter: @mbirna From b.verheij at ai.rug.nl Thu Dec 8 15:56:50 2011 From: b.verheij at ai.rug.nl (Bart Verheij) Date: Thu, 8 Dec 2011 15:56:50 +0100 Subject: Two PhD positions Forensic Science in the project "Designing and Understanding Forensic Bayesian Networks with Arguments and Scenarios" Message-ID: PhD positions Forensic Science (2,0 fte) Job description These two PhD positions are part of the project "Designing and Understanding Forensic Bayesian Networks with Arguments and Scenarios" that is funded by the Netherlands Institute for Scientific Research in the Forensic Science program (www.nwo.nl/forensicscience). The project is a cooperation of the University of Groningen (Department of Artificial Intelligence) and Utrecht University (Department of Information and Computing Sciences) supported by partners from forensic legal practice. In order to prevent miscarriages of justice such as the infamous Lucia de Berk case, the communication between forensic statisticians, crime investigators and lawyers about statistical evidence should be improved. It is well-known that lawyers and other non-experts in statistics often make serious mistakes when confronted with statistical evidence, while there is ample evidence that lawyers tend to think in terms of arguments and scenarios. Therefore the project aims to develop methods for supporting argumentation- and narrative-based communication about statistical evidence. Both the design and the understanding of models of evidence will be investigated. This study will be carried out in two subprojects, addressing, respectively, argumentation and narrative techniques. Both subprojects take the statistical formalism of Bayesian Networks as point of departure. In the subproject performed at Utrecht University, argumentation techniques for the design and understanding of models of evidence will be developed. In the subproject performed at the University of Groningen, the design and understanding of models of evidence will be investigated using narrative techniques. The project is the first that addresses the communicative gap between forensic statisticians, crime investigators and lawyers, by combining Bayesian Networks with models of scenario construction and argumentation. On request, we can send you the full plan for the project. In that case, and for other questions, please contact Dr B. Verheij. Requirements A successful candidate has a Master's degree in Artificial Intelligence, Computer Science, Mathematics, Philosophy, or a related field, and has an interest in formal research in argumentation, narrative techniques and Bayesian Networks, and their application in forensic contexts. Conditions of employment The University of Groningen and Utrecht University offers a salary of € 2,042 gross per month in the first year up to a maximum of € 2,612 gross per month in the final year. The appointment is for a period of four years, which should be finished with a PhD examination. The full time appointment is temporary for 1.5 years with the perspective of prolongation for another 2.5 years. After the first year, there will be an evaluation of the feasibility of successful completion of the PhD thesis within the next three years. You and your supervisors will make up a plan for additional education and supervising that is specific to your needs. How to apply Send a cover letter (with professional goals and a statement of interest), a curriculum vitae and two letters of recommendation (PDF format) to the job application portal before January 15th, 2011 although applications received after the deadline may be considered. If you have a preference for one of the two subprojects, this can be indicated in your application. Starting date: as soon as possible. Organisation Faculty of Mathematics and Natural Sciences The two subprojects will each be performed by one PhD student in close collaboration. One PhD student will be based at the University of Groningen (Faculty of Mathematics and Natural Sciences, Department of Artificial Intelligence, Multi-Agent Systems group), the other at the Utrecht University (Faculty of Science, Department of Information and Computing Sciences, Intelligent Systems group). Both groups have a world-class reputation, in particular in the fields of AI and law and of Bayesian Networks. Daily supervision will be performed by Dr B. Verheij, Prof. H. Prakken and Dr S. Renooij. The PhD student based in Groningen will participate in the Graduate School of Science of the Faculty of Mathematics and Natural Sciences. Additional information Dr B. Verheij b.verheij at ai.rug.nl More information about the project http://www.ai.rug.nl/~verheij/nwofs More information about employer University of Groningen on AcademicTransfer. Direct link to this job opening: http://www.academictransfer.com/12220/ From frank.loebe at informatik.uni-leipzig.de Thu Dec 8 17:14:17 2011 From: frank.loebe at informatik.uni-leipzig.de (Frank Loebe) Date: Thu, 8 Dec 2011 17:14:17 +0100 Subject: FOIS 2012: Call for Papers Message-ID: <004001ccb5c4$736aac50$5a4004f0$@informatik.uni-leipzig.de> (apologies for cross-posting) ... (please distribute) ----------------------------------------------------------------- ------------- CALL FOR PAPERS | FOIS 2012 | Jul 24-27, Graz, Austria ------------- -> DEADLINE: Conference paper submission: Jan 31, 2012 (in ca. 8 weeks) [1] http://purl.org/icbofois2012 ------------------------------------------------ TITLE AND CO-LOCATION ------------------------------------------------ Seventh International Conference on Formal Ontologies in Information Systems (FOIS 2012) July, 24-27, 2012 in Graz, Austria held together with the Third International Conference on Biomedical Ontology (ICBO 2012) ------------------------------------------------ DEFINITION AND SCOPE ------------------------------------------------ Ontology, originally a fundamental part of philosophical enquiry, is concerned with the analysis and categorization of what exists. In recent years, however, a complementary focus of ontological inquiry gained significant momentum fueled by the advent of complex information systems which rely on robust and coherent representations of their subject matter. The systematic study of such representations, their reasoning techniques and their relations to reality, are at the center of the modern discipline of formal ontology. Formal ontology in this modern sense is now a research focus in such diverse domains as conceptual modeling, database design, software engineering, organizational modeling, artificial intelligence, computational linguistics, the life sciences, bioinformatics, geographic information science, knowledge engineering, information retrieval, and the semantic web. Researchers in all these areas increasingly recognize the need for serious engagement with ontology, understood as a general theory of the types of entities and relations making up their respective domains of enquiry, in providing a solid foundation for their work. The FOIS conference is designed to provide a meeting point for researchers from all disciplines with an interest in formal ontology. The conference encourages submission of high quality articles on both theoretical issues and concrete applications. As in previous years, FOIS 2012 is intended as a nexus of interdisciplinary research and communication [1]. The FOIS conference series [2] began with the first meeting in Trento, Italy in June 1998 followed by meetings in 2001, 2004, 2006, 2008, and 2010. The seventh FOIS conference will be held in Graz, Austria July 24-27, 2012, in conjunction with the third International Conference on Biomedical Ontology (ICBO 2012) [1]. FOIS is the flagship conference of the International Association for Ontology and its Applications (IAOA) [3], which is a non-profit organization the purpose of which is to promote interdisciplinary research and international collaboration at the intersection of philosophical ontology, linguistics, logic, cognitive science, and computer science, as well as in the applications of ontological analysis to conceptual modeling, knowledge engineering, knowledge management, information-systems development, library and information science, scientific research, and semantic technologies in general. ------------------------------------------------ TOPICS OF INTEREST ------------------------------------------------ We seek high-quality papers on a wide range of topics. While authors may focus on fairly narrow and specific issues, all papers should emphasize the relevance of the work described to formal ontology and to information systems. Papers that completely ignore one or the other of these aspects will be considered as lying outside the scope of the meeting. Topic areas of particular interest to the conference are: Foundational Issues * Kinds of entity: particulars/universals, continuants/occurrents, abstracta/concreta, dependent/independent entities, natural objects/artifacts * Formal relations: parthood, identity, connection, dependence, constitution, subsumption, instantiation * Vagueness and granularity * Identity and change * Formal comparison among ontologies * Ontology of physical reality (matter, space, time, motion, ...) * Ontology of biological reality (genes, proteins, cells, organisms, ...) * Ontology of artifacts, functions and roles * Ontology of mental reality and agency (beliefs, intentions, emotions, ...) * Ontology of social reality (institutions, organizations, norms, social relationships, artistic expressions, ...) * Ontology of the information society (information, communication, meaning negotiation, ...) * Ontology and Natural Language Semantics, Ontology and Cognition Methodologies and Applications * Top-level vs application ontologies * Ontology integration and alignment; role of reference ontologies * Ontology-driven information systems design * Ontological foundations for conceptual modeling * Ontology-based application systems * Requirements engineering * Knowledge engineering * Knowledge management and organization * Knowledge representation; Qualitative modeling * Computational lexicons; Terminology * Information retrieval; Question-answering * Semantic Web; Web services; Grid computing * Domain-specific ontologies, especially for: Biomedical science, E-business, Enterprise integration, Engineering, Geography, Law, Library science, Linguistics, ... ------------------------------------------------ KEYNOTE SPEAKERS ------------------------------------------------ Steven R. Ray (Carnegie Mellon Silicon Valley, California, USA) Laure Vieu (CNRS-IRIT, Toulouse, France) Edward N. Zalta (Stanford University, California, USA) ------------------------------------------------ IMPORTANT DATES ------------------------------------------------ We are calling for papers to be considered for inclusion in FOIS 2012. Conference paper submission: Jan 31, 2012 <-- Conference paper notification: Mar 08, 2012 Camera-ready conference papers: Mar 24, 2012 Workshop paper submission: Mar 15, 2012 Workshop paper notification: Apr 15, 2012 Camera-ready workshop papers: Jun 30, 2012 Conference dates: Jul 24-27, 2012 ------------------------------------------------ AUTHOR INSTRUCTIONS FOR CONFERENCE PAPERS ------------------------------------------------ Submitted papers must not exceed 14 pages, including the bibliography and an abstract of no more than 300 words. Papers should be submitted electronically as PDF files prepared in accordance with the IOS formatting guidelines [4]. Submissions should be made via Easychair at the following address: [5] https://www.easychair.org/account/signin.cgi?conf=fois2012 Proceedings will be published by IOS Press and will be available at the time of the conference. Please note that at least one author must register for the conference in order for an accepted paper to be published in the proceedings. ------------------------------------------------ CONFERENCE ORGANISATION ------------------------------------------------ Conference chair: Michael Gruninger (University of Toronto, Canada) Program chairs: Maureen Donnelly (University at Buffalo, USA) Giancarlo Guizzardi (Fed. Univ. of Espírito Santo, Brazil) Local organization: Stefan Schulz (Graz University, Austria) ------------------------------------------------ PROGRAM COMMITTEE ------------------------------------------------ Achille Varzi (Columbia University, New York, USA) Alan Rector (University of Manchester, UK) Albert Goldfain (University at Buffalo, USA) Aldo Gangemi (ISTC-CNR, Rome, Italy) Alessandro Lenci (University of Pisa, Italy) Antony Galton (University of Exeter, UK) Barry Smith (University at Buffalo, USA) Bill Andersen (Highleet, Inc., USA) Brandon Bennett (University of Leeds, UK) Carola Eschenbach (University of Hamburg, Germany) Chris Menzel (Texas A&M University, USA) Chris Welty (IBM Research, Hawthorne, USA) Christiane Fellbaum (Princeton University, USA) Claudio Masolo (ISTC-CNR, Trento, Italy) Colin Batchelor (Royal Society of Chemistry, UK) Daniel Oberle (SAP Research, CEC Karlsruhe, Germany) David Mark (University at Buffalo, USA) Decio Krause (Fed. Univ. of Santa Catarina (UFSC), Brazil) Fabian Neuhaus (NIST, USA) Florian Probst (SAP, Germany) Frank Loebe (University of Leipzig, Germany) Fred Freitas (Fed. Univ. of Pernambuco, Recife, Brazil) Frederico Fonseca (Penn State University, USA) Gerd Wagner (Brandenburg University of Technology, Germany) Heinrich Herre (University of Leipzig, Germany) Jan Dietz (Delft University of Technology, The Netherlands) Janna Hastings (University of Geneva, Switzerland) Jeffrey Parsons (Memorial University of Newfoundland, Canada) Jerome Euzenat (INRIA, Grenoble, France) Jerry Hobbs (University of Southern California, USA) Johanna Seibt (University of Aarhus, Denmark) John Bateman (University of Bremen, Germany) John Mylopoulos (University of Toronto, Canada) John Sowa (Vivomind Intelligence Inc., USA) Joost Breuker (University of Amsterdam, The Netherlands) Ken Kaneiwa (National Institute of Informatics, Tokyo, Japan) Krzysztof Janowicz, (UCLA, USA) Laure Vieu (CNRS-IRIT, Toulouse, France) Leo Obrst (The Mitre Corporation, USA) Leonardo Lesmo (University of Torino, Italy) Maria Luiza Machado Campos (Fed. Univ. of Rio de Janeiro, Brazil) Mark Musen (Stanford University, USA) Martin Doerr (Foundation for Research and Technology, Greece) Mathias Brochhausen (Univ. of Arkansas for Medical Sciences, USA) Mathias Samwald (Medical University of Vienna, Austria) Matteo Cristani (University of Verona, Italy) Mauricio Barcelos de Almeida (Fed. Univ. of Minas Gerais, Brazil) Michael F. Uschold (Semantic Arts, Canada) Michael Gruninger (University of Toronto, Canada) Michael Sintek (DFKI GmbH, Kaiserslautern, Germany) Michel Dumontier (Carleton University, Canada) Natasha Noy (Stanford University, USA) Nicola Guarino (ISTC-CNR, Trento, Italy) Olivier Bodenreider (National Library of Medicine, USA) Oscar Pastor (Polytechnic University of Valencia, Spain) Paul Buitelaar (National University of Ireland, Galway) Peter Rittgen (University College Boras, Sweden) Pierdaniele Giaretta (University of Verona, Italy) Pierre Grenon (Open University, UK) Ricardo Falbo (Federal University of Espírito Santo, Brazil) Riichiro Mizoguchi (University of Osaka, Japan) Robert Hoehndorf (University of Cambridge, UK) Roberta Ferrario (ISTC-CNR, Trento, Italy) Roberto Casati (CNRS-EHSS, Paris, France) Stefano Borgo (ISTC-CNR, Trento, Italy) Terry Halpin (LogicBlox, Australia) Terry Langendoen (University of Arizona, USA) Thomas Bittner (University at Buffalo, USA) Tony Cohn (School of Computing, University of Leeds, UK) Ulrike Sattler (University of Manchester, UK) Veda Storey (Georgia State University, USA) Werner Ceusters (University at Buffalo, USA) Werner Kuhn (University of Munster, Germany) William McCarthy (Michigan State University, USA) Yair Wand (University of British Columbia, Canada) ------------------------------------------------ LINKS ------------------------------------------------ [1] http://purl.org/icbofois2012 == http://www.kr-med.org/icbofois2012 FOIS and ICBO 2012 website [2] http://www.formalontology.org/ FOIS conference series [3] http://www.iaoa.org International Association for Ontology and Its Applications [4] http://www.iospress.nl/authco/instruction_crc.html IOS Press formatting guidelines [5] https://www.easychair.org/account/signin.cgi?conf=fois2012 Submission at EasyChair ----------------------------------------------------------------- From xrambous at aurora.fi.muni.cz Fri Dec 9 16:29:39 2011 From: xrambous at aurora.fi.muni.cz (TSD 2012) Date: Fri, 09 Dec 2011 16:29:39 +0100 Subject: TSD 2012 Last Call for Paper Message-ID: ********************************************************* TSD 2012 - PRELIMINARY ANNOUNCEMENT ********************************************************* Fifteenth International Conference on TEXT, SPEECH and DIALOGUE (TSD 2012) Brno, Czech Republic, 3-7 September 2012 http://www.tsdconference.org/ The conference is organized by the Faculty of Informatics, Masaryk University, Brno, and the Faculty of Applied Sciences, University of West Bohemia, Pilsen. The conference is supported by International Speech Communication Association. Venue: Brno, Czech Republic TSD SERIES TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. Proceedings of TSD form a book published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series. TOPICS Topics of the conference will include (but are not limited to): Corpora and Language Resources (monolingual, multilingual, text and spoken corpora, large web corpora, disambiguation, specialized lexicons, dictionaries) Speech Recognition (multilingual, continuous, emotional speech, handicapped speaker, out-of-vocabulary words, alternative way of feature extraction, new models for acoustic and language modelling) Tagging, Classification and Parsing of Text and Speech (multilingual processing, sentiment analysis, credibility analysis, automatic text labeling, summarization, authorship attribution) Speech and Spoken Language Generation (multilingual, high fidelity speech synthesis, computer singing) Semantic Processing of Text and Speech (information extraction, information retrieval, data mining, semantic web, knowledge representation, inference, ontologies, sense disambiguation, plagiarism detection) Integrating Applications of Text and Speech Processing (machine translation, natural language understanding, question-answering strategies, assistive technologies) Automatic Dialogue Systems (self-learning, multilingual, question-answering systems, dialogue strategies, prosody in dialogues) Multimodal Techniques and Modelling (video processing, facial animation, visual speech synthesis, user modelling, emotions and personality modelling) Papers on processing of languages other than English are strongly encouraged. PROGRAM COMMITTEE Hynek Hermansky, USA (general chair) Eneko Agirre, Spain Genevieve Baudoin, France Jan Cernocky, Czech Republic Radovan Garabik, Slovakia Alexander Gelbukh, Mexico Louise Guthrie, GB Jan Hajic, Czech Republic Eva Hajicova, Czech Republic Patrick Hanks, GB Ludwig Hitzenberger, Germany Jaroslava Hlavacova, Czech Republic Ales Horak, Czech Republic Eduard Hovy, USA Ivan Kopecek, Czech Republic Steven Krauwer, The Netherlands Siegfried Kunzmann, Germany Natalija Loukachevitch, Russia Vaclav Matousek, Czech Republic Hermann Ney, Germany Elmar Noeth, Germany Karel Oliva, Czech Republic Karel Pala, Czech Republic Nikola Pavesic, Slovenia Vladimir Petkevic, Czech Republic Fabio Pianesi, Italy Maciej Piasecki, Poland Adam Przepiorkowski, Poland Josef Psutka, Czech Republic James Pustejovsky, USA Leon Rothkrantz, The Netherlands Milan Rusko, Slovakia Pavel Skrelin, Russia Pavel Smrz, Czech Republic Petr Sojka, Czech Republic Marko Tadic, Croatia Tamas Varadi, Hungary Zygmunt Vetulani, Poland Taras Vintsiuk, Ukraine Yorick Wilks, GB Victor Zakharov, Russia FORMAT OF THE CONFERENCE The conference program will include presentation of invited papers, oral presentations, and a poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions. Social events including a trip in the vicinity of Brno will allow for additional informal interactions. CONFERENCE PROGRAM The conference program will include oral presentations and poster/demonstration sessions with sufficient time for discussions of the issues raised. IMPORTANT DATES March 15 2012 ............ Submission of abstract March 22 2012 ............ Submission of full papers May 15 2012 .............. Notification of acceptance May 31 2012 .............. Final papers (camera ready) and registration July 26 2012 ............. Submission of demonstration abstracts July 31 2012 ............. Notification of acceptance for demonstrations sent to the authors September 3-7 2012 ....... Conference date The contributions to the conference will be published in proceedings that will be made available to participants at the time of the conference. OFFICIAL LANGUAGE of the conference will be English. ADDRESS All correspondence regarding the conference should be addressed to Vendula Halkova, TSD 2012 Faculty of Informatics, Masaryk University Botanicka 68a, 602 00 Brno, Czech Republic phone: +420-5-49 49 18 63 fax: +420-5-49 49 18 20 email: tsd2012 at tsdconference.org LOCATION Brno is the second largest city in the Czech Republic with a population of almost 400.000 and is the country's judiciary and trade-fair center. Brno is the capital of South Moravia, which is located in the south-east part of the Czech Republic and is known for a wide range of cultural, natural, and technical sights. South Moravia is a traditional wine region. Brno had been a Royal City since 1347 and with its six universities it forms a cultural center of the region. Brno can be reached easily by direct flights from London, Moscow, Saint Petersburg, Eindhoven, Rome and Prague and by trains or buses from Prague (200 km) or Vienna (130 km). From pmt6sbc at maths.leeds.ac.uk Sat Dec 10 19:55:02 2011 From: pmt6sbc at maths.leeds.ac.uk (S B Cooper) Date: Sat, 10 Dec 2011 18:55:02 GMT Subject: Turing Centenary Conference, Cambridge, June 18-23, 2012 Message-ID: <201112101855.pBAIt2I2014748@maths.leeds.ac.uk> ********************************************************************** SECOND CALL FOR PAPERS: TURING CENTENARY CONFERENCE http://www.cie2012.eu Computability in Europe 2012: How the World Computes University of Cambridge Cambridge, 18-23 June 2012 CiE 2012 is one of a series of special events, running throughout the Alan Turing Year, celebrating Turing's unique impact on mathematics, computing, computer science, informatics, morphogenesis, artificial intelligence, philosophy and computational aspects of physics, biology, linguistics, connectionist models, economics and the wider scientific world. CiE 2012 is planned to be an event worthy of the remarkable scientific career it commemorates. PLENARY SPEAKERS include: Andrew Hodges (Oxford, Special Invited Lecture), Ian Stewart (Warwick, Special Public Lecture), Dorit Aharonov (Jerusalem), Veronica Becher (Buenos Aires), Lenore Blum (Carnegie Mellon), Rodney Downey (Wellington), Yuri Gurevich (Microsoft), Juris Hartmanis (Cornell), Richard Jozsa (Cambridge), Stuart Kauffman (Vermont/ Santa Fe), James Murray (Washington/ Oxford, Microsoft Research Lecture), Stuart Shieber (Harvard), Paul Smolensky (Johns Hopkins) and Leslie Valiant (Harvard, jointly organised lecture with King's College). SUBMISSION OF PAPERS and informal presentations are now invited for this historic event. For submission details, see: http://www.mathcomp.leeds.ac.uk/turing2012/WScie12/give-page.php?12 The CONFERENCE PROCEEDINGS will be published by LNCS, Springer-Verlag. Post-conference publications include special issues of APAL and LMCS. We encourage all researchers presenting papers of the highest research quality at CiE 2012 to submit their full papers to the CiE journal COMPUTABILITY where they will be handled as regular submissions. IMPORTANT DATES: Submission Deadline for LNCS: Jan. 20, 2012 Notification of authors: Mar. 16, 2012 Deadline for final revisions: Apr. 6, 2012 Submission Deadline for Informal Presentations: May 11, 2012 CiE 2012 CONFERENCE TOPICS include, but not exclusively - * Admissible sets * Algorithms * Analog computation * Artificial intelligence * Automata theory * Bioinformatics * Classical computability and degree structures * Cognitive science and modelling * Complexity classes * Computability theoretic aspects of programs * Computable analysis and real computation * Computable structures and models * Computational and proof complexity * Computational biology * Computational creativity * Computational learning and complexity * Computational linguistics * Concurrency and distributed computation * Constructive mathematics * Cryptographic complexity * Decidability of theories * Derandomization * DNA computing * Domain theory and computability * Dynamical systems and computational models * Effective descriptive set theory * Emerging and Non-standard Models of Computation * Finite model theory * Formal aspects of program analysis * Formal methods * Foundations of computer science * Games * Generalized recursion theory * History of computation * Hybrid systems * Higher type computability * Hypercomputational models * Infinite time Turing machines * Kolmogorov complexity * Lambda and combinatory calculi * L-systems and membrane computation * Machine learning * Mathematical models of emergence * Molecular computation * Morphogenesis and developmental biology * Multi-agent systems * Natural Computation * Neural nets and connectionist models * Philosophy of science and computation * Physics and computability * Probabilistic systems * Process algebras and concurrent systems * Programming language semantics * Proof mining and applications * Proof theory and computability * Proof complexity * Quantum computing and complexity * Randomness * Reducibilities and relative computation * Relativistic computation * Reverse mathematics * Semantics and logic of computation * Swarm intelligence and self-organisation * Type systems and type theory * Uncertain Reasoning * Weak systems of arithmetic and applications We particularly welcome submissions in emergent areas, such as bioinformatics and natural computation, where they have a basic connection with computability. CiE 2012 will have a special relationship to the scientific legacy of Alan Turing, reflected in the broad theme: How the World Computes, with all its different layers of meaning. Contributions which are directly related to the visionary and seminal work of Turing will be particularly welcome. SPECIAL SESSIONS include: * The Universal Turing Machine, and History of the Computer Chairs: Jack Copeland and John Tucker * Cryptography, Complexity, and Randomness Chairs: Rod Downey and Jack Lutz Speakers so far: Eric Allender, Lance Fortnow, Omer Reingold, Alexander Shen * The Turing Test and Thinking Machines Chairs: Mark Bishop and Rineke Verbrugge Speakers: Bruce Edmonds, John Preston, Susan Sterrett, Kevin Warwick, Jiri Wiedermann * Computational Models After Turing: The Church-Turing Thesis and Beyond Chairs: Martin Davis and Wilfried Sieg Speakers: Giuseppe Longo, Peter Nemeti, Stewart Shapiro (tbc), Matthew Szudzik, Philip Welch, Michiel van Lambalgen * Morphogenesis/Emergence as a Computability Theoretic Phenomenon Chairs: Philip Maini and Peter Sloot Speakers: Jaap Kaandorp, Shigeru Kondo, Nick Monk, John Reinitz, James Sharpe, Jonathan Sherratt * Open Problems in the Philosophy of Information Chairs: Pieter Adriaans and Benedikt Loewe Speakers: Patrick Allo, Luis Antunes, Mark Finlayson, Amos Golan, Ruth Millikan Information of funding for students (including ASL grants) and the attendance of female researchers is to follow. There will be the annual Women in Computability Workshop, supported by a grant from the Elsevier Foundation. CiE 2012 will be associated/co-located with a number of other Turing centenary events, including: * ACE 2012, June 15-16, 2012 * Computability and Complexity in Analysis (CCA 2012), June 24-27, 2012 http://cca-net.de/cca2012/ * Developments in Computational Models (DCM 2012), June 17, 2012 http://www.math.uni-hamburg.de/home/loewe/DCM2012/ * THE INCOMPUTABLE at Kavli Royal Society International Centre Chicheley Hall, June 12-15, 2012 http://www.mathcomp.leeds.ac.uk/turing2012/inc/ Contributed papers will be selected from submissions received by the PROGRAMME COMMITTEE consisting of: * Samson Abramsky (Oxford) * Pieter Adriaans (Amsterdam) * Franz Baader (Dresden) * Arnold Beckmann (Swansea) * Mark Bishop (London) * Paola Bonizzoni (Milan) * Luca Cardelli (Cambridge) * Douglas Cenzer (Gainesville) * S Barry Cooper (Leeds, Co-chair) * Ann Copestake (Cambridge) * Anuj Dawar (Cambridge, Co-chair) * Solomon Feferman (Stanford) * Bernold Fiedler (Berlin) * Luciano Floridi (Hertfordshire) * Martin Hyland (Cambridge) * Marcus Hutter (Canberra) * Viv Kendon (Leeds) * Stephan Kreutzer (Oxford) * Ming Li (Waterloo) * Benedikt Loewe (Amsterdam) * Angus MacIntyre (London) * Philip Maini (Oxford) * Larry Moss (Bloomington) * Amitabha Mukerjee (Kanpur) * Damian Niwinski (Warsaw) * Dag Normann (Oslo) * Prakash Panangaden (Montreal) * Jeff Paris (Manchester) * Brigitte Pientka (Montreal) * Helmut Schwichtenberg (Munich) * Wilfried Sieg (Carnegie Mellon) * Mariya Soskova (Sofia) * Bettina Speckmann (Eindhoven) * Christof Teuscher (Portland) * Peter van Emde Boas (Amsterdam) * Jan van Leeuwen (Utrecht) * Rineke Verbrugge (Groningen) 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) for presentation at CiE 2012. We particularly invite papers that build bridges between different parts of the research community. ORGANISING COMMITTEE: Arnold Beckmann (Swansea), Luca Cardelli (Cambridge), S Barry Cooper (Leeds), Ann Copestake (Cambridge), Anuj Dawar (Cambridge, Chair), Bjarki Holm (Cambridge), Martin Hyland (Cambridge), Benedikt Loewe (Amsterdam), Arno Pauly (Cambridge), Andrew Pitts (Cambridge) The conference is sponsored by the ASL, EACSL, EATCS, Elsevier Foundation, IFCoLog, King's College Cambridge, The University of Cambridge and Microsoft Research. For a small poster to download and display: http://www.mathcomp.leeds.ac.uk/turing2012/WScie12/Images/cie12.poster.1000x1400.png Contact: Anuj Dawar - anuj.dawar(at)cl.cam.ac.uk ********************************************************************** From invitation at iariaschedule.org Sat Dec 10 20:57:03 2011 From: invitation at iariaschedule.org (ICSNC 2012) Date: Sat, 10 Dec 2011 14:57:03 -0500 Subject: 1st CfP: ICSNC 2012 || November 18-23, 2011 - Lisbon, Portugal Message-ID: <1323547023601.3377@iariaschedule.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 2012. The submission deadline is set to July 7, 2012. In addition, authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org ================= ============== ICSNC 2012 | Call for Papers =============== CALL FOR PAPERS, TUTORIALS, PANELS ICSNC 2012, The Seventh International Conference on Systems and Networks Communications November 18-23, 2011 - Lisbon, Portugal General page: http://www.iaria.org/conferences2012/ICSNC12.html Call for Papers: http://www.iaria.org/conferences2012/CfPICSNC12.html - regular papers - short papers (work in progress) - posters Submission page: http://www.iaria.org/conferences2012/SubmitICSNC12.html Submission deadline: July 7, 2012 Sponsored by IARIA, www.iaria.org Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.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 2012 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 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 ================================================ 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 Wiebe.Van-Der-Hoek at liverpool.ac.uk Mon Dec 12 09:51:25 2011 From: Wiebe.Van-Der-Hoek at liverpool.ac.uk (Van der Hoek, Wiebe) Date: Mon, 12 Dec 2011 08:51:25 +0000 Subject: PhD studentships Computer Science, Liverpool Message-ID: Applications are invited for a number of PhD positions at the Department of Computer Science of the University of Liverpool, UK. More information can be found at http://www.csc.liv.ac.uk/~pwg/2012-studentships.htm. We will have one International doctoral studentship (IDS) (to be awarded by the school of EEECS), 2 or 3 Doctoral Training Grant (DTG) studentships, and one studentship funded by the CS department. Eligibility: The IDS studentship is available to any applicant. The CS-funded studentship is available to any EU student. The DTG studentships are available to UK applicants and EU applicants who are currently studying in the UK. Funding covers 3 years of study. Applicants should have a strong undergraduate transcript and ideally an MSc degree. The stipend payable to PhD students the next academic year (for living expenses) will be approx 13500 pounds, and in subsequent years will be raised in line with inflation. Guidelines for Applicants (*) The deadline for the first round of applications to be received is 15th Feb 2012. (*) Prospective PhD students should carefully read the web pages relating to PhD study at the department, in particular the detailed guidelines in the above list of links. (*) In addition to your application via the university's UK Student Recruitment Office, please send a copy of your application directly to Prof. Paul Goldberg. This helps ensure consideration of applications sent shortly before the deadline. It should contain the following additional documentation (independently of whether it was already attached to the Standard Application Form mentioned above): (*) Personal details such as contact information (*) Up-to-date CV with education history (e.g. A level marks) + list of two referees with their contact information (*) Recommendation letters in sealed envelopes (for referees not from the Department) or sent directly to Prof. Goldberg by the referees (email is acceptable). (*) Official (up to date, for those who did not finish current study) exam transcripts. Current students at Liverpool may present transcripts from the Spider System. (*) Research proposal: up to 2 A4 pages consisting of scientific interests and detailed proposed research and motivations (*) proposed PhD supervisor, if you have contacted a specific member of academic staff who has agreed to act a supervisor (*) Any published material or other documents (e.g. project work) providing evidence of quality. ------------------------------------------------------------------------------------------------------ Prof. Wiebe van der Hoek Head of Department of Computer Science University of Liverpool http://www.csc.liv.ac.uk/~wiebe/ tel (+44 151) 7954292 (office) (+44) 7970247480 (mobile) fax (+44 151) 79 54235 Liverpool L69 3BX, United Kingdom Wiebe.Van-Der-Hoek at liverpool.ac.uk From announce at teco.edu Mon Dec 12 16:37:32 2011 From: announce at teco.edu (announce at teco.edu) Date: Mon, 12 Dec 2011 16:37:32 +0100 Subject: Open Position: Research Assistant in the area of Knowledge Representation and Applied Reasoning Message-ID: The Karlsruhe Institute of Technology (KIT) is the result of the merger of the University of Karlsruhe and the Research Center Karlsruhe. It is a unique institution in Germany, which combines the mission of a university with that of a large-scale research center of the Helmholtz Association. With 8000 employees and an annual budget of EUR 720 millions, KIT is one of the largest research and education institutions worldwide. The Chair for Pervasive Computing Systems and the TECO group are looking asap for a Research assistant (doctoral or post-doctoral level, TV-L 13) in the area of knowledge representation and applied reasoning. TECO is an internationally recognized research unit at KIT in Ubiquitous and Pervasive Computing since 1993. The group is associated with the Chair for Pervasive Computing Systems of the Institute of Telematics, but distinguishes itself in being close to industry, both with respect to its funding model and its participation in "real-world projects" with a range of partners in the software and hardware industries. Their research in applied telematics and Ubiquitous Computing focuses on the domains of Intelligent and Context-Sensitive Systems, Human-Computer Interaction and Communications. TECO has significant experience in the area of knowledge-based reasoning in Context-Sensitive Systems, intelligent self-organizing Distributed Systems (especially in the area of Wireless Sensor Networks), and middleware architectures for bridging extremely heterogeneous computing environments from networks consisting of tiny sensor nodes to distributed ERP systems. We are looking for graduates (MSc or PhD) in area of Computer Science or related disciplines to complement our team working on Intelligent and Context-Sensitive Systems with skills the area of: * Knowledge representation * Ontology engineering * Conceptual modeling and domain modeling Candidates are ideally knowledgable and interested in at least one of the following fields: * Reasoning (e.g. F-Logic, OWL-DL) * Machine learning (e.g. clustering, classification) * Semantic web service composition * Data mining, process mining, predictive analytics * Optimization and planning The position will be funded by the TIMBUS FP7 project (Timeless Business: http://timbusproject.net/ and http://www.teco.edu/research/projects/timbus/index.html). The project endeavors enlarging the understanding of so-called digital preservation (DP) techniques. It will ensure continued access to services and software necessary to (re)produce the context within which information can be accessed and semantically interpreted. The candidate will cooperate with international industry partners (e.g. SAP) and academic research groups (e.g. TU Vienna) to perform novel research on knowledge representation, modeling and reasoning in the context of digital preservation. The goal of this research is to design and implement a reasoning system that is able to learn and reason about dependencies in service-oriented and distributed systems. The research will be performed in a vibrant interdisciplinary environment involving researchers from a wide range of areas. Concerns addressed in TIMBUS range from legal and economic aspects to technical aspects of software development, virtualization, and sensor technologies. Application areas include multimedia productions, the Internet of Services, civil engineering, and particle physics. The project work will include collaboration with European project partners and reporting to the European Commission in oral presentations and written deliverables. Therefore the candidate should be business fluent in English. We further expect team members to have basic German language skills. Besides project work, candidates are encouraged to pursue a doctoral degree in Computer Science. Therefore, the candidate will be responsible for the supervision of bachelor's, master's, diploma and seminar theses, and is expected to publish at internationally recognized scientific conferences. The Karlsruhe Institute of Technology is an Equal Opportunity Employer and encourages applications from minority group members and women. Applicants with disabilities and equivalent qualifications will receive preference. Please submit your detailed applications, including cover letter and position statement, CV as well as copies of all relevant credentials, transcripts and certificates, the latest by 2012-01-31 either electronically to Irina.Schierholz at kit.edu or by mail the following address. Please note that a personalized cover letter and position statement is very important to us to understand your motivation in applying for this position and the project. Irina Schierholz TECO, Chair for Pervasive Computing Systems Karlsruhe Institute of Technology (KIT) Prof. Michael Beigl Postfach 6980 76049 Karlsruhe Germany From griggio at fbk.eu Tue Dec 13 08:33:39 2011 From: griggio at fbk.eu (Alberto Griggio) Date: Tue, 13 Dec 2011 08:33:39 +0100 Subject: Announcement: 2nd International SAT/SMT Summer School Message-ID: <20111213073339.601703E42D4@zelos.fbk.eu> [ Apologies for multiple copies ] ------------------------------------------------------------------------- Second International SAT/SMT Summer School Trento, Italy, June 12-15th, 2012 http://satsmtschool2012.fbk.eu/ ------------------------------------------------------------------------- The SAT/SMT Summer School 2012 (2nd edition) aims at providing graduate students and researchers from universities and industry with a comprehensive overview of the research in SAT, SMT, and their application. The lectures cover the foundational and practical aspects of SAT and SMT solvers, as well as their application to verification, planning, scheduling, and optimization problems. This second edition follows the Summer School of 2011 organized by Vijay Ganesh at MIT, and is co-located with the SAT 2012 conference. The school will take place in Trento, Italy, from June 12th to June 15th 2012. The program will feature four lectures per day, with the first two days dedicated to SAT and SMT foundations, and the last two to applications on various domains. List of speakers: - Armin Biere (Johannes Kepler University, Linz, Austria) - Leonardo de Moura (Microsoft Research Redmond, USA) - Bruno Dutertre (SRI International, USA) - Martin Fr�nzle (Carl von Ossietzky Universit�t Oldenburg, Germany) - John Franco (University of Cincinnati, USA) - Silvio Ghilardi (Universit� di Milano, Italy) - Patrice Godefroid (Microsoft Research Redmond, USA) - Holger Hoos (University of British Columbia, Vancouver, Canada) - Tomi Janhunen (Aalto University, Finland) - Pete Manolios (Northeastern University, USA) - Joao Marques-Silva (University College Dublin, Ireland) - Ken McMillan (Microsoft Research Redmond, USA) - Jussi Rintanen (Austrialian National University, Australia) - Fabio Somenzi (University of Colorado, Boulder, USA) - Gunnar St�lmarck (Prover Technology and Gain Sweden AB, Sweden) - Cesare Tinelli (University of Iowa, USA) A more detailed program is available at the school website (http://satsmtschool2012.fbk.eu). It is expected that we will be able to provide a limited number of grants for students that will attend the school. More details about the procedure for applying and the registration deadlines will appear on the school website as soon as possible. Interested students are however encouraged to contact us at any moment. The school organizers, Alberto Griggio and Stefano Tonetta From pmt6sbc at maths.leeds.ac.uk Wed Dec 14 11:25:03 2011 From: pmt6sbc at maths.leeds.ac.uk (S B Cooper) Date: Wed, 14 Dec 2011 10:25:03 GMT Subject: Turing Fellowships - extended deadline, 21 Decemebr, 2011 Message-ID: <201112141025.pBEAP3C7028959@maths.leeds.ac.uk> The Turing Fellowships and Scholarships Competition - The final deadline is now: WEDNESDAY 21 DECEMBER 2011 - a small extension to the deadline in response to requests. The 3-year Turing Centenary Research Project - "Mind, Mechanism and Mathematics" starts in July 2012, and is funded by a grant from the John Templeton Foundation. As part of the Alan Turing Year, proposals are invited for: *** Five Turing Research Fellowships for researchers no more than 10 years from the award of a PhD relevant to their proposed research, value 75,000 UK pounds each, and *** Three Turing Scholarships for gifted younger researchers of age up to 25 years old, value 45,000 UK pounds each over the three years. Each Award may be held at a location of the winner's choice, and may be held as a valuable supplement to other funding. For further details of eligibility etc, please see the How to Apply webpage at the Alan Turing Year website: http://www.mathcomp.leeds.ac.uk/turing2012/give-page.php?409 The Research Project will address a number of major questions related to the Turing legacy, and are listed at the Turing Centenary Research Project webpage: http://www.mathcomp.leeds.ac.uk/turing2012/give-page.php?408 under four main headings: 1. The Mathematics of Emergence: The Mysteries of Morphogenesis 2. Possibility of Building a Brain: Intelligent Machines, Practice and Theory 3. Nature of Information: Complexity, Randomness, Hiddenness of Information 4. How should we compute? New Models of Logic and Computation. Important Dates: Submission deadline December 21, 2011 Award Notification March 31, 2012 Award Ceremony Turing Centenary day, June 23, 2012 Commencement of the research project July 1, 2012 Completion of the research project June 30, 2015 Winners will be expected to attend the award ceremony at the Turing Centenary Conference in Manchester, 22 - 25 June, 2012. The members of the Competition Judging Panel are: Samson Abramsky (Oxford) Manindra Agrawal (Kanpur) Eric Allender (Rutgers) Rodney Downey (Wellington) Luciano Floridi (Hertfordshire/Oxford) Barbara Grosz (Harvard) Stuart Kauffman (Vermont/Santa Fe) Hans Meinhardt (Max Planck Institute) Cris Moore (New Mexico/Santa Fe) Gordon Plotkin (Edinburgh) Aaron Sloman (Birmingham) Robert I. Soare (Chicago) The Judging Panel is Chaired by S. Barry Cooper (Leeds) __________________________________________________________________________ From glukacsy at cisco.com Wed Dec 14 18:41:55 2011 From: glukacsy at cisco.com (Gergely Lukacsy (glukacsy)) Date: Wed, 14 Dec 2011 18:41:55 +0100 Subject: Call for papers - 28th International Conference on Logic Programming (ICLP 2012) Message-ID: <994BD38D171EAE49B641B378373BA25C01DDFBA1@XMB-AMS-208.cisco.com> Apologises for cross posting. Gergely +----------------------------------------------------------------------- ----+ CALL FOR PAPERS 28th International Conference on Logic Programming (ICLP 2012) Budapest, Hungary, September 4-8, 2012 http://www.cs.bme.hu/iclp2012/ +----------------------------------------------------------------------- ----+ The International Conference on Logic Programming is the premier venue for presenting research in logic programming. ICLP 2012 will take place in Budapest, honouring the important contribution that the Hungarian logic programming community has given to this field. The ICLP technical program will include presentations of accepted papers, invited talks, advanced tutorials and panels, a special session on most influential papers, the doctoral consortium, the programming contest, and several workshops. Contributions are sought in all areas of logic programming, including but not restricted to: - Theory: Semantic Foundations, Formalisms, Non-Monotonic Reasoning, Knowledge Representation. - Implementation: Compilation, Memory Management, Virtual Machines, Parallelism. - Environments: Program Analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing. - Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Programming Techniques. - Related Paradigms: Abductive/Inductive/Constraint Logic Programming, Answer-Set Programming. - Applications: Databases, Data Integration and Federation, Software Engineering, Natural Language Processing, (Semantic) Web, Agents, Artificial Intelligence, Bioinformatics, Declarative Networking. There are four broad categories for submissions: (1) technical papers describe technically sound, innovative ideas that can advance the state of the art of logic programming; (2) application papers present real-world applications of logic programming; (3) system and tool papers focus on the novelty, practicality, usability and general availability of the systems and tools described; and (4) technical communications aim at describing recent developments, new projects, and other materials that are not ready for publication as standard papers. +----------------------------------------------------------------------- ----+ Important Dates Workshop Proposals: January 29, 2012 Paper registration (abstract): March 11, 2012 Submission deadline: March 18, 2012 Notification to Authors (first round): April 28, 201 Notification to Authors (second round): June 10, 2012 Camera-ready LIPIcs copy due: June 10, 2012 Camera-ready TPLP copy due: July 1, 2012 Conference: September 4-8, 2012 +----------------------------------------------------------------------- ----+ General Chair Peter Szeredi (Budapest Univ. of Technology and Economics) Program Committee Chairs Agostino Dovier (Univ. of Udine) Vitor Santos Costa (Univ. of Porto) Workshop Chair Mats Carlsson (SICS, Sweden) Doctoral Consortium Chairs Marco Gavanelli (Univ. of Ferrara) Stefan Woltran (T.U. Wien) Programming Contest Tom Schrijvers (Univ. of Gent) Publicity Chair Gergely Lukacsy (Cisco Systems Inc.) Web Manager Janos Csorba (Budapest Univ. of Technology and Economics) Program Committee Elvira Albert (U.C. Madrid) Sergio Antoy (Portland State Univ.) Marcello Balduccini (Kodak Res. Labs) Manuel Carro (U.P. Madrid) Michael Codish (Ben Gurion Univ.) Veronica Dahl (Simon Fraser Univ.) Marina De Vos (Univ. of Bath) Alessandro Dal Palu' (Univ. of Parma) Bart Demoen (K.U. Leuven) Thomas Eiter (T.U. Wien) Esra Erdem (Sabanci Univ.) Thom Fruehwirth (Univ. of Ulm) Andrea Formisano (Univ. of Perugia) Maria Garcia de la Banda (Monash Univ.) Marco Gavanelli (Univ. of Ferrara) Hai-Feng Guo (Univ. of Nebraska, Omaha) Gopal Gupta (Univ. of Texas, Dallas) Katsumi Inoue (National Inst. of Informatics, Japan) Angelica Kimmig (K.U. Leuven) Joohyung Lee (Arizona State Univ.) Evelina Lamma (Univ. of Ferrara) Nicola Leone (Univ. of Calabria) Yuliya Lierler (Univ. of Kentucky) Boon Thau Loo (Univ. of Pennsylvania) Michael Maher (R.R.I., Sidney) Alessandra Mileo (DERI, Galway) Jose Morales (U.P. Madrid) Enrico Pontelli (New Mexico State Univ.) Gianfranco Rossi (Univ. of Parma) Beata Sarna-Starosta (Cambian, Vancouver) Torsten Schaub (Univ. of Potsdam) Tom Schrijvers (Univ. of Gent) Fernando Silva (Univ. of Porto) Tran Cao Son (New Mexico State Univ.) Terrance Swift (Univ. Nova de Lisboa) Peter Szeredi (Budapest Univ. of Tech.) Francesca Toni (I.C. London) Mirek Truszczynski (Univ. of Kentucky) German Vidal (U.P. of Valencia) Stefan Woltran (T.U. Wien) Neng-Fa Zhou (CUNY, New York) +----------------------------------------------------------------------- ----+ PAPER PUBLICATION +----------------------------------------------------------------------- ----+ All accepted (long) papers will be published in the journal Theory and Practice of Logic Programming (TPLP), Cambridge U. Press (CUP), in one or more special issues. In order to ensure the quality of the final version, papers may be subject to more than one round of refereeing (within the decision period) and/or ``shepherding.'' The program committee may also recommend standard papers to be published as technical communications. At the time of the conference CUP will make the web page for this(ese) TPLP issue(s) available including volume and issue numbers, table of contents, page numbers, and the papers themselves. All registered attendants at the conference will get lifetime access to the web site for the online version of the issue(s). Pointers to the arXiv/CoRR versions of these papers will be guaranteed from the ALP website www.logicprogramming.org. Attendants will also receive all the papers in a memory stick at the conference. The collection of technical communications will appear as a volume of the LIPIcs (Leibniz International Proceedings in Informatics) series, and published online through the Dagstuhl Research Online Publication Server (DROPS). All technical communications will also get space in the program for presentation. The journal issue(s) will also include a listing of the technical communications, with pointers to the LIPIcs/DROPS volume. +----------------------------------------------------------------------- ----+ SPONSORS +----------------------------------------------------------------------- ----+ The conference is sponsored by the Association for Logic Programming (ALP) and the Artificial Intelligence Section of the John von Neumann Computer Society. +----------------------------------------------------------------------- ----+ FINANCIAL ASSISTANCE +----------------------------------------------------------------------- ----+ The Association for Logic Programming has funds to assist financially disadvantaged participants and, specially, students in order to be able to attend the conference. +----------------------------------------------------------------------- ----+ WORKSHOPS +----------------------------------------------------------------------- ----+ The ICLP 2012 program will include several workshops, held before, after, and in parallel with the main conference. They are perhaps the best places for the presentation of preliminary work, undeveloped novel ideas, and new open problems to a wide and interested audience with opportunities for intensive discussions and project collaboration. +----------------------------------------------------------------------- ----+ DOCTORAL CONSORTIUM +----------------------------------------------------------------------- ----+ The 8th Doctoral Consortium (DC) on Logic Programming provides research students with the opportunity to present and discuss their research directions, and to obtain feedback from both peers and world-renown experts in the field. Accepted participants will receive partial financial support to attend the event and the main conference. The best paper and presentation from the DC will be given the opportunity to present in a special session of the main ICLP conference. +----------------------------------------------------------------------- ----+ PROLOG PROGRAMMING CONTEST +----------------------------------------------------------------------- ----+ ICLP 2012 will also feature the 19th edition of the Prolog Programming Contest. +----------------------------------------------------------------------- ----+ CONFERENCE VENUE +----------------------------------------------------------------------- ----+ Budapest is located in the center of Hungary, in the heart of Central Europe. Hungary is member of the European Union and belongs to the Schengen area. Detailed tourist and travel information can be obtained from http://www.budapestinfo.hu/index.php?id=home_en. Hungary is well-served by transport links from abroad. The main international airport is Budapest Ferihegy http://www.bud.hu/english. Budapest is linked to 15 European capitals by train (eg. Wien-Budapest trip is less than 3 hours), directly or indirectly (see http://www.mav-start.hu/english for details). The conference is organized by the John von Neumann Computer Society http://njszt.hu/en, who handled the ICLP'93 conference and the 1980 Logic Programming Workshop in Debrecen. +----------------------------------------------------------------------- ----+ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From glukacsy at cisco.com Wed Dec 14 18:40:29 2011 From: glukacsy at cisco.com (Gergely Lukacsy (glukacsy)) Date: Wed, 14 Dec 2011 18:40:29 +0100 Subject: Call for papers - 28th International Conference on Logic Programming (ICLP 2012) Message-ID: <994BD38D171EAE49B641B378373BA25C01DDFBA0@XMB-AMS-208.cisco.com> Apologises for cross posting. Gergely +----------------------------------------------------------------------- ----+ CALL FOR PAPERS 28th International Conference on Logic Programming (ICLP 2012) Budapest, Hungary, September 4-8, 2012 http://www.cs.bme.hu/iclp2012/ +----------------------------------------------------------------------- ----+ The International Conference on Logic Programming is the premier venue for presenting research in logic programming. ICLP 2012 will take place in Budapest, honouring the important contribution that the Hungarian logic programming community has given to this field. The ICLP technical program will include presentations of accepted papers, invited talks, advanced tutorials and panels, a special session on most influential papers, the doctoral consortium, the programming contest, and several workshops. Contributions are sought in all areas of logic programming, including but not restricted to: - Theory: Semantic Foundations, Formalisms, Non-Monotonic Reasoning, Knowledge Representation. - Implementation: Compilation, Memory Management, Virtual Machines, Parallelism. - Environments: Program Analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing. - Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Programming Techniques. - Related Paradigms: Abductive/Inductive/Constraint Logic Programming, Answer-Set Programming. - Applications: Databases, Data Integration and Federation, Software Engineering, Natural Language Processing, (Semantic) Web, Agents, Artificial Intelligence, Bioinformatics, Declarative Networking. There are four broad categories for submissions: (1) technical papers describe technically sound, innovative ideas that can advance the state of the art of logic programming; (2) application papers present real-world applications of logic programming; (3) system and tool papers focus on the novelty, practicality, usability and general availability of the systems and tools described; and (4) technical communications aim at describing recent developments, new projects, and other materials that are not ready for publication as standard papers. +----------------------------------------------------------------------- ----+ Important Dates Workshop Proposals: January 29, 2012 Paper registration (abstract): March 11, 2012 Submission deadline: March 18, 2012 Notification to Authors (first round): April 28, 201 Notification to Authors (second round): June 10, 2012 Camera-ready LIPIcs copy due: June 10, 2012 Camera-ready TPLP copy due: July 1, 2012 Conference: September 4-8, 2012 +----------------------------------------------------------------------- ----+ General Chair Peter Szeredi (Budapest Univ. of Technology and Economics) Program Committee Chairs Agostino Dovier (Univ. of Udine) Vitor Santos Costa (Univ. of Porto) Workshop Chair Mats Carlsson (SICS, Sweden) Doctoral Consortium Chairs Marco Gavanelli (Univ. of Ferrara) Stefan Woltran (T.U. Wien) Programming Contest Tom Schrijvers (Univ. of Gent) Publicity Chair Gergely Lukacsy (Cisco Systems Inc.) Web Manager Janos Csorba (Budapest Univ. of Technology and Economics) Program Committee Elvira Albert (U.C. Madrid) Sergio Antoy (Portland State Univ.) Marcello Balduccini (Kodak Res. Labs) Manuel Carro (U.P. Madrid) Michael Codish (Ben Gurion Univ.) Veronica Dahl (Simon Fraser Univ.) Marina De Vos (Univ. of Bath) Alessandro Dal Palu' (Univ. of Parma) Bart Demoen (K.U. Leuven) Thomas Eiter (T.U. Wien) Esra Erdem (Sabanci Univ.) Thom Fruehwirth (Univ. of Ulm) Andrea Formisano (Univ. of Perugia) Maria Garcia de la Banda (Monash Univ.) Marco Gavanelli (Univ. of Ferrara) Hai-Feng Guo (Univ. of Nebraska, Omaha) Gopal Gupta (Univ. of Texas, Dallas) Katsumi Inoue (National Inst. of Informatics, Japan) Angelica Kimmig (K.U. Leuven) Joohyung Lee (Arizona State Univ.) Evelina Lamma (Univ. of Ferrara) Nicola Leone (Univ. of Calabria) Yuliya Lierler (Univ. of Kentucky) Boon Thau Loo (Univ. of Pennsylvania) Michael Maher (R.R.I., Sidney) Alessandra Mileo (DERI, Galway) Jose Morales (U.P. Madrid) Enrico Pontelli (New Mexico State Univ.) Gianfranco Rossi (Univ. of Parma) Beata Sarna-Starosta (Cambian, Vancouver) Torsten Schaub (Univ. of Potsdam) Tom Schrijvers (Univ. of Gent) Fernando Silva (Univ. of Porto) Tran Cao Son (New Mexico State Univ.) Terrance Swift (Univ. Nova de Lisboa) Peter Szeredi (Budapest Univ. of Tech.) Francesca Toni (I.C. London) Mirek Truszczynski (Univ. of Kentucky) German Vidal (U.P. of Valencia) Stefan Woltran (T.U. Wien) Neng-Fa Zhou (CUNY, New York) +----------------------------------------------------------------------- ----+ PAPER PUBLICATION +----------------------------------------------------------------------- ----+ All accepted (long) papers will be published in the journal Theory and Practice of Logic Programming (TPLP), Cambridge U. Press (CUP), in one or more special issues. In order to ensure the quality of the final version, papers may be subject to more than one round of refereeing (within the decision period) and/or ``shepherding.'' The program committee may also recommend standard papers to be published as technical communications. At the time of the conference CUP will make the web page for this(ese) TPLP issue(s) available including volume and issue numbers, table of contents, page numbers, and the papers themselves. All registered attendants at the conference will get lifetime access to the web site for the online version of the issue(s). Pointers to the arXiv/CoRR versions of these papers will be guaranteed from the ALP website www.logicprogramming.org. Attendants will also receive all the papers in a memory stick at the conference. The collection of technical communications will appear as a volume of the LIPIcs (Leibniz International Proceedings in Informatics) series, and published online through the Dagstuhl Research Online Publication Server (DROPS). All technical communications will also get space in the program for presentation. The journal issue(s) will also include a listing of the technical communications, with pointers to the LIPIcs/DROPS volume. +----------------------------------------------------------------------- ----+ SPONSORS +----------------------------------------------------------------------- ----+ The conference is sponsored by the Association for Logic Programming (ALP) and the Artificial Intelligence Section of the John von Neumann Computer Society. +----------------------------------------------------------------------- ----+ FINANCIAL ASSISTANCE +----------------------------------------------------------------------- ----+ The Association for Logic Programming has funds to assist financially disadvantaged participants and, specially, students in order to be able to attend the conference. +----------------------------------------------------------------------- ----+ WORKSHOPS +----------------------------------------------------------------------- ----+ The ICLP 2012 program will include several workshops, held before, after, and in parallel with the main conference. They are perhaps the best places for the presentation of preliminary work, undeveloped novel ideas, and new open problems to a wide and interested audience with opportunities for intensive discussions and project collaboration. +----------------------------------------------------------------------- ----+ DOCTORAL CONSORTIUM +----------------------------------------------------------------------- ----+ The 8th Doctoral Consortium (DC) on Logic Programming provides research students with the opportunity to present and discuss their research directions, and to obtain feedback from both peers and world-renown experts in the field. Accepted participants will receive partial financial support to attend the event and the main conference. The best paper and presentation from the DC will be given the opportunity to present in a special session of the main ICLP conference. +----------------------------------------------------------------------- ----+ PROLOG PROGRAMMING CONTEST +----------------------------------------------------------------------- ----+ ICLP 2012 will also feature the 19th edition of the Prolog Programming Contest. +----------------------------------------------------------------------- ----+ CONFERENCE VENUE +----------------------------------------------------------------------- ----+ Budapest is located in the center of Hungary, in the heart of Central Europe. Hungary is member of the European Union and belongs to the Schengen area. Detailed tourist and travel information can be obtained from http://www.budapestinfo.hu/index.php?id=home_en. Hungary is well-served by transport links from abroad. The main international airport is Budapest Ferihegy http://www.bud.hu/english. Budapest is linked to 15 European capitals by train (eg. Wien-Budapest trip is less than 3 hours), directly or indirectly (see http://www.mav-start.hu/english for details). The conference is organized by the John von Neumann Computer Society http://njszt.hu/en, who handled the ICLP'93 conference and the 1980 Logic Programming Workshop in Debrecen. +----------------------------------------------------------------------- ----+ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From glukacsy at cisco.com Wed Dec 14 18:41:55 2011 From: glukacsy at cisco.com (Gergely Lukacsy (glukacsy)) Date: Wed, 14 Dec 2011 18:41:55 +0100 Subject: Call for papers - 28th International Conference on Logic Programming (ICLP 2012) Message-ID: <994BD38D171EAE49B641B378373BA25C01DDFBA1@XMB-AMS-208.cisco.com> Apologises for cross posting. Gergely +----------------------------------------------------------------------- ----+ CALL FOR PAPERS 28th International Conference on Logic Programming (ICLP 2012) Budapest, Hungary, September 4-8, 2012 http://www.cs.bme.hu/iclp2012/ +----------------------------------------------------------------------- ----+ The International Conference on Logic Programming is the premier venue for presenting research in logic programming. ICLP 2012 will take place in Budapest, honouring the important contribution that the Hungarian logic programming community has given to this field. The ICLP technical program will include presentations of accepted papers, invited talks, advanced tutorials and panels, a special session on most influential papers, the doctoral consortium, the programming contest, and several workshops. Contributions are sought in all areas of logic programming, including but not restricted to: - Theory: Semantic Foundations, Formalisms, Non-Monotonic Reasoning, Knowledge Representation. - Implementation: Compilation, Memory Management, Virtual Machines, Parallelism. - Environments: Program Analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing. - Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Programming Techniques. - Related Paradigms: Abductive/Inductive/Constraint Logic Programming, Answer-Set Programming. - Applications: Databases, Data Integration and Federation, Software Engineering, Natural Language Processing, (Semantic) Web, Agents, Artificial Intelligence, Bioinformatics, Declarative Networking. There are four broad categories for submissions: (1) technical papers describe technically sound, innovative ideas that can advance the state of the art of logic programming; (2) application papers present real-world applications of logic programming; (3) system and tool papers focus on the novelty, practicality, usability and general availability of the systems and tools described; and (4) technical communications aim at describing recent developments, new projects, and other materials that are not ready for publication as standard papers. +----------------------------------------------------------------------- ----+ Important Dates Workshop Proposals: January 29, 2012 Paper registration (abstract): March 11, 2012 Submission deadline: March 18, 2012 Notification to Authors (first round): April 28, 201 Notification to Authors (second round): June 10, 2012 Camera-ready LIPIcs copy due: June 10, 2012 Camera-ready TPLP copy due: July 1, 2012 Conference: September 4-8, 2012 +----------------------------------------------------------------------- ----+ General Chair Peter Szeredi (Budapest Univ. of Technology and Economics) Program Committee Chairs Agostino Dovier (Univ. of Udine) Vitor Santos Costa (Univ. of Porto) Workshop Chair Mats Carlsson (SICS, Sweden) Doctoral Consortium Chairs Marco Gavanelli (Univ. of Ferrara) Stefan Woltran (T.U. Wien) Programming Contest Tom Schrijvers (Univ. of Gent) Publicity Chair Gergely Lukacsy (Cisco Systems Inc.) Web Manager Janos Csorba (Budapest Univ. of Technology and Economics) Program Committee Elvira Albert (U.C. Madrid) Sergio Antoy (Portland State Univ.) Marcello Balduccini (Kodak Res. Labs) Manuel Carro (U.P. Madrid) Michael Codish (Ben Gurion Univ.) Veronica Dahl (Simon Fraser Univ.) Marina De Vos (Univ. of Bath) Alessandro Dal Palu' (Univ. of Parma) Bart Demoen (K.U. Leuven) Thomas Eiter (T.U. Wien) Esra Erdem (Sabanci Univ.) Thom Fruehwirth (Univ. of Ulm) Andrea Formisano (Univ. of Perugia) Maria Garcia de la Banda (Monash Univ.) Marco Gavanelli (Univ. of Ferrara) Hai-Feng Guo (Univ. of Nebraska, Omaha) Gopal Gupta (Univ. of Texas, Dallas) Katsumi Inoue (National Inst. of Informatics, Japan) Angelica Kimmig (K.U. Leuven) Joohyung Lee (Arizona State Univ.) Evelina Lamma (Univ. of Ferrara) Nicola Leone (Univ. of Calabria) Yuliya Lierler (Univ. of Kentucky) Boon Thau Loo (Univ. of Pennsylvania) Michael Maher (R.R.I., Sidney) Alessandra Mileo (DERI, Galway) Jose Morales (U.P. Madrid) Enrico Pontelli (New Mexico State Univ.) Gianfranco Rossi (Univ. of Parma) Beata Sarna-Starosta (Cambian, Vancouver) Torsten Schaub (Univ. of Potsdam) Tom Schrijvers (Univ. of Gent) Fernando Silva (Univ. of Porto) Tran Cao Son (New Mexico State Univ.) Terrance Swift (Univ. Nova de Lisboa) Peter Szeredi (Budapest Univ. of Tech.) Francesca Toni (I.C. London) Mirek Truszczynski (Univ. of Kentucky) German Vidal (U.P. of Valencia) Stefan Woltran (T.U. Wien) Neng-Fa Zhou (CUNY, New York) +----------------------------------------------------------------------- ----+ PAPER PUBLICATION +----------------------------------------------------------------------- ----+ All accepted (long) papers will be published in the journal Theory and Practice of Logic Programming (TPLP), Cambridge U. Press (CUP), in one or more special issues. In order to ensure the quality of the final version, papers may be subject to more than one round of refereeing (within the decision period) and/or ``shepherding.'' The program committee may also recommend standard papers to be published as technical communications. At the time of the conference CUP will make the web page for this(ese) TPLP issue(s) available including volume and issue numbers, table of contents, page numbers, and the papers themselves. All registered attendants at the conference will get lifetime access to the web site for the online version of the issue(s). Pointers to the arXiv/CoRR versions of these papers will be guaranteed from the ALP website www.logicprogramming.org. Attendants will also receive all the papers in a memory stick at the conference. The collection of technical communications will appear as a volume of the LIPIcs (Leibniz International Proceedings in Informatics) series, and published online through the Dagstuhl Research Online Publication Server (DROPS). All technical communications will also get space in the program for presentation. The journal issue(s) will also include a listing of the technical communications, with pointers to the LIPIcs/DROPS volume. +----------------------------------------------------------------------- ----+ SPONSORS +----------------------------------------------------------------------- ----+ The conference is sponsored by the Association for Logic Programming (ALP) and the Artificial Intelligence Section of the John von Neumann Computer Society. +----------------------------------------------------------------------- ----+ FINANCIAL ASSISTANCE +----------------------------------------------------------------------- ----+ The Association for Logic Programming has funds to assist financially disadvantaged participants and, specially, students in order to be able to attend the conference. +----------------------------------------------------------------------- ----+ WORKSHOPS +----------------------------------------------------------------------- ----+ The ICLP 2012 program will include several workshops, held before, after, and in parallel with the main conference. They are perhaps the best places for the presentation of preliminary work, undeveloped novel ideas, and new open problems to a wide and interested audience with opportunities for intensive discussions and project collaboration. +----------------------------------------------------------------------- ----+ DOCTORAL CONSORTIUM +----------------------------------------------------------------------- ----+ The 8th Doctoral Consortium (DC) on Logic Programming provides research students with the opportunity to present and discuss their research directions, and to obtain feedback from both peers and world-renown experts in the field. Accepted participants will receive partial financial support to attend the event and the main conference. The best paper and presentation from the DC will be given the opportunity to present in a special session of the main ICLP conference. +----------------------------------------------------------------------- ----+ PROLOG PROGRAMMING CONTEST +----------------------------------------------------------------------- ----+ ICLP 2012 will also feature the 19th edition of the Prolog Programming Contest. +----------------------------------------------------------------------- ----+ CONFERENCE VENUE +----------------------------------------------------------------------- ----+ Budapest is located in the center of Hungary, in the heart of Central Europe. Hungary is member of the European Union and belongs to the Schengen area. Detailed tourist and travel information can be obtained from http://www.budapestinfo.hu/index.php?id=home_en. Hungary is well-served by transport links from abroad. The main international airport is Budapest Ferihegy http://www.bud.hu/english. Budapest is linked to 15 European capitals by train (eg. Wien-Budapest trip is less than 3 hours), directly or indirectly (see http://www.mav-start.hu/english for details). The conference is organized by the John von Neumann Computer Society http://njszt.hu/en, who handled the ICLP'93 conference and the 1980 Logic Programming Workshop in Debrecen. +----------------------------------------------------------------------- ----+ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ams at cwi.nl Thu Dec 15 10:28:49 2011 From: ams at cwi.nl (ams at cwi.nl) Date: Thu, 15 Dec 2011 10:28:49 +0100 Subject: CMCS 2012: Final Call for Papers Message-ID: <20111215092849.GA15949@doorgang.cwi.nl> [- Please note submission deadline January 4 2011 -] ------------------------------------------------------------------------------ CMCS 2012 Final Call for Papers ------------------------------------------------------------------------------ The 11th International Workshop on Coalgebraic Methods in Computer Science 31 March - 1 April 2012, Tallinn, Estonia (co-located with ETAPS 2012) www.coalg.org/cmcs12 *** Proceedings to be published in Springer LNCS *** Aims and scope -------------- In more than a decade of research, it has been established that a wide variety of state-based dynamical systems, like transition systems, automata (including weighted and probabilistic variants), Markov chains, and game-based systems, can be treated uniformly as coalgebras. Coalgebra has developed into a field of its own interest presenting a deep mathematical foundation, a growing field of applications, and interactions with various other fields such as reactive and interactive system theory, object-oriented and concurrent programming, formal system specification, modal and description logics, artificial intelligence, dynamical systems, control systems, category theory, algebra, analysis, etc. The aim of the CMCS workshop series is to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. The topics of the workshop include, but are not limited to: * the theory of coalgebras (including set theoretic and categorical approaches); * coalgebras as computational and semantic models (for programming languages, dynamical systems, etc.); * coalgebras in (functional, object-oriented, concurrent) programming; * coalgebras and data types; * (coinductive) definition and proof principles for coalgebras (with bisimulations or invariants); * coalgebras and algebras; * coalgebraic specification and verification; * coalgebras and (modal) logic; * coalgebra and control theory (notably of discrete event and hybrid systems). Keynote Speaker --------------- Samson Abramsky, Oxford University, UK Invited Speakers ---------------- Marcello Bonsangue, Leiden University, The Netherlands Pawel Sobocinski, University of Southampton, UK Submissions ----------- Submission is electronic via the easychair system at http://www.easychair.org/conferences/?conf=cmcs2012 following the submission guidelines below. We solicit two types of contributions: (a) Regular papers to be evaluated by the PC for publication in the proceedings: They must have a length no greater than 20 pages, formatted in LNCS style (http://www.springer.de/comp/lncs/authors.html). They must contain original contributions, be clearly written, and include appropriate reference to and comparison with related work. (b) Short contributions: These will not be published in the proceedings but will be bundled in a technical report. They should be no more than two pages in LNCS format and may describe work in progress, summarise work submitted to a conference or workshop elsewhere, or in some other way appeal to the CMCS audience. Proceedings Publication ----------------------- The proceedings of CMCS 2012 will be published in Springer Lecture Notes in Computer Science. The final proceedings will be published post-conference and feature revised versions of the accepted regular papers. Preliminary proceedings will be made available at the conference in electronic form. Depending on the number and quality of submissions, we will consider publishing extended and revised papers as a journal special issue, subject to the usual reviewing procedure. Previous special issues of CMCS have appeared in high-ranking journals including Information and Computation and Theoretical Computer Science. Important dates --------------- ( for regular papers ) * 4 January 2012: submission deadline (strict) * 3 February 2012: author notification * 7 February 2012: final version ( for short contributions ) * 27 February 2012: submission deadline (strict) * 6 March 2010: author notification ( workshop ) * 31 March - 1 April 2012 Programme Committee ------------------- Luis Barbosa, University of Minho, Braga, Portugal Filippo Bonchi, LIP ENS-Lyon, France Josee Desharnais, Université Laval, Canada Mai Gehrke, Radboud University Nijmegen, The Netherlands H. Peter Gumm, University of Marburg, Germany Ichiro Hasuo, University of Tokyo, Japan Patricia Johann, University of Strathclyde, Glasgow, Scotland, UK Ekaterina Komendantskaya, University of Dundee, Scotland, UK Dexter Kozen, Cornell University, Ithaca, NY, USA Dorel Lucanu, Alexandru Ioan Cuza University, Iasi, Romania Stefan Milius, Technical University of Braunschweig, Germany Larry Moss, Indiana University, Bloomington, USA Prakash Panangaden, McGill University, Montreal, Canada Dirk Pattinson, Imperial College London, UK (co-chair) Dusko Pavlovic, Royal Holloway, London, UK Daniela Petrisan, University of Leicester, UK Grigore Rosu, University of Illinois at Urbana-Champaign, USA Jan Rutten, CWI and Radboud University Nijmegen, The Netherlands Luigi Santocanale, University of Provence, Marseille, France Lutz Schröder, DFKI GmbH, Bremen, Germany (co-chair) Alexandra Silva, CWI, Amsterdam, The Netherlands Ana Sokolova, University of Salzburg, Austria Sam Staton, University of Cambridge, UK Yde Venema, University of Amsterdam, The Netherlands Steering Committee ------------------ Jiri Adamek, Technical University of Braunschweig, Germany Corina Cirstea, University of Southampton, UK H. Peter Gumm (chair), University of Marburg, Germany Bart Jacobs, Radboud University Nijmegen, The Netherlands Alexander Kurz, University of Leicester, UK Marina Lenisa, University of Udine, Italy Ugo Montanari, University of Pisa, Italy Larry Moss, Indiana University, Bloomington, USA Dirk Pattinson, Imperial College London, UK John Power, University of Bath, UK Horst Reichel, Technical University of Dresden, Germany Jan Rutten, CWI and Radboud University Nijmegen, The Netherlands Lutz Schröder, DFKI GmbH and University of Bremen, Germany . From ams at cwi.nl Thu Dec 15 12:36:02 2011 From: ams at cwi.nl (ams at cwi.nl) Date: Thu, 15 Dec 2011 12:36:02 +0100 Subject: CMCS 2012: Final Call for Papers Message-ID: <20111215113602.GA19601@doorgang.cwi.nl> [- Please note submission deadline January 4 2011 -] ------------------------------------------------------------------------------ CMCS 2012 Final Call for Papers ------------------------------------------------------------------------------ The 11th International Workshop on Coalgebraic Methods in Computer Science 31 March - 1 April 2012, Tallinn, Estonia (co-located with ETAPS 2012) www.coalg.org/cmcs12 *** Proceedings to be published in Springer LNCS *** Aims and scope -------------- In more than a decade of research, it has been established that a wide variety of state-based dynamical systems, like transition systems, automata (including weighted and probabilistic variants), Markov chains, and game-based systems, can be treated uniformly as coalgebras. Coalgebra has developed into a field of its own interest presenting a deep mathematical foundation, a growing field of applications, and interactions with various other fields such as reactive and interactive system theory, object-oriented and concurrent programming, formal system specification, modal and description logics, artificial intelligence, dynamical systems, control systems, category theory, algebra, analysis, etc. The aim of the CMCS workshop series is to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. The topics of the workshop include, but are not limited to: * the theory of coalgebras (including set theoretic and categorical approaches); * coalgebras as computational and semantic models (for programming languages, dynamical systems, etc.); * coalgebras in (functional, object-oriented, concurrent) programming; * coalgebras and data types; * (coinductive) definition and proof principles for coalgebras (with bisimulations or invariants); * coalgebras and algebras; * coalgebraic specification and verification; * coalgebras and (modal) logic; * coalgebra and control theory (notably of discrete event and hybrid systems). Keynote Speaker --------------- Samson Abramsky, Oxford University, UK Invited Speakers ---------------- Marcello Bonsangue, Leiden University, The Netherlands Pawel Sobocinski, University of Southampton, UK Submissions ----------- Submission is electronic via the easychair system at http://www.easychair.org/conferences/?conf=cmcs2012 following the submission guidelines below. We solicit two types of contributions: (a) Regular papers to be evaluated by the PC for publication in the proceedings: They must have a length no greater than 20 pages, formatted in LNCS style (http://www.springer.de/comp/lncs/authors.html). They must contain original contributions, be clearly written, and include appropriate reference to and comparison with related work. (b) Short contributions: These will not be published in the proceedings but will be bundled in a technical report. They should be no more than two pages in LNCS format and may describe work in progress, summarise work submitted to a conference or workshop elsewhere, or in some other way appeal to the CMCS audience. Proceedings Publication ----------------------- The proceedings of CMCS 2012 will be published in Springer Lecture Notes in Computer Science. The final proceedings will be published post-conference and feature revised versions of the accepted regular papers. Preliminary proceedings will be made available at the conference in electronic form. Depending on the number and quality of submissions, we will consider publishing extended and revised papers as a journal special issue, subject to the usual reviewing procedure. Previous special issues of CMCS have appeared in high-ranking journals including Information and Computation and Theoretical Computer Science. Important dates --------------- ( for regular papers ) * 4 January 2012: submission deadline (strict) * 3 February 2012: author notification * 7 February 2012: final version ( for short contributions ) * 27 February 2012: submission deadline (strict) * 6 March 2010: author notification ( workshop ) * 31 March - 1 April 2012 Programme Committee ------------------- Luis Barbosa, University of Minho, Braga, Portugal Filippo Bonchi, LIP ENS-Lyon, France Josee Desharnais, Université Laval, Canada Mai Gehrke, Radboud University Nijmegen, The Netherlands H. Peter Gumm, University of Marburg, Germany Ichiro Hasuo, University of Tokyo, Japan Patricia Johann, University of Strathclyde, Glasgow, Scotland, UK Ekaterina Komendantskaya, University of Dundee, Scotland, UK Dexter Kozen, Cornell University, Ithaca, NY, USA Dorel Lucanu, Alexandru Ioan Cuza University, Iasi, Romania Stefan Milius, Technical University of Braunschweig, Germany Larry Moss, Indiana University, Bloomington, USA Prakash Panangaden, McGill University, Montreal, Canada Dirk Pattinson, Imperial College London, UK (co-chair) Dusko Pavlovic, Royal Holloway, London, UK Daniela Petrisan, University of Leicester, UK Grigore Rosu, University of Illinois at Urbana-Champaign, USA Jan Rutten, CWI and Radboud University Nijmegen, The Netherlands Luigi Santocanale, University of Provence, Marseille, France Lutz Schröder, DFKI GmbH, Bremen, Germany (co-chair) Alexandra Silva, CWI, Amsterdam, The Netherlands Ana Sokolova, University of Salzburg, Austria Sam Staton, University of Cambridge, UK Yde Venema, University of Amsterdam, The Netherlands Steering Committee ------------------ Jiri Adamek, Technical University of Braunschweig, Germany Corina Cirstea, University of Southampton, UK H. Peter Gumm (chair), University of Marburg, Germany Bart Jacobs, Radboud University Nijmegen, The Netherlands Alexander Kurz, University of Leicester, UK Marina Lenisa, University of Udine, Italy Ugo Montanari, University of Pisa, Italy Larry Moss, Indiana University, Bloomington, USA Dirk Pattinson, Imperial College London, UK John Power, University of Bath, UK Horst Reichel, Technical University of Dresden, Germany Jan Rutten, CWI and Radboud University Nijmegen, The Netherlands Lutz Schröder, DFKI GmbH and University of Bremen, Germany . From lukasiew at gmail.com Thu Dec 15 20:24:41 2011 From: lukasiew at gmail.com (Thomas Lukasiewicz) Date: Thu, 15 Dec 2011 19:24:41 +0000 Subject: FoIKS 2012: Call for Participation Message-ID: <4EEA4979.8030903@cs.ox.ac.uk> [Apologies for multiple copies] ------------------------------------------------------- C A L L F O R P A R T I C I P A T I O N ------------------------------------------------------- Seventh International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2012) March 5-9, 2012 -- Kiel, Germany http://2012.foiks.org/ The FoIKS symposia provide a biennial forum for presenting and discussing theoretical and applied research on information and knowledge systems. The goal is to bring together researchers with an interest in this subject, share research experiences, promote collaboration and identify new issues and directions for future research. FoIKS 2012 solicits original contributions dealing with any foundational aspect of information and knowledge systems. This includes submissions that apply ideas, theories or methods from specific disciplines to information and knowledge systems. Examples of such disciplines are discrete mathematics, logic and algebra, model theory, information theory, complexity theory, algorithmics and computation, statistics and optimisation. Previous FoIKS symposia were held in Sofia (Bulgaria) in 2010, Pisa (Italy) in 2008, Budapest (Hungary) in 2006, Vienna (Austria) in 2004, Schloss Salzau near Kiel (Germany) in 2002, and Burg/Spreewald near Berlin (Germany) in 2000 (see http://www.foiks.org/). FoIKS took up the tradition of the conference series Mathematical Fundamentals of Database Systems (MFDBS), which initiated East-West collaboration in the field of database theory. Former MFDBS conferences were held in Rostock (Germany) in 1991, Visegrad (Hungary) in 1989, and Dresden (Germany) in 1987. The FoIKS symposia are a forum for intense discussions. Speakers will be given sufficient time to present their ideas and results within the larger context of their research. Furthermore, participants will be asked to prepare a first response to another contribution in order to initiate discussion. WHY TO ATTEND: (1) high level research on database theory and artificial intelligence with world-class theoretical and applied research published by Springer in the LNCS series (since the beginning); (2) keynotes by leaders in the area of information systems theory and knowledge bases; (3) long talks (60 min) with reponders (15 min) and discussion (another 15 min) each paper giving in the first 30 minutes an introduction into the area making thus each paper understandable by everybody in the auditory with a long break for continuing discussions; (4) for an introduction into the area, for your own continuing and advanced academic education and professional development tapping into new fields of research; (5) for your PhD students as a kind of special winter school as a quick, deep and high-level survey of the latest state-of-the-art in the area thus fostering the next generation of researchers by including them in the research dialogue and providing a deep background knowledge; (6) long and intensive discussion on each research in a friendly and open climate promoting a culture of communication, exchange and collaborative work; (7) quick introduction into the essentials of each paper directly at the beginning of the conference. Thus: a conference combining classical conference, tutorials and winter school having a real workshop atmosphere aiming at inspiration of your research and at collaboration with colleagues. REGISTRATION: https://www.is.informatik.uni-kiel.de/events/foiks_2012/index.php Early-bird registration deadline: December 30, 2011. Early-bird registration fee (for participants from academic organizations): EUR 500 INVITED SPEAKERS András Benczúr (Computer and Automation Institute, Hungarian Academy of Sciences, Hungary) Thomas Eiter (Vienna University of Technology, Austria) Thomas Schwentick (TU Dortmund, Germany) PROGRAM CHAIRS Thomas Lukasiewicz (University of Oxford, UK) Attila Sali (Alfréd Rényi Institute, Hungarian Academy of Sciences, Hungary) LOCAL ORGANIZATION CHAIR Bernhard Thalheim (Christian-Albrechts-University Kiel, Germany) PUBLICITY CHAIR Markus Kirchberg (HP Labs, Singapore) ACCEPTED PAPERS: * Functional Dependencies on Extended Relations Defined by Regular Languages Gyula I. Szabó and András Benczúr * Inconsistency Tolerance in Knowledge-Based Systems by Dissimilarities Ofer Arieli and Anna Zamansky * Revising Belief without Revealing Secrets Joachim Biskup and Cornelia Tadros * Using Functional Dependencies for Reducing the Size of a Data Cube Eve Garnaud, Sofian Maabout, and Mohamed Mosbah * Synchronous Parallel Database Transformations Klaus-Dieter Schewe and Qing Wang * Armstrong Databases and Reasoning for Functional Dependencies and Cardinality Constraints over Partial Bags Sven Hartmann, Henning Koehler, Sebastian Link, and Bernhard Thalheim * FD Covers and Universal Complements of Simple Projections Stephen Hegner * Flexible and Efficient Distributed Resolution of Large Entities Csaba István Sidló, András J. Molnár, and Andras A. Benczúr * Encoding Databases Satisfying a Given Set of Dependencies Gyula O.H. Katona and Krisztián Tichler * The Impact of Transitive Closure on the Boolean Expressiveness of Navigational Query Languages on Graphs George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Jan Van Den Bussche, Dirk Van Gucht, Stijn Vansummeren, and Yuqing Wu * On Lifted Inference for a Relational Probabilistic Conditional Logic with Maximum Entropy Semantics Annika Krämer and Christoph Beierle * On Real-Valued Evaluation of Propositional Formulas Aleksandar Perovic, Dragan Doder, and Zoran Ognjanovic * Detecting Suspect Answers in the Presence of Inconsistent Information Olivier Pivert and Henri Prade * Backing and Undercutting in Abstract Argumentation Frameworks Andrea Cohen, Alejandro J. García, and Guillermo R. Simari. * Handling Preferences in P2P Systems Luciano Caroprese and Ester Zumpano * Formalizing Production Systems with Rule-Based Ontolgies Martin Rezk and Michael Kifer * More than the Sum of its Parts - Holistic Ontology Alignment by Population-Based Optimisation Jürgen Bock, Sebastian Rudolph, and Michael Mutter * Verifying Resource Requirements for Ontology-Driven Rule-Based Agents Abdur Rakib, Rokan Uddin Faruqui, and Wendy Maccaull * Learning the News in Social Networks Krishnan Rajagopalan, Venkatesh Srinivasan, and Alex Thomo * Count Constraints and the Inverse OLAP Problem: Definition, Complexity and a Step toward Aggregate Data Exchange Domenico Saccà, Edoardo Serra, and Antonella Guzzo ORGANIZED BY: Christian-Albrechts-University at Kiel, Germany Completely non-profit organisation with full service for your fees. Following the approach and tradition of the MFDBS (Mathematical fundamentals of database systems) founded as the East European Forum for Database Theory thus making the event the tenth event in this area. For visa support please contact Ove Sörensen FURTHER INFORMATION For further information, refer to the FoIKS 2012 web site at: http://2012.foiks.org/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ICSAI2012CFP at mail.ytu.edu.cn Fri Dec 16 06:18:38 2011 From: ICSAI2012CFP at mail.ytu.edu.cn (Prof Sun) Date: Fri, 16 Dec 2011 13:18:38 +0800 Subject: ICSAI 2012, Yantai, China: Submission Deadline 6 January [EI Compendex/ISTP/IEEE Xplore] Message-ID: Dear Colleague, The 2012 International Conference on Systems and Informatics (ICSAI 2012) will be held from 19-21 May 2012 in Yantai, China. Submission Deadline is 6 January 2012. ICSAI 2012 aims to be a premier international forum for scientists and researchers to present the state of the art of systems engineering and information science. Topics include (but are not limited to): Systems · Control and Automation Systems · Power and Energy Systems · Intelligent Systems · Computer Systems and Applications Informatics · Communications and Networking · Image, Video, and Signal Processing · Data Engineering and Data Mining · Software Engineering The registration fee of US$400 includes proceedings, lunches, dinners, banquet, coffee breaks, and all technical sessions. ICSAI 2012 is technically co-sponsored by the IEEE Systems, Man, and Cybernetics Society. All papers in conference proceedings will be indexed by both EI Compendex and ISTP, as well as the IEEE Xplore (IEEE Conference Record #19873; IEEE Catalog Number CFP1273R-CDR; ISBN: 978-1-4673-0197-8). Substantially extended versions of best papers will be considered for publication in a special issue of a SCI-indexed journal. Yantai was listed as one of the world's most inhabitable places by the United Nations and was recognized as the "most charming city of China" by China Central Television. Undulating hills rise above the area's many rivers and are framed by beaches and neighboring islands. Famous tourist attractions include the Tashan Mountain, Kongdong Island, and Penglai Pavilion Scenic Area. Seafood and fruits are plentiful in Yantai. For more information, visit the conference web page: http://ICSAI2012.ytu.edu.cn If you have any questions after visiting the conference web page, please email the secretariat at ICSAI2012 at ytu.edu.cn Join us at this major event in beautiful Yantai !!! Organizing Committee ICSAI2012 at ytu.edu.cn P.S.: Kindly forward to your colleagues or students who may be interested. If you wish to unsubscribe, in which case we apologize, please reply with "unsubscribe event at tu-clausthal.de " in your email subject. Thanks. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From esslli2012stus at loriweb.org Fri Dec 16 09:29:47 2011 From: esslli2012stus at loriweb.org (ESSLLI 2012 Student Session) Date: Fri, 16 Dec 2011 09:29:47 +0100 Subject: First CfP: ESSLLI 2012 Student Session In-Reply-To: <4EE9E448.8080204@loriweb.org> References: <4EE9E448.8080204@loriweb.org> Message-ID: <4EEB017B.6020905@loriweb.org> ** APOLOGIES FOR MULTIPLE POSTINGS** *** PLEASE DISTRIBUTE TO STUDENTS *** First Call for Papers *ESSLLI 2012 STUDENT SESSION* Held during The 24th European Summer School in Logic, Language and Information Opole, Poland, August 6-17, 2012 Deadline for submissions: March 20, 2012 http://loriweb.org/ESSLLI2012StuS/ *ABOUT:* The Student Session of the 24th European Summer School in Logic, Language, and Information (ESSLLI) will take place in Opole, Poland on August 6-17, 2012. We invite submissions of original, unpublished work from students in any area at the intersection of Logic & Language, Language & Computation, or Logic & Computation. Submissions will be reviewed by several experts in the field, and accepted papers will be presented orally or as posters and will appear in the student session proceedings. This is an excellent opportunity to receive valuable feedback from expert readers and to present your work to a diverse audience. ESSLLI 2012 will feature a wide range of foundational and advanced courses and workshops in all areas of Logic, Language, and Computation. Consult the main ESSLLI website (link below) for further information. *INSTRUCTIONS FOR AUTHORS:* Authors must be students, i.e., may not have received the Ph.D. degree before August 2012. All submissions must be in PDF format and be submitted to the conference EasyChair website. Submissions may be singly or jointly authored. No one may submit more than one singly and one jointly authored paper. There are two types of papers. Long papers of up to 8 pages will be considered for both oral presentation and the poster session. Short papers of up to 4 pages will be considered as submissions for the poster session. Submissions must be anonymous, without any identifying information, and must be must be received by *March 20, 2012*. More detailed guidelines regarding submission can be found on the Student Session website: http://loriweb.org/ESSLLI2012StuS/ Links to previous years' proceedings are also available there. Please direct inquiries about submission procedures or other matters relating to the Student Session to esslli2012stus at loriweb.org. For general inquiries about ESSLLI 2012, please consult the main ESSLLI 2012 page, http://esslli2012.pl/. Kind regards, The ESSLLI 2012 Students Session Organization Committee, Rasmus K. Rendsvig (Roskilde University) (chair) Anders Johannsen (University of Copenhagen) Dominik Klein (Tilburg University) Margot Colinet (Université de Paris 7) Matthijs Westera (Universiteit van Amsterdam) Maxim Haddad (University of Osnabrück) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ispa2012 at piojito.arcos.inf.uc3m.es Sat Dec 17 14:58:43 2011 From: ispa2012 at piojito.arcos.inf.uc3m.es (ISPA2012) Date: Sat, 17 Dec 2011 14:58:43 +0100 Subject: 2nd Call for Papers: ISPA 2012 -- The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications Message-ID: <20111217135843.GA29592@piojito.arcos.inf.uc3m.es> Dear Sir or Madam, (We apologize if you receive multiple copies of this message) ================================= ISPA 2012 CALL FOR PAPERS ----------------------------------------------------------------------------- The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA 2012) http://www.arcos.inf.uc3m.es/ispa2012 Madrid, Spain, 10-13 July 2012 ** Important Dates ** ================================== Papers due: January, 15, 2012 Camera ready: April, 15 2012 Notification: March, 15 2012 Conference dates: July, 10-13, 2012 Context ================================= ISPA-12 follows the traditions of previous successful ISPA conferences, ISPA-03 (Aizu, Japan), ISPA-04 (Hong Kong), ISPA-05 (Nanjing, China), ISPA-06 (Sorrento, Italy), ISPA-07 (Niagara Falls, Canada) and ISPA-08 (Sydney, Australia), ISPA-09 (Chengdu, China), ISPA-10 (Taipei, Taiwan), ISPA-11 (Busan, Korea). The objective of ISPA 2012 is to provide a forum for scientists and engineers in academia and industry to exchange and discuss their experiences, new ideas, research results, and applications about all aspects of parallel and distributed computing and networking. It will feature session presentations, workshops, tutorials, and keynote speeches. ISPA-12 is sponsored by IEEE Technical Committee on Scalable Computing (TCSC) and IEEE Computer Society. Topics of interest ================================= * Parallel and Distributed Algorithms, and Applications. * High-performance scientific and engineering computing. * Building block processors: FPGA, multicore, GPU, SoC * Architectures and Virtualization. * Middleware and tools. * Network and pervasive computing. * Performance simulations, measurement, and evaluations. * Reliability, fault tolerance, and security. * Database, data mining, and data management. * Virtualization techniques, tools, and applications. * Parallel/distributed system architectures. * Tools/environments for parallel/distributed software development. * Novel parallel programming paradigms. * Code generation and optimization. * Compilers for parallel computers * Distributed systems and applications. * Wireless networks, mobile, and pervasive computing. * Energy management and power optimization. * Green Computing and Energy-aware computing. * Grid and cluster computing. * Cloud systems and services. * Programming models for Cloud services and applications. * Internet computing and web services. * Database applications, data mining, and data management. * Data intensive applications and Internet-Of-Things. * IoT and Ubiquitous computing: application scenarios. Submissions ================================= * Submissions should not exceed 8 pages in IEEE CS proceedings paper format, including tables and figures. All paper submissions must represent original and unpublished work. Submission of a paper should be regarded as an undertaking that, should the paper be accepted, at least one of the authors will register for the conference and present the work. Submissions will be conducted electronically on the conference website. Journal publications ================================== Extended versions of distinguished selected papers accepted and presented in ISPA 2012, after further revisions, will be published in issues of following indexed international journals: - Cluster computing, Springer. - The Computer Journal, Oxford. - Int. Journal of Parallel Programming, Springer. - Personal and Ubiquitous Computing, Springer. - Computer & Electrical Engineering, Elsevier. Workshops ================================= - Clouds for Business, Business for Clouds. - International Workshop on Cross-Stratum Optimization for Cloud Computing and Distributed Networked Applications. - International Workshop on AstroParticles Physics Advanced Computing (APPAC). - International Workshop on Multicore Cache Hierarchies: Design and Programmability Issues. - HAC 2012: International Workshop on Heterogeneus Architectures and Computing. - International Workshop On The Growing Problems with Scalable, Heterogeneous Infrastructures. - International Workshop on Stream Computing Applications. Best paper awards ================================= The Program Committee of ISPA 2012 will give two best paper awards: one NVIDIA Best Student Paper Award and one NVIDIA Best Paper Award. Best Paper Awards will be given to the author(s) of a full paper presented at the conference, selected by the Organizing Committee. The Best Paper Award is a Tesla C2075 computing processor, sponsored by NVIDIA. Steering Chairs ================================= Minyi Guo (Shanghai Jia Tong University, China) Laurence T. Yang (St. Francis Xavier University, Canada) General Chairs ================================= David Abramson (Monash eScience and Grid Lab, Australia) J. Daniel García (University Carlos III of Madrid, Spain) Thomas Ludwig (German Climate Computing Center and University of Hamburg, Germany) General Vice-Chairs ================================= Félix García (University Carlos III of Madrid, Spain) James J. (Jong Hyuk) Park (Seoul National University of Science and Technology, Korea) Ruppa K. Thulasiram (University of Manitoba, Canada) Program Chairs ================================= Nelson Amaral (University of Alberta, Canada) Jesús Carretero (University Carlos III of Madrid, Spain) Mitsuhisa Sato (University of Tsukuba, Japan) Workshop Chairs ================================= Florin Isaila (University Carlos III of Madrid, Spain) Avery Ching (Yahoo, USA) Tutorial Chair ================================= Robert Latham (Argonne National Labs, USA) International Advisory Committee ================================= Hamid R. Arabnia (The University of Georgia, USA) Alok Choudhary (Northwestern University, USA) Jack Dongarra (University of Tennessee, USA) Ian Foster (Argonne National Laboratory and The University of Chicago, USA) Hai Jin (Huazhong University of Science and Technology, China) Eleni Karatza (Aristotle University of Thessaloniki, Greece) Victor C.M. Leung (University of British Columbia, Canada) Stephan Olariu (Old Dominion University, USA) Yi Pan (Georgia State University, USA) Stephen S. Yau (Arizona State University, USA) Albert Y. Zomaya (The University of Sydney, Australia) Program Vice-Chairs ================================= Edson Borin (University of Campinas, Brasil) Paolo Bellavista (University of Bologna, Italy) Christian Engelmann (Oak Ridge National Laboratory, USA) Akihiro Inokuchi (Osaka University, Japan) Raffaele Montella (University of Napoli Parthenope, Italy) Rainer Keller (HLRS, Germany) Parimala Thulasiraman (University of Manitoba, Canada) International Program Committee ================================= **Please visit the conference web site (http://www.arcos.inf.uc3m.es/ispa2012/) From mue2012 at piojito.arcos.inf.uc3m.es Sat Dec 17 18:30:20 2011 From: mue2012 at piojito.arcos.inf.uc3m.es (MUE2012) Date: Sat, 17 Dec 2011 18:30:20 +0100 Subject: 2nd Call for Papers: MUE 2012 -- The 6th FTRA International Conference on Multimedia and Ubiquitous Engineering Message-ID: <20111217173020.GA12707@piojito.arcos.inf.uc3m.es> Dear Sir or Madam, (We apologize if you receive multiple copies of this message) ================================== The 6th FTRA International Conference on Multimedia and Ubiquitous Engineering (MUE 2012) http://www.arcos.inf.uc3m.es/mue2012 Madrid, Spain, 10-13 July 2012 ** Important Dates ** ================================== Papers due: January, 15, 2012 Notification: March, 15 2012 Camera ready: April, 15 2012 Conference dates: July, 10-13, 2012 Context ================================= The new multimedia standards (for example, MPEG-21) facilitate the seamless integration of multiple modalities into interoperable multimedia frameworks, transforming the way people work and interact with multimedia data. These key technologies and multimedia solutions interact and collaborate with each other in increasingly effective ways, contributing to the multimedia revolution and having a significant impact across a wide spectrum of consumer, business, healthcare, education, and governmental domains. Moreover, the emerging mobile computing and ubiquitous networking technologies enable users to access fully broadband mobile applications and new services anytime and everywhere. The continuous efforts have been dedicated to research and development in this wide area including wireless mobile networks, ad-hoc and sensor networks, smart user devices and advanced sensor devices, mobile and ubiquitous computing platforms, and new applications and services including location-based, context-aware, or social networking services. This conference provides an opportunity for academic and industry professionals to discuss recent progress in the area of multimedia and ubiquitous environment including models and systems, new directions, novel applications associated with the utilization and acceptance of ubiquitous computing devices and systems. MUE 2012 is the next event in a series of highly successful the International Conference on Multimedia and Ubiquitous Engineering MUE-11 (Crete, Greece, June 2011), MUE-10 (Cebu, Philippines, August 2010), MUE-09 (Qingdao, China, June 2009), MUE-08 (Busan, Korea, April 2008), and MUE-07 (Seoul, Korea, April 2007). Topics of interest ================================= * Ubiquitous Computing and Technology * Context-Aware Ubiquitous Computing * Parallel/Distributed/Grid Computing * Novel Machine Architectures * Semantic Web and Knowledge Grid * Smart Home and Generic Interfaces * AI and Soft Computing in Multimedia * Computer Graphics and Simulation * Multimedia Information Retrieval (images, videos, hypertexts, etc.) * Internet Multimedia Mining * Medical Image and Signal Processing * Multimedia Indexing and Compression * Virtual Reality and Game Technology * Current Challenges in Multimedia * Protocols for Ubiquitous Services * Ubiquitous Database Methodologies * Ubiquitous Application Interfaces * IPv6 Foundations and Applications * Smart Home Network Middleware * Ubiquitous Sensor Networks / RFID * U-Commerce and Other Applications * Databases and Data Mining * Multimedia RDBMS Platforms * Multimedia in Telemedicine * Multimedia Embedded Systems * Multimedia Network Transmission/Streaming * Entertainment Industry * E-Commerce and E-Learning * Novel Multimedia Applications * Computer Graphics * Multimedia network transmission/streaming * Security in Commerce and Industry * Security in Ubiquitous Databases * Key Management and Authentication * Privacy in Ubiquitous Environment * Sensor Networks and RFID Security * Multimedia Information Security * Forensics and Image Watermarking * Cyber Security * Intrusion detection * Biometric Security * New developments in handheld and mobile information appliances * New paradigms: mobile cloud, personal networks, social and crowd computing, etc * Operating systems aspects for personal mobile devices * New technological advances for personal mobile devices * End-user interface issues in the design and use of personal technologies * Enabling technologies for personal multimedia and ubiquitous computing * Multimedia applications and techniques for personal computing devices * Usage of personal devices for on-line learning Submissions ================================= Submissions should not exceed 8 pages in IEEE CS proceedings paper format, including tables and figures. All paper submissions must represent original and unpublished work. Submission of a paper should be regarded as an undertaking that, should the paper be accepted, at least one of the authors will register for the conference and present the work. Submissions will be conducted electronically on the conference website. Journal publications ================================== Distinguished selected papers accepted and presented in MUE 2012, after further revisions, will be published in issues of several indexed international journals. Best paper awards ================================= The Program Committee of MUE 2012 will give two best paper awards: one NVIDIA Best Student Paper Award and one NVIDIA Best Paper Award. Best Paper Awards will be given to the author(s) of a full paper presented at the conference, selected by the Organizing Committee. The Best Paper Award is a Tesla C2075 computing processor, sponsored by NVIDIA. Steering Chair ================================= James J. (Jong Hyuk) Park (SeoulTech, Korea) General Chairs ================================= Jesus Carretero (University Carlos III of Madrid, Spain) Sangsoo Yeo (Mokwon University, Korea) General Vice-Chair ================================= Seungmin Rho (Korea University, Korea) Program Chairs ================================= Jianping Fan(University of North Carolina, USA) J. Daniel Garcia (University Carlos III of Madrid, Spain) Program Vice-Chairs ================================= Claudia Cannali (University of Modena e Reggio Emilia, Italy) Benoit Huet (Eurecom, France) Jiankun Hu (University of New South Wales at the Australian Defence Force Academy, Australia) Eleni Mangina (University College Dublin, Ireland) Feng Wu (Microsoft Research Asia, China) Zhiwen Yu (Northwestern Polytechnical University, China) Workshop Chairs ================================= Juan Manuel Dodero (University of Cadiz, Spain) Abelardo Pardo (University Carlos III of Madrid, Spain) International Program Committee ================================= **Please visit the conference web site (http://www.arcos.inf.uc3m.es/mue2012) From wmaccaul at stfx.ca Mon Dec 19 17:55:26 2011 From: wmaccaul at stfx.ca (Wendy MacCaull) Date: Mon, 19 Dec 2011 12:55:26 -0400 Subject: Postdoc opportunity -- Verifying time/resource sensitive safety critical systems --- and applications to health care Message-ID: Post-doc opportunity: Verification of Time/Resource Sensitive Safety Critical Systems using High Performance Computing This post doctoral position offers the successful candidate the opportunity to be at the forefront in developing technology for safety critical systems targeting health services delivery. The motivational problems involve modeling and verifying workflow systems using innovative ontology-driven workflow management frameworks. Case studies will involve very large workflows for community-based health care programs. This is a 1 year contract with the possibility of extensions. The candidate will have the opportunity to: * work with researchers and graduate students in a large interdisciplinary R&D project led by Dr. Wendy MacCaull, at StFX University in Antigonish, Nova Scotia, (see www.logic.stfx.ca); * collaborate with our industry partners; * work closely with a variety of health care professionals; * collaborate and network with the Canadian Consortium in High Performance Computing, and researchers at universities across Canada; * reside in a small town with an affordable lifestyle, close to beaches and scenic landscapes, with a thriving Academic and Arts community, in close proximity (2 hours) to a major metropolitan city. This position is partially supported by the ACEnet (Atlantic Computational Excellence Network see www.ace-net.ca) Research Fellowships Program and by ACOA through the Atlantic Innovation Fund. Qualifications: - PhD in Computer Science and a strong background in formal methods or related area; knowledge and expertise in parallel and distributed computing is an asset; - Desire and commitment to work on applied problems in an high performance computing environment; - Ability to present information in English clearly, both in verbal and written formats; - Enjoys working in a collaborative environment. Salary: $46,000 per year (plus a funding allowance for conference presentations). To apply, send: (1) a 1 page cover letter briefly describing how your education and experience fit the requirements of this position, (2) a detailed CV with descriptions of previous research projects and applied experience, (3) names and contact information for 3 references (names, addresses, e-mail addresses and phone numbers), (4) copies of recent publications, to Wendy MacCaull at wmaccaul at stfx.ca; Use the subject: HPC Verification and Health Care. Review of the applications will begin on January 9th 2012, with a start date as soon as possible. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: -------------- nächster Teil -------------- Ein eingebundener Text mit undefiniertem Zeichensatz wurde abgetrennt. Name: PostDocAdvertisementDec2011.txt URL: From r.faruqui at yahoo.com Tue Dec 20 02:35:57 2011 From: r.faruqui at yahoo.com (Rokan Uddin Faruqui) Date: Mon, 19 Dec 2011 17:35:57 -0800 (PST) Subject: Post-doc opportunity: Verification of Time/Resource Sensitive Safety Critical Systems using High Performance Computing Message-ID: <1324344957.73483.YahooMailNeo@web161205.mail.bf1.yahoo.com> Post-doc opportunity: Verification of Time/Resource Sensitive Safety Critical Systems using High Performance Computing This post doctoral position offers the successful candidate the opportunity to be at the forefront in developing technology for safety critical systems targeting health services delivery. The motivational problems involve modeling and verifying workflow systems using innovative ontology-driven workflow management frameworks. Case studies will involve very large workflows for community-based health care programs. This is a 1 year contract with the possibility of extensions. The candidate will have the opportunity to: * work with researchers and graduate students in a large interdisciplinary R&D project led by Dr. Wendy MacCaull, at StFX University in Antigonish, Nova Scotia, (see www.logic.stfx.ca); * collaborate with our industry partners; work closely with a variety of health care professionals; * collaborate and network with the Canadian Consortium in High Performance Computing, and researchers at universities across Canada; * reside in a small town with an affordable lifestyle, close to beaches and scenic landscapes, with a thriving Academic and Arts community, in close proximity (2 hours) to a major metropolitan city. This position is partially supported by the ACEnet (Atlantic Computational Excellence Network see www.ace-net.ca) Research Fellowships Program and by ACOA through the Atlantic Innovation Fund. Qualifications: * PhD in Computer Science and a strong background in formal methods or related area; knowledge and expertise in parallel and distributed computing is an asset; * Desire and commitment to work on applied problems in an high performance computing environment;   * Ability to present information in English clearly, both in verbal and written formats; * Enjoys working in a collaborative environment. Salary: $46,000 per year (plus a funding allowance for conference presentations). To apply, send: 1. a 1 page cover letter briefly describing how your education and experience fit the requirements of this position, 2. a detailed CV with descriptions of previous research projects and applied experience, 3. names and contact information for 3 references (names, addresses, e-mail addresses and phone numbers), 4. copies of recent publications, to Wendy MacCaull at wmaccaul at stfx.ca; Use the subject: HPC Verification and Health Care. Review of the applications will begin on January 9th 2012, with a start date as soon as possible.  --------------------------------------- Md. Rokan Uddin Faruqui Assistant Professor Dept. of Computer Science & Engineering University of Chittagong Chittagong-4331 E-mail: rufaruqui at cu.ac.bd -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From wchen at i-a-i.com Tue Dec 20 19:15:07 2011 From: wchen at i-a-i.com (Wei Chen) Date: Tue, 20 Dec 2011 13:15:07 -0500 Subject: 3rd Intl WS on Multi-Agent Systems and Collaborative Technologies (I-MASC 2012) Message-ID: <001d01ccbf43$4dd96a70$e98c3f50$@com> The 3rd International Workshop on Multi-Agent Systems and Collaborative Technologies (I-MASC 2012) http://cisedu.us/rp/cts12/2-conference/workshops/workshop-06-imasc CALL FOR PAPERS As part of The 2012 International Conference on Collaboration Technologies and Systems (CTS 2012) http://cts2012.cisedu.info/ May 21 - 25, 2012 The Westin Westminster Hotel Denver, Colorado, USA Submission Deadline: January 16, 2012   *** A hard deadline without any extension *** Submissions could be for full papers (8 pages) or short papers (4 pages) SCOPE AND OBJECTIVES Multi-Agent Systems (MAS) has grown into an interdisciplinary field that includes various tracks and embraces many previously distinctive research areas.  Particularly, multi-agent coordination, a sub-area of MAS, investigates how multiple intelligent computational agents work together to achieve high-level goals beyond the capabilities of single agents.  Many different approaches have been investigated, such as the partially observable Markov decision process (POMDP), task structure analysis, coordination communication protocols, etc.  Collaborative Technologies and Systems (CTS) have evolved significantly as well. These tend to investigate the design and development of effective environments or tools that help human users work together in a distributed collaborative, possibly virtual, fashion.  Some notable examples of CTS include Collaboratories, collaborative design/editing, and on-line collaboration tools and environments.  CTS is beginning to look at the challenges of supporting coordinated, purposive activities.  MAS is still facing challenges of scaling to large numbers of entities and real-world tasks (see, for example, Hendler's question of, "where are all the intelligent agents?" ).  This workshop will explore potential synergy between CTS and MAS/coordination because they share a common ground: how multiple entities ? intelligent agents or humans alike - work together to carry out potentially related tasks.  We will ask questions of whether and how design and development of collaborative systems, promoting coordinated human activity, could be enhanced by incorporating insights from MAS.  Collaborative technologies embody practical considerations from the human users' points of view, allowing users to ignore how the underlying (agent) infrastructure is implemented.  Meanwhile, MAS/coordination investigates intelligent agents' underlying algorithms and mechanisms and, in some cases, how artificial agents can interact with people as peers.  Conversely, intelligent agents will not see significant acceptance, nor will they be able to manage the complexity and knowledge-intensity of meaningful practical applications, without developing some understanding of how to make effective use of human contributions throughout the specification, execution, evaluation, and refinement stages of the software lifecycle.  This workshop solicits papers that discuss synergies between MAS and CTS, possible advantages/disadvantages of hybrids between them for designing and developing modern distributed collaborative software systems, and research and/or real-world experience and/or applications and/or lessons learned that involve both CTS and MAS.  That is, any paper that addresses both CTS and MAS, preferably in one or a set of applications that share similar underlying research challenges, is of interest to this workshop.  An example could be: the design and development of a collaborative environment (say, a distributed planning tool) that enables multiple heterogeneous, human experts and agents to work in combination across computer networks on courses of actions in response to cyber attacks.  Another example might be systems or interfaces supporting the division of labor between CTS and MAS elements during execution. The Workshop topics include (but are not limited to) the following: *              MAS: Coordination of and by Computational Agents -              Agent Communication, Languages and Protocols -              Agent Models and Architectures -              Multi-Agent Coordination and Cooperation -              Human-Agent Interaction -              Multi-User/Multi-Agent Interaction -              Teamwork, Coalition Formation, Coordination -              Peer to Peer Coordination -              Modeling the Dynamics of MAS -              Agent-based System Development -              Collective Decision Making -              Bargaining and Negotiation -              Auction and Mechanism Design -              Cooperative and Non-Cooperative Agents -              Complex MAS -              Virtual Agents Applications -              Conversational Agents -              Distributed Task Planning and Execution -              Cooperation with Humans and Robots -              Collective Intelligence -              Agent Reasoning -              Mining Agents -              Security Agents *              CTS:  Agent Technologies and Systems Supporting Collaboration Among Humans -              Architectures and Design of Collaborative Systems -              Frameworks and Methodologies for Collaboration -              Cognitive and Psychological Issues in Collaboration -              Collaborative Human-Centered Systems -              Cultural Aspects & Human Factors in Collaboration -              Interfaces for Collaborative Work -              Social Software Based Collaboration -              Visualization of Collaborative Processes -              Web Infrastructure for Collaborative Applications -              Information Infrastructure for Collaboration -              Management of Metadata for Collaboration -              Mobile and Wireless Collaboration Systems -              Modeling and Simulation of Collaboration -              Platforms for Collaboration -              Collaboration in Domain Applications Important:  A submitted paper must have keywords from BOTH lists of MAS and CTS!  Synergies of CTS and MAS topics are of interest with respect to any phase of a human or software systems lifecycle:  specification, implementation, testing, evaluation, and deployment. PAPER SUBMISSION You are invited to submit original and unpublished research works on the above and other topics related to Collaborative Technologies and Multi-Agent Systems.  Submitted papers must not have been published or simultaneously submitted elsewhere.  Submission should include a cover page with authors' names, affiliation addresses, fax numbers, phone numbers, and email addresses.  Please, indicate clearly the corresponding author and include up to 6 keywords from the above list of topics and an abstract of no more than 400 words. We welcome prospective participants to submit either full papers (up to 8 pages) or short papers (up to 4 pages). The manuscript should use the two-column IEEE format.  Additional pages will be charged at additional fee.  In case of multiple authors, an indication of which author is responsible for correspondence must be indicated.  Please include page numbers on all preliminary submissions to make it easier for reviewers to provide helpful comments.  Submit a PDF copy of your full manuscript to the Workshop paper submission site at the link: https://www.easychair.org/conferences/?conf=imasc2012.  Notably, (1) only PDF files will be accepted; (2) papers should have the following name format for easy identification: 'Surname_Initial_1.PDF', where the Surname is that of the first author; and (3) follow the Easy Chair website instructions to login into the system (or create your account if necessary) and upload your paper accordingly. Each paper will receive a minimum of three reviews.  Papers will be selected based on their originality, relevance, technical clarity and presentation.  Submission implies the willingness of at least one of the authors to register and present the paper, if accepted.  Authors of accepted papers must guarantee that their papers will be registered and presented at the workshop.  Accepted papers will be published in the Conference proceedings.  Instructions for final manuscript format and requirements will be posted on the CTS 2012 Conference web site.  It is our intent to have the proceedings formally published in hard and soft copies and be available at the time of the conference.  The proceedings is projected to be included in the IEEE Digital Library and indexed accordingly. If you have any questions about paper submission or the workshop, please contact the workshop organizers.  IMPORTANT DATES Paper Submissions: ------------------------------------------- January 16, 2012 Acceptance Notification: ------------------------------------- February 06, 2012 Camera Ready Papers and Registration Due: -------------------- March 01, 2012 Conference Dates:  ------------------------------------------- May 21 - 25, 2012 WORKSHOP ORGANIZERS Wei Chen, Ph.D., Intelligent Automation, Inc. 15400 Calhoun Drive, Suite 400, Rockville, MD 20855, USA Phone :  +1 (301) 294-5278, Email:  wchen at i-a-i.com Edmund Durfee, Ph.D., Computer Science and Engineering, University of Michigan 2260 Hayward Street, Ann Arbor MI 48109-2121, USA Phone: +1 (734) 936-1563,  Email: durfee at umich.edu Myriam Abramson, Ph.D., Naval Research Laboratory, USA Email: Myriam.Abramson at nrl.navy.mil  International Program Committee:  All submitted papers will be reviewed by the workshop technical program committee members following similar criteria used in CTS 2012.  Giacomo Cabri                Università di Modena e Reggio Emilia, Italy Bradley Clement              NASA JPL, USA Geoffrey Fox                 Indiana University, USA Alexander Grushin          Intelligent Automation, Inc., USA Peng Liu                     Pennsylvania State University, USA Frank Liu                    Missouri University of Science and Technology, USA William Mcquay               AFRL, USA John Meier                   Boeing, USA Priya Ranjan                 Human Development Foundation, India Volkmar Schau                Friedrich Schiller University Jena, Germany Waleed Smari                 University of Dayton, USA Jose Vidal                   University of South Carolina (*Additional committee members may be available pending confirmation shortly.) For information or questions about Conference's paper submission, tutorials, posters, workshops, special sessions, exhibits, demos, panels and forums organization, doctoral colloquium, and any other information about the conference location, registration, paper formatting, etc., please consult the Conference's web site at URL: http://cts2012.cisedu.info/  or contact one of the Conference's organizers or Co-Chairs: Geoffrey C. Fox at gcf at indiana.edu  and Waleed W. Smari at Smari at arys.org. __________________________________________________________________________ This message and all attachments are PRIVATE, and contain information that is PROPRIETARY to Intelligent Automation, Inc. You are not authorized to transmit or otherwise disclose this message or any attachments to any third party whatsoever without the express written consent of Intelligent Automation, Inc. If you received this message in error or you are not willing to view this message or any attachments on a confidential basis, please immediately delete this email and any attachments and notify Intelligent Automation, Inc. From J.M.Broersen at uu.nl Wed Dec 21 10:16:42 2011 From: J.M.Broersen at uu.nl (Jan Broersen) Date: Wed, 21 Dec 2011 10:16:42 +0100 Subject: CFP: DEON 2012 Message-ID: <4EF1A3FA.4080904@uu.nl> DEON 2012 11th International Conference on Deontic Logic in Computer Science 16-18 July 2012 University of Bergen, Bergen, Norway http://dl.dropbox.com/u/596427/deon12/DEON_2012/Home.html 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, DEON2012 will encourage a special focus on the topic: Deontic Logic and Social Choice There have been nine 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 2010. Selected papers from the conference will be published in a special issues of Journal of Logic and Computation, and/or the Journal of Applied Logic 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 - 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 Deontic Logic and Social Choice =============================== DEON2012's special theme is "Deontic Logic and Social Choice". Topics of interest in this special theme include, but are not limited to: - Normative system selection and optimization - Merging and aggregation of norms - Compliance and enforcement strategies for norms - Game theoretic aspects of deontic reasoning - Norms, culture and and shared values - Violation detection and norm creation mechanisms - Simulation of dynamics in normative systems - Emergence of norms - Norm change We welcome both theoretical work (formal models, representations, logics, specifications, verification) and implementation-oriented work (archi- tectures, programming languages, design models, simulations, prototype systems) on these specific topics. 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 (http://www.springer.de/comp/lncs/authors.html). 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 the submission system at http://www.easychair.org/conferences/?conf=deon2012 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 =========== The selected papers will be published in book form in the Springer Lecture Notes in Computer Science (LNCS) series (approval pending). Copies of the conference proceedings, will be provided to all participants. Important Dates =============== Abstract Submission Deadline: February 27, 2012 Paper Submission Deadline: March 5, 2012 Notification: April 9, 2012 Camera Ready: April 23, 2012 Program Chairs ============== Thomas Agotnes, University of Bergen Jan Broersen, Utrecht University Dag Elgesem, University of Bergen