From icics at just.edu.jo Sun Jan 2 12:04:40 2011 From: icics at just.edu.jo (ICICS 2011 Conference) Date: Sun, 2 Jan 2011 03:04:40 -0800 Subject: CFP Message-ID: <403223860093@lab7-1-3> [Apologies if you receive multiple copies of this Call For Papers.] ------------------------------------------------------------------------------------------------------- CALL FOR PAPERS ================= The 2nd International Conference on Information and Communication Systems, ICICS 2011 Organized by Jordan University of Science and Technology May 22-24, 2011 Amman, Jordan 　 http://www.icics.info IMPORTANT DATES ================= Full Paper Submission: January 15th, 2011 Tutorial and Special Sessions Proposals: January 15th, 2011 Notification of Decision: March 1st, 2011 Camera-Ready: April 1st, 2011 Poster Presentation Submission: April 10th, 2011 GENERAL INFORMATION ===================== The International Conference on Information and Communication Systems (ICICS 2011) is a forum for scientists, engineers, and practitioners to present their latest research results, ideas, developments, and applications in all areas of Computer and Information Sciences. The topics that will be covered in the ICICS 2011 include, but are not limited to: Artificial Intelligence, Mobile Computing, Networking, Information Security and Cryptography, Intrusion Detection and Computer Forensics, Web Content Mining, Bioinformatics and IT Applications, Database Technology, Systems Integration, Information Systems Analysis and Specification, Telecommunications, and Human-Computer Interaction.　 　 TOPICS ======= Researchers are encouraged to submit original research contributions in all major areas, which include, but not limited to: Databases and Information Systems Integration Artificial Intelligence Machine Learning Bioinformatics Data Mining Robotics and Autonomous Systems Knowledge Management & Natural Language Processing E-Government & E-Commerce E-Learning Health Information Systems Applications of Fuzzy Logic Applications of Neural Network Data Warehouses & Human Computer Interaction Systems Engineering Methodologies Embedded Systems Software Engineering Software Measurement Algorithms and Applications Computer Architecture Computer Graphics VLSI and its applications Computer Networks Wireless and Mobile Computing & Computer Simulation Information Security Information Systems Semantic Web Technologies Multimedia and Image Processing Parallel and Distributed Systems Pervasive and Adaptive Systems Reliability and Fault-Tolerance Internet and Collaborative Computing 　 　 INSTRUCTIONS FOR AUTHORS =========================== 　 Prospective authors are invited to submit full papers following the guideline posted on the conference website http://www.icics.info/. Submitted papers will be peer-reviewed. Please submit your paper in PDF format via the electronic submission system available in EasyChair: 　 http://www.easychair.org/conferences/?conf=icics2011 　 　 Prospective authors are expected to present their papers at the conference, which will include a number of special sessions and tutorials. Tutorial and special sessions authors must submit their proposals including title, rationale, session outline, and contact information to the conference secretariat before the deadline. 　 　 COMMITTEES ============ General Chair Omar Al-Jarrah, Jordan University of Science & Technology, Jordan 　 Steering Committee Chair Mohammad Al-Rousan, Jordan University of Science & Technology, Jordan 　 TPC Chair Basheer Al-Duwairi, Jordan University of Science & Technology, Jordan Plenary Sessions and Tutorials Chair Moad Mwafi, Jordan University of Science & Technology, Jordan 　 Student poster competition chair Monther Dwairi, Jordan University of Science & Technology, Jordan 　 Organizing Committee Chair Muneer Masadeh, Jordan University of Science & Technology, Jordan 　 Publication and Publicity Chair Wail Mardini, Jordan University of Science & Technology, Jordan 　 　 Please send any enquiry on ICICS 2011 to icics at just.edu.jo 　 ________________________________ This e-mail and any files transmitted with it are confidential and intended solely for the use of the individual or entity to which they are addressed. If you have received this email in error please notify your system support manager. Please note that any views or opinions presented in this email are solely those of the author and do not necessarily represent those of Jordan University of Science and Technology. Finally, the recipient should check this email and any attachments for the presence of viruses. Jordan University of Science and Technology accepts no liability for any damage caused by any virus transmitted by this email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From admin at cyberjournals.com Sun Jan 2 23:05:46 2011 From: admin at cyberjournals.com (admin at cyberjournals.com) Date: Sun, 02 Jan 2011 15:05:46 -0700 Subject: Cyber Journals Call For Paper - Submission Deadline: January 10th, 2011 Message-ID: <20110102150546.d1c5e7308455e5f882b16c30ca598fcb.928079081b.wbe@email12.secureserver.net> Dear All We'd like to invite you to contribute to the Cyber Journals' January Edition and circulate this invitation among interested students, researchers, and faculty members of your department. There are a number of editorials positions available, particularly in the areas of: Renewable Energy, Nanotechnology, Mechatronics, Robotics, VLSI, and Health/Bioinformatics. Please contact our Editors-in-Chief for more information. We'd also like to take this chance and wish you a prosperous year for 2011. Regards Dr. S. Adibi and Dr. T. Tofigh Cyber Journals Editors-in-Chief The Canadian-based Cyber Journals --------------------------- Call For Paper --------------------------- The Canadian-based Cyber Journals (ISSN: 1925-2676) invite students, researchers, academic and industrial professionals to submit manuscripts for the January Edition, under the following special issues: 1. Journal of Selected Areas in Telecommunications (JSAT) 2. Journal of Selected Areas in Software Engineering (JSSE) 3. Journal of Selected Areas in Microelectronics (JSAM) 4. Journal of Selected Areas in Nanotechnology (JSAN) 5. Journal of Selected Areas in Mechatronics (JMTC) 6. Journal of Selected Areas in Health Informatics (JSHI) 7. Journal of Selected Areas in Bioengineering (JSAB) 8. Journal of Selected Areas in Bioinformatics (JBIO) 9. Journal of Selected Areas in Robotics and Control (JSRC) 10. Journal of Selected Areas in Renewable and Sustainable Energy (JRSE) Scope: Cyber journals accept scientific research and review articles from diverse fields. Please refer to the journals website (http://www.cyberjournals.com/) for details under each special issue. Editorial Review: Manuscripts will be double-blind-peer reviewed by three experts and professionals in the field and the author(s) will receive the review results accordingly. Editorial Members: Cyber Journals publication is supported by +60 highly professional and technical editorial members, gathered from diverse technical and educational backgrounds from USA, Canada, and other parts of the world. Please refer to the editorial page for more information: http://www.cyberjournals.com/editors.html Author Guidelines: Please refer to the author guidelines section for a sample article template, which follows the IEEE standard (http://www.cyberjournals.com/guidelines.html). Submission: Authors are requested to submit their manuscripts using the submission page: (http://www.cyberjournals.com/submit.html). Paper Indexing: Accepted papers are fully accessible and indexed in this page: (http://www.cyberjournals.com/papers.html). Online Citation Sources: Cyber Journals Publication is a member of a number of online citation sources, including: Google Scholar, Docstoc, Scribd, Publishing List and getCITED, and will continue to be included in more online citation systems. Contacting the Editors-in-Chief: Contact us if you have a question regarding the journals, at: admin at cyberjournals.com Important Dates: Article Submission Deadline: January 10th, 2011 Author Notification: January 24th, 2011 Final Manuscript Due: January 31st, 2011 Online indexing: Early February 2011 From call.for.p at gmail.com Thu Jan 6 06:06:49 2011 From: call.for.p at gmail.com (Conference Account) Date: Thu, 6 Jan 2011 06:06:49 +0100 Subject: Call for Participation: DAMP 2011 Message-ID: ********************************************************************** CALL FOR PARTICIPATION DAMP 2011 Declarative Aspects of Multicore Programming 23 January 2011 Austin, TX, USA To be held in conjunction with POPL 2011 http://damp2011.cs.uchicago.edu/ ********************************************************************** IMPORTANT DATES Hotel reservation deadline: December 21, 2010 Early registration deadline: December 31, 2010 VENUE DAMP'11 and all POPL'11 affiliated events will take place at the Omni Austin Hotel in downtown Austin, TX. REGISTRATION To register for DAMP'11, follow the link from the POPL 2011 page, at https://regmaster3.com/2011conf/POPL11/register.php SCOPE DAMP 2011 is the sixth in a series of one-day workshops seeking to explore ideas in declarative programming language design that will greatly simplify programming for multicore architectures, and more generally for tightly coupled parallel architectures. The emphasis will be on (constraint-)logic and functional programming, but any declarative programming language ideas that aim to raise the level of abstraction are welcome. DAMP seeks to gather together researchers in declarative approaches to parallel programming and to foster cross fertilization across different approaches. WORKSHOP PROGRAM Welcome: 9:20-9:30 Session 1: Invited Talk (9:30 - 10:30) Domain Specific Compilation in the NVIDIA OptiX Ray Tracing Engine Austin Robison (NVIDIA) Break (10:30-11:00) Session 2: GPUs (11:00-12:30) Accelerating Haskell Array Codes with Multicore GPUs Manuel Chakravarty, Gabriele Keller, Sean Lee, Trevor McDonell and Vinod Grover Breaking the GPU Programming Barrier with the Auto-Parallelising SAC Compiler Jing Guo, Jeyarajan Thiyagalingam and Sven-Bodo Scholz Optimizing an Applicative Array Language for Graphics Processors Bradford Larsen Lunch (12:30-14:00) Session 3: Programming models (14:00-15:30) Computing with Streams Joaquin Aguado and Michael Mendler Parallel Computing with the Pi-calculus Frederic Peschanski Concurrent Programming Constructs in Multi-engine Prolog Paul Tarau Break (15:30-16:00) Session 4: Invited talk (16:00-17:00) Declarative Coordination in a Multicore Environment: The Tyranny of Streams Alex Shafarenko (University of Hertfordshire) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From yuliya at cs.uky.edu Thu Jan 6 19:19:59 2011 From: yuliya at cs.uky.edu (Yuliya Lierler) Date: Thu, 6 Jan 2011 13:19:59 -0500 (EST) Subject: ICLP 2011 - Final cfp and Submission Deadline Extension Message-ID: ====================================================================== CALL FOR PAPERS 27th International Conference on Logic Programming (ICLP 2011) Theory and Practice of Logic Programming Lexington, Kentucky, USA, July 6-10, 2011 Submission deadline: Jan 10/17, 2011 http://www.cs.uky.edu/iclp2011/ ====================================================================== CONFERENCE SCOPE Since the first conference held in Marseille in 1982, ICLP has been the premier international conference for presenting research in logic programming. 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 Logic Programming, Inductive Logic Programming, Constraint Logic Programming, Answer-Set Programming. Applications: Databases, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics. IMPORTANT DATES Paper registration (abstract): Jan *17*, 2011 Submission deadline: Jan *24*, 2011 Notification to authors: Mar 11, 2011 Camera-ready copy due: Apr 15, 2011 Conference: Jul 6-10, 2011 SUBMISSION DETAILS The four broad categories for submissions are: (1) technical papers for describing technically sound, innovative ideas that can advance the state of the art of logic programming; (2) application papers, where the emphasis will be on their impact on the application domain; (3) system and tool papers, where the emphasis will be on the novelty, practicality, usability and general availability of the systems and tools described; and (4) technical communications, aimed at describing recent developments, new projects, and other materials that are not ready for main publication as standard papers. All papers must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. They must be written in English. Technical papers, application papers, and system and tool papers must not exceed 15 pages plus bibliography. The limit for technical communications is 10 pages. Submissions must be made in TPLP format (ftp://ftp.cup.cam.ac.uk/pub/texarchive/journals/latex/tlp-cls/) via the Easychair submission system, available at http://www.easychair.org/conferences/?conf=iclp2011. 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 a password for on-line access to this web page during the conference and indefinitely from then on (“lifetime access”), which can be used to read papers on line, download them, or print them for personal use. 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. ICLP 2011 ORGANIZATION General Chair: Mirek Truszczynski (University of Kentucky) Victor Marek (University of Kentucky) Program Co-chairs: John Gallagher (Roskilde University, Denmark and IMDEA, Spain) Michael Gelfond (Texas Tech University, USA) Workshops Chair: Joohyung Lee (Arizona State University) Publicity Chair: Yuliya Lierler (University of Kentucky) Doctoral Consortium: Alessandro Dal Palù (Universit degli Studi di Parma) Stefan Woltran (Vienna University of Technology) Prolog Programming Contest: Tom Schrijvers (K.U. Leuven, Belgium) SPONSOR The conference is sponsored by the Association for Logic Programming (ALP). 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 2011 program will include several workshops, held before and after 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 7th 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-renowned 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. CONFERENCE VENUE Lexington is a medium size, pleasant and quiet university town. It is located in the heart of the so-called Bluegrass Region in Central Kentucky. The city is surrounded by beautiful horse farms on green pastures dotted with ponds and traditional architecture stables, ponds and small race tracks, and bordered by white or black fences. The Horse Museum is as beautifully located as it is interesting. Overall, the city has a nice feel that mixes well old and new. Traveling to Lexington is easy. The local airport has frequent direct flights to Cincinnati, Atlanta, Detroit, and Chicago. It has also direct but less frequent flights (one or two a day) to several other large US cities such as Dallas-Ft. Worth, Houston and Newark. Thus, it can be reached easily from any place in the world. From geoff at cs.miami.edu Thu Jan 6 22:16:45 2011 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Thu, 6 Jan 2011 16:16:45 -0500 (EST) Subject: CSL 2011 Call for Papers and Workshops Message-ID: <20110106211645.B700311FBDF@mcclellan.cs.miami.edu> ---------------------------------------------------------------------- CALL FOR PAPERS AND WORKSHOP PROPOSALS CSL 2011 20th Annual Conference of the European Association for Computer Science Logic Bergen, Norway September 12-15, 2011 GENERAL INFORMATION Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science. The Ackermann Award for 2011 will be presented to the recipients at CSL 2011. SCOPE Topics of interest include (but are not limited to): - automated deduction and interactive theorem proving - constructive mathematics and type theory - equational logic and term rewriting - automata and games, game semantics - modal and temporal logic - model checking - decision procedures - logical aspects of computational complexity - finite model theory - computational proof theory - logic programming and constraints - lambda calculus and combinatory logic - domain theory, - categorical logic and topological semantics - database theory - specification, extraction and transformation of programs - logical foundations of programming paradigms - logical aspects of quantum computing - verification and program analysis - linear logic - higher-order logic - nonmonotonic reasoning PROCEEDINGS The proceedings will be published in the series LIPIcs, Leibniz International Proceedings in Informatics. Each paper accepted by the Program Committee (PC) must be presented at the conference by one of the authors, and a final copy must be prepared according to LIPIcs guidelines (http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/). PAPER SUBMISSION Authors are invited to submit papers of not more than 15 pages in LIPIcs style presenting work not previously published. Papers are to be submitted through EasyChair: http://www.easychair.org/conferences/?conf=csl2011. Submitted papers must be in English and provide sufficient detail to allow the PC to assess the merits of the paper. Full proofs may appear in a technical appendix which will be read at the reviewers' discretion. Authors are strongly encouraged to include a well written intro- duction which is directed at all members of the program committee. Submission is in two phases with dates as given below. Papers must not be submitted concurrently to another conference with refereed proceedings; The PC chair should be informed of closely related work submitted to a conference or journal by March 19, 2011. Papers authored or coauthored by members of the PC are not allowed. WORKSHOPS Proposals for satellite workshops on more specialized topics are welcome and can be sent to csl11 at eacsl.org IMPORTANT DATES Submission of title and abstract: March 27, 2011 Submission of full paper: April 3, 2011 Notification: May 30, 2011 Final paper due: June 17, 2011 Conference: September 12-15, 2011 PROGRAM COMMITTEE Samson Abramsky (Oxford) Andrea Asperti (Bologna) Franz Baader (Dresden) Matthias Baaz (Vienna) Johan van Benthem (Amsterdam/Stanford) Marc Bezem (Bergen, chair) Patrick Blackburn (Nancy) Andreas Blass (Michigan) Jan van den Bussche (Hasselt) Thierry Coquand (Gothenburg) Nachum Dershowitz (Tel Aviv) Valentin Goranko (Copenhagen) Erich Graedel (Aachen) Wiebe van der Hoek (Liverpool) Bart Jacobs (Nijmegen) Reinhard Kahle (Lisbon) Stephan Kreutzer (Oxford) Viktor Kuncak (Lausanne) Daniel Leivant (Indiana) Benedikt Loewe (Amsterdam) Jean-Yves Marion (Nancy) Eugenio Moggi (Genova) Albert Rubio (Barcelona) Anton Setzer (Swansea) Alex Simpson (Edinburgh) John Tucker (Swansea) Pawel Urzyczyn (Warsaw) Helmut Veith (Vienna) Andrei Voronkov (Manchester) ORGANIZING COMMITTEE Isolde Adler Marc Bezem Magne Haveraaen Michal Walicki Uwe Wolter CONFERENCE ADDRESS CSL 2011, Department of Informatics, University of Bergen, P.O.Box 7803, N-5020 Bergen, Norway http://www.eacsl.org/csl11 ----------------------------------------------------------------- From Sylvain.Pogodalla at inria.fr Fri Jan 7 16:03:52 2011 From: Sylvain.Pogodalla at inria.fr (Sylvain Pogodalla) Date: Fri, 7 Jan 2011 16:03:52 +0100 Subject: LACL 2011 - Call for Paper Message-ID: <19751.11096.786030.523183@localhost.localdomain> [Apologies for Multiple Postings] LACL 2011 Logical Aspects of Computational Linguistics June 29th, 30th and July 1st LIRMM, Montpellier, France http://lacl.gforge.inria.fr Proceedings will be published as a volume of the FoLLI LNAI subline of LNCS PRESENTATION LACL'2011 is the 6th edition of a series of international conferences on logical and formal methods in computational linguistics. It addresses in particular the use of type theoretic, proof theoretic and model theoretic methods for describing natural language syntax and semantics, as well as the implementation of natural language processing software relying on such models. It will be held at the LIRMM, Montpellier, France. It will be co-located with TALN, the conference of the French association for NLP (ATALA). Topics: Computer scientists, linguists, mathematicians and philosophers are invited to present their work on the use of logical methods in computational linguistics and natural language processing, in natural language analysis, generation or acquisition. * logical foundation of syntactic formalisms o categorial grammars o minimalist grammars o dependency grammars o tree adjoining grammars o model theoretic syntax o formal language theory for natural language processing o data-driven approaches * logic for semantics of lexical items, sentences, discourse and dialog o discourse theories o Montague semantics o compositionality o dynamic logics o game semantics o situation semantics o generative lexicon o categorical semantics * applications of these models to natural language processing o software for natural language analysis o software for acquiring linguistic resources o software for natural language generation o software for information extraction o inference tasks o evaluation o scalability SUBMISSIONS and PROCEEDINGS Articles should be written in the LaTeX format of LNCS/LNAI by Springer (see authors instructions at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0) and should not exceed 16 pages (including figures, bibliography, possible apendices). It is expected that each accepted paper be presented at the meeting by one of its authors. Papers must be submitted electronically in PDF format at http://www.easychair.org/conferences/?conf=lacl2011 PROCEEDINGS Accepted papers will be published in advance of the meeting as a volume of the FoLLI LNAI subline of Lecture Notes in Computer Science (LNCS) by Springer (http://www.springer.com/lncs). INVITED SPEAKERS To be announced. PREVIOUS EDITIONS A selection of the 1995 articles appeared in a special issue of the Journal of Logic, Language and Information (7:4, 1998). The proceedings of the international conferences LACL'96 ,LACL'97, LACL'98, LACL'2001 and LACL'2005 appeared in the series Lecture Notes in Artificial Intelligence (volumes 1328, 1582, 2014, 2099, 3492) published by Springer. IMPORTANT DATES Paper submission deadline: February 6th 2011 Notification of acceptance: March 25th 2011 Camera-ready papers due: April 10th 2011 LACL conference: June 29th, 30th and July 1st 2011 CONTACTS sylvain.pogodalla at inria.fr From sebastian.rudolph at aifb.uni-karlsruhe.de Sat Jan 8 09:57:17 2011 From: sebastian.rudolph at aifb.uni-karlsruhe.de (Sebastian Rudolph) Date: Sat, 8 Jan 2011 09:57:17 +0100 Subject: CFP: ICCS'11 - Conceptual Structures for Discovering Knowledge 25th - 29th July, University of Derby, United Kingdom Message-ID: CALL FOR PAPERS ICCS'11: Conceptual Structures for Discovering Knowledge 25th - 29th July, University of Derby, United Kingdom http://www.iccs.info The 19th International Conference on Conceptual Structures (ICCS 2011) is the latest in a series of annual conferences that have been held in Europe, Asia, Australia, and North America since 1993. The focus of these conferences has been the representation and analysis of conceptual knowledge for research and business applications. ICCS brings together researchers in information technology, arts, humanities and social science to explore novel ways that can conceptual structures can be employed in information systems. Arising originally out of the work of IBM in Conceptual Graphs, over the years ICCS has broadened its scope to include a wider range of theories and practices, among them Formal Concept Analysis, Description Logics, the Semantic Web, the Pragmatic Web, Ontologies, Multi-agent Systems, Concept Mapping, and more. Accordingly conceptual structures represent a family of approaches that builds on the successes of artificial intelligence, business intelligence, computational linguistics, conceptual modelling, information and web technologies, user modelling, and knowledge management. ICCS 2011's theme is "Conceptual Structures for Discovering Knowledge". More and more data is being captured in electronic format (particularly through the Web) and it is emerging that this data is reaching such a critical mass that it is becoming the most recorded form of the world around us. It now represents our business, economic, arts, social, and scientific endeavours to such an extent that we require smart applications that can discover the hitherto hidden knowledge that this mass of data is busily capturing. By bringing together the way computers work with the way humans think, conceptual structures align the productivity of computer processing with the ingenuity of individuals and organisations in a meaningful digital future. Papers for ICCS 2011 are invited but are not limited to the following topics: * conceptual structures (theory, applications, and experience with case studies); * their interplay with human or organisational experience and language, * semantics and pragmatics; * concept analysis and contextual logic, * capturing concepts through smart data and information processing; * modelling, representation, and visualization of concepts; * conceptual knowledge acquisition; and * the theory and applications of formal ontologies. Comparisons of methods and representations on the basis of reasoning ability, expressiveness, ease of use, and computational performance are welcome. Integration of methodologies, user interfaces, semantic web technologies, business intelligence, multi-agent systems, knowledge use, reuse, and integration, and business productivity tools are all of high interest. Authors are invited to submit papers describing both theoretical and practical research. Papers accepted or under review by other conferences or journals are not acceptable as submissions to ICCS. The language of the conference will be English. Submission Details Papers are limited to 14 pages in Springer's LNCS format. We recommend the use of LaTeX2e for the final version. Visit http://www.springer.de/comp/lncs for more details. Short papers (up to 4 pages) are also welcome. Deadlines * Friday January 14, 2011: a one page abstract submitted via conference website (http://www.iccs.info) NB: Abstracts should clearly state the purpose, results and conclusions of the work to be described in the final paper. * Friday January 21, 2011: full paper in PDF format submitted via the conference website (http://www.iccs.info) Final acceptance will be based on the full-length paper, which if accepted, must be presented at the conference. Papers accepted for publication will appear in the Lecture Notes in Artificial Intelligence Series by Springer-Verlag (see http://www.springeronline.com/lncs). A precondition for publication is that the final version is in full compliance with Springer's format. Conference Chairs General Chair: Richard Hill University of Derby, UK R.Hill at derby.ac.uk Programme Chairs: Simon Andrews and Simon Polovina Conceptual Structures Research Group, Sheffield Hallam University, UK S.Andrews at shu.ac.uk, S.Polovina at shu.ac.uk Regards, Simon Andrews. Dr Simon Andrews Principle Investigator CUBIST Project Conceptual Structures Research Group Communication and Computing Research Centre Furnival Building, City Campus Sheffield Hallam University, S1 2NU Tel.: +44 (0) 114 225 6824 Email: s.andrews at shu.ac.uk _________________________________________________ Dr. Sebastian Rudolph senior researcher & project leader at AIFB Karlsruhe Institute of Technology (KIT) rudolph at kit.edu phone (new!) +49 721 608 - 47362 www.sebastian-rudolph.de fax (new!) +49 721 608 - 45998 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From admin at cyberjournals.com Mon Jan 10 07:04:18 2011 From: admin at cyberjournals.com (Cyber Journals) Date: Mon, 10 Jan 2011 01:04:18 -0500 Subject: Cyber Journals Call For Paper - Submission Deadline on January 10th (Today!!) In-Reply-To: References: Message-ID: Dear All We'd like to invite you to contribute to the Cyber Journals' January Edition and circulate this invitation among interested students, researchers, and faculty members of your department. The deadline is today; January 10th. Regards Dr. S. Adibi and Dr. T. Tofigh Cyber Journals Editors-in-Chief The Canadian-based Cyber Journals ---------------------------  Call For Paper --------------------------- The Canadian-based Cyber Journals (ISSN: 1925-2676) invite students, researchers, academic and industrial professionals to submit manuscripts for the January Edition, under the following special issues: 1.      Journal of Selected Areas in Telecommunications (JSAT) 2.      Journal of Selected Areas in Software Engineering (JSSE) 3.      Journal of Selected Areas in Microelectronics (JSAM) 4.      Journal of Selected Areas in Nanotechnology (JSAN) 5.      Journal of Selected Areas in Mechatronics (JMTC) 6.      Journal of Selected Areas in Health Informatics (JSHI) 7.      Journal of Selected Areas in Bioengineering (JSAB) 8.      Journal of Selected Areas in Bioinformatics (JBIO) 9.      Journal of Selected Areas in Robotics and Control (JSRC) 10.  Journal of Selected Areas in Renewable and Sustainable Energy (JRSE) Scope: Cyber journals accept scientific research and review articles from diverse fields. Please refer to the journals website (http://www.cyberjournals.com/) for details under each special issue. Editorial Review: Manuscripts will be double-blind-peer reviewed by three experts and professionals in the field and the author(s) will receive the review results accordingly. Editorial Members: Cyber Journals publication is supported by +60 highly professional and technical editorial members, gathered from diverse technical and educational backgrounds from USA, Canada, and other parts of the world. Please refer to the editorial page for more information: http://www.cyberjournals.com/editors.html Author Guidelines: Please refer to the author guidelines section for a sample article template, which follows the IEEE standard (http://www.cyberjournals.com/guidelines.html). Submission: Authors are requested to submit their manuscripts using the submission page: (http://www.cyberjournals.com/submit.html). Paper Indexing: Accepted papers are fully accessible and indexed in this page: (http://www.cyberjournals.com/papers.html). Best Paper Award: *** All submitted papers are considered for the Best Paper Award. Please refer to this paper for more information: http://www.cyberjournals.com/bestpa.html Online Citation Sources: Cyber Journals Publication is a member of a number of online citation sources, including: Google Scholar, Docstoc, Scribd, Publishing List and getCITED, and will continue to be included in more online citation systems. Contacting the Editors-in-Chief: Contact us if you have a question regarding the journals, at: admin at cyberjournals.com Important Dates: Article Submission Deadline: January 10th, 2011 (TODAY) Author Notification: January 24th, 2011 Final Manuscript Due: January 31st, 2011 Online indexing: Early February 2011 Cyber Journals' next monthly edition is in February 2011. From frflammi at unina.it Mon Jan 10 15:20:10 2011 From: frflammi at unina.it (Francesco Flammini) Date: Mon, 10 Jan 2011 15:20:10 +0100 Subject: Fwd: CfP: SAFECOMP 2011 - The 30th International Conference on Computer Safety, Reliability and Security Message-ID: <20110110152010.9wj4r8hh6sgoo08s@webmail.unina.it> [Apologies for cross-posting] ******************************************************************** CALL FOR PAPERS SAFECOMP 2011 - The 30th International Conference on Computer Safety, Reliability and Security http://www.safecomp2011.unina.it/ 19-21 September 2011 Naples, Italy ******************************************************************** Technically co-sponsored by IEEE Computer Society In cooperation with ACM SIGBED and SIGSAC -------------------------------------------------------------------- 2011 KEY THEME: "Safety and security of computer-based systems and infrastructures: from risk assessment to threat mitigation" -------------------------------------------------------------------- Topics of interest include, but are not limited to: Application and Industrial Sectors: control, networking & telecommunication, railways, robotics and autonomous systems in general, medical devices and systems, e-health, off-shore technology, ship building, power systems, critical infrastructures, security of safety-critical systems, safety guidelines and standards, education & training. Research Areas: safety & security risk assessment, design for dependability, diversity, fault tolerance, verification & validation, testing, qualification and certification, modelling and simulation, human factors, dependability analysis, networked (distributed) embedded systems, safety-critical computer systems, resilient (robust) systems, physical and cyber threats, vulnerability analysis, dependency and interdependency modelling and metrication, cascading effects. Especially papers on industrial experience and practice are encouraged. -------------------------------------------------------------------- Conference Proceedings and Journal Special Issue -------------------------------------------------------------------- The conference proceedings will be published by Springer in the LNCS series (http://www.springer.de/comp/lncs/) and made available at the conference. Authors of selected papers will be invited to submit a revised and extended version to a special issue of the International Journal on Reliability Engineering and System Safety (RESS) published by Elsevier. -------------------------------------------------------------------- Important Dates -------------------------------------------------------------------- * February 27, 2011: Paper Abstract due * March 21, 2011: Full paper due * April 15, 2011: Tutorial/Workshop proposals due * May 9, 2011: Author notification * June 13, 2011: Camera-ready -------------------------------------------------------------------- Submission Information -------------------------------------------------------------------- Authors are invited to submit a half-page abstract announcing the intention to submit a full paper and summarizing the content of the paper, its objectives and original contribution. Full papers must not exceed the maximum length of 14 pages to be edited according to the LNCS templates provided by Springer-Verlag at the web site: http://www.springer.de/comp/lncs/ -------------------------------------------------------------------- Chairs -------------------------------------------------------------------- * EWICS Chair: - Francesca Saglietti (Univ. of Erlangen-Nuremberg) * Program Committee Chairs: - Francesco Flammini (Ansaldo STS) - Sandro Bologna (ENEA) * Local Chairs: - Nicola Mazzocca (Univ. of Naples Federico II) - Concetta Pragliola (Ansaldo STS) - Roberto Setola (Univ. Campus Biomedico di Roma) - Valeria Vittorini (Univ. of Naples Federico II) * Honorary Chairs: - Giovanni Bocchetti (Ansaldo STS) - Giorgio Franceschetti (Univ. of Naples Federico II) - Antonino Mazzeo (Univ. of Naples Federico II) -------------------------------------------------------------------- General Inquires -------------------------------------------------------------------- For more detailed and updated information, please refer to http://www.safecomp2011.unina.it/ or contact the conference secretariat at: safecomp2011 at unina.it From Thomas.Agotnes at infomedia.uib.no Tue Jan 11 16:53:34 2011 From: Thomas.Agotnes at infomedia.uib.no (=?ISO-8859-1?Q?Thomas_=C5gotnes?=) Date: Tue, 11 Jan 2011 16:53:34 +0100 Subject: CFP: Logics for Games and Social Choice: CLIMA XII special session Message-ID: <8EAC8306-877B-4EFF-B691-8880D9766173@infomedia.uib.no> ++++++++++++++++++++++++++++++++++++++++++++++++++++ Special session on **Logics for Games and Social Choice** CLIMA XII 12th International Workshop on Computational Logic in Multi-Agent Systems http://centria.di.fct.unl.pt/events/climaXII/sessions.html Barcelona, Spain, July 17-18, 2011. Affiliated with IJCAI'11. Submission deadline: April 4/8th. Preliminary Call for Papers ++++++++++++++++++++++++++++++++++++++++++++++++++++ Proceedings: LNCS/LNAI volume (available at the workshop). JLC Special Issue: Selected extended papers will be published in a Special Issue of the Journal of Logic and Computation. ++++++++++++++++++++++++++++++++++++++++++++++++++++ INTRODUCTION Logic and game theory form two theoretical underpinnings of multi-agent systems. On one hand, formal logic is a foundation for knowledge representation and reasoning, and opens the door to techniques for formal specification and automated verification. On the other hand, the interaction of rational decision makers has been studied in game theory for a long time. However, traditional game theory is not concerned with formal languages or reasoning systems, nor with computational issues, and until relatively recently formal logic has not been concerned with game theoretic issues. For reasoning about interesting properties of many, if not most, multi-agent systems, we need game theoretic concepts such as strategies, preferences, etc. In particular, many multi-agent systems can be seen as implementing social choice mechanisms. We invite papers on logical formalisation of concepts related to games and social choice, including but not limited to the following topics: - Logics for strategic reasoning - Logics for coalitional ability - Preference representation - Logical approaches to bounded rationality and limited cognition - Formal verification of games - Logic for mechanism design - Logical aspects of computational social choice - Judgment aggregation - Logical foundations of games and social choice - Epistemic logic SUBMISSION We welcome and encourage the submission of high quality, original papers, which have not been accepted for publication nor are currently under review for another journal or conference. Papers are submitted to the special session by following the submission instructions for CLIMA: http://centria.di.fct.unl.pt/events/climaXII/submissions.html The special session on Logics for Games and Social Choice is chosen under "category" in Easychair. PROCEEDINGS AND POST-PROCEEDINGS LNCS Proceedings: All the accepted papers (including special session papers) will be published by Springer as a volume in Lecture Notes in Computer Science, and will be available in time for the workshop. JLC Special Issue: After the workshop, authors of selected papers will be invited to extend and re-submit their work to be considered for inclusion in a CLIMA Special Issue of the Journal of Logic and Computation. Important dates: * Submission: April 4th (Abstracts) / April 8th (Papers) * Notification: May 4th * Camera Ready: May 16th Special Session Organiser: * Thomas Ågotnes, University of Bergen, Norway In case of questions, please do not hesitate to contact us at thomas.agotnes at infomedia.uib.no (enquiries particularly related to the special session) or clima2011 at easychair.org (general CLIMA enquiries). ---------------------------------------------------------------------- Thomas Ågotnes Department of Information Science and Media Studies University of Bergen P.O. Box 7802, N-5020 Bergen, Norway Tel: (+47) 55584105 Fax: (+47) 55589149 Thomas.Agotnes at infomedia.uib.no http://folk.uib.no/nmita/ From guido at di.unito.it Tue Jan 11 22:12:26 2011 From: guido at di.unito.it (Guido Boella) Date: Tue, 11 Jan 2011 22:12:26 +0100 Subject: CFP: Norms and Normative Multi-Agent Systems: CLIMA XII special session Message-ID: <4D2CC7BA.5070005@di.unito.it> ++++++++++++++++++++++++++++++++++++++++++++++++++++ Special session on **Norms and Normative Multi-Agent Systems** CLIMA XII 12th International Workshop on Computational Logic in Multi-Agent Systems http://centria.di.fct.unl.pt/events/climaXII/sessions.html Barcelona, Spain, July 17-18, 2011. Affiliated with IJCAI'11. Submission deadline: April 4/8th. Preliminary Call for Papers ++++++++++++++++++++++++++++++++++++++++++++++++++++ Proceedings: LNCS/LNAI volume (available at the workshop). JLC Special Issue: Selected extended papers will be published in a Special Issue of the Journal of Logic and Computation. ++++++++++++++++++++++++++++++++++++++++++++++++++++ INTRODUCTION Norms are pervasive in everyday life and influence the conduct of the entities subject to them. One of the main functions of norms is to regulate the behaviour and relationships of agents. Accordingly, any agent or multi agent system, if intended to operate in or model a realistic environment has to take into account to norms regulating. Norms have been proposed in multi-agent systems and computer science to deal with coordination issues, to deal with security issues of multi-agent systems, to model legal issues in electronic institutions and electronic commerce, to model multi-agent organizations, etc. The list of subjects includes (but is not limited to) the following topics: - logical foundations of normative systems - computational models of normative systems - computational models of normative multi-agent systems - formal models of norm dynamics - agent autonomy and norms - agent deliberation and norms - normative agent types - programming normative multi-agent systems SUBMISSION We welcome and encourage the submission of high quality, original papers, which have not been accepted for publication nor are currently under review for another journal or conference. Detailed information regarding CLIMA, its topics of interest, the two Special Sessions, formatting and submission instructions is available at http://centria.di.fct.unl.pt/events/climaXII/ PROCEEDINGS AND POST-PROCEEDINGS LNCS Proceedings: All the accepted papers (including special session papers) will be published by Springer as a volume in Lecture Notes in Computer Science, and will be available in time for the workshop. JLC Special Issue: After the workshop, authors of selected papers will be invited to extend and re-submit their work to be considered for inclusion in a CLIMA Special Issue of the Journal of Logic and Computation. Important dates: * Submission: April 4th (Abstracts) / April 8th (Papers) * Notification: May 4th * Camera Ready: May 16th Special Session Organisers: * Guido Boella, University of Turin, Italy * Leon van der Torre, Univ. of Luxembourg, Luxembourg In case of questions, please do not hesitate to contact us at clima2011 at easychair.org . From ch.lange at jacobs-university.de Wed Jan 12 00:53:50 2011 From: ch.lange at jacobs-university.de (Christoph LANGE) Date: Wed, 12 Jan 2011 00:53:50 +0100 Subject: =?UTF-8?B?Q2FsbCBmb3IgUGFwZXJzICYgRGVtb3M6IFNlbWFudGljIFB1YmxpY2E=?= =?UTF-8?B?dGlvbiBXb3Jrc2hvcCBTZVB1YmxpY2FARVNXQyAoTWF5IDI5IG9yIDMwLCBDcmU=?= =?UTF-8?B?dGUsIEdyZWVjZSkg4oCTIERlYWRsaW5lIEZlYiAyOA==?= Message-ID: <4D2CED8E.6030304@jacobs-university.de> 1st International Workshop on Semantic Publication (SePublica 2011) http://sepublica.mywikipaper.org at the 8th Extended Semantic Web Conference (ESWC 2011) http://www.eswc2011.org May 29th or 30th, Hersonissos, Crete, Greece Keynote by Steve Pettifer, Manchester University, UK. “Utopia Documents and The Semantic Biochemical Journal experiment” SUBMISSION DEADLINE February 28 The MISSION of the SePublica workshop is to bring together researchers and practitioners dealing with different aspects of Semantic Technologies in the Publishing Industry. How is the Semantic Web impacting the publishing industry? How is our experience of publications changing because of Semantic Web technologies being applied to the publishing industry? The CHALLENGE of the Semantic Web is to allow the Web to move from a dissemination platform to an interactive platform for networked information. The Semantic Web promises to “fundamentally change our experience of the Web”. In spite of improvements in the distribution, accessibility and retrieval of information, little has changed in the publishing industry so far. The Web has succeeded as a dissemination platform for scientific and non-scientific papers, news, and communication in general; however, most of that information remains locked up in discrete documents, which are poorly interconnected to one another and to the Web. The connectivity tissues provided by RDF technology and the Social Web have barely made an impact on scientific communication nor on ebook publishing, neither on the format of publications, nor on repositories and digital libraries. The worst problem is in accessing and reusing the computable data which the literature represents and describes. • Consider research publications: Data sets and code are essential elements of data intensive research, but these are absent when the research is recorded and preserved in perpetuity by way of a scholarly journal article. • Or consider news reports: Governments increasingly make public sector information available on the Web, and reporters use it, but news reports very rarely contain fine-grained links to such data sources. QUESTIONS AND TOPICS OF INTEREST • What does a network of truly interconnected papers look like? How could interoperability across documents be enabled? • How could concept-centric social networks emerge? • Are blogs and wikis new means for scholarly communication? • What lessons can be learned from humanities and social science publishers (i.e. going beyond scientific publishing towards scholarly publishing)? • How could we move beyond the PDF? How can we embed and link semantics in EPUB and other e-book formats? • How are digital libraries related to semantic e-science? What is the relationship between a paper and its digital library? • How could we realize a paper with an API? How could we have a paper as a database, as a knowledge base? • How is the paper an interface, gateway, to the web of data? How could such and interface be delivered in a contextual manner? • How could RDF(a) and ontologies be used to represent the knowledge encoded in scientific documents and in general-interest media publications? • What ontologies do we need for representing structural elements in a document? • How can we capture the semantics of rhetorical structures in scholarly communication, and of hypotheses and scientific evidence? AUDIENCE • researchers from diverse backgrounds such as argumentative structures, scholarly communication, multi-modality in publications, digital libraries, semantics in publications, and ontology engineers. • practitioners active in the publishing industry, repositories of experimental information and document standards. IMPORTANT DATES Paper/Demo Submission Deadline: February 28, 23:59 Hawaii Time Acceptance Notification: April 1 Camera Ready Version: April 15 SePublica Workshop: May 29 or May 30 (to be announced) SUBMISSION AND PROCEEDINGS Research papers are limited to 12 pages and position papers to 5 pages. For system descriptions, a 5 page paper should be submitted. All papers and system descriptions should be formatted according to the LNCS format http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 We encourage the submission of semantic documents. LaTeX documents in the LNCS format can, e.g., be annotated using SALT (http://salt.semanticauthoring.org) or sTeX (http://trac.kwarc.info/sTeX/). We also invite submissions in XHTML+RDFa or in the format or YOUR semantic publishing tool. However, to ensure a fair review procedure, authors must additionally export them to PDF. For submissions that are not in the LNCS PDF format, 400 words count as one page. Submissions that exceed the page limit will be rejected without review. Depending on the number and quality of submissions, authors might be invited to present their papers during a poster session. Please submit your paper via EasyChair at http://www.easychair.org/conferences/?conf=sepublica2011 The author list does not need to be anonymized, as we do not have a double-blind review process in place. Submissions will be peer reviewed by three independent reviewers. Accepted papers have to be presented at the workshop (requires registering for the ESWC conference and the workshop) and will be included in the workshop proceedings that are published online at CEUR-WS. PROGRAM COMMITTEE • Robert Stevens, Manchester University, UK • Benjamin Good, Genomic Institute, Novartis, USA • Michael Kohlhase, Jacobs University, Germany • Oscar Corcho, Politecnica de Madrid, Spain • Steve Pettifer, Manchester University, UK • Jodi Schneider, DERI, NUI Galway, Ireland • Sebastian Kruk, knowledgehives.com, Poland • Henrik Eriksson, Linköping University, Sweden • Dagobert Soergel, University of Maryland, USA • Tim Clark, Harvard Medical School, USA • Paolo Ciccarese, Harvard Medical School, USA ORGANIZING COMMITTEE • Alexander García Castro, University of Bremen, Germany • Christoph Lange, Jacobs University Bremen, Germany • Anita de Waard, Elsevier, USA/Netherlands • Evan Sandhaus, New York Times, USA QUESTIONS? → sepublica at googlegroups.com -- Christoph Lange, Jacobs Univ. Bremen, http://kwarc.info/clange, Skype duke4701 Semantic Publication workshop, May 29 or May 30, Hersonissos, Crete, Greece Submission deadline February 28, http://SePublica.mywikipaper.org -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : signature.asc Dateityp : application/pgp-signature Dateigröße : 262 bytes Beschreibung: OpenPGP digital signature URL : From call.for.p at gmail.com Wed Jan 12 04:13:35 2011 From: call.for.p at gmail.com (Conference Account) Date: Wed, 12 Jan 2011 04:13:35 +0100 Subject: CFP PESOS 2011 Message-ID: ------------------------------------------------------------------------ C a l l f o r P a p e r s ------------------------------------------------------------------------ P E S O S 2 0 1 1 -- The Third International Workshop on Principles of Engineering Service-Oriented Systems Waikiki, Honolulu, Hawaii, 23-24 May 2011 In Conjunction with the 33rd ACM/IEEE International Conference on Software Engineering (ICSE 2011) Submission: January 21, 2011 Notification: February 26, 2011 Final version: March 10, 2011 ------------------------------------------------------------------------ http://www.s-cube-network.eu/pesos-2011 ------------------------------------------------------------------------ Service-oriented systems represent a new class of software system in which software is being used and integrated as external, loosely-coupled services rather than being physically integrated and owned permanently. Service-oriented systems provide a more flexible approach to software development, provisioning and maintenance because services offer reusable functionality that can be combined to support business processes (or similar) that are dynamic by nature. This enables the adaptation to changes in a system's environment as well as to the continuously evolving system requirements that are commonplace today. However, service orientation poses challenges to more traditional approaches to software development, stemming from the lack of homogeneity of its basic components and from the requirement of being able to accommodate changes and dynamic evolution right from the beginning. In this respect, the workshop aims at finding possibilities of synergy between Software Engineering (SE) technologies and Service-Oriented Computing (SOC) that are beneficial to both field Topics of Interest ------------------ The general theme of the workshop is the synergy between SOC and SE. Specific topics of interest which delineate the expected contributions to the workshop follow, but in all of them we expect authors to highlight how their work contributes to a better understanding of the relationships between SOC and SE. PESOS seeks contributions addressing, but not limited to, the following topics: * Service-oriented software system life cycle * Specification of service-oriented systems * Requirements for service-oriented systems * Design and architecture of service-oriented systems * Verification, validation, and testing of services and service-oriented systems * Adaptation and maintenance of service-oriented systems * Service description, discovery, and composition * Service semantics and interoperability * Service deployment, binding, and monitoring * Resource organization and management in service-oriented systems * Service-oriented business process integration and management * Service personalization and context-aware provisioning * Service dependability, survivability, and reliability * Trust, security, and privacy in service-oriented systems * Quality of service (QoS) in service-oriented systems * Service visualization and re-factorization * Humans in service-based applications * SOA and Cloud Computing Submissions ----------- All contributions will be reviewed and evaluated based on originality, technical quality and relevance to the workshop theme. Besides research papers, experience papers and practical reports on industrial case studies are particularly welcome. Submitted papers will have to follow the ICSE 2011 format and not excedd 7 pages in length, including tables, figures, references, and appendices. The submission will be handled through EasyChair at the address http://www.easychair.org/conferences/?conf=pesos2011 The workshop proceedings will be published together with the ICSE proceedings on the ACM digital library. Authors of accepted papers must register for the workshop. Keynote speakers ---------------- In preparation Program Committee ----------------- Vasilios Andrikopoulos Matthias Book Antonio Brogi Robert D. Johnson Elisabetta Di Nitto Marlon Dumas Schahram Dustdar Sam Guinea Raman Kazhamiakin Marin Litoiu Nicolás López Hanan Lutfiyya Andreas Metzger Cornelius Ncube Liam O'Brien Flavio Oquendo Cesare Pautasso Antonio Ruiz-Cortés Tarja Systä Ladan Tahvildari Ingo Weber Organizing Committee -------------------- Manuel Carro, Facultad de Informática, UPM, Spain. Grace A. Lewis, CMU Software Engineering Institute, USA. Ann Liu, NICTA, Australia. Dimka Karastoynova, IAAS, Universität Stuttgart, Germany. Steering Committee ------------------ Schahram Dustdar, Technial University of Vienna, Austria Carlo Ghezzi, Politecnico di Milano, Italy. Domenico Laforenza, IIT‐CNR & ISTI CNR, Italy. Frank Leymann, University of Stuttgart, Germany. Mike Papazoglou, Tilburg University, The Netherlands. Klaus Pohl, University of Duisburg‐Essen, Germany. ------------------------------------------------------------------------ Contact ------------------------------------------------------------------------ For further enquiries: pesos-2011 at easychair.org -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From mkr at ii.pw.edu.pl Wed Jan 12 21:01:08 2011 From: mkr at ii.pw.edu.pl (Marzena Kryszkiewicz) Date: Wed, 12 Jan 2011 21:01:08 +0100 Subject: ISMIS 2011 - 2nd Call for Papers References: <2B0C69438EADA348AB1B89DBD59612D3020E7A07@EXEVS01.its.uncc.edu> <00af01cb8a6b$02ca0980$085e1c80$@pw.edu.pl> <00bb01cb8a6c$c618db90$524a92b0$@pw.edu.pl> <006501cb955d$ecd12de0$c67389a0$@pw.edu.pl> <00a101cb9622$44488950$ccd99bf0$@pw.edu.pl> <008401cbae67$ba2cbdf0$2e8639d0$@pw.edu.pl> <005801cbb0cd$457cc460$d0764d20$@pw.edu.pl> Message-ID: <003701cbb293$df18c430$9d4a4c90$@pw.edu.pl> Dear Colleague, Please distribute this short announcement about ISMIS 2011 Symposium to your colleagues and friends and encourage them to submit their work. Also, we hope that you will submit your own paper. Thank you, ISMIS 2011 Chairs Henryk Rybinski, Andrzej Skowron, Marzena Kryszkiewicz, Zbigniew Ras *** ISMIS 2011 - Call for Papers: We invite you to submit original unpublished manuscripts that demonstrate current research relevant to one of the ISMIS topics of interest to ISMIS 2011 Symposium in Warsaw, Poland, June 28-30, 2011. Papers should be prepared following Springer LNCS/LNAI style (please see this page), maximum 10 pages and submitted via ISMIS 2011 Online Submission System: https://www.easychair.org/account/signin.cgi?conf=ismis2011 While submitting your paper, please remember to mark one of the following: * Regular sessions * Special Session on Rough Sets, devoted to the Memory of Zdzislaw Pawlak * Special Session on Challenges in Knowledge Discovery and Data Mining, devoted to the Memory of Jan Zytkow * Special Session on Social Networks * Special Session on Multi-Agent Systems More details on ISMIS 2011 can be found on: http://ismis2011.ii.pw.edu.pl. The ISMIS 2011 proceedings will be published by Springer-Verlag in LNAI (Lecture Notes in Artificial Intelligence). Paper submission deadline: February 7, 2011 Notification of the review results: March 21, 2011 Final Paper due: April 4, 2011 NEW!!! ISMIS 2011 Discover Challenge is announced on: http://ismis2011.ii.pw.edu.pl/contest.php. ISMIS 2011 Invited Presentations: Jaime Carbonell (CMU) "Proactive Machine Learning, methods and applications" Andrzej Czyżewski (Gdańsk Univ. of Technology, Poland) "Intelligent multimedia solutions supporting special education needs" Donato Malerba (Univ. Bari, Italy) "Spatial and spatio-temporal data mining" Luc De Raedt (Katholieke Univ. Leuven, Belgium) (Title will be announced later) *** -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ladjel.bellatreche at ensma.fr Thu Jan 13 14:12:12 2011 From: ladjel.bellatreche at ensma.fr (Ladjel BELLATRECHE) Date: Thu, 13 Jan 2011 14:12:12 +0100 Subject: MEDI'2011 - Call for Papers Message-ID: <4D2EFA2C.9060402@ensma.fr> Dear Colleagues, /Please/send to interested/colleagues and students. / *CALL FOR PAPERS* *1^st INTERNATIONAL CONFERENCE ON MODEL & DATA ENGINEERING (MEDI'2011)* *September 28-30, 2011* *ÓBIDOS MEDIEVAL OLD VILLAGE CENTER* ÓBIDOS -- Portugal The First International Conference on Model and Data Engineering (MEDI) will be held from 28 to 30 September 2011 in Óbidos -- Portugal. The main objective of our conference is to provide a forum for the dissemination of research accomplishments and to promote the interaction and collaboration between the models and data research communities. MEDI'2011 provides an international platform for the presentation of research on models and data theory, development of advanced technologies related to models and data and their advanced applications. This international scientific event, initiated by researchers from Euro-Mediterranean countries, aims also at promoting the creation of north-south scientific networks, projects and faculty/student exchanges. *All accepted papers will be published in Lecture Notes in Computer Science (LNCS) by Springer-Verlag. * **Topics on interest include but not limited to: *Models Engineering* * Design of General-purpose Modelling Languages and Related Standards * Model Driven Engineering, Modelling Languages, Meta-modelling, Model Transformation, Model Evolution, * Formal Modelling, Verification and Validation, Analysis, Testing * Ontology Based Modelling, Role of Ontologies in Modelling Activities * Model Manipulation *Data Engineering* * Data Integration, Interoperability * Distributed, Parallel, Grid, Peer to Peer, Cloud Databases * Data Warehouses and OLAP, Data Mining * Database System Internals, Performance, Self-tuningBenchmarking and Testing * Database Security, Personalization, Recommendation * Web Databases, Ontology Based Databases, PDMS *Modeling for Data Management* * New Models and Architectures for Databases and Data Warehouses * Modeling and Quality of Data * Modeling for Enhancing Sharing Data * Models for Explicit and Implicit Semantics based Data Optimization * Model Reification, Model Repositories * Modeling Non Functional Properties of Systems * Urbanization of Database Applications *Applications and tooling* * Industry transfer, case studies, experiences * Data and Model manipulation and tooling *PAPER SUBMISSION DETAILS* Authors are invited to submit research and application papers representing original, previously unpublished work. Papers should be submitted in PDF or Word format. Submissions must conform to Springer's LNCS format and should not exceed 12 pages (including all text, figures, references and appendices). Authors who want to buy extra pages may submit a paper up to 15 pages with the indication that the authors will purchase extra pages if the paper is accepted. Submissions which do not conform to the LNCS format and/or which do exceed 12 pages (or up to 15 pages with the extra page purchase commitment) will be rejected without reviews. Submitted papers will be carefully evaluated based on originality, significance, technical soundness, and clarity of exposition. All accepted papers will be published in Lecture Notes in Computer Science (LNCS) by Springer-Verlag. Duplicate submissions are not allowed. A submission is considered to be a duplicate submission if it is submitted to other conferences/workshops/journals or it has been already accepted to be published in other conferences/workshops/journals. Duplicate submissions thus will be automatically rejected without reviews. Submissions require explicit consent from all listed authors. *IMPORTANT DATE* Abstract submission: April 10^th Full-paper submission: April 20^th Acceptance notification: June 15^th Camera Ready: June 30^th *PROGRAM COMMITTEE* *Program Chairs* Ladjel Bellatreche, France Filipe Mota Pinto, Portugal *Program Committee* Yamine Ait Ameur, France Reda Alhajj, Canada Franck Barbier, France Boualem Benattallah, Australia Djamal Benslimane, France Moh Boughanem, France Athman Bouguettaya, Australia Danielle Boulanger, France Azedine Boulmakoul, Morocco Omar Boussaid, France Veda C. Storey, USA Vassilis Christophides, Greece Christine Collet, France Alain Crolotte, Teradata, USA Alfredo Cuzzocrea, Italy Habiba Drias, Algeria Todd Eavis, Canada Johann Eder, Austria Jamel Feki, Tunisia Manuel Filipe Santos, Portugal Pedro Furtado, Portugal Faiez Gargouri, Tunisia Ahmad Ghazal, Teradata, USA Dimitra Giannakopoulou, Nasa, USA Matteo Golfarelli, Italy Vivek Gopalkrishnan, Singapore Amarnath Gupta, USA Mohand-Said Hacid, France El Hassan Abdelwahed, Morocco Eleanna Kafeza, Greece Leandro Krug Wives, Brazil Anna-Lena Lamprecht, Germany Nhan Le Thanh, France Jens Lechtenborger, Germany Yves Ledru, France Li Ma, China Mimoun Malki, Algeria Nikos Mamoulis, Hong Kong, China Patrick Marcel, France Tiziana Margaria, Germany Brahim Medjahed, USA Dominique Mery, France Mohamed Mezghiche, Algeria Mukesh Mohania, IBM, India Kazumi Nakamatsu, Japan Paulo Novais, Portugal Carlos Ordonez, USA Aris Ouksel, USA Tansel Özyer, Turkey Heik Paulheim, SAP, Germany Li Qing, Hong Kong, China Chantal Reynaud, France Bernardete Ribeiro, Portugal Catarina Silva, Portugal Alkis Simitsis, HP, USA David Taniar, Australia Maurice ter Beek, Italy Panos Vassiliadis, Greece Virginie Wiels, France Robert Wrembel, Poland For further inquiries, contact the MEDI 2011 PC Co-Chairpersons: Ladjel Bellatreche (bellatreche at ensma.fr ) or Filipe Mota Pinto(fpinto at ipleiria.pt ). *LOCATION* Óbidos is a Medieval walled town where time has passed it by. Within the extensive walls there are narrow cobbled streets, houses painted white with blue or yellow trim, flower boxes and old lamp lights. There are many churches and chapels among the houses. The castle is located at the highest point. Once the wedding present of a queen, the preserved medieval town of Óbidos and the surrounding land was always the property of the queens of Portugal.Encircled by a ring of medieval walls and crowned by the Moorish castle.Inside the walls, which at sunset take on a golden coloring, one can sense a cheerful medieval ambience of winding streets, old whitewashed houses bordered with blue or yellow, Manueline embrasures and windows. Óbidos is located about 80 km north of Lisbon. Besides its material heritage of the past, Óbidos, a melting pot of historical tradition is still today one of the main jewels of the country. More information about Óbidos, http://bit.ly/obidos_information. Welcome to Óbidos! Selected conference hotels are located inside the old fort walls. Conference sessions will be organized along different municipal buildings inside the medieval wall ring, allowing to participants to enjoy the villa costumes. -- Ladjel BELLATRECHE Professor LISI/ENSMA Engineering High School in Aeronautics, Transport, Mechanics and Energy Téléport 2 - 1 avenue Clément Ader - BP 40109 86961 FUTUROSCOPE CHASSENEUIL Cedex - FRANCE Tel. (+33) (0)5-49-49-80-72 - Fax : (+33) (0)5-49-49-80-64 E-mail: http://www.lisi.ensma.fr/members/bellatreche -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : flyermedi2011.pdf Dateityp : application/pdf Dateigröße : 122065 bytes Beschreibung: nicht verfügbar URL : From admin at cyberjournals.com Thu Jan 13 15:38:19 2011 From: admin at cyberjournals.com (admin at cyberjournals.com) Date: Thu, 13 Jan 2011 07:38:19 -0700 Subject: Cyber Journals February Edition Call For Paper - Submission Deadline on February 10th Message-ID: <20110113073819.d1c5e7308455e5f882b16c30ca598fcb.9e750d1ac7.wbe@email12.secureserver.net> Dear All We'd like to invite you to contribute to the Cyber Journals' February Edition and circulate this invitation among interested students, researchers, and faculty members of your department. There are a number of editorials positions available. Please contact our Editors-in-Chief for more information. Regards Dr. S. Adibi and Dr. T. Tofigh Cyber Journals Editors-in-Chief The Canadian-based Cyber Journals --------------------------- Call For Paper --------------------------- The Canadian-based Cyber Journals (ISSN: 1925-2676) invite students, researchers, academic and industrial professionals to submit manuscripts for the January Edition, under the following special issues: 1. Journal of Selected Areas in Telecommunications (JSAT) 2. Journal of Selected Areas in Software Engineering (JSSE) 3. Journal of Selected Areas in Microelectronics (JSAM) 4. Journal of Selected Areas in Nanotechnology (JSAN) 5. Journal of Selected Areas in Mechatronics (JMTC) 6. Journal of Selected Areas in Health Informatics (JSHI) 7. Journal of Selected Areas in Bioengineering (JSAB) 8. Journal of Selected Areas in Bioinformatics (JBIO) 9. Journal of Selected Areas in Robotics and Control (JSRC) 10. Journal of Selected Areas in Renewable and Sustainable Energy (JRSE) Scope: Cyber journals accept scientific research and review articles from diverse fields. Please refer to the journals website (http://www.cyberjournals.com/ ) for details under each special issue. Editorial Review: Manuscripts will be double-blind-peer reviewed by three experts and professionals in the field and the author(s) will receive the review results accordingly. Editorial Members: Cyber Journals publication is supported by +60 highly professional and technical editorial members, gathered from diverse technical and educational backgrounds from USA, Canada, and other parts of the world. Please refer to the editorial page for more information: http://www.cyberjournals.com/editors.html Author Guidelines: Please refer to the author guidelines section for a sample article template, which follows the IEEE standard (http://www.cyberjournals.com/guidelines.html). Submission: Authors are requested to submit their manuscripts using the submission page: (http://www.cyberjournals.com/submit.html). Paper Indexing: Accepted papers are fully accessible and indexed in this page: (http://www.cyberjournals.com/papers.html). Best Paper Award: *** All submitted papers are considered for the Best Paper Award. Please refer to the Best Paper Award page (http://www.cyberjournals.com/bestpa.html). Online Citation Sources: Cyber Journals Publication is a member of a number of online citation sources, including: Google Scholar, Docstoc, Scribd, Publishing List and getCITED, and will continue to be included in more online citation systems. Contacting the Editors-in-Chief: Contact us if you have a question regarding the journals, at: admin at cyberjournals.com Important Dates: Article Submission Deadline: February 10th, 2011 Author Notification: February 21st, 2011 Final Manuscript Due: February 28th, 2011 Online indexing: Early March 2011 Cyber Journals' next monthly edition is in March 2011 From stavrosv at di.uoa.gr Thu Jan 13 23:01:46 2011 From: stavrosv at di.uoa.gr (Stavros Vassos) Date: Fri, 14 Jan 2011 00:01:46 +0200 Subject: NRAC 2011: Call for papers Message-ID: -- Please accept our apologies if you receive multiple postings -- -------------------------------------------------------------------------------- 9th International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC 2011) July 17 (full day) & 18 (morning) 2011 Barcelona, Spain (held in conjunction with IJCAI 2011) URL: http://www.cs.rmit.edu.au/~ssardina/NRAC2011 -------------------------------------------------------------------------------- CALL FOR PAPERS -------------------------------------------------------------------------------- The biennial Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC) is an established workshop with an active and loyal community. Since its inception in 1995, it has always been held in conjunction with IJCAI, each time with growing success. We invite submissions of research papers for presentation at NRAC 2011 edition, a 1.5-day workshop to be held in Barcelona, Spain as part of the International Joint Conference on Artificial Intelligence (IJCAI-11) workshop program (July 16-22, 2011). Workshop Aims An intelligent agent exploring a rich, dynamic world, needs cognitive capabilities in addition to basic functionalities for perception and reaction. The abilities to reason nonmonotonically, to reason about actions, and to change one's beliefs, have been identified as fundamental high-level cognitive functions necessary for common sense. Research in all three areas has made significant progress during the last decades. It is, however, crucial to bear in mind the common goal of designing intelligent agents. Researchers should be aware of advances in all three fields since often advances in one field can be translated into advances in another. Many deep relationships have already been established between the three areas and the primary aim of this workshop is to further promote this cross-fertilization. A closer look at recent developments in the three fields reveals how fruitful such cross-fertilization can be. Comparing and contrasting current formalisms for Nonmonotonic Reasoning, Reasoning about Action and Belief Revision helps identify the strengths and weaknesses of the various methods available. It is an important activity that allows researchers to evaluate the state-of-the-art. Indeed a significant advantage of using logical formalisms as representation schemes is that they facilitate the evaluation process. Moreover, following the initial success, more complex real-world applications are now within grasp. Experimentation with prototype implementations not only helps to identify obstacles that arise in transforming theoretical solutions into operational solutions, but also highlights the need for the improvement of existing formal integrative frameworks for intelligent agents at the ontological level. For the purpose of developing practical solutions to real-world problems, some obvious questions arise: What nonmonotonic logics and what theories of action and change have been implemented? How to compare them? Which ones are implementable? What can be learned from existing applications? What is needed to improve their scope and performance? Despite the progress over the last few years, these questions and other related problems for theories of nonmonotonic reasoning, action, and change, still remain open. We hope to explore new approaches to these problems during the workshop. This workshop will bring together researchers from all three areas with the aim to: * Compare and evaluate existing formalisms. * Report on new developments and innovations. * Identify the most important open problems in all three areas. * Identify possibilities of solution transferral between the areas. * Identify important challenges for the advancement of the areas. -------------------------------------------------------------------------------- SPECIAL THEME -------------------------------------------------------------------------------- There will be a special theme at this year's NRAC. We especially encourage submissions that describe applications of research in the three main areas of interest of the workshop. In particular, we welcome submissions about competitions and contests that are related to the areas of interest of the workshop, such as the ICAPS Planning Competitions (http://ipc.icaps-conference.org/), the Answer Set Programming Competition (http://www.mat.unical.it/aspcomp2011), the General Game Playing Competition (http://games.stanford.edu/), and the Multi-Agent Contest (http://www.multiagentcontest.org/). We plan to devote a session of the workshop on papers that address the special theme and accompany the presentation of these papers by a panel discussion about the difficulties that arise when applying research of this field in real-world systems, as well as insights about how we can stimulate research, attract students, test and compare approaches in non-trivial domains, identify new challenges, and build a closer connection between academic research and practical applications. We also plan to arrange invited talks around the special theme. -------------------------------------------------------------------------------- IMPORTANT DATES -------------------------------------------------------------------------------- The dates below are tentative; please check the workshop Web page for confirmed dates. Submission deadline: March 14, 2011 Notification date: April 25, 2011 Camera ready submission deadline: May 16, 2011 Workshop: July 17 (full day) & 18 (morning), 2011 IJCAI-2011 conference: July 16-22, 2011 -------------------------------------------------------------------------------- REGISTRATION AND PARTICIPATION -------------------------------------------------------------------------------- Registration for NRAC 2011 is managed by IJCAI. Forms and Information on registration, pricing, travel and accommodation are available on the IJCAI-11 website. Participants are strongly urged to register as soon as possible to take advantage of discounted registration fees and to secure accommodation. We welcome participation and submission from all members of the Artificial Intelligence research community. Like previous NRAC workshops, we hope NRAC 2011 to be a highly participatory and discussion-oriented forum. The workshop will begin with a distinguished invited speaker, and will conclude with a panel on the hot issues identified during the day. Authors of accepted papers will present their work, with ample time for discussion. A complete program will be made available as soon as a final decision on accepted papers has been made. -------------------------------------------------------------------------------- SUBMISSION INSTRUCTIONS -------------------------------------------------------------------------------- NRAC-11 paper submissions must be formatted according to the IJCAI-11 paper guidelines at http://ijcai-11.org/. Papers must not exceed 8 formatted pages. Overlength papers will not be accepted for publication. Papers must be submitted electronically in PDF format by the due date. More details about the deadline for submission and notification of acceptance will follow. Please ensure the author names and affiliation are under the title. Submissions should emphasize and justify their innovation and significance. Please note: Papers should describe new unpublished work. Accepted IJCAI-11 Papers and Posters will not be accepted at NRAC-11. Submission website: http://www.easychair.org/conferences/?conf=nrac2011 Printed proceedings will be offered as working notes to delegates, and will be published online (with an ISBN) through the ePress of the University of Technology, Sydney. -------------------------------------------------------------------------------- PROGRAMME COMMITTEE (partial) -------------------------------------------------------------------------------- Xiaoping Chen, University of Science and Technology China, China Jim Delgrande, Simon Fraser Unviersity, Canada Jérôme Lang, Universite Paul Sabatier, France Thomas Meyer, Meraka Institute, South Africa Michael Thielscher, University of NSW, Australia Sheila McIlraith, University of Toronto, Canada Eduardo Fermé University of Madeira, Portugal Dongmo Zhang, University of Western Sydney, Australia Mehdi Dastani, Utrecht University, The Netherlands Giuseppe De Giacomo, Sapienza Universita' di Roma, Italy Christian Fritz, PARC (Palo Alto Research Center), USA Leora Morgenstern, IBM Watson Research Center, USA [others to be confirmed] -------------------------------------------------------------------------------- ORGANISING COMMITTEE -------------------------------------------------------------------------------- Sebastian Sardina, RMIT University, Australia Stavros Vassos, National and Kapodistrian University of Athens, Greece Pavlos Peppas, University of Patras, Greece Andreas Herzig, Universite Paul Sabatier, France -------------------------------------------------------------------------------- STEERING COMMITTEE -------------------------------------------------------------------------------- Gerhard Brewka, University of Leipzig, Germany Leora Morgenstern, IBM Research, USA Maurice Pagnucco, University of NSW, Australia Pavlos Peppas, University of Patras, Greece Michael Thielscher, Dresden University of Technology, Germany Mary-Anne Williams, University of Technology, Sydney, Australia From wmaccaul at stfx.ca Fri Jan 14 18:42:49 2011 From: wmaccaul at stfx.ca (Wendy MacCaull) Date: Fri, 14 Jan 2011 13:42:49 -0400 Subject: MSc Funding --- Formal Methods Message-ID: MSc Funding --- Formal Methods Applications are invited from students interested in pursuing an MSc in Computer Science, at St. Francis Xavier University (Canada) under the direction of Dr. Wendy MacCaull, in the areas of Model Checking/Verification, Automated Theorem Proving, Model Driven Development and Ontology Development and Reasoning. Three highly motivated students holding a BSc with an Honours in Computer Science or equivalent are sought to join the group at the StFX Centre for Logic and Information (www.logic.stfx.ca) starting in Sept. 2011. Case studies for the research will focus on a multi-year R&D project with applications to the health care sector. Students will have the opportunity to interact with the Centre's industry partners and collaborators from the health care sector. Interested students should first e-mail (1) a CV with the names of 3 references, (2) a statement of Research Experience and Interests, and (3) any Publications and (4) a university transcript to Janet Norgrove (jnorgrove at stfx.ca). Use MSc in CS 2011 as a subject heading. Funding to cover the cost of tuition and a living allowance will be provided to the successful candidates. Wendy MacCaull, PhD, Professor, Mathematics, Statistics & Computer Science, Director, StFX Centre of Logic and Information, St. Francis Xavier University, Antigonish, NS, Canada, B2G 2W5 Tel: 902 867 3989 FAX: 902 867 1397 Information is this e-mail is confidential and meant only for the addressee. Please do not circulate it without prior permission. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From wmaccaul at stfx.ca Fri Jan 14 19:48:46 2011 From: wmaccaul at stfx.ca (Wendy MacCaull) Date: Fri, 14 Jan 2011 14:48:46 -0400 Subject: Post-doc opportunity Verification of Time Sensitive Safety Critical Systems Message-ID: Post-doc opportunity: Verification of Time Sensitive Safety Critical Systems using High Performance Computing This is a two-year post doctoral position offering the successful candidate the opportunity to be at the forefront in developing technology for safety critical systems with applications to health services delivery. The motivational problems involve modeling and verifying workflow systems using innovative workflow management frameworks. Case studies will involve very large workflows for community-based health care programs. 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 (awarded in the last 5 years) and a strong background in formal methods or related area; knowledge and expertise in parallel and distributed computing is an asset; - Commitment to work on applied problems; - Ability to present information in English clearly, both in verbal and written formats; - Enjoys working in a collaborative environment. Salary: $43,000 per year (plus a funding allowance for conference presentations). Second year funding is contingent on satisfactory performance during the first year. 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: Verification Methods for Time Sensitive Safety Critical Systems using HPC - Rnd 3. Review of the applications will begin mid-January; the researcher must be in place by late summer 2011. Wendy MacCaull, PhD, Professor, Mathematics, Statistics & Computer Science, Director, StFX Centre of Logic and Information, St. Francis Xavier University, Antigonish, NS, Canada, B2G 2W5 Tel: 902 867 3989 FAX: 902 867 1397 Information is this e-mail is confidential and meant only for the addressee. Please do not circulate it without prior permission. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From papers at icdim.org Sun Jan 16 07:51:44 2011 From: papers at icdim.org (papers) Date: Sun, 16 Jan 2011 12:21:44 +0530 Subject: ICDIM 2011 Message-ID: <20110116065144.17067.qmail@mail.fastdnsnetwork.com> Call for Papers Sixth International Conference on Digital Information Management La Trobe University, Melbourne, Australia September 14-16, 2011 (http://www.icdim.org) (Technically co-sponsored by IEEE Technology Management Council) Proceedings will be published and indexed in IEEE Xplore) Following the successful earlier conferences at Bangalore (2006), Lyon (2007), London (2008), Michigan (2009) and Thunder Bay (2010) the sixth event is being organized at La Trobe University, Melbourne, Australia in 2011 September. The International Conference on Digital Information Management is a multidisciplinary conference on digital information management, science and technology. The principal aim of this conference is to bring people in academia, research laboratories and industry together, and offer a collaborative platform to address the emerging issues and solutions in digital information science and technology. The ICDIM intends to bridge the gap between different areas of digital information management, science and technology. This forum will address a large number of themes and issues. The conference will feature original research and industrial papers on the theory, design and implementation of digital information systems, as well as demonstrations, tutorials, workshops and industrial presentations. The topics in ICDIM 2011 include but are not confined to the following areas. Temporal and Spatial Databases Data Mining Web Mining including Web Intelligence and Web 3.0 E-Learning, eCommerce, e-Business and e-Government Web Metrics and its applications XML and other extensible languages Semantic Web, Ontologies and Rules Human-Computer Interaction Artificial Intelligence and Decision Support Systems Knowledge Management Ubiquitous Systems Peer to Peer Data Management Interoperability Mobile Data Management Data Models for Production Systems and Services Data Exchange issues and Supply Chain Data Life Cycle in Products and Processes Case Studies on Data Management, Monitoring and Analysis Security and Access Control Information Content Security Mobile, Ad Hoc and Sensor Network Security Distributed information systems Information visualization Web services Quality of Service Issues Multimedia and Interactive Multimedia Image Analysis and Image Processing Video Search and Video Mining All the accepted papers will appear in the proceedings published by IEEE and fully indexed by IEEE Xplore. All the ICDIM papers are indexed by DBLP (http://www.informatik.uni- trier.de/~ley/db/conf/icdim/index.html) Important Dates: Submission of papers - February 15, 2011 Notification of Paper Acceptance/Rejection - March 15, 2011 Camera Ready Paper Due - April 30, 2010 Author Registration - May 31, 2011 Late Registration - June 20, 2011 Conference Dates - September 14-16, 2011 General Chair : Prof. Rajiv Khosla, Director, RECCSI, La Trobe University, Australia General Co-chair: Prof. Toyoaki Nishida, Kyoto University, Japan General Co-chair: Dr. Keiji Yamada, General Manager, CCIL, NEC, Japan Paper submissions at- http://www.icdim.org/submission.php Contact: conference at icdim.org Modified version of the selected papers will appear in the special issues of the following peer reviewed journals. 1. Journal of Digital Information Management (JDIM) 2. International Journal of Web Applications (IJWA) 3. International Journal of Information Studies (IJIS) 4. International Journal of Intelligent Computing 5. International Journal of Information Technology and Web Engineering (IJITWE) 6. Journal of Image Processing Technology 7. Journal of Information Security Research 8. Journal of Information Technology Review ----------- From organization at arcoe.org Sun Jan 16 10:34:38 2011 From: organization at arcoe.org (ARCOE) Date: Sun, 16 Jan 2011 11:34:38 +0200 Subject: IJCAI-11 Workshop ARCOE - Second Call for Papers Message-ID: Sincere apologies for multiple postings. ======================= CALL FOR PAPERS ARCOE-11 at IJCAI-11 Date: July 17-18 2011 Barcelona, Spain ======================= The IJCAI-11 Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE-11) http://www.arcoe.org/2011 held on 17 and 18 July 2011 at the International Joint Conference on Artificial Intelligence (IJCAI-11) -- Description of the workshop -- Methods of automated reasoning have solved a large number of problems in Computer Science by using formal ontologies expressed in logic-based languages. Over the years, though, each problem or class of problems has required a different ontology, and sometimes a different version of logic. Moreover, the processes of designing, controlling and maintaining an ontology as well as its different versions have turned out to be inherently complex. All this has motivated much investigation in a wide range of disparate disciplines -- from logic-based Knowledge Representation and Reasoning to Software Engineering, from Databases to Multimedia -- about how to relate ontologies to one another. ARCOE-11 aims at bringing together researchers and practitioners from core areas of Artificial Intelligence (Knowledge Representation and Reasoning, Contexts, and Ontologies) and related disciplines to discuss these kinds of problems and relevant results. Historically, there have been at least three different, yet interdependent motivations behind this type of research: defining the relationship between an ontology and its context; providing support to ontology engineers; enhancing problem solving and communication for software agents. Ontology and Context. Most application areas have recognised the need for representing and reasoning about knowledge that is distributed over many resources. Such knowledge, as well as its intrinsic relevance and usability, depends on its context. The latter is determined by the syntactic and/or semantic structure of the resources, the scope of the underlying language, among other things. Research on information integration, distributed knowledge management, the semantic web, multi-agent and distributed reasoning have pinned down different aspects of how ontologies relate to and/or develop within their context. Ontology Engineering. Ontology engineers are not supposed to succeed right from the beginning when (individually or collaboratively) developing and maintaining an ontology. Despite their expertise and any assistance from domain experts, revision cycles are the rule. Moreover quite often different ontologies have to be integrated in such a way for them to be operable together (merging). Research on the automation of the process of engineering an ontology has improved efficiency and reduced the introduction of unintended meanings by means of interactive ontology editors that provide support for ontology change (debugging, updates and repair), maintenance (versioning) and integration (merging). Moreover, ontology matching has studied the process of manual, off-line alignment of two or more known ontologies. Problem Solving and Communication for Agents. Agents that communicate with one another without having full access to their respective ontologies or that are programmed to face new non-classifiable situations must change their own ontology dynamically at run-time -- they cannot rely solely on human intervention. Research on this problem has either concentrated on techniques borrowed from the non-monotonic reasoning and belief revision communities or on changes of signature, i.e., of the grammar of the ontology's language, with a minimal disruption to the original theory. This is also an important issue in the emerging area of General Game Playing. ARCOE-11 will provide a multi-disciplinary forum, where differences in methodologies, representation languages and techniques are over-arched and hopefully overcome. Accordingly, the workshop will be structured into four tracks: three of them will focus on specific areas, the fourth one will foster links and integration. Track 1: Context and Ontology This track will consist of presentations and discussions around the theme of Context and Ontology, a well-established research area that has mainly concentrated on the relationship between contexts and ontologies for distributed information and for the enhancement of software agents. Track 2: Common Sense and Non-Monotonic Reasoning for Ontologies This track will consist of presentations and discussions around the theme of Common Sense and Non-Monotonic Reasoning in logic-based Knowledge Representation and Reasoning for ontologies. These are classic areas of AI, which since their origins have produced remarkable results on logic-based methods for supporting knowledge engineers and for enhancing software agents. Track 3: Automated Ontology Evolution This track will consist of presentations and discussions around the theme of Automated Ontology Evolution for agents and general problem solving, an area which in recent years has been drawing the attention of Artificial Intelligence and Knowledge Representation and Reasoning on the assessment of change impact and the automation of ontology evolution. Track 4: Links and integration This track will foster links and integration by means of invited talks and (panel) discussions. Topics that are likely to be covered are: the formalisation of software engineering concepts for ontology development; the relationship between automated reasoning and information retrieval; relationships between representation languages; relationships between canonical domains; relationships between contexts and ontology evolution and between non-monotonic reasoning and ontology evolution. ARCOE-11 will bring the participants to position the various approaches with respect to one another. Hopefully, though, the workshop will also start a process of cross-pollination and set out the constitution of a truly interdisciplinary research community dedicated to automated reasoning about contexts and ontology evolution. -- Topics -- ARCOE-11 welcomes submissions on the tracks below as well on their intersection. (The division in tracks is only for organizational purposes during the workshop. Authors are not required to assign themselves to a specific track at the time of submission.) Track 1: Context and Ontology Submissions are welcome on the role of context and ontology in areas that include but are not limited to the following ones: - Information integration - The role of context and ontology in distributed reasoning and knowledge management - The role of context and ontology in the Semantic Web - Multi-agent systems - Data grid and grid computing - Pervasive computing and ambient intelligence - Peer-to-peer information systems - Comparison of uses of contexts and ontologies Track 2: Common Sense and Non-Monotonic Reasoning Submissions are welcome on the role of common sense and non-monotonic reasoning for ontologies in areas that include but are not limited to the following ones: - Ontology debugging, update and merging - Non-classical belief revision - Inconsistency handling, belief revision and theory change for DL ontologies - Uncertainty handling, defeasible reasoning and argumentation in ontologies - Heuristic and approximate reasoning - Planning and reasoning about action and change on the Semantic Web - Rules and ontologies - Temporal and spatial reasoning Track 3: Automated Ontology Evolution Submissions are welcome on the role of automated ontology evolution in areas that include but are not limited to the following ones: - Ontology fault diagnosis and repair - Ontology versioning - Adaptive systems and reconfiguration - General problem solving - Agent communication - Persistent agents in changing environment - Multimedia on the Web - IT and automated reasoning -- Attendance -- Authors and submissions will be selected on the significance of the contribution, on how the work positions itself with respect to Tracks 1-3 above, and on the submission's potential to foster discussions and integration. Also, authors will be preferred to simple attendees. Attendees are welcome, but will be selected on a first-come-first-served basis. Please check the IJCAI-11 website for registration procedure, fees as well as cancellation policies. -- Submission Requirements and Dates -- ARCOE-11 will accept submissions of long abstracts, for both long presentations and poster presentations. The distinction during the selection-phase will be based on 1) Relevance, significance and quality of the submission; 2) Degree of interdisciplinarity of the contribution with respect to Tracks 1-3 above, i.e., the contribution's potential to foster cross-pollination and discussions on ARCOE main themes during the event. In an effort to integrate this relatively new research area, submissions to ARCOE-11 should be able to explicitly and uniformly introduce their work relative to the call for papers and to other approaches. For instance, given specific approaches such as DL-based belief revision, or Context Logic integrated by Natural Language Processing (NLP), or Higher-Order Logic (HOL) or Machine Learning (ML), the authors are expected to introduce their proposals by clearly positioning themselves relative to: 1) Specific canonical problems in their respective area; 2) Paradigms, tools and applications within their own approach; 3) ARCOE's list of canonical problems in Tracks 1-3, i.e., the contribution should be able to make clear how it is positioned relative to ontology and context, ontology engineering and/or general problem solving and communication for agents. All selected abstracts will be included in the Working Notes. Authors are kindly requested to provide keywords upon submission. The format for submissions is the same as that of IJCAI-11. Please check the IJCAI author instructions website for the style files. Submissions should be no longer than 5 pages and in PDF format. The possibility is being considered of publishing extended versions of the best works from the workshop in a special issue of a peer-reviewed journal. Submission deadline: March 14, 2011 Notification: April 25, 2011 Camera ready: May 16, 2011 Early registration: [TBA] Late registration: [TBA] Workshop dates: 17 and 18 July 2011 -- Submit to -- Please submit to http://www.easychair.org/conferences/?conf=arcoe11 -- Workshop Co-Chairs -- Alan Bundy - http://homepages.inf.ed.ac.uk/bundy School of Informatics, University of Edinburgh Informatics Forum, 10 Crichton Street, Edinburgh EH8 9AB, UK. Tel: +44-131-650-2716, Fax: +44-131-650-6899 Jos Lehmann - http://www.inf.ed.ac.uk/people/staff/Jos_Lehmann.html School of Informatics, University of Edinburgh Informatics Forum, 10 Crichton Street, Edinburgh EH8 9AB, UK. Tel: +44-131-650-2725, Fax: +44-131-650-6899 Ivan Varzinczak (primary contact) - http://en.varzinczak.net16.net CSIR Meraka Institute Meiring Naude Road, CSIR, 0001 Pretoria, South Africa. Tel: +27-12-841-2594, Fax: +27-12-841-4720 -- Program Committee -- - Franz Baader (TU Dresden, Germany) - Christoph Benzmueller (Articulate Software, USA) - Richard Booth (University of Luxembourg and Mahasarakham University, Thailand) - Paolo Bouquet (University of Trento, Italy) - Jim Delgrande (Simon Fraser University, Canada) - Jerome Euzenat (INRIA & LIG, France) - Nicola Fanizzi (University of Bari, Italy) - Giorgos Flouris (FORTH, Greece) - Chiara Ghidini (FBK Fondazione Bruno Kessler, Italy) - Fausto Giunchiglia (University of Trento, Italy) - Deborah McGuinness (Rensselaer Polytechnic Institute, USA) - Thomas Meyer (Meraka Institute, South Africa) - Alessandra Mileo (Digital Enterprise Research Institute, Ireland) - Amedeo Napoli (LORIA CNRS, France) - Maurice Pagnucco (The University of New South Wales, Australia) - Valeria de Paiva (Cuil Inc., USA) - Jeff Pan (University of Aberdeen, UK) - Dimitris Plexousakis (FORTH, Greece) - Guilin Qi (Southeast University, China) - Marcio Ribeiro (University of Sao Paulo, Brazil) - Luciano Serafini (FBK Fondazione Bruno Kessler, Italy) - Renata Wassermann (University of Sao Paulo, Brazil) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From r.bordini at acm.org Mon Jan 17 13:13:15 2011 From: r.bordini at acm.org (Rafael H Bordini) Date: Mon, 17 Jan 2011 12:13:15 +0000 Subject: 2nd CfP: ProMAS-2011 @ AAMAS Message-ID: <4D34325B.8060000@acm.org> (apologies if you receive multiple copies) (2nd CfP news: LNAI volume announced; Programme committee confirmed) --------------- Call for Papers --------------- Ninth International Workshop on Programming Multi-Agent Systems (ProMAS'11) ProMAS'11 is a satellite workshop at AAMAS 2011 Taipei, Taiwan, 2-6 May 2011 The ProMAS workshop series has produced, throughout this decade, a number of solid contributions towards programming languages and development tools that are appropriate for the development of complex autonomous systems that operate in dynamic environments. With applications of autonomous software (e.g., UAVs, companion robots, ambient intelligence, and semantic applications, to name just a few) becoming required with wide commercial interest, it is imperative to support the ever more complex task of professional programmers of multi-agent systems. Importantly, such languages and tools must be developed in a principled but practical way. ProMAS aims to address both theoretical and practical issues related to developing and deploying multi-agent systems. Now in its 9th edition, ProMAS has been an invaluable venue bringing together leading researchers from both academia and industry to discuss issues on the design of programming languages and tools for multi-agent systems. In particular, the workshop promotes the discussion and exchange of ideas concerning the techniques, concepts, requirements, and principles that are important for multi-agent programming technology. These include the theory and applications of agent programming languages, how to effectively implement a multi-agent system design or specification, the verification and analysis of agent systems, as well as the implementation of social structures in agent-based systems (e.g., organisations, coordination, and communication in multi-agent systems). We encourage the submission of proposals for programming languages and tools that provide specific programming constructs to facilitate the implementation of the essential concepts used in multi-agent system analysis and specifications (e.g., mental attitudes, distribution, and social interaction). We also welcome submissions describing significant multi-agent applications, as well as agent programming tools that allow the integration of agents with legacy systems. Further, we are particularly interested in approaches or applications that show clearly the added-value of multi-agent programming, and explain why and how this technology should be adopted by designers and programmers both in academia and industry. Topics of Interest ------------------ Specific topics of interest for this workshop include, but are not limited to: - Programming Languages for multi-agent systems - Programming models and abstractions for multi-agent systems - Extensions of traditional languages for multi-agent programming - Theoretical and practical aspects of multi-agent programming - Computational complexity of MAS - Semantics for multi-agent programming languages - High-level executable multi-agent specification languages - Algorithms, techniques, or protocols for multi-agent issues (e.g., coordination, cooperation, negotiation) - Agent communication issues in multi-agent programming - Programming of social and organisational aspects of MAS - Programming environment aspects of MAS - Formal methods for specification and verification of MAS - Verification tools for implementations of MAS - Agent development tools and platforms - Generic tools and infrastructures for multi-agent programming - Interoperability and standards for MAS - Programming mobile agents - Safety and security for mobile MAS deployment - Fault tolerance and load balancing for mobile MAS - Application areas for multi-agent programming languages - Applications using legacy systems - Programming MAS for Pervasive Applications - Programming MAS for Multi-Robot Systems - Programming MAS for Autonomous Software (e.g., UAVs) - Programming MAS for Grid-based applications - Programming MAS for the Semantic Web - Deployed (industrial-strength) MAS - Benchmarks and testbeds for comparing MAS languages and tools - Integration of multi-agent and mainstream technologies Important Dates --------------- Paper submission deadline: 30th January 2011 Notification of acceptance/rejection: 27th February 2011 Camera-ready copies due: 13th March 2011 Workshop Date: 3rd May 2011 Submission Details ------------------ Authors should submit their papers via the easychair conference management system: Papers should be formatted using Springer LNCS style and have a maximum of 16 pages. Publication ----------- Accepted papers will be appear in informal proceedings to distributed among participants during the workshop. As was the case with previous editions of the ProMAS workshop, we are planning to publish extended versions of selected and invited papers as a volume of the Lecture Notes in Computer Science series by Springer-Verlag. Programme Committee ------------------- Matteo Baldoni (Italy) John-Jules Meyer (Netherlands) Juan Botia (Spain) Jörg Müller (Germany) Lars Braubach (Germany) Andrea Omicini (Italy) Rem Collier (Ireland) Agostino Poggi (Italy) Ian Dickinson (UK) Alexander Pokahr (Germany) Marc Esteva (Spain) Alessandro Ricci (Italy) Michael Fisher (UK) Birna Van Riemsdijk (Netherlands) Jorge Gomez-Sanz (Spain) Ralph Ronnquist (Australia) Vladimir Gorodetsky (Russia) Ichiro Satoh (Japan) Dominic Greenwood (Switzerland) Michael I. Schumacher (Switzerland) James Harland (Australia) Munindar Singh (USA) Koen Hindriks (Netherlands) Tran Cao Son (USA) Benjamin Hirsch (Germany) Patrick Taillibert (France) Jomi Hübner (Brazil) Paolo Torroni (Italy) João Leite (Portugal) Jørgen Villadsen (Denmark) Brian Logan (UK) Gerhard Weiss (Netherlands) Viviana Mascardi (Italy) Michael Winikoff (New Zealand) Philippe Mathieu (France) Neil Yorke-Smith (USA) Organising Committee -------------------- - Olivier Boissier (Ecole des Mines de St Etienne, France) - Rafael H. Bordini (Federal University of Rio Grande do Sul, Brazil) - Louise Dennis (University of Liverpool, UK) Steering Committee ------------------ - Rafael H. Bordini (Federal University of Rio Grande do Sul, Brazil) - Mehdi Dastani (Utrecht University, Netherlands) - Juergen Dix (Clausthal University of Technology, Germany) - Amal El Fallah Seghrouchni (University of Paris VI, France) From bsl at Cs.Nott.AC.UK Mon Jan 17 18:11:09 2011 From: bsl at Cs.Nott.AC.UK (Brian Logan) Date: Mon, 17 Jan 2011 17:11:09 +0000 Subject: CfP: Formal Methods for Pervasive Systems [Pervasive@FM2011] ... Message-ID: <89625942-9C76-4A18-9517-0CB29BDAC90C@Cs.Nott.AC.UK> CALL FOR PAPERS "Formal Methods for Pervasive Systems [Pervasive at FM2011]" A Workshop held as part of FORMAL METHODS 2011 -- http://fm2011.lero.ie DEADLINE: 20th March 2011 [ See http://www.csc.liv.ac.uk/~michael/Pervasive at FM2011.{pdf,html,txt} ] WORKSHOP TOPICS: ================ Logics, Process calculi, Automata, Specification languages, Probabilistic analysis, Model checking, Theorem-proving, Tools, Automated deduction *FOR* privacy, behaviour, security, reliability, interoperability, context-aware, mobility, resource requirements, temporal *ASPECTS OF* pervasive healthcare systems, sensor networks, e-commerce, cloud computing, MANETs/VANETs, telephony, device swarms, electronic tags, human-device interaction, etc. SUBMISSIONS: ============ Our aim is to have productive discussions and a true workshop "feel". Thus, we invite two kinds of submission: 1. Original research papers concerning any of the above topics; or 2. Survey papers providing an overview of some of the above topics. Submissions should be written in English, formatted according Springer LNCS style, and not exceed 20 pages in length. Submissions must be made via http://www.easychair.org/conferences/?conf=pervasivefm2011 Our aim is for an informal proceedings based on these submissions to be available during the workshop. Depending upon the success of the workshop, we intend to produce an edited book based (at least in part) upon the contributions or develop a special issue of a journal. IMPORTANT DATES: ================ Submission deadline: 20th March 2011 Notification of acceptance: 1st May 2011 Pre-proceedings version due: 20th May 2011 Workshop: 20th or 21st June, 2011 INVITED SPEAKER: ================ Simon Dobson (School of Computer Science, University of St. Andrews) WORKSHOP CO-CHAIRS: =================== Michael Fisher (University of Liverpool, UK) Brian Logan (University of Nottingham, UK) PROGRAMME COMMITTEE: ==================== Natasha Alechina (Nottingham, UK) Myrto Arapinis (Birmingham, UK) Mohamed Bakhouya (Belfort, FR) Doina Bucur (INCAS3, NL) Michael Butler (Southampton, UK) Muffy Calder (Glasgow, UK) Antonio Coronato (CNR, IT) Soren Debois (Copenhagen, DK) Giuseppe De Pietro (CNR, IT) Marina De Vos (Bath, UK) Simon Dobson (St Andrews, UK) Michael Fisher (Liverpool, UK) Michael Harrison (Newcastle, UK) Savas Konur (Liverpool, UK) Brian Logan (Nottingham, UK) Alessio Lomuscio (Imperial, UK) Ka Lok Man (XJTLU, CN) Julian Padget (Bath, UK) Anand Ranganathan (IBM, USA) Alessandro Russo (Imperial, UK) Mark Ryan (Birmingham, UK) Chris Unsworth (Glasgow, UK) Kaiyu Wan (XJTLU, CN) STEERING COMMITTEE: =================== Natasha Alechina (University of Nottingham, UK) Muffy Calder (University of Glasgow, UK) Michael Fisher (University of Liverpool, UK) Brian Logan (University of Nottingham, UK) Mark Ryan (University of Birmingham, UK) From sofronie at mpi-inf.mpg.de Tue Jan 18 00:24:01 2011 From: sofronie at mpi-inf.mpg.de (Viorica Sofronie-Stokkermans) Date: Tue, 18 Jan 2011 00:24:01 +0100 (CET) Subject: Tableaux 2011: Final Call for Papers Message-ID: <4d13bb1716fe30dda48b8155021e3f48.squirrel@mail.mpi-inf.mpg.de> [Apologies for multiple copies] Final Call for Papers TABLEAUX 2011 International Conference TABLEAUX 2011 Automated Reasoning with Analytic Tableaux and Related Methods Bern, Switzerland 4 July - 8 July 2011 http://www.tableaux11.unibe.ch/ IMPORTANT DATES (Please note the extended deadline for paper submission and later date for notification.) Abstract and Title Submission: Monday, 24 Jan Paper Submission: Monday, 7 Feb Notification: Monday, 4 Apr Final Versions: Monday, 25 Apr Short Paper Submission: Monday, 2 May Short Paper Notification: Monday, 16 May Workshops: Monday, 4 July Conference: Tuesday, 5 July - Friday, 8 July GENERAL INFORMATION This conference is the 20th in a series of international meetings on Automated Reasoning with Analytic Tableaux and Related Methods. In July 2011, the conference will be held in Bern, Switzerland. The conference proceedings will be published in the Springer LNAI series as in the previous editions of the conference. See http://www.tableaux11.unibe.ch/ for more information on TABLEAUX 2011, and http://i12www.ira.uka.de/TABLEAUX for information about the TABLEAUX conference series. TOPICS Tableau methods are a convenient formalism for automating deduction in various non-standard logics as well as in classical logic. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, and system diagnosis. The conference brings together researchers interested in all aspects - theoretical foundations, implementation techniques, systems development and applications - of the mechanization of reasoning with tableaux and related methods. Topics of interest include (but are not restricted to): * analytic tableaux for various logics (theory and applications) * related techniques and concepts, e.g., model checking and BDDs * related methods (model elimination, sequent calculi, connection method, ...) * new calculi and methods for theorem proving in classical and non-classical logics (modal, description, intuitionistic, linear, temporal, many-valued...) * systems, tools, implementations and applications. As in previous years, TABLEAUX 2011 puts a special emphasis on applications. Papers describing applications of tableaux and related methods in areas such as hardware and software verification, semantic technologies, knowledge engineering, etc. are particularly invited. One or more tutorials will be part of the conference program. SUBMISSIONS The conference will include contributed papers, tutorials, system descriptions, position papers and invited lectures. Submissions are invited in three categories: A Research papers (reporting original theoretical and/or experimental research, up to 15 pages) B System descriptions (up to 5 pages) C Short papers reporting work in progress (up to 5 pages) Submissions in categories A and B will be reviewed by peers, typically members of the program committee. They must be unpublished and not submitted for publication elsewhere. For category B submissions a working implementation must exist and be available to the referees. Accepted papers in these categories will be published in the conference proceedings. Submissions in category C will be reviewed by members of the program committee and a collection of the accepted papers in this category will be published as a Technical Report of the University of Bern. Authors of accepted papers are expected to present their work at the conference. INVITED SPEAKERS We are pleased to announce that the following speakers have agreed to give invited talks at TABLEAUX 2011: * Maria Paola Bonacina, Università degli Studi di Verona, Italy * Ulrich Furbach, University of Koblenz-Landau, Germany * Kazushige Terui, Kyoto University, Japan PROGRAM COMMITTEE PC Chairs * Kai Brünnler, University of Bern, Switzerland * George Metcalfe, University of Bern, Switzerland PC Members * Arnon Avron, Tel Aviv University, Israel * Peter Baumgartner, NICTA, Canberra, Australia * Bernhard Beckert, Karlsruhe Institute of Technology, Germany * Torben Braüner, Roskilde University, Denmark * Agata Ciabattoni, TU Wien, Austria * Marta Cialdea, University of Rome 3, Italy * Roy Dyckhoff, University of St Andrews, Scotland * Martin Giese, University of Oslo, Norway * Valentin Goranko, Technical University of Denmark * Rajeev Goré, The Australian National University, Canberra, Australia * Reiner Hähnle, Chalmers University, Göteborg, Sweden * Ullrich Hustadt, University of Liverpool, UK * Martin Lange, University of Kassel, Germany * Dale Miller, INRIA, Saclay, France * Neil V. Murray, University at Albany - SUNY, USA * Nicola Olivetti, Paul Cézanne University, Marseille, France * Jens Otten, University of Potsdam, Germany * Dirk Pattinson, Imperial College London, UK * André Platzer, Carnegie Mellon University, USA * Renate Schmidt, University of Manchester, UK * Viorica Sofronie-Stokkermans, MPI, Saarbrücken, Germany * Ulrich Ultes-Nitsche, Fribourg University, Switzerland * Luca Viganò, University of Verona, Italy * Arild Waaler, University of Oslo, Norway ORGANIZING COMMITTEE Conference Chairs: * Kai Brünnler, University of Bern, Switzerland * George Metcalfe, University of Bern, Switzerland Local Organizers: * Samuel Bucheli * Lukas Gerber * Roman Kuznets * Richard McKinley * Nia Stephens From matthias.mailliard at gmail.com Tue Jan 18 14:52:32 2011 From: matthias.mailliard at gmail.com (Matthias Mailliard) Date: Tue, 18 Jan 2011 14:52:32 +0100 Subject: SNAMAS 2011 Message-ID: EXTENDED DEADLINE: Jan 31st CALL FOR PAPERS THIRD SOCIAL NETWORKS AND MULTIAGENT SYSTEMS SYMPOSIUM SNAMAS at AISB 2011 Convention http://snamas2011.res-ear.ch/ http://www.aisb.org.uk/convention/aisb11/ 4-7 April 2011, University of York, UK -------------------------------------------------------------- The aim of the SNAMAS Symposium is to exchange ideas, tools, methodologies, on various works in MAS that integrate the social network component. -------------------------------------------------------------- POST PROCEEDINGS Selected papers, under a second review process, will be considered for a special issue of the Computational and Mathematical Organization Theory Journal (CMOT) Springer. ------------------------------------------------------------ TOPICS The 2011 release of SNAMAS will be focused on "social relations and their underlying processes in social organizations". Special attention will be paid to empirical studies. Topics of interest include (but are not limited to) works exhibiting: - empirical and/or theoretical research on a specific social relation (e.g. relation of power, solidarity, legitimity, trust...); - the role of specific social relations in structuring organizations; - the role of agents´ attributes in structuring social relations (values, emotions, cognitive abilities, ...); - the role of social relation structures on agent behaviour; - agent mechanisms and algorithms dealing with representations for social relations; - social relations regulations; - comparative and ontological studies for SNA and MAS; - mathematical representations for describing and analysing structures for social relations, and their dynamics. -------------------------------------------------------------- IMPORTANT DATES Paper submission deadline (EXTENDED): January 31, 2011. Notification of acceptance: February 28, 2011. Camera ready version deadline: TBA Symposium: 4th - 7th April, 2011. -------------------------------------------------------------- PAPER SUBMISSION Authors should consult the instructions on the website for submitting their papers electronically. Guidelines for paper submission are as the following: - The paper should be written in English. - The maximum length of a paper is 6 A4-sized pages in ECAI format (format download: http://www.aisb.org.uk/convention/aisb08/download.html). - The paper should be in PDF format. - Please submit via the online paper submission system. (http://www.easychair.org/conferences/?conf=aisb11 (Track : Social Networks and Multi-agent systems)) -------------------------------------------------------------- PROGRAM COMMITTEE Luis Antunes (Univ. Lisbon, Portugal) Guido Boella (University of Turin) Cristiano Castelfranchi, (ISTC-CNR Rome, Italy) Edmund Chattoe-Brown (Univ. Leicester, UK) Rosaria Conte (ISTC-CNR Rome, Italy) Bruce Edmonds (Manchester Metropolitan University, UK) Terrill Frantz (Carnegie Mellon University, USA) Jeremy Pitt (Imperial College London, UK) Camille Roth (CNRS-EHESS, Paris, France) Giovanni Sartor (Univ. Bologna, Italy) Serena Villata (University of Turin) Justin Zhan (CMU, Pittsburgh, USA) ------------------------------------------------------------- SYMPOSIUM CHAIRS - Matthias Mailliard (Cemagref, France) - Clara Smith (UNLP and UCALP, Argentina) - Frédéric Amblard (IRIT, France) - Samuel Thiriot (INRIA, France) ------------------------------------------------------------ CONTACTS For further inquiries please contact: snamas2011 at res-ear.ch From dvillatoro at iiia.csic.es Tue Jan 18 15:12:39 2011 From: dvillatoro at iiia.csic.es (Daniel Villatoro Segura) Date: Tue, 18 Jan 2011 15:12:39 +0100 Subject: [2nd CFP] MABS2011 @ AAMAS In-Reply-To: <4D08BFF1.7060900@iiia.csic.es> References: <4D08BFF1.7060900@iiia.csic.es> Message-ID: <4D359FD7.9090808@iiia.csic.es> [Apologies for multiple copies] *************************************************************************** 2ND CALL FOR PAPERS - M A B S 2011 Twelfth International Workshop on MULTI-AGENT-BASED SIMULATION (MABS'11) http://www.iiia.csic.es/~dvillatoro/MABS11 To be held at The Tenth International Joint Conference on Autonomous Agents & Multi-Agent Systems (AAMAS 2011) Taipei, Taiwan, May 2-6, 2011. *************************************************************************** AIMS AND SCOPE The meeting of researchers from MAS engineering and the social/economic/organizational sciences is extensively recognized for its role in cross-fertilization, and has undoubtedly been an important source of inspiration for the body of knowledge that has been produced in the MAS area. Multi-Agent Based Simulation (MABS) is a vibrant inter-disciplinary area which brings together researchers within the agent-based social simulation community (ABSS) and the Multiagent Systems community (MAS). The focus of ABSS is on simulating and _rganization social behaviours in order to understand real social systems via the development and testing of new concepts. The focus of MAS is on the solution of hard engineering problems related to the construction, deployment and efficient operation of multiagent systems. The MABS workshop series continues to pursue its goal to bring together researchers interested in MAS engineering, with researchers focused on finding efficient solutions to _rganiza complex social systems, in such areas as economics, management, and organizational and social sciences in general. In all of these areas, agent theories, metaphors, models, analysis, experimental designs, empirical studies, and methodological principles, all converge into simulation as a way of achieving explanations and predictions, exploring and testing of hypotheses, better designs and systems. The range of technical issues that MABS has dealt with, and continues to deal with, is quite diverse and extensive. Topics relevant to this workshop include, but are not limited to, the following: Simulation methodologies - standards for MABS - methodologies and simulation languages for MABS - simulation platforms and tools for MABS - _rganizationa and analytic tools - approaches for large-scale simulations - scalability and robustness in MABS - future challenges in MABS Simulation of social and economic organizations - formal and agent models of social organizations - cognitive organizations and social simulation - game theory and simulation - social structure: social networks and simulating organizations - simulating social complexity (e.g. structures and norms, social order, emergence of cooperation and coordinated action, self-organisation, the micro-macro link) Applications / Empirical work - MABS in environmental organizations - agent-based experimental economics - participative-based simulation - MABS and games All of these topics are important for both the MAS community doing simulation, and for economic, social, and organizational scientists doing simulation. MABS WORKSHOP SERIES The workshop is a continuation of the International Workshop series on Multi-Agent-Based Simulation (MABS). More information about MABS can be found at http://www.pcs.usp.br/~mabs . IMPORTANT DATES Submission deadline: January 30, 2011 Notification of acceptance: 27 February, 2011 Final manuscript due: March 13, 2011 Workshop: May 2-3, 2011 PUBLICATION All accepted papers will be printed in the AAMAS workshop proceedings. In addition, following the tradition of the previous MABS workshops, we intend to publish the accepted papers, after a further reviewing process, in Springer-Verlag's Multi-Agent-Based Simulation book series, LNAI, with the title "Multi-Agent-Based Simulation XII, 12th International Workshop, Taipei, Taiwan, May 2011, Revised Papers". The preliminary schedule for the post-proceedings process is the following: Second reviewing: September, 2011 Revised camera-ready papers: October, 2011 Publication: December, 2011 SUBMISSION We invite paper submission for MABS 2011, taking place in Taipei from 2-3 May 2011. All submitted papers must be formatted according to Springer's LNAI layout (http://www.springer.de/comp/lncs/authors.html) and in PDF format. The maximum number of pages is 12. Papers should be submitted via Easychair. Questions should be addressed to Daniel Villatoro (dvillatoro at iiia.csic.es). ACCEPTANCE STANDARDS All submissions will go through a peer review process, with two or three independent PC members reviewing each submission. Only those deemed to be 1) relevant to the workshop's aims, 2) presenting original work, and 3) of good quality and clarity will be accepted. Following the workshop, participants will be required to revise their papers, which will undergo a second review process before publication in the post-proceedings. ORGANISATION Jordi Sabater-Mir (IIIA - CSIC, Spain) Jaime Simão Sichman (University of São Paulo, Brazil); Daniel Villatoro (IIIA - CSIC, Spain) THE MABS STEERING COMMITTEE Frédéric Amblard (Université Toulouse 1, France) Luis Antunes (University of Lisbon, Portugal) Rosaria Conte (National Research Council, Italy) Paul Davidsson (Blekinge Institute of Technology, Sweden) Nigel Gilbert (University of Surrey, UK) Scott Moss (University of Koblenz-Landau, Germany) Keith Sawyer (Washington University in St. Louis, USA) Jaime Simão Sichman (University of São Paulo, Brazil) Keiki Takadama (Tokyo Institute of Technology, Japan) WORKSHOP WEB PAGE http://www.iiia.csic.es/~dvillatoro/MABS11 From CISP-BMEI-cfp at dhu.edu.cn Mon Jan 17 22:50:36 2011 From: CISP-BMEI-cfp at dhu.edu.cn (Bing Li) Date: Tue, 18 Jan 2011 05:50:36 +0800 Subject: Informatics Track Submission Deadline 15 April, Shanghai, China Message-ID: <495301752.29671@eyou.net> Dear Colleague, Topics of the BMEI 2011 Special Track on Informatics include (but are not limited to): Communications and Networking, Software Engineering, Data Engineering, Intelligent Computing, Information Security, Automation and Control, etc.. We cordially invite you to submit a paper to the upcoming the 4th International Conference on BioMedical Engineering and Informatics (BMEI 2011) and 4th International Congress on Image and Signal Processing (CISP 2011), to be jointly held from 15-17 October 2011, in Shanghai, China. Shanghai is the largest city in China, with famous historical and cultural heritage. Shanghai is the largest city in China, with famous historical and cultural heritage. Attractions include Yuyuan Garden ("Happy Garden" built in Ming Dynasty), Shanghai Museum with 120,000 pieces of rare relics, Shanghai World Financial Center, Jade Buddha Temple (Song Dynasty), Oriental Pearl TV Tower, Zhujiajiao Water Town, and Expo 2010 site. All papers in conference proceedings will be indexed by both EI Compendex and ISTP, as well as included in the IEEE Xplore (IEEE Conference Record Number for CISP’11: 18205; IEEE Conference Record Number for BMEI’11: 18206. CISP-BMEI 2008-2010 papers have already been indexed in EI Compendex). Substantially extended versions of best papers will be considered for publication in a CISP’11-BMEI’11 special issue of the Computers and Electrical Engineering journal (SCI-indexed). BMEI-CISP is a premier international forum for scientists and researchers to present the state of the art of multimedia, signal processing, biomedical engineering and informatics. The previous BMEI-CISP each attracted over 3000 submissions from all over the world, with acceptance rate around 50%. The registration fee of US$390 includes proceedings, lunches, dinners, banquet, coffee breaks, and all technical sessions. BMEI'11-CISP'11 is technically co-sponsored by the IEEE Engineering in Medicine and Biology Society. To promote international participation of researchers from outside the country/region where the conference is held (i.e., China’s mainland), researchers outside of China’s mainland are encouraged to propose invited sessions. The first author of each paper in an invited session must not be affiliated with an organization in China’s mainland. All papers in the invited sessions can be marked as "Invited Paper". The organizer(s) for each invited session with at least 6 registered papers will (jointly) enjoy an honorarium of US*D 400. Invited session organizers will solicit submissions, conduct reviews and recommend accept/reject decisions on the submitted papers. Invited session organizers will be able to set their own submission and review schedules, as long as a list of recommended papers is determined by 30 May 2011. Each invited session proposal should include: (1) the name, bio, and contact information of each organizer of the invited session; (2) the title and a short synopsis of the invited session. Please send your proposal to CISP-BMEI at dhu.edu.cn For more information, visit the conference web page: http://cisp-bmei.dhu.edu.cn If you have any questions after visiting the conference web page, please email the secretariat at CISP-BMEI at dhu.edu.cn Join us at this major event in exciting Shanghai !!! Organizing Committee CISP-BMEI at dhu.edu.cn P.S.: Kindly forward to your colleagues and students in your school/department. 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 christian.guttmann at gmail.com Thu Jan 20 13:19:02 2011 From: christian.guttmann at gmail.com (Christian Guttmann) Date: Thu, 20 Jan 2011 16:19:02 +0400 Subject: Do you CARE? -- 2nd CFP: 3rd International Workshop on Collaborative Agents - REsearch and Development (CARE) 2011, Taipei, Taiwan Message-ID: <4D382836.7050105@gmail.com> Apologies for cross-postings. (Please CHECK the new initiatives of CARE below!) ************************************************************** Second CALL FOR PAPERS Third International Workshop on *Collaborative Agents -- REsearch and development (CARE) 2011* Abstract submission: Jan 28th, 2011 Full paper submission: Jan 30th, 2011 http://www.ku.ac.ae/EBTIC/Space4Care/care.html Taipei, Taiwan, 2-3 May 2011 ************************************************************** The workshop is held in conjunction with the International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS) 2011. Workshop Summary ================ Do you care? For the lifetime value of customers, patients, products, information, and plan execution? If yes, then how do you work together with those that care for the same entity? Collaborative care is today's primary means to achieve complex outcomes and to increase the lifetime value of the cared entities. Collaboration enables agents to achieve complex goals that are difficult or impossible to attain for an individual agent. This collaboration takes place under conditions of incomplete information, uncertainty, and bounded rationality, much of which has been previously studied in economics and artificial intelligence. However, many real world domains are characterised by even greater complexity, including the possibility of unreliable and non-complying collaborators, complex market and incentive frameworks, and complex transaction costs and organisational structures. How can we create computational models, representations, algorithms and protocols to enable the next generation of intelligent collaborative care technologies? How can we build technologies that support collaboration under this complexity and uncertainty? This workshop aims to foster discussions on computational models of collaboration support in distributed systems, addressing a range of theoretical and practical issues. We seek contributions of members in research and industry that use the agent paradigm to approach their problems. The CARE workshop series not only addresses a gap in the existing agent and AI landscape, but also tries to push the boundaries of existing work by addressing a problem that is relatively new to the agent community and that presents the community with exciting applications. Application domains include healthcare, e-services, intelligent campuses, intelligent work places, business process management, telecommunications, and distance learning. For example, it includes the long term care of patients with a chronic disease (patient care), support of students in their studies (student care), and service provision in telecommunication (customer care). In many cases, caring requires a team of collaborators to work together under various constraints and market conditions. A team needs to achieve desired outcomes while decreasing costs associated with required activities. The one day workshop will feature a mixture of invited talks, discussions and submitted contributions describing current work or work in progress in collaborative agent research and technology. The workshop environment fosters open discussions among all participants, particularly encouraging students to discuss their research topics and seek feedback from senior agent researchers. Important Dates =============== Abstract submission: 28th January 2011 Paper submission deadline: 30th January 2011 Notification of acceptance/rejection: 27th February 2011 Camera-ready copies due: 13th March 2011 Workshop Date: 2nd or 3rd May 2011 Topics of interest include, without limitation: =============================================== . How can we support/guide collaborative teams. How can we offer flexibility in the way how teams execute plans. How can we make team members follow agreed procedures (Incentives? Or more fundamental, by designing a new market?). . How to enable agents to form and follow joint agreements, guidelines and contracts in complex organisational and market driven domains (agreement adherence). . How to enable agents to monitor and change agreements, if required (agreement variation). . How can adherence and variation be achieved under uncertain and incomplete information (comprehensive formation/maintenance framework). . How to enable an effective communication infrastructure for collaborative care (possibly including humans and agents). . How to build a model of the features of individuals (customer/patient behaviour). . How to build comprehensive customer lifecycle management systems for customers, including telecommunication consumers, students and patients. . How to deploy lifecycle management systems in real world applications, such as healthcare, telecommunication, and smart campuses. . How to design markets that are adequate for agents to act with incomplete and uncertain information of the behaviour of collaborating agents. . How to build MAS that work efficiently in partially regulated markets (where governance policy or partnership agreements govern part of the market). . What are the implications of partial regulation on the management of contractual relationships and service delivery. . How organisational structures influence the negotiation of agents and the distribution/execution of tasks. . How to cope with collaborators that exhibit unreliable and non-conformant behaviour, e.g. where agreements are made but are not always conformed with. . How can interventions assist in managing contractual relationships and service delivery. . How can we make individuals encourage to perform activities to stay on-track and achieve desired outcomes (incentive frameworks). . How can we enable flexible, goal-driven and contextualised plan creation and business process management (including intelligent execution, monitoring, management, and optimization of business processes). . How to assign transaction costs to actions in planning, assignment, and execution in organisational structures. . How can transaction costs influence the social outcome of the system which is further influenced by the organisational context under which the collaboration takes place. . How to build an effective monitoring-recognition-intervention framework. . Can lessons learnt in game theoretic computation inform collaborative agent settings. . What role does learning and adaptivity play in building organisational MAS. . How to deal with partially regulated markets (free markets are possibly an unrealistic paradigm as they don't really existent). Submission and Publication ========================== Authors should submit their papers via the easychair conference management system: Papers should be formatted using Springer LNCS style http://www.springer.de/comp/lncs/authors.html and have a maximum of 12 pages. Submissions will be peer-reviewed by three reviewers per paper. Selection criteria will include relevance, significance, impact, originality, technical soundness, quality of presentation. Some preference may also be given to papers which address emergent trends or important common themes, or which enhance balance of workshop topics. Post-Proceedings are planned to be published with Springer as for the CARE 2009 and 2010. Contact ======= Dr. Christian Guttmann (primary contact) christian.guttmann at kustar.ac.ae Prof. Michael Luck michael.luck at kcl.ac.uk Prof. Milind Tambe tambe at usc.edu Registration and Accommodation ============================= http://www.aamas2011.tw/AttendingAAMAS2011.html Workshop Officials ================== GENERAL CHAIRS Dr. Christian Guttmann (primary contact) christian.guttmann at kustar.ac.ae Prof. Michael Luck michael.luck at kcl.ac.uk Prof. Milind Tambe tambe at usc.edu PROGRAM COMMITTEE Prof. Dr. Gord McCalla (University of Saskatchewan, Canada) Asst. Prof. Dr. Philippe Pasquier (Simon Fraser University, Canada) Prof. Dr. Rainer Unland (University of Duisburg-Essen, Germany) Prof. Dr. Rafael Bordini (Federal University of Rio Grande do Sul, Brazil) Prof. Dr. Toby Walsh (NICTA and UNSW, Australia) Prof. Dr. Gal Kaminka (Bar Illan University, Israel) Dr. Kumari Wickramasinghe (Monash University, Australia) Dr. Sherief Abdallah (British University of Dubai, UAE) Prof. Dr. Liz Sonenberg (Melbourne University, Australia) Dr. Fredrik Heintz (Linkoping University, Sweden) Dr. Samin Karim (University of Melbourne, Australia) Prof. Dr. Michael Thielscher (University of New South Wales, Australia) Prof. Dr. Victor Lesser (University of Massachusetts, USA) Prof. Dr. Cees Witteveen (Delft University of Technology, Netherlands) Asst. Professor Birna van Riemsdijk (Delft University of Technology, Netherlands) Prof. Dr. Cristiano Castelfranchi (Institute of Cognitive Sciences and Technologies, Italy) Prof. Dr. Leonardo Garrido (Tecnológico de Monterrey, Mexico) Prof. Dr. Matthias Klusch (German Research Center for Artificial Intelligence, DFKI, Germany) Dr. Inon Zuckerman (University of Maryland, USA) Prof. Dr. Wayne Wobcke (University of New South Wales, Australia) Dr. Neil Yorke-Smith (American University of Beirut, Lebanon, and SRI International, USA) Birgit Burmeister (Daimler AG, Germany) Prof. Dr. Magnus Boman (Royal Institute of Technology, Sweden) Dr. Simon Goss (Defence Science and Technology Organisation DSTO, Australia) Dr. Wei Chen (Intelligent Automation, Inc., United States of America) Prof. Dr. Zakaria Maamar (Zayed University, UAE) Novel extensions to CARE'11 =========================== We plan to introduce two novel extensions to CARE'11 to create an environment that encourages productivity and creative thinking and discussions among all participants, particularly among the junior research members. These activities are aimed at placing an emphasis on getting to know each other, and breaking down the usual boundaries of inhibition among a research and engineering audience. They are meant to "break the ice" and to create an atmosphere of open discussion and exchange. In other words, we aim at making the workshop as a workshop is meant to be -- participants should constructively talk with each other about the research they are pursuing. The first initiative is a "Crazy and dangerous idea session". * Each accepted author has 5 min to sketch out a possible (crazy) future direction of CARE * Only one slide is allowed to explain the idea (drawings on whiteboards/screen allowed) * There has to be a clearly identifiable "out of the box" thinking. It should go towards: how can we peel off the main stream? How is CARE already different to the main stream and other research directions, and how can we extend this? The second initiative is to allow a reviewer to provide a limited text to the workshop audience (still anonymous by the organiser). The idea is to extend the current blind reviewing process by transferring valuable reviewer information to the audience to enhance discussion (reviewers often have read papers most rigorously, have deeper reflections on its' content, but these reflections are seldom discussed in a broader audience). The details are as follows. * A paragraph (at most 200 words) by each reviewer as a comment, they may include 1-3 challenging and constructive questions/extensions about an accepted paper. * The reviewers and the authors can each agree/disagree to make the comment section public. The comments would then be handed to the audience before the talks. The above initiatives are expected to enhance the atmosphere among participants significantly. The future of this workshop's research direction will therefore benefit from these initiatives. Online Discussion Groups For the purpose of announcements and future collaboration on the workshop topics, professional network groups on Linkedin have been created: CARE and AAMAS. CARE has reached a membership of 50 research professionals, and AAMAS has now 300 professional members (mostly professors, senior researchers and PhD students that have made significant contribution to the field of agents, or have a keen interest in the subject matter). These two forums are used extensively to discuss AAMAS as well as CARE specific topics. -- Christian Guttmann, PhD http://www.csse.monash.edu.au/~xtg/ http://www.ku.ac.ae/EBTIC/Staff/Christian_Guttmann.html -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sebastian.rudolph at aifb.uni-karlsruhe.de Sat Jan 22 15:03:02 2011 From: sebastian.rudolph at aifb.uni-karlsruhe.de (Sebastian Rudolph) Date: Sat, 22 Jan 2011 15:03:02 +0100 Subject: CFP: First International Workshop on Knowledge Diversity on the Web, WWW2011, Hyderabad, India Message-ID: <70744AA3-3B38-4C6A-B06F-EDF35291E68B@aifb.uni-karlsruhe.de> Apologies for multiple postings. Please forward to interested parties. Call for Papers for DiversiWeb 2011 First International Workshop on Knowledge Diversity on the Web Workshop at WWW 2011, Hyderabad, India March 28 or 29 (TBD), 2011 Supported by the EU FP7 projects RENDER and Living Knowledge Almost 20 years after its introduction, the Web provides a platform for the publication, use and exchange of information, at planetary scale, on virtually every topic, and representing an amazing diversity of opinions, viewpoints, mindsets and backgrounds. The success of the Web can be attributed to several factors, most notably to its principled scalable design, but also to a number of subsequent ICT developments such as smart user-generated content, mobile devices, and most recently cloud computing. The first two of these have dramatically lowered the last barriers of entry when it comes to producing and consuming information online, leading to an unprecedented growth and mass collaboration. They are responsible for hundreds of millions of users all over the globe creating high-quality encyclopedias, publishing Terabytes of multimedia content, contributing to world-class software, and lively taking part in defining the agenda of many aspects of our society by raising their voices, and publicly expressing and sharing their ideas, viewpoints, and resources. The other side of the coin in this unique success story is, nevertheless, the great challenges associated with managing the sheer amounts of information continuously being published online, whilst allowing for purposeful use, and leveraging the diversity inherently unfolding through global-scale collaboration. In this context, diversity includes different opinions, sentiments, preferences, or worldviews that are reflected in the way information is expressed on the Web. These challenges are still to be solved at many levels, from the infrastructure to store and access the information, through the methods and techniques to make sense out of it, to the paradigms underlying the processes of Web-based information provision and consumption. As an example, when searching for blog posts, state-of-the-art technology -- be that popularity-based algorithms, recommendation engines or collaborative filters -- tends to return either the most popular posts, or those which correspond with a personal profile and therefore with the known opinions and tastes of the reader. Alternative points of view, and new unexpected content, are not taken into account as they are not highly ranked, and posts expressing different opinions are sometimes even discarded. This behavior has particularly negative consequences when dealing with information that is expected and intended to be subject to diverse opinion -- as is the case with news reports, ratings of products or media content, customer reviews, or any other type of subjective assessment. The same negative effects apply in a community-driven environment that is designed for collaboration -- the most obvious example here being Wikipedia and the blogosphere. The information diversity exposed in such an environment, impressive both with respect to scale and the richness of opinions and viewpoints expressed, cannot be handled without adequate computer support in an economically feasible manner. In the long run, maintaining the current state-of-affairs will change the ways and the extent to which people are informed (or not) on a particular topic, tremendously influencing how they look into that topic, what they find about it and what they think about it. On top of all this, it is meanwhile acknowledged that the current state of affairs hampers true collaboration. Wikipedia is a tremendous success, but it is also a largely meritocratic system with a decreasing number of active contributors, whereas the blogosphere has to deal with the limited attention of the blog authors. What is needed are novel concepts, methods and tools that allow humans and machines to leverage the huge amounts of information created by a community, based on interaction models that support expressing, communicating and reasoning about divergent models simultaneously. This would not only enhance true collaboration, but would also significantly improve various aspects of the information management life cycle, thus addressing information overload in sectors which rely on opinions-driven information sources and mass participation -- news, ratings, reviews, and social and information sharing portals of any kind. == Goal of the workshop == The overall aim of this workshop is to provide an interdisciplinary forum for researchers and practitioners to present and discuss their ideas related to the challenges posed by diversity on the Web. We aim to address a wide array of interdisciplinary questions, which need to be tackled in order to preserve the fragile balance between a world that is continually converging and growing together, the rich diversity of the global society, and the dangers of fragmentation and splintering. This includes but is not limited to questions such as "How to model diversity?", "How to discover bias and opinion in blog posts, tweets, forum items, wiki edits, etc.?", "How to rank, aggregate, summarize, and exploit information in a diversity-aware manner?", "What are the applications of diversity-rich information sources?", "How can we use diversity as an asset instead of regarding it as a barrier?". == Topics == In particular we welcome submissions that * Analyze the capabilities of current information management models, algorithms and technologies to leverage knowledge diversity, * Extend existing models, methods, techniques and tools to accommodate the requirements arising from paying a proper account to diversity-expressed information sources and communication and collaboration environments characterized by a rich variety of opinions and viewpoints. * Discuss the foundations of knowledge diversity on the Web and propose alternative paradigms, * Propose novel evaluation strategies, methods and techniques to assess the impact of diversity-minded information management. Topics of the workshop include, but are not limited to: * Risks and advantages of diversity and diversification on the Web * Facets of knowledge diversity and conceptual and formal models for representing and understanding diversity * Discovery and mining of corpora for diversity-related information * Use of Natural Language Processing techniques for diversity mining * Classifying Web 2.0 content items such as blog posts, videos, tweets, and wiki-edits by their biases * Usage and benefits of diversity in the corporate context, e.g. in order to understand feedback and communication with the customer * Enabling or improving communication and collaboration over barriers induced by diversity * Extensions to Web applications taking diversity into account * Exposing and explaining diversity to end users * User experiences avoiding the radicalization of groups by exposing them to alternatives * User interfaces allowing the explicit annotation of content with diversity markers * Studies on the acceptance by end-users of diversified applications. We explicitly invite experience reports on topics related of diversity from the Web as it is used in India. == Submissions == We aim at four different kind of submission: (1) research papers of the length of 8 pages presenting mature work, prototypes and methodologies, (2) position papers of the length of 4 pages presenting early work and elaborated ideas, (3) demo outlines of the length of 2 pages, and (4) experience reports of up to 6 pages about dealing and managing with diversity, especially within the usage of the Web in India. Submission format is the same as for WWW 2011 (i.e. ACM style). Selected papers will be invited for a special issue of a journal or as bookchapters, pending negotiations. Submissions can be submitted via EasyChair at == Important dates == * Submission deadline: 11th February, 2011 * Notification of acceptance: 7th March, 2011 * Camera ready versions of accepted papers: 19th March, 2011 * Workshop date: 28th or 29th March, 2011 (TBD) == Organization committee == * Elena Simperl, AIFB, KIT, Germany * Devika P. Madalli, Indian Statistical Institute, Bangalore, India * Denny Vrandecic, AIFB, KIT, Germany * Enrique Alfonseca, Google Zurich, Switzerland Contact us at _________________________________________________ Dr. Sebastian Rudolph senior researcher & project leader at AIFB Karlsruhe Institute of Technology (KIT) rudolph at kit.edu phone (new!) +49 721 608 - 47362 www.sebastian-rudolph.de fax (new!) +49 721 608 - 45998 From Ilkka.Niemela at tkk.fi Sun Jan 23 19:17:31 2011 From: Ilkka.Niemela at tkk.fi (=?ISO-8859-15?Q?Ilkka_Niemel=E4?=) Date: Sun, 23 Jan 2011 20:17:31 +0200 (EET) Subject: Aalto University/Three tenure track positions Message-ID: Aalto University School of Science, Helsinki, Finland Three tenured or tenure track positions Aalto University (http://aalto.fi/en/) is a new university created in 2010 from the merger of the Helsinki University of Technology (TKK), the Helsinki School of Economics, and the University of Art and Design Helsinki. The positions are located at the Department of Information and Computer Science (http://ics.tkk.fi/en/), and are open to outstanding individuals who hold a doctorate and have excellent potential for a successful scientific career. On the basis of their experience and competence, applicants will be placed at one of the four levels of the tenure track system: Assistant Professor (1), Assistant Professor (2), Associate Professor, and Full Professor. Successful candidates at the two first-mentioned levels would be appointed for a fixed term, whilst appointments at the Associate Professor level are either tenured or for a fixed term. Full Professor positions are always tenured. The focus of the Department´s research and teaching activity is on advanced computational methods for modelling, analysing, and solving complex tasks in technology and science. The research aims at the development of fundamental computer science methods for the analysis of large and high-dimensional data sets, and for the modelling and design of complex software, networking and other computational systems. The Department currently has 10 professors and 40 other doctoral-level staff, including postdoctoral researchers. Research groups in the Department carry out basic research in several pertinent areas of information and computer science, covering, for example, statistical machine learning, algorithmic data analysis and efficient discrete methods. A full list of the Department´s research groups is available at http://research.ics.tkk.fi/. The present call for applications covers all areas of information and computer science compatible with the Department´s research and teaching mission. Special consideration will be given to candidates with research fields complementing and supporting the current strong areas of the ICS Department. Contact: Prof. Pekka Orponen (departmental information) or HR Coordinator Ilona Kallio (application process) emails: firstname.lastname (at) aalto.fi More Information: http://dept.ics.tkk.fi/calls/tenuretrack2011/ Closing Date for Applications: 2011-02-04 From pablo at iiia.csic.es Mon Jan 24 16:17:54 2011 From: pablo at iiia.csic.es (Pablo Noriega) Date: Mon, 24 Jan 2011 16:17:54 +0100 Subject: COIN at AAMAS2011, 2CFP. Extended Deadline: February 5 Message-ID: <6154DECF-E181-4690-8AA6-64388F9B0273@iiia.csic.es> [Please help in distributing this call. Sorry for multiple postings] ----------------------------------------------------------------------------- ____________________________________________ COIN at AAMAS2011 FEBRUARY 5, Paper submission deadline. http://coin-aamas2011.iiia.csic.es %%%%%%%%%%%%%%%%%%%%%%%%%%%%% -------------------------------------------------------------------------------- ------------------------------- COIN at AAMAS2011 ---------------------------------------------- SECOND CALL FOR PAPERS 12th International Workshop on Coordination, Organizations, Institutions and Norms in Agent Systems, at the 10th International Conference on Autonomous Agents and Multiagent Systems (COIN at AAMAS 2011) Taipei, Taiwan on May 3, 2011 http://coin-aamas2011.iiia.csic.es IMPORTANT DATES February 5, 2011: Paper submission deadline February 27, 2011: Acceptance notification March 6, 2011: Camera-Ready Copies. May 3, 2011: AAMAS 2011 workshops AIMS and SCOPE The pervasiveness of open systems raises a range of challenges and opportunities for technologies in the area of autonomous agents and multi-agent systems. Open systems comprise loosely coupled entities interacting within a society that usually has some overall measures of quality or efficiency. However, achieving and maintaining a "good" society is difficult to achieve as the participating entities, their modes of interaction or the intended purpose of the system may change over time. Moreover, in the case of open multi-agent systems, the autonomy of the agents can work against the effectiveness of the society. There is therefore a need for tools and techniques for articulating and/or regulating interactions in order to make the system more effective in attaining collective goals, more certain for participants or more predictable. Coordination, organizations, institutions and norms are four key governance elements for the regulation of open multi-agent systems, and the COIN workshops constitute a space for debate and exploration of these four elements that are central in the design and use of open systems. We seek to attract high-quality papers addressing mathematical, logical, computational, philosophical and pragmatic issues related to those four aspects; also papers concerned with modelling, animation and simulation techniques for these types of multi-agent systems; as well as papers that discuss tools, prototypes and actual working systems. Papers that present formal treatment of topics as well as those that provide experimental support to claims are welcome. We also encourage authors to report on their experience with systems that have been deployed, applications based on regulated open multi-agent systems, and tools for their development. Of particular interest for the workshop are those papers that articulate a challenging or innovative view. TOPICS OF INTEREST Topics of particular interest for COIN at AAMAS2011 will include: * logics, languages and tools for specifying coordination and norms, implementing or simulating organizations and institutions; * law of open multi-agent systems: regulatory compliance, penalty and sanctions, dispute resolution and conflict prevention; * agent societies and communities, social networks, electronic institutions and virtual organizations; * formal lifecycle models: formation, maintenance, evolution and dissolution of organizations, institutions and normative multi-agent systems; * formal methods for specifying coordination and organizational structures; models for verification, validation and visualisation; * autonomic institutions and self-organization in multi-agent systems; * frameworks and protocols for organized and organizational adaptation; * mechanisms for governance of common pool resources; * agent environments: physical and institutional resources for physical capability and institutional power; * discovery, openness and inter-operation in organizations and institutions; * mixed human-agent coordination and institutions in virtual worlds; participatory simulation. * reports on implemented systems. IMPORTANT DATES February 5, 2011: Paper submission deadline February 27, 2011: Acceptance notification March 6, 2011: Camera-Ready Copies. May 3, 2011: AAMAS 2011 workshops VENUE The workshop will be part of the AAMAS 2011 (Autonomous Agents and Multiagent Systems) workshop programme, and will take place at the Taipei International Convention Center (TICC) in Taipei, Taiwan in the first week of May. PROCEEDINGS Preliminary proceedings will be distributed to AAMAS 2011 registrants in electronic form. Printed workshop notes will NOT be made available to workshop participants. As with previous COIN workshops, revised and extended versions of selected papers will be published in a Springer LNCS volume in combination with the post-proceedings of a second COIN workshop to be held in 2011. That volume will be published as part of the Coordination, Organizations, Institutions, and Norms in Agent Systems book series, with all the indexing, referencing and follow-up benefits associated with an established line of publication. Revised papers must take into account the discussion held during the workshop, hence only those papers that are presented during the workshop will be considered for inclusion in the post-proceedings volume. INSTRUCTIONS FOR AUTHORS For preparation of papers to be submitted please follow the instructions for authors available at the Springer LNCS Web page. The length of each paper including figures and references may not exceed 15 pages. All papers must be written in English and submitted in PDF format. Submission of a paper should be regarded as an undertaking that, should the paper be accepted, at least one of the authors will attend the workshop to present the work. For submission of papers, please use: http://www.easychair.org/conferences/?conf=coinaamas2011 ORGANIZATION The programm committee will include the following people. See the workshop Web page for updates (http://coin-aamas2011.iiia.csic.es). Alexander Artikis (National Centre for Scientific Research "Demokritos", Greece) Guido Boella (University of Torino, Italy) Olivier Boissier (ENS Mines Saint-Etienne, France) Cristiano Castelfranchi (ISTC/CNR, Italy) Antonio Carlos da Rocha Costa (UCPEL, Brazil) Virginia Dignum (University of Utrecht, Netherlands) Marc Esteva (IIIA-CSIC, Spain) Nicoletta Fornara (University of Lugano, Switzerland) Jomi-Fred Hubner (University of Blumenau, Brazil) Catholijn Jonker (Delft University of Technology) Christian Lemaitre (Metropolitan Autonomous University, Mexico) Victor Lesser (University of Massachusetts Amherst, USA) Eric Matson (Purdue University, USA) John-Jules Meyer (Utrecht University, Netherlands) Simon Miles (Kings College London, UK) Eugenio Oliveira (University of Porto, Portugal) Andrea Omicini (University of Bologna, Italy) Sascha Ossowski (University Rey Juan Carlos, Spain) Julian Padget (University of Bath, UK) Alessandro Ricci (University of Bologna, Italy) Juan-Antonio Rodriguez-Aguilar (IIIA-CSIC, Spain) Tony Savarimuthu (University of Otago, New Zealand) Christophe Sibertin-Blanc (IRIT, France) Jaime Sichman (University of Sao Paulo, Brazil) Viviane Torres da Silva (Fluminense Federal University, Brazil) Munindar Singh (North Carolina State University, USA) Catherine Tessier (ONERA, France) Wamberto Vasconcelos (University of Aberdeen, UK) Javier Vazquez-Salceda (Universitat Politecnica de Catalunya, Spain) Harko Verhagen (Stockholm University, Sweden) Marina de Vos (University of Bath, UK) George Vouros (University of the Aegean, Greece) Pinar Yolum (Bogazici University, Turkey) COIN Steering Committee: * Alex Artikis (National Centre for Scientific Research "Demokritos", Greece) * Eric Matson (Purdue University, USA) * Nicoletta Fornara (University of Lugano, Switzerland) * George Vouros (University of the Aegean, Greece) * Jeremy Pitt (Imperial College London, UK) * Julian Padget (University of Bath, UK) * Javier Vazquez-Salceda (Technical University of Catalonia, Spain) * Vivian Torres da Silva (Fluminense Federal University, Brazil) * Wamberto Vasconcelos (University of Aberdeen, UK) COIN at AAMAS 2011 Co-Chairs: Stephen Cranefield (University of Otago, New Zealand) scranefield at infoscience.otago.ac.nz Pablo Noriega (IIIA-CSIC, Spain) pablo at iiia.csic.es -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From mpavone at dmi.unict.it Mon Jan 24 17:04:04 2011 From: mpavone at dmi.unict.it (Mario Pavone) Date: Mon, 24 Jan 2011 17:04:04 +0100 Subject: CFP 10th Int. Conf. on Artificial Immune Systems - July 18-21, 2011 University of Cambridge, UK Message-ID: <20110124170404.69394tma0s159g50@mbox.dmi.unict.it> CALL FOR PAPERS **apologies for cross-posting** The 10th International Conference on Artificial Immune Systems July 18-21, 2011 University of Cambridge, UK http://www.artificial-immune-systems.org/icaris/2011/index.html http://www.easychair.org/conferences/?conf=icaris2011 The proceedings will be published in Lecture Notes in Computer Science, Springer. Best Papers will be published in Evolutionary Computation Journal MIT Press and BMC Bioinformatics. Important Dates: Paper submission: 28th February 2011 Author notification: 30th April 2011 Paper final version: 15th May 2011 KEYNOTES: Arup Chakraborty, MIT, USA Rob J. de Boer, Utrecht University, The Netherlands Jonathan Jones, Sainsbury Laboratory, UK Rino Rappuoli, Novartis, Italy (TBC) Jon Timmis, University of York, UK ... more speakers to be announced... TUTORIALS: Andrew Phillips, Microsoft Research Cambridge, UK ... more speakers to be announced... General Information: ICARIS 2011 aims to build on the success of previous years to provide a forum for AIS researchers in academia and industry to present and discuss their latest advances. In addition to peer-reviewed papers, ICARIS 2011 will present a range of plenary lectures and tutorials to inspire and facilitate both the computer scientist and immunologist in their work. To encourage dialogue with the theoretical and clinical immunology communities, ICARIS 2011 will again adopt an (optional) extended abstract (2-6 pages) submission for the Immunoinformatics & Computational Immunology Stream. Full papers are welcome, but extended versions of abstracts will not be required. All accepted abstracts will be published alongside full papers in the proceedings. The conference programme will be partitioned into three streams: Theoretical Stream: This stream is for papers describing theoretical aspects of AIS, excluding theoretical immunology. This includes (but is not limited to) mathematical modelling of algorithms, convergence analysis, empirical investigation into algorithm performance and complexity analysis. To make sure the paper appeals to the widest possible audience, the mathematics should be clearly presented, and the paper should discuss the practical implications of any theoretical results. Applied Stream: This stream is for papers describing the application of AIS to computational and engineering problems. The problem domain should be clearly explained, detailing why it is challenging and why AIS are a suitable methodology to use. Experiments should be carefully explained, with the expectation that appropriate statistical analysis of results will be used to help draw conclusions. Where possible, the approach taken should be compared with alternative strategies. Immunoinformatics & Computational Immunology Stream: The goal of the Immunoinformatics & Computational Immunology stream is to attract researchers from computer science, information science, engineering, biomathematics, biomedicine, bioinformatics, systems biology, and immunology to share and exchange their knowledge of the state-of-the-art research issues, methodologies, ideas, and challenges. Topics of interest include: * Immune modelling; * Structural Immunoinformatics; * Epitope analysis and prediction; * Analysis and prediction of MHC-peptide binding; * Databases and ontologies for Immunoinformatics; * Analysis and prediction of minor histocompatibility antigens; * Predictive models on organ transplantation; * Immunogenomics; * Vaccine design; * Multi-agent based models of immunity; * Gene networks and systems biology in immunity; * Allergenicity prediction. Paper Submissions: All papers will undergo a double blind review process. Authors are requested to submit a PDF file no later than the submission deadline 28th of Feb.2011. The authors name and affiliation should not appear on the paper. Please follow the formatting instructions at the Springer-Verlag LNCS site. Papers should be a maximum of fourteen (14) pages. To encourage dialog with the theoretical and clinical immunology communities, ICARIS 2011 will again adopt an (optional) extended abstract (2-6 pages) submission for the Immunoinformatics & Computational Immunology Stream. Full papers are welcome, but extended versions of abstracts will not be required. All accepted abstracts will be published alongside full papers in the proceedings. Authors must make it clear in their submission which stream the paper is to be considered for. Papers should be submitted via the submissions section of the website. You will be provided with a reference number that will be used throughout the submission process. All papers will undergo a double blind review process. Authors are requested to submit a PDF. The proceedings will be published in Lecture Notes in Computer Science, Springer, submission is now open for ICARIS-2011: http://www.easychair.org/conferences/?conf=icaris2011 Best Papers will be published in Evolutionary Computation Journal MIT Press and BMC Bioinformatics. Email: icaris2011 at dmi.unict.it URL: http://www.artificial-immune-systems.org/icaris/2011/index.html We look forward to welcoming you to Cambridge in July 2011. Pietro Liò, Giuseppe Nicosia, Thomas Stibor. Publicity Chairs Mario Pavone, Giuseppe Narzisi, Giovanni Stracquadanio -- Dr. Mario Pavone (PhD) Assistant Professor Department of Mathematics and Computer Science University of Catania V.le A. Doria 6 - 95125 Catania, Italy tel: 0039 095 7383038 fax: 0039 095 330094 Email: mpavone at dmi.unict.it http://www.dmi.unict.it/mpavone ------------------------------------------------ ---------------------------------------------------------------- This message was sent using IMP, the Internet Messaging Program. From aledalpa at gmail.com Mon Jan 24 17:27:11 2011 From: aledalpa at gmail.com (Alessandro Dal Palu) Date: Mon, 24 Jan 2011 09:27:11 -0700 Subject: Call for Doctoral Consortium ICLP 2011 Message-ID: **apologies for cross-posting** ------------------------------------------------------------------------------------------ ICLP-DC 2011 Seventh ICLP Doctoral Student Consortium to be held in Lexington, Kentucky, USA at the occasion of ICLP 2011 July 6-10, 2011 http://cmt.math.unipr.it/iclp-dc-2011 ------------------------------------------------------------------------------------------ Introduction The ICLP Doctoral Consortium (DC) is the seventh doctoral consortium to be offered as part of the 27th International Conference on Logic Programming. The DC follows the very positive experience of the previous events held in Sitges (Spain) on October 3rd, 2005, in Seattle (WA) on August 21st, 2006, in Porto (Portugal) on September 8th, 2007, in Udine (Italy) on December 10th, 2008, in Pasadena (USA) on July 15th, 2009 and in Edinburgh (Scotland) on July 20th, 2010. The DC will take place during the ICLP 2011 in Lexington, Kentucky (USA). The Doctoral Consortium is designed for doctoral students working in areas related to logic and constraint programming, with a particular emphasis to students interested in pursuing a career in academia. The Consortium is also open to exceptional Master's students developing MS Theses in Logic Programming. The Doctoral Consortium aims to provide students with an opportunity to present and discuss their research directions and to obtain feedback from peers as well as world-renown experts in the field. General Information The aims of the Doctoral Consortium are: * To provide doctoral students working in the field of logic and constraint programming with a friendly and open forum to present their research ideas, listen to ongoing work from peer students, and receive constructive feedback. * To provide students with relevant information about important issues for doctoral candidates and future academics. * To develop a supportive community of scholars and a spirit of collaborative research. * To support a new generation of researchers with information and advice on academic, research, industrial, and non-traditional career paths. The Consortium is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Masters program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply. Applicants are expected to be conducting research in the field of Logic Programming; topics of interest include (but are not limited to): * Theoretical Foundations of Logic and Constraint Logic Programming * Sequential and Parallel Implementation Technology * Static and Dynamic Analysis, Abstract Interpretation, Compilation Technology, Verification * Logic-based Paradigms (e.g., Answer Set Programming, Concurrent Logic Programming, Inductive Logic Programming) * Innovative Applications of Logic Programming Submissions by students who have presented their work at a previous ICLP Doctoral Consortia are allowed, but should occur only if there are substantial changes or improvements to the student's work. The Consortium allows participants to interact with established researchers and with other students, through presentations, question- answer sessions, panel discussions, and invited presentations. The Doctoral Consortium will provide the possibility to reflect - through short activities, information sessions, and discussions - on the process and lessons of research and life in academia. Each participant will give a short, critiqued, research presentation. Discussants: Several renowned faculty members and researchers in the field of Logic Programming will join in evaluating the submission packets and will participate in the Doctoral Consortium, providing feedback to the presenters. **Important Dates** Submission Deadline: April 24th, 2011 Acceptance Notification: May 2nd, 2011 Last Date to Update Research Summary: May 8th, 2011 (tentative) Doctoral Consortium: TBA July, 2011 ICLP 2011 Conference: July 6-10, 2011 *Submission Process* *Application Process: To apply for participation to the ICLP 2011 Doctoral Consortium, prepare a submission package consisting of a cover letter, a research summary, and a letter of recommendation (e.g., from your supervisor). The material should be submitted electronically, in PDF format. *Review Criteria: The ICLP Doctoral Consortium review committee will select participants based on their anticipated contribution to the Consortium objectives. Participants typically have settled on their thesis directions and had their research proposal accepted by their thesis committee. Students will be selected based on clarity and completeness of the submission packet, relevance of their research area w.r.t. the focus of the ICLP Conference, stage of research, advisor's letter, and evidence of promise towards a successful research and academic career, such as published papers or technical reports. *Award: The ICLP Doctoral Consortium Discussants will review the submissions to select the ones to be presented. The organizing committee is actively seeking support to offer scholarship packages to accepted participants. We will update the web site as soon as we have more information regarding this. *Submission Package Send the submission package by e-mail to: iclp11dc at dbai.tuwien.ac.at. Include the three documents as separate pdf files in attachment. All submissions must be in English. Submissions will not be considered if they arrive after the deadline. Your submission should not contain any proprietary or confidential material. Detailed instructions for each of the documents follow below. *Cover Page: Please include the following information in the cover page: 1. Statement of interest in participating in the Doctoral Consortium 2. Full name and School and Department in which you are earning your doctorate degree 3. Contact information - address, telephone number, and email address 4. Title of your research and keywords pertinent to your research 5. The URL of your web page (if any) 6. Name of your supervising professor 7. Current stage in your program of study, e.g. (Master/PhD student, start date) *Research Summary: Prepare your research summary as a PDF document, using either the same format style as for the regular submissions to ICLP 2011, or the Springer Verlag LNCS Conference Publication Format. Make sure to include your complete name, address and affiliation. The body of your research summary should provide a clear overview of the research, its potential impact, and its current status. You are encouraged to include the following sections: 1. Introduction and problem description 2. Background and overview of the existing literature 3. Goal of the research 4. Current status of the research 5. Preliminary results accomplished (if any) 6. Open issues and expected achievements 7. Bibliographical references *Letter of Recommendation: Include a letter of recommendation written by your Graduate Advisor or Thesis Advisor. Please, invite your advisor to include an assessment of the current status of your thesis research and an indication of the expected deadline for thesis submission. In addition, your advisor should indicate what she/he hopes you would gain from participation in the Doctoral Consortium. *Chairs Alessandro Dal Palu' Math Dept Parma University, Italy Stefan Woltran Institute of Information Systems TU Wien, Austria From log-ic2011 at lists.deri.org Tue Jan 25 15:56:15 2011 From: log-ic2011 at lists.deri.org (log-ic2011) Date: Tue, 25 Jan 2011 15:56:15 +0100 Subject: [Log-ic2011] CFP Log-IC 2011: Second International Workshop on Logic-Based Interpretation of Context: Modeling and Applications Message-ID: <4D3EE48F.3060100@lists.deri.org> (Apologies for cross-posting) Dear List Manager, we would like to ask you to announce the enclosed first call for papers for Log-IC 2011 via your mailing list. Log-IC 2011 is the second International Workshop on Logic-Based Interpretation of Context: Modeling and Applications, and it will be held in conjunction with LPNMR 2011 in Vancouver, Canada, during May 16th-19th, 2011. Thank you very much in advance. Best regards, Alessandra Mileo and Michael Fink ------------------------------------------------------------------------ Dr. Alessandra Mileo | Dr. Michael Fink Postdoc Researcher | Postdoc Researcher Digital Enterprise Research Institute | Institute of Information Systems NUIG, Galway, Ireland | TU Wien, Vienna, Austria Email: alessandra.mileo at deri.org | Email: fink at kr.tuwien.ac.at ------------------------------------------------------------------------ --------------------------------------------------------------------------------------------------------------------------------------------------------- First Call for Papers Log-IC 2011 Second International Workshop on Logic-Based Interpretation of Context: Modeling and Applications In conjunction with LPNMR 2011 Vancouver 16-19 May 2011 http://log-ic2011.deri.ie --------------------------------------------------------------------------------------------------------------------------------------------------------- Context interpretation and context-based reasoning are key factors in the development of intelligent autonomous systems in a variety of applications. The ability to represent contextual factors, interpret them and combine them with other sources of knowledge are some of the challenges to enable intelligent systems achieve correct behavior. Much work has been done in application areas that make use of contextual information, such as pervasive computing, logic-based sensor fusion and data integration, distributed problem solving and societal issues in Multi-Agent Systems. As well, theoretical foundations for context-based reasoning have been studied. However, there is still a great deal to do in context modeling, since generic context models for context-aware application development need to be further explored, as does the role of context reasoning in particular regarding distributed evaluation and in conjunction with more recently emerging areas such as ontologies, including semantic web data, social features and reasoning about mental states, as well as approaches to belief change. While implemented context-representation models are generally ad-hoc, domain-dependent and do not support powerful inference, declarative logic-based models often fail to provide a representation of context-dependent data that is both general and with good computational properties. Context-dependent data can arise from different sources; for example it may be gathered by sensors or collected from different knowledge sources in different formats. The incompleteness and heterogeneous nature of such data and the need for state-based context interpretation in dynamic systems suggest that non-monotonic reasoning techniques could be a powerful tool for effective context-dependent reasoning. Since in many applications the data stems from distributed sources, we encourage submissions addressing distributed reasoning mechanisms. Likewise, declarative approaches to societal reasoning or agent coordination may provide the backbone for contextual reasoning in various application domains. Given the increasing interest in hybrid knowledge representation formalisms as basis of the Semantic Web, we also invite submissions where hybrid formalisms combining Description Logics and Logic Programming as the basic representation framework for reasoning with (distributed) contexts are proposed. This workshop will provide a forum for researchers investigating context-aware applications and context-based or distributed reasoning with the goal of sharing and comparing their views on the efficacy of different context representation and context interpretation frameworks. Log-IC 2011 will also propose targeted discussions on the topic. --------------------------- Topics --------------------------- Topics of interests include (but are not limited to): - Surveys of frameworks for context representation and reasoning - Relating logic-based context models to other representation frameworks - Formal aspects of context representation and interpretation - Distributed reasoning formalisms and algorithms - Paraconsistent reasoning and context interpretation - Dealing with uncertainty in context modeling - Logic-supported sensor fusion - Belief revision and context-awareness - Argumentation in context-dependent decision support - Social features of contextual reasoning - Ontologies and nonmonotonic reasoning in context representation - Hybrid formalisms for reasoning within contexts or including sub-symbolic contexts - Contextual aspects in agent coordination - Nonmonotonicity and context evolution - Data integration for context-awareness - Applications, including (but not limited to) Activity Recognition, Diagnosis, Query Answering, Early Warning, in various application domains, such as Health Care, Assisted Living, Robotics, etc. --------------------------- Submissions --------------------------- Submitted papers will be peer-reviewed and must be formatted according to the Springer LNCS/LNAI format. Regular papers (included application papers) should not exceed 8 pages overall. The limit for short papers and system descriptions is 4 pages in the same format. We also encourage position papers on early-stage research (for poster or short presentations) of at most 2 pages. To submit a paper, send the PDF version of the paper to log-ic2011 at lists.deri.org. Proceedings will be published online after the workshop; publication as CEUR workshop proceedings on CEUR-WS.org is intended. ---------------------------------- Important dates ---------------------------------- Paper submissions: March 21st, 2011 Notification of Acceptance: April 18th, 2011 Camera-ready versions: April 30th, 2011 Workshop: May 16th, 2011 ---------------------------------- Workshop Officials ---------------------------------- Organization Committee: Alessandra Mileo Digital Enterprise Research Institute NUIG, Galway Ireland Michael Fink Institute of Information Systems TU Wien, Vienna Austria Program Chairs: Alessandra Mileo, University of Galway, Ireland Michael Fink, Vienna University of Technology, Austria Program Committee: - Sebastian Bader, University of Rostock, Germany - Marcello Balduccini, Kodak Research Labs, Rochester, NY, USA - Chitta Baral, Arizona State University, Tempe, AZ, USA - Leopoldo Bertossi, Carleton University, Canada - Roberto Bisiani, University of Milano-Bicocca, Italy - Gerhard Brewka, University of Leipzig, Germany - Pedro Cabalar Fernandez, Corunna University, Galicia, Spain - Marina de Vos, University of Bath, UK - James P. Delgrande, SFU, Canada - Wolfgang Faber, University of Calabria, Rende (CS), Italy - Stijn Heymans, SemanticBits LLC, Herndon, VA, USA - Joao Leite, Universidade Nova de Lisboa, Portugal - Jorge Lobo, IBM T. J. Watson Research Center, Hawthorne, NY, USA - Bernd Ludwig, University of Erlangen-Nuremberg, Germany - Wendy MacCaull, St. Francis Xavier University, Antigonish, Canada - Robert Mercer, University of Western Ontario, Canada - Tommie Meyer, Meraka Institute, Pretoria, South Africa - Axel Polleres, University of Galway, Ireland - Enrico Pontelli, New Mexico State University, Las Cruzes, NM, USA - Marie-Christine Rousset, University of Grenoble, France - Chiaki Sakama, Wakayama University, Japan - Torsten Schaub, University of Potsdam, Germany - Tran Cao Son, New Mexico State University, Las Cruzes, NM, USA - Hans Tompits, Vienna University of Technology, Austria - Paolo Torroni, University of Bologna, Italy - Kewen Wang, Griffith University, Brisbane, Australia - Nic Wilson, University College, Cork, Ireland - Stefan Woltran, Vienna University of Technology, Austria From ijwa at dline.info Wed Jan 26 10:36:24 2011 From: ijwa at dline.info (ijwa) Date: Wed, 26 Jan 2011 15:06:24 +0530 Subject: Final CFP: INCT 2011 Message-ID: <20110126093625.28221.qmail@mail7.fastdnsnetwork.com> Call for Papers The First International Conference on Innovative Computing Technology (INCT 2011) Tehran University, Tehran, Iran June 28-30, 2011 (www.dirf.org/inct) The INCT 2011 proceedings will be published in the Communications in Computer and Information Science Series of Springer LNCS (www.springer.com/series/7899) The first international conference on Innovative Computing Technology (INCT 2011) offers the opportunity for institutes, research centers, engineers, scientists and industrial companies to share their latest investigations, researches, developments and ideas in area of Innovative Computing Technology, which covers huge topics. The INCT intends to bridge the gap between different areas of digital information management, science and technology. This forum will address a large number of themes and issues. The conference will feature original research and industrial papers on the theory, design and implementation of computing technologies, as well as demonstrations, tutorials, workshops and industrial presentations. This conference (INCT 2011) will include presentations of contributed papers by invited keynote speakers. Conference papers will include but not limited to the following topics: Innovative Computing Systems and Applications Algorithms Applied Information Systems Artificial Intelligence and Decision Support Systems Cloud Computing Computational Intelligence Data and Network mining Data Stream Processing in Mobile/Sensor Networks Database Systems Digital Image/Video Processing E-Learning, e-Commerce, e-Business and e-Government Fault Classification and Pattern Recognition Green Computing Grid computing Human-Computer Interaction Intelligent Condition Monitoring Mobile network and systems Multimedia and Interactive Multimedia Payment Systems Peer-to-peer social networks Precision Farming Web Farming Signal Processing Soft Computing: Fuzzy and Neural Network Systems, optimization algorithms Software Engineering Intelligent Farming: Web farming, Web irrigation Ubiquitous Computing User Interfaces, Visualization and Modeling Virtual Reality Visualization Web services WWW Applications and Technologies XML and other Extensible Languages All the papers will be reviewed and the accepted papers in the conference will be published in the “Communications in Computer and Information Science” ((www.springer.com/series/7899) of Springer Lecture Notes Series and will be indexed in many global databases including ISI Proceedings and Scopus. The INCT proceedings will also be indexed by dblp. In addition, all the accepted papers (for Journals) will be published in the following special issues journals after substantial revision and modification. 1. Journal of Digital Information Management 2. International Journal of Web Applications 3. International Journal of Information Studies 4. Journal of Computational Linguistics 5. Journal of E-Technology 6. Journal of Networking Technology 7. Journal of Information Technology Review 8. Journal of Information Security Research 9. Journal of Intelligent Computing General Chair Hojat Ahmadi, University of Tehran, Tehran, Iran Program Chairs Daisy Jacobs, University of Zululand, South Africa Ezendu Ariwa, London Metropolitan University, UK Program Co-Chairs Simon Fong, University of Macau, China Vladimir Fomichov, State University, Russia Important Dates Paper submission January 31, 2011 Notification of acceptance February 22, 2011 Camera ready March 31, 2011 Registration April 1, 2011 INCT 2011 June 28 - 30, 2011 From L.A.Dennis at liverpool.ac.uk Sun Jan 30 18:00:21 2011 From: L.A.Dennis at liverpool.ac.uk (Louise Dennis) Date: Sun, 30 Jan 2011 17:00:21 +0000 Subject: Deadline Extended: ProMAS 2011 Message-ID: <4D459925.6030203@liverpool.ac.uk> *Deadline Extended to 6th February* (apologies if you receive multiple copies) --------------- Call for Papers --------------- Ninth International Workshop on Programming Multi-Agent Systems (ProMAS'11) ProMAS'11 is a satellite workshop at AAMAS 2011 Taipei, Taiwan, 2-6 May 2011 The ProMAS workshop series has produced, throughout this decade, a number of solid contributions towards programming languages and development tools that are appropriate for the development of complex autonomous systems that operate in dynamic environments. With applications of autonomous software (e.g., UAVs, companion robots, ambient intelligence, and semantic applications, to name just a few) becoming required with wide commercial interest, it is imperative to support the ever more complex task of professional programmers of multi-agent systems. Importantly, such languages and tools must be developed in a principled but practical way. ProMAS aims to address both theoretical and practical issues related to developing and deploying multi-agent systems. Now in its 9th edition, ProMAS has been an invaluable venue bringing together leading researchers from both academia and industry to discuss issues on the design of programming languages and tools for multi-agent systems. In particular, the workshop promotes the discussion and exchange of ideas concerning the techniques, concepts, requirements, and principles that are important for multi-agent programming technology. These include the theory and applications of agent programming languages, how to effectively implement a multi-agent system design or specification, the verification and analysis of agent systems, as well as the implementation of social structures in agent-based systems (e.g., organisations, coordination, and communication in multi-agent systems). We encourage the submission of proposals for programming languages and tools that provide specific programming constructs to facilitate the implementation of the essential concepts used in multi-agent system analysis and specifications (e.g., mental attitudes, distribution, and social interaction). We also welcome submissions describing significant multi-agent applications, as well as agent programming tools that allow the integration of agents with legacy systems. Further, we are particularly interested in approaches or applications that show clearly the added-value of multi-agent programming, and explain why and how this technology should be adopted by designers and programmers both in academia and industry. Topics of Interest ------------------ Specific topics of interest for this workshop include, but are not limited to: - Programming Languages for multi-agent systems - Programming models and abstractions for multi-agent systems - Extensions of traditional languages for multi-agent programming - Theoretical and practical aspects of multi-agent programming - Computational complexity of MAS - Semantics for multi-agent programming languages - High-level executable multi-agent specification languages - Algorithms, techniques, or protocols for multi-agent issues (e.g., coordination, cooperation, negotiation) - Agent communication issues in multi-agent programming - Programming of social and organisational aspects of MAS - Programming environment aspects of MAS - Formal methods for specification and verification of MAS - Verification tools for implementations of MAS - Agent development tools and platforms - Generic tools and infrastructures for multi-agent programming - Interoperability and standards for MAS - Programming mobile agents - Safety and security for mobile MAS deployment - Fault tolerance and load balancing for mobile MAS - Application areas for multi-agent programming languages - Applications using legacy systems - Programming MAS for Pervasive Applications - Programming MAS for Multi-Robot Systems - Programming MAS for Autonomous Software (e.g., UAVs) - Programming MAS for Grid-based applications - Programming MAS for the Semantic Web - Deployed (industrial-strength) MAS - Benchmarks and testbeds for comparing MAS languages and tools - Integration of multi-agent and mainstream technologies Important Dates --------------- Paper submission deadline: (*Extended*) 6th February 2011 Notification of acceptance/rejection: 27th February 2011 Camera-ready copies due: 13th March 2011 Workshop Date: 3rd May 2011 Submission Details ------------------ Authors should submit their papers via the easychair conference management system: Papers should be formatted using Springer LNCS style and have a maximum of 16 pages. Publication ----------- Accepted papers will be appear in informal proceedings to distributed among participants during the workshop. As was the case with previous editions of the ProMAS workshop, we are planning to publish extended versions of selected and invited papers as a volume of the Lecture Notes in Computer Science series by Springer-Verlag. Programme Committee ------------------- Matteo Baldoni (Italy) John-Jules Meyer (Netherlands) Juan Botia (Spain) Jörg Müller (Germany) Lars Braubach (Germany) Andrea Omicini (Italy) Rem Collier (Ireland) Agostino Poggi (Italy) Ian Dickinson (UK) Alexander Pokahr (Germany) Marc Esteva (Spain) Alessandro Ricci (Italy) Michael Fisher (UK) Birna Van Riemsdijk (Netherlands) Jorge Gomez-Sanz (Spain) Ralph Ronnquist (Australia) Vladimir Gorodetsky (Russia) Ichiro Satoh (Japan) Dominic Greenwood (Switzerland) Michael I. Schumacher (Switzerland) James Harland (Australia) Munindar Singh (USA) Koen Hindriks (Netherlands) Tran Cao Son (USA) Benjamin Hirsch (Germany) Patrick Taillibert (France) Jomi Hübner (Brazil) Paolo Torroni (Italy) João Leite (Portugal) Jørgen Villadsen (Denmark) Brian Logan (UK) Gerhard Weiss (Netherlands) Viviana Mascardi (Italy) Michael Winikoff (New Zealand) Philippe Mathieu (France) Neil Yorke-Smith (USA) Organising Committee -------------------- - Olivier Boissier (Ecole des Mines de St Etienne, France) - Rafael H. Bordini (Federal University of Rio Grande do Sul, Brazil) - Louise Dennis (University of Liverpool, UK) Steering Committee ------------------ - Rafael H. Bordini (Federal University of Rio Grande do Sul, Brazil) - Mehdi Dastani (Utrecht University, Netherlands) - Juergen Dix (Clausthal University of Technology, Germany) - Amal El Fallah Seghrouchni (University of Paris VI, France) From lei.liu at kit.edu Wed Jan 26 18:44:24 2011 From: lei.liu at kit.edu (Lei Liu) Date: Wed, 26 Jan 2011 18:44:24 +0100 Subject: FW: Call for Posters - ICAC 2011 Message-ID: <61A5F5C2E246A04B83587ACA6780B5858D9C5D@rz-ex-04.rz.uni-karlsruhe.de> *************************************************************** * 8th International Conference on Autonomic Computing * * ICAC 2011 * * Karlsruhe, June 14-18, 2011 * * http://www.cis.fiu.edu/conferences/icac2011/ * * * * CALL FOR POSTERS * * * ********************** Deadline March 25, 2011 ********************** ICAC is the leading conference on autonomic computing applications, technology and foundations. Autonomic computing refers to methods and means for reducing the human burden of managing computing systems. Systems introducing new autonomic features are becoming increasingly prevalent, motivating research that spans a variety of areas, from computer systems, architecture, databases and networks to machine learning, control theory, and bio-inspired computing. Posters are an excellent opportunity for presenting innovative research ideas, projects and results. Accepted papers for posters (2 page) will be published in proceedings by ACM, which will be distributed at the conference. Posters will be displayed at the conference. Posters are invited on a wide variety of topics relating to autonomic computing: ** Applications of autonomic computing ** Contributions and experiences are sought with prototyped or deployed systems and applications that focus on advancing system independence and increasing system ability to adapt to an unpredictable environment. ** Autonomic computing components and services ** Descriptions of protocols, system-level support, services, or application components that enhance aspects of system autonomy, self-management, self-tuning, self-configuration, self-diagnosis, and self-healing, or improve adaptive capabilities. ** Algorithms, theory and foundations of autonomic computing ** Analytic foundations for building efficient autonomic systems, predicting their behavior, quantifying their performance, analyzing their stability, guaranteeing their specifications, or optimizing their efficacy Poster manuscripts will be reviewed and judged on merits including correctness, originality, technical strength, quality of presentation, and relevance to the conference themes. Submitted posters must include original work, and may not be under consideration for another conference or journal. They should also not be under review to another forum during the ICAC review process. Authors of accepted posters are expected to present their poster at the conference. Detailed submission instructions will be published at the ICAC 2011 web site (http://www.cis.fiu.edu/conferences/icac2011/). -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : smime.p7s Dateityp : application/pkcs7-signature Dateigröße : 5565 bytes Beschreibung: nicht verfügbar URL : From ecal.cfp2011 at gmail.com Thu Jan 27 15:13:41 2011 From: ecal.cfp2011 at gmail.com (ecal2011 cfp) Date: Thu, 27 Jan 2011 15:13:41 +0100 Subject: C A L L F O R P A P E R S : E C A L 2 0 1 1 Message-ID: [Apologies if you receive multiple copies of this announcement.] [Please kindly help forward it to potentially interested attendees.] ==================== C A L L F O R P A P E R S : E C A L 2 0 1 1 << Back to the origins of Alife >> ECAL 2011, European Conference on Artificial Life, an international conference on the simulation and synthesis of living systems 8-12 August 2011, Paris, France www.ecal11.org ==================== Artificial Life is an interdisciplinary undertaking that investigates the fundamental properties of living systems through the simulation and synthesis of biological entities and processes. It also attempts to design and build artificial systems that display properties of organisms, or societies of organisms, out of abiotic or virtual parts. ECAL, the European Conference on Artificial Life, is a biennial event that alternates with the US-based Alife conference series. --------------------- Welcome to ECAL 2011! Back then, in the early 1990's, the first two ECAL conferences in Paris and Brussels were mainly centered on theoretical biology and the physics of complex systems. Today, we feel that Alife can look back on these origins and take more inspiration from new developments at the intersection between computer science and theoretical biology — thus it is our wish to refocus the conference on *complex biological systems*. Closing a loop, this ECAL will mark the 20th anniversary of the 1st ECAL and will be framed as a tribute to the late Francisco Varela, co-organizer in 1991 with two of this year's committee members (Paul Bourgine, CREA, and Hugues Bersini, IRIDIA). We look forward to seeing you in Paris. ** You are invited to submit papers (full and abstract) to this exciting event! ** IMPORTANT DATES --------------------- o Early registration: April 6, 2011 o Paper & abstract submission: April 6, 2011 o Paper & abstract notification: May 20, 2011 o Camera-ready versions: June 10, 2011 o Late registration: June 10, 2011 o End of registration: July 31, 2011 o Conference: August 8-12, 2011 THEMES --------------------- "A new body of disciplines": Over the past two decades, biological knowledge has grown at an unprecedented rate, giving rise to new disciplines such as systems biology —- testimony of the striking progress of modeling and quantitative methods across the field. During the same period, highly speculative ideas have matured, and entire conferences and journals are now devoted to them. Synthesizing artificial cells, simulating large-scale biological networks, storing and making intelligent use of an exponentially growing amount of data (e.g., microarrays), exploiting biological substrates for computation and control, and deploying bio-inspired engineering are all cutting-edge topics today. "Life itself": ECAL 2011 will leverage the remarkable development of biological modeling and extend the topics of Artificial Life to the fundamental properties of living organisms: their multiscale pattern-forming morphodynamics, their autopoiesis, robustness, capacity to self-repair, cognitive capacities, and co-adaptation at all levels, including ecological ones. ECAL 2011 will bring together a large interdisciplinary community of biologists, computer scientists, physicists, and mathematicians. It will invite them to reflect on how traditional boundaries between disciplines have become blurred, and to revisit in depth what constitutes “life”. Papers are welcome in all areas of Artificial Life, including, but not limited to: - Artificial Chemistries - Biological & Chemical Information Processing and Production - Complex Networks - Emergent Engineering - Evolutionary & Learning Dynamics - Minimal Cognition & Physical Intelligence - Minimal (Bottom up) Synthetic Cells - Mixed Living (Technology) Systems - Modular Robotics - Morphogenesis, Generative & Developmental Systems - Multilevel Ecologies - Organizations & Collective Intelligence - Origins of Life - Protocellular Energetics & Metabolic Networks - Philosophy of Artificial Life & Living Technology - Robotic Energy Autonomy - Robotic Self-Assembly - (Chemical) Self-Assembly & Complexity - Socio-Technical Systems - Systems Biology - Swarm Intelligence - Theoretical & Computational Frameworks - Top-Down Artificial Cells Authors are encouraged to explain how their work sheds light on the fundamental properties of living systems and makes progress on the important open questions identified during previous meetings. PAPER/ABSTRACT FORMAT --------------------- Detailed information concerning the submission dates, the online submission process, manuscript formats and proceedings publisher will be made available (http://www.ecal11.org/call-for-papers) as we know it. There are two options for submission: either full paper format or abstract format. 1. Full papers have an 8-page maximum length and should report on new, unpublished work 2. Abstracts are limited to 2 pages and should discuss work previously published in a journal. It is therefore essential that a reference to the previous article is clearly cited in the abstract. All submissions will be subject to peer review, and all accepted submissions will be allocated either an oral presentation slot or a poster slot with no distinction being made between the two submission formats (full or abstract). All formatting guidelines (including Word and LaTeX style files) and step-by-step submission instructions will be available on the conference website within the next few weeks at http://www.ecal11.org/call-for-papers PUBLICATION --------------------- Every accepted full-paper and abstract submission will be published by MIT Press in a single online open-access proceedings volume. The top 10 accepted publications will have the opportunity to publish a revised and expanded version of their conference paper in the Artificial Life journal. LOCATION --------------------- The conference will be held at the Cité Internationale Universitaire de Paris (CIUP), located on a wooded park at the southern edge of the French capital. See more information at http://www.ecal11.org/venue Registration information will be posted soon at http://www.ecal11.org/registration ORGANIZATION --------------------- * René Doursat (chair) Complex Systems Institute/CREA, Ecole Polytechnique & CNRS, Paris * Hugues Bersini IRIDIA, Université Libre de Bruxelles * Paul Bourgine Complex Systems Institute/CREA, Ecole Polytechnique & CNRS, Paris * Mario Giacobini (program chair) Molecular Biotechnology Center, University of Torino * Tom Lenaerts (program chair) Department of Computer Science, Université Libre de Bruxelles * Marco Dorigo IRIDIA, Université Libre de Bruxelles CONTACT --------------------- For further information about the conference program and travel arrangements, please see the website, http://www.ecal11.org. For questions about the submission, reviewing process and other issues, email to: contact at ecal11.org. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From paolo.torroni at unibo.it Thu Jan 27 22:11:32 2011 From: paolo.torroni at unibo.it (Paolo Torroni) Date: Thu, 27 Jan 2011 22:11:32 +0100 Subject: CLIMA XII @ IJCAI: First Call for Papers Message-ID: <4D41DF84.2070607@unibo.it> [Please accept our apologies if you receive multiple postings.] ++++++++++++++++++++++++++++++++++++++++++++++++++++ First Call for Papers CLIMA XII 12th International Workshop on Computational Logic in Multi-Agent Systems with special sessions on: * Norms and Normative Multi-Agent Systems. * Logics for Games and Social Choice. http://centria.di.fct.unl.pt/events/climaXII/ Barcelona, Spain, July 17-18, 2011. Affiliated with IJCAI'11. Submission deadline: April 4/8th. Proceedings: LNCS/LNAI volume (available at the workshop). JLC Special Issue: Selected extended papers will be published in a Special Issue of the Journal of Logic and Computation. ++++++++++++++++++++++++++++++++++++++++++++++++++++ The purpose of the CLIMA Workshop Series is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. Following the previous ten, very successful, editions, the 12th CLIMA will be affiliated with IJCAI'11 and will take place in Barcelona, Spain, on the 17th and 18th of July 2011. In addition to CLIMA's regular topics and sessions, this edition will feature two special sessions: * Norms and Normative Multi-Agent Systems * Logics for Games and Social Choice We welcome and encourage the submission of high quality, original papers, which have not been accepted for publication nor are currently under review for another journal or conference. LNCS Proceedings: CLIMA's Proceedings will be published by Springer as a volume in the Lecture Notes in Computer Science, and will be available in time for the workshop. JLC Special Issue: After the workshop, authors of selected papers will be invited to extend and re-submit their work to be considered for inclusion in a CLIMA Special Issue of the Journal of Logic and Computation. Detailed information regarding CLIMA, its topics of interest, the two Special Sessions, formatting and submission instructions is available at http://centria.di.fct.unl.pt/events/climaXII/ Important dates: * Submission: April 4th (Abstracts) / April 8th (Papers) * Notification: May 4th * Camera Ready: May 16th CLIMA XII Chairs: * João Leite, New University of Lisbon, Portugal * Paolo Torroni, University of Bologna, Italy Special Session Organisers: Norms and Normative Multi-Agent Systems: * Guido Boella, University of Turin, Italy * Leon van der Torre, Univ. of Luxembourg, Luxembourg Logics for Games and Social Choice: * Thomas Ågotnes, University of Bergen, Norway Please send all enquiries about CLIMA XII toclima2011 at easychair.org. From admin at cyberjournals.com Fri Jan 28 05:06:28 2011 From: admin at cyberjournals.com (admin at cyberjournals.com) Date: Thu, 27 Jan 2011 22:06:28 -0600 Subject: Cyber Journals February Edition Call For Paper - Submission Deadline on February 10th Message-ID: <785a02f8e71077d61940fe6803b4ead3@cyberjournals.com> Dear All We'd like to invite you to contribute to the Cyber Journals' February Edition and circulate this invitation among interested students, researchers, and faculty members of your department. There are a number of editorials positions available. Please contact our Editors-in-Chief for more information. Regards Cyber Journals Editors-in-Chief The Canadian-based Cyber Journals --------------------------- Call For Paper --------------------------- The Canadian-based Cyber Journals (ISSN: 1925-2676) invite students, researchers, academic and industrial professionals to submit manuscripts for the January Edition, under the following special issues: 1. Journal of Selected Areas in Telecommunications (JSAT) 2. Journal of Selected Areas in Software Engineering (JSSE) 3. Journal of Selected Areas in Microelectronics (JSAM) 4. Journal of Selected Areas in Nanotechnology (JSAN) 5. Journal of Selected Areas in Mechatronics (JMTC) 6. Journal of Selected Areas in Health Informatics (JSHI) 7. Journal of Selected Areas in Bioengineering (JSAB) 8. Journal of Selected Areas in Bioinformatics (JBIO) 9. Journal of Selected Areas in Robotics and Control (JSRC) 10. Journal of Selected Areas in Renewable and Sustainable Energy (JRSE) Scope: Cyber journals accept scientific research and review articles from diverse fields. Please refer to the journals website (http://www.cyberjournals.com/) for details under each special issue. Editorial Review: Manuscripts will be double-blind-peer reviewed by three experts and professionals in the field and the author(s) will receive the review results accordingly. Editorial Members: Cyber Journals publication is supported by +60 highly professional and technical editorial members, gathered from diverse technical and educational backgrounds from USA, Canada, and other parts of the world. Please refer to the editorial page for more information: http://www.cyberjournals.com/editors.html Author Guidelines: Please refer to the author guidelines section for a sample article template, which follows the IEEE standard (http://www.cyberjournals.com/guidelines.html). Submission: Authors are requested to submit their manuscripts using the submission page: (http://www.cyberjournals.com/submit.html). Paper Indexing: Accepted papers are fully accessible and indexed in this page: (http://www.cyberjournals.com/papers.html). Best Paper Award: *** All submitted papers are considered for the Best Paper Award. Please refer to the Best Paper Award page (http://www.cyberjournals.com/bestpa.html). Online Citation Sources: Cyber Journals Publication is a member of a number of online citation sources, including: Google Scholar, Docstoc, Scribd, Publishing List and getCITED, and will continue to be included in more online citation systems. Contacting the Editors-in-Chief: Contact us if you have a question regarding the journals, at: admin at cyberjournals.com Important Dates: Article Submission Deadline: February 10th, 2011 Author Notification: February 21st, 2011 Final Manuscript Due: February 28th, 2011 Online indexing: Early March 2011 Cyber Journals' next monthly edition is due on March 10th, 2011 From michael.i.schumacher at gmail.com Fri Jan 28 17:37:49 2011 From: michael.i.schumacher at gmail.com (Michael Schumacher) Date: Fri, 28 Jan 2011 17:37:49 +0100 Subject: Postdoc position in agent-based diabetes monitoring in Switzerland Message-ID: <6EEBD6E9-460E-4F1F-8ABE-93410D0A706E@gmail.com> PostDoc Position in multi-agent systems applied to eHealth, University of Applied Sciences Western Switzerland (HES-SO), Sierre Job description: Applications are invited for a position as a PostDoc in the Applied Intelligent Systems Lab (AISLab) at the University of Applied Sciences Western Switzerland, Sierre (iig.hevs.ch). The successful applicant will join a very motivated team of researchers working on applied intelligent systems, with a strong focus on health applications. S/he will work on the definition, implementation and deployment of a pervasive health application to monitor diabetes patients. The work will be done in close collaboration with the University Hospitals of Lausanne (www.chuv.ch), and is expected to produce an application tested in real settings. The candidate is expected to have a PhD in computer science, mathematics or a closely related field, and to have knowledge and research experience in intelligent agents, multi-agent systems and distributed computing, with a strong application-oriented focus. Experience in eHealth is an advantage (pervasive health systems, interoperability standards, Integrating the Healthcare Enterprise, security). The expertise and experience of the ideal applicant should fit the following profile in decreasing order of importance: - Multi-agent systems - Intelligent agents - Artificial intelligence - Logic programming - Java SE and EE programming - Pervasive Health Systems - eHealth interoperability standards As our focus is on applied research, experience in software development using Java (SE and EE), Web and database programming is needed. Applications should include a letter of motivation, a curriculum vitae, and names and addresses of three referees. Applications by email are welcome. If sufficient mutual interest develops then referees will be contacted to ascertain suitability for the position. For more information please contact: michael.schumacher at hevs.ch. Language: Good knowledge of English is mandatory. French and German are the spoken languages in Sierre so some knowledge of French or German is beneficial. The candidate should at least be willing to learn some French or German. Environment: - Institute of Business Information Systems, University of Applied Sciences Western Switzerland (HES-SO): - In the context of the same topic two national projects have been granted allowing a close collaboration in a team on related topics. - The offices are located in the heart of the canton of Valais and the high Swiss Alps, minutes from several ski resorts such as Crans Montana. Many outdoor sports are possible, both during summer and winter. Sierre is known as the sunniest place of Switzerland. Furthermore, the nearby city of Sion is a classical music city. - The location is central in Europe: travelling by train to Milano 2.5 hrs, Geneva 2 hrs, and Zurich 2.5 hrs. Salary: The offered salary is very competitive. Finding a flat in Sierre or the environments is not hard and the quality of life is very high, especially for a family. Duration: The position is expected to start in March/April 2011, or as soon as possible afterwards. Application: Please send applications to: Prof. Dr. Michael Schumacher University of Applied Sciences Western Switzerland (HES-SO) TechnoArk 3 CH-3960 Sierre Switzerland Email: michael.schumacher at hevs.ch -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From stefano at di.unito.it Mon Jan 31 11:19:56 2011 From: stefano at di.unito.it (Stefano Berardi) Date: Mon, 31 Jan 2011 11:19:56 +0100 Subject: CfP for the Special Issue of APAL on "Classical Logic and Computation" - Extended deadline: March, 15 2011 Message-ID: <4D468CCC.9040606@di.unito.it> ************************************************************************ ANNALS OF PURE AND APPLIED LOGIC THIRD SPECIAL ISSUE ON "CLASSICAL LOGIC AND COMPUTATION" Extended deadline: March, 15 2011 ************************************************************************ CALL FOR PAPERS =============== Contributions on the topic of Classical Logic and Computation are invited for a special issue of Annals of Pure and Applied Logic. On August 22, 2010, CL&C 2011, the third workshop on "Classical Logic and Computation" took place in Brno - Czech Republic, as a satellite meeting of MFCS/CSL 2010, and a joint workshop with PECP.CL&C covered a broad range of works aiming to explore computational aspects of classical proofs, using tools from type theory and proof theory and lambda calculus and constructive semantics. This special issue is first of all set up for extended versions of papers presented at the workshop, but the call is open to all researchers. TOPICS Topics of interest for contributions to the journal issue include, but are not limited to: - type theory and lambda calculi for classical logic, - programming language design inspired by the former - examples of witness extraction from classical proofs, - constructive semantics of classical logic (game semantics, realization semantics, CPS translations ..) SUBMISSIONS Submissions must be original work which has not been previously published in a journal and is not being considered for publication elsewhere. If related material has appeared in a refereed conference proceedings, the manuscript submitted should be substantially more complete or otherwise different. Deadline for the submission of a title page indicating the intent to submit: February 15, 2011 ***Deadline for paper submission: March 15, 2011 (Extended dealine)*** The title page must include: full title, authors' full names and affiliations, and the address to which correspondence and proofs should be sent. Where possible, e-mail address and telephone number should be included. This should be followed by an abstract of approximately 300 words and five keywords for indexing. IMPORTANT All source files of the final versions of the accepted papers must respect the format of APAL. In order to make a submission, please follow the instructions at http://www.elsevier.com/wps/find/journaldescription.cws_home/505603/authorinstructions Please upload a .pdf file to the following easychair link http://www.easychair.org/conferences/?conf=apalclac10 Guest editors: Steffen van Bakel, Imperial College London, UK Stefano Berardi, Universita` di Torino, Italy Ulrich Berger, Swansea University, UK Contact: s.vanbakel at imperial.ac.uk From gini at cs.umn.edu Mon Jan 31 11:26:23 2011 From: gini at cs.umn.edu (Maria Gini) Date: Mon, 31 Jan 2011 04:26:23 -0600 Subject: final call for Doctoral Consortium and Scholarships for IJCAI-11 Message-ID: <20110131102623.GA2436@cs.umn.edu> Graduate students are invited to apply for admission to the doctoral consortium at IJCAI, July 16-22, 2011, Barcelona. == Deadline for applications: February 8, 2011 == Notification of acceptance: mid March 2011 As part of the application students have to submit a two-page extended abstract on their thesis research which will be reviewed for possible publication in the IJCAI proceedings. Details at http://ijcai-11.iiia.csic.es/students/doctoral_consortium Students from the US are also invited to apply for a travel scholarship and for an extended (6-8 weeks) paid research visit to a European research group. Details and requirements at http://ijcai-11.iiia.csic.es/calls/us_applications For additional information and questions contact: Maria Gini Professor Department of Computer Science & Engineering, University of Minnesota email: gini at cs.umn.edu or Judy Goldsmith Professor Department of Computer Science, University of Kentucky email: goldsmit at cs.uky.edu From conference at icdim.org Mon Jan 31 12:14:37 2011 From: conference at icdim.org (conference) Date: Mon, 31 Jan 2011 16:44:37 +0530 Subject: ICDIM 2011 Message-ID: <20110131111437.18488.qmail@mail.fastdnsnetwork.com> Call for Papers Sixth International Conference on Digital Information Management La Trobe University, Melbourne, Australia September 14-16, 2011 (http://www.icdim.org) (Technically co-sponsored by IEEE Technology Management Council) Proceedings will be published and indexed in IEEE Xplore) Following the successful earlier conferences at Bangalore (2006), Lyon (2007), London (2008), Michigan (2009) and Thunder Bay (2010) the sixth event is being organized at La Trobe University, Melbourne, Australia in 2011 September. The International Conference on Digital Information Management is a multidisciplinary conference on digital information management, science and technology. The principal aim of this conference is to bring people in academia, research laboratories and industry together, and offer a collaborative platform to address the emerging issues and solutions in digital information science and technology. The ICDIM intends to bridge the gap between different areas of digital information management, science and technology. This forum will address a large number of themes and issues. The conference will feature original research and industrial papers on the theory, design and implementation of digital information systems, as well as demonstrations, tutorials, workshops and industrial presentations. The topics in ICDIM 2011 include but are not confined to the following areas. Temporal and Spatial Databases Data Mining Web Mining including Web Intelligence and Web 3.0 E-Learning, eCommerce, e-Business and e-Government Web Metrics and its applications XML and other extensible languages Semantic Web, Ontologies and Rules Human-Computer Interaction Artificial Intelligence and Decision Support Systems Knowledge Management Ubiquitous Systems Peer to Peer Data Management Interoperability Mobile Data Management Data Models for Production Systems and Services Data Exchange issues and Supply Chain Data Life Cycle in Products and Processes Case Studies on Data Management, Monitoring and Analysis Security and Access Control Information Content Security Mobile, Ad Hoc and Sensor Network Security Distributed information systems Information visualization Web services Quality of Service Issues Multimedia and Interactive Multimedia Image Analysis and Image Processing Video Search and Video Mining All the accepted papers will appear in the proceedings published by IEEE and fully indexed by IEEE Xplore. All the ICDIM papers are indexed by DBLP (http://www.informatik.uni-trier.de/~ley/db/conf/icdim/index.html) Important Dates: Submission of papers - February 15, 2011 Notification of Paper Acceptance/Rejection - March 15, 2011 Camera Ready Paper Due - April 30, 2010 Author Registration - May 31, 2011 Late Registration - June 20, 2011 Conference Dates - September 14-16, 2011 General Chair : Prof. Rajiv Khosla, Director, RECCSI, La Trobe University, Australia General Co-chair: Prof. Toyoaki Nishida, Kyoto University, Japan General Co-chair: Dr. Keiji Yamada, General Manager, CCIL, NEC, Japan Paper submissions at- http://www.icdim.org/submission.php Contact: conference at icdim.org Modified version of the selected papers will appear in the special issues of the following peer reviewed journals. (Indexed in Scopus, Thomson Reuters, Journal Citation Reports, dblp, Engineering Index and many other databases) 1. Journal of Digital Information Management (JDIM) 2. Journal of Intelligent Manufacturing 3. International Journal of Information Technology and Web Engineering (IJITWE) From wneuper at ist.tugraz.at Mon Jan 31 16:52:44 2011 From: wneuper at ist.tugraz.at (Walther Neuper) Date: Mon, 31 Jan 2011 16:52:44 +0100 Subject: Call for Papers: THedu'11 at CADE-23 Message-ID: <4D46DACC.9070400@ist.tugraz.at> [Apologies for possible multiple postings.] ---------------------------------------------------------------------- CALL FOR PAPERS ---------------------------------------------------------------------- THedu'11 CTP components for educational software http://www.uc.pt/en/congressos/thedu Workshop at CADE-23, 23nd International Conference on Automated Deduction Wroclaw, Poland, July 31- August 5, 2011 http://cade23.ii.uni.wroc.pl/ ---------------------------------------------------------------------- THedu'11 Scope -------------- This workshop intends to gather the research communities for Computer Theorem proving (CTP), Automated Theorem Proving (ATP), Interactive Theorem Proving (ITP) as well as for Computer Algebra Systems (CAS) and Dynamic Geometry Systems (DGS). The goal of this union is to combine and focus systems of these areas to enhance existing educational software as well as studying the design of the next generation of mechanised mathematics assistants (MMA). Elements for next-generation MMA's include: * Declarative Languages for Problem Solution: education in applied sciences and in engineering is mainly concerned with problems, which are understood as operations on elementary objects to be transformed to an object representing a problem solution. Preconditions and postconditions of these operations can be used describe the possible steps in the problem space; thus, ATP-systems can be used to check if an operation sequence given by the user does actually present a problem solution. Such "Problem Solution Languages" encompass declarative proof languages like Isabelle/Isar or Coq's Mathematical Proof Language, but also more specialized forms such as, for example, geometric problem solution languages that express a proof argument in Euklidian Geometry or languages for graph theory. * Consistent Mathematical Content Representation: libraries of existing ITP-Systems, in particular those following the LCF-prover paradigm, usually provide logically coherent and human readable knowledge. In the leading provers, mathematical knowledge is covered to an extent beyond most courses in applied sciences. However, the potential of this mechanised knowledge for education is clearly not yet recognised adequately: renewed pedagogy calls for enquiry-based learning from concrete to abstract --- and the knowledge's logical coherence supports such learning: for instance, the formula 2.π depends on the definition of reals and of multiplication; close to these definitions are the laws like commutativity etc. However, the complexity of the knowledge's tracable interrelations poses a challenge to usability design. * User-Guidance in Stepwise Problem Solving: Such guidance is indispensable for independent learning, but costly to implement so far, because so many special cases need to be coded by hand. However, CTP technology makes automated generation of user-guidance reachable: declarative languages as mentioned above, novel programming languages combining computation and deduction, methods for automated construction with ruler and compass from specifications, etc --- all these methods 'know how to solve a problem'; so, use the methods' knowledge to generate user-guidance mechanically, is an appealing challenge for ATP and ITP, and probably for compiler construction! In principle, mathematical software can be conceived as models of mathematics: The challenge addressed by this workshop is to provide appealing models for MMAs which are interactive and which explain themselves such that interested students can independently learn by inquiry and experimentation. Program Committee ----------------- Ralph-Johan Back, Abo University, Turku, Finland Francisco Botana, University of Vigo at Pontevedra, Spain Florian Haftman, Munich University of Technology, Germany Predrag Janicic, University of Belgrade, Serbia Cezary Kaliszyk, University of Tsukuba, Japan Julien Narboux, University of Strasbourg, France Walther Neuper, Graz University of Technology, Austria Pedro Quaresma, University of Coimbra, Portugal Wolfgang Schreiner, Johannes Kepler University, Linz, Austria Laurent Théry, Sophia Antipolis, INRIA, France Makarius Wenzel, University Paris-Sud, France Burkhart Wolff, University Paris-Sud, France Important Dates --------------- * Abstract Submission: 15 Apr 2011 * Submission Deadline: 29 Apr 2011 (by THedu'11 easychair) * Author Notification: 3 Jun 2011 * Final Version: 1 Jul 2011 (by THedu'11 easychair) * Worshop Day: 31 Jul 2011 Submission ---------- We welcome submission of proposals to present a demo, as well as submissions of papers presenting original unpublished work which is not been submitted for publication elsewhere. Selected papers will appear in CISUC Technical Report series (ISSN 0874-338X, [1]). All accepted papers and system demos will be presented at the workshop, and the extended abstracts will be made available online. A publication medium for post-proceedings is under consideration. Papers and demo proposals should be submitted via THedu'11 easychair [2]. Papers should be no more than 8 pages in length and are to be submitted in PDF format. They must conform to the ACM SIGPLAN style guidelines [3]. At least one author of each accepted paper/demo is expected to attend THedu'11 and presents her or his paper/demo. [1] http://www.uc.pt/en/fctuc/ID/cisuc/RecentPublications/Techreports/ [2] http://www.easychair.org/conferences/?conf=thedu11 [3] http://www.acm.org/sigs/sigplan/authorInformation.htm