From idt.tunisia.2008 at gmail.com Mon Dec 1 08:32:25 2008 From: idt.tunisia.2008 at gmail.com (IDT'08) Date: Mon, 1 Dec 2008 08:32:25 +0100 Subject: Call for participation Message-ID: <16e29a8b0811302332h22242c34ocab31afaa7f42bdc@mail.gmail.com> ================================================================= CALL FOR PARTICIPATION =================================================================== IDT 2008 *3rd International Design and Test Workshop* http://www.enis.rnu.tn/tttc-idt/ December 20-22, 2008 Monastir, Tunisia =================================================================== Conference Overview =================== This event provides a unique forum to discuss novel approaches in design, automation and test in the Middle East and Africa (MEA) region for researchers and practitioners in the areas of VLSI design, test and fault tolerance to come together to discuss new research ideas and present new research results. This event will provide the only VLSI Design & Test-specific meeting in the MEA region. Workshop topics include all aspect of design, test and automation. Local Information ================= The IDT'08 conference will be held at the 'El Habib' **** hotel in the city of Monastir , Tunisia . For details, please see the conference web page. Technical Program ================= The technical program is available at the conference web page. It includes 3 invited keynotes, 52 regular papers, 10 short papers, 5 special sessions and 1 panel. General Co-chairs ================= Mohamed Abid: CES-ENIS, BP. W, 3038, Sfax , Tunisia Yervant Zorian: Virage Logic 47100, Bayside Parkway Fremont CA , 94538 , USA Sponsors ======== Sponsored by: IEEE In cooperation with: Mentor Graphics, ST-Microelectronics and Telnet Partners: Computer Embedded Systems Laboratory =================================================================== -- ------------------------------------------------------------------------ GENERAL CO-CHAIRS Mohamed Abid CES-ENIS BP. W, 3038 Sfax, Tunisia mohamed.abid at enis.rnu.tn ------------------------------------------------------------------------ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From simon.miles at kcl.ac.uk Tue Dec 2 11:42:38 2008 From: simon.miles at kcl.ac.uk (Simon Miles) Date: Tue, 2 Dec 2008 10:42:38 +0000 Subject: AAMAS-09 2nd Call for Demonstrations Message-ID: (apologies if you receive multiple copies of this call) Eighth International Joint Conference on AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS 2009) Call for Demonstrations AAMAS 2009 will include a demonstration session. Demonstration submissions are be invited for four different categories: * INDUSTRIAL SOFTWARE * ACADEMIC SOFTWARE * ROBOTICS * STUDENT PROJECTS. A best demo award will be chosen separately for each category. A price of 1000 Euro is provided for the winner in the category "student projects." The award selection will be done in consultation by the advisory board and the exhibits and demo co-chairs. Demonstrators are expected to present a live interactive demo at assigned time slots during the conference. Developers of software or robotic system based on autonomous agents or multi-agent techniques, especially those showing novel technology, are welcome to submit a demo. Examples of demos include but are not limited to: * Multi-agent software systems * Industrial and military applications (including prototypes) * Agent-based games * Agent platforms and development environments * Open-source software tools * Robotic systems (single and multi-agent) * Virtual agents and interactive virtual environments * Simulation environments The demonstration sessions will be held as part of the AAMAS main conference. The goal of the AAMAS demonstrations is to give participants, from industry and academia an opportunity to present their latest developments on software and/or robotic system. In addition, we strongly encourage students to submit valuable demos resulting from their projects or thesis work. Submissions accepted for the demonstration session will be advertised on the AAMAS website and in the conference booklet, which will contain abstracts of all available demos. Each demo submission should consist of three parts: 1. A 2-page paper in which the authors describe the system to be demonstrated. The paper should describe the application domain/problem/scenario, the technology used, the agent/multi-agent techniques involved, the innovations of the system, its live and interactive aspects, etc. Papers have to be prepared in PDF format using the AAMAS style (follow the instructions at http://www.conferences.hu/AAMAS2009/). 2. A demonstration movie (youtube compatible) that clearly shows the purpose and use of the demo. Alternatively, the authors can submit a scenario that consists of a series of snapshots of the demo annotated with an explanation. 3. For student projects only: a 1 page statement in which the student clearly describes his personal contribution to the project 4. Additional information in a plain text file including the following information: - Demonstration title - Authors (name, affiliation, email, address, phone fax) - The corresponding author with her/his email address - Abstract (max. 150 words) - Keywords - URL (if available) - Paper ID if the demo is related to a paper at the main conference - Equipment you will bring (e.g., laptop, robot) - Equipment you will need (e.g., table, poster board, power sockets) - Special requirements (e.g., space for robot and if so how much, video projector) - A discussion of the present state of your demo (e.g., ready to demonstrate now, but if not, include a realistic estimate for conclusion and what remains to be done before you have a demonstrable software/robotic system). Accepted demos will have the 2-page papers included in the AAMAS proceedings. Submissions All demonstration proposals should be send to demos at aamas09.org Submissions are open from October 27, 2009 Submission Deadline: January 12, 2009, 23:59 UTC Selection Process The submission and selection processes for the AAMAS 2009 demos will be separate from that of the main conference. Each submission will be assessed by the demo co-chairs and at least one member of the advisory board. The authors will receive a brief report with the result of the evaluation with the notification. The main evaluation criteria are: * Relevance to AAMAS * Quality and soundness of the underlying technology * Novelty of the application domain * Maturity of the (deployed) system * Potential for public interaction Notification of acceptance or rejection of submitted demos will be sent to the corresponding author by January 30, 2009. At least one author of each accepted demonstration is required to register and to attend the conference to give the demonstration. Important Dates Submission deadline: January 12, 2009. Notification of acceptance/rejection: January 30, 2009. Camera-ready paper: February 6, 2009 Contact Information For more information, contact the demos co-chairs: demos at aamas09.org AAMAS 2009 Advisory Board James Odell, Independent consultant, USA Andrea Omicini, Università di Bologna, Italy H. Van Dyke Parunak, NewVectors LLC, Ann Arbor, USA Juan Pavón, Universidad Complutense Madrid, Spain Giovanni Rimassa, Whitestein Technologies Michael Winikoff, RMIT Melbourne, Australia AAMAS 2009 Demo & Exibits Co-Chairs Paolo Giorgini, University of Trento, Povo (Italy) Danny Weyns, Katholieke Universiteit Leuven (Belgium) -- Dr Simon Miles Agents and Intelligent Systems Group Department of Computer Science Kings College London, UK From ji at jiruan.net Wed Dec 3 15:45:32 2008 From: ji at jiruan.net (Ji Ruan) Date: Wed, 3 Dec 2008 14:45:32 +0000 Subject: I want to subscribe to this list. Message-ID: -- Ji Ruan Dept. of Computer Science The University of Liverpool Liverpool, L69 3BX, UK Emails: j.ruan at csc.liv.ac.uk ; ji at jiruan.net URL: http://www.csc.liv.ac.uk/~jruan To中国大陆的朋友：如果发送给我的邮件被退回，请尝试 jiruan.net at gmail.com From ji at jiruan.net Wed Dec 3 16:36:40 2008 From: ji at jiruan.net (Ji Ruan) Date: Wed, 3 Dec 2008 15:36:40 +0000 Subject: Confirmation Request (1233189494) In-Reply-To: References: Message-ID: On Wed, Dec 3, 2008 at 3:31 PM, event administration wrote: > This is an automated message from the > mailing list manager > > Somebody (probably you) have requested the subscribe(digest) operation > for your address > > If you want to confirm this operation, > use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 1233189494, > the reply is directed to , > and the 'From' address of your reply is . > > If you do not want to confirm the requested operation, simply do nothing > > All requests about this mailing list > should be sent to > > -- Ji Ruan Dept. of Computer Science The University of Liverpool Liverpool, L69 3BX, UK Emails: j.ruan at csc.liv.ac.uk ; ji at jiruan.net URL: http://www.csc.liv.ac.uk/~jruan To中国大陆的朋友：如果发送给我的邮件被退回，请尝试 jiruan.net at gmail.com From cohen.izzy at gmail.com Thu Dec 4 23:00:30 2008 From: cohen.izzy at gmail.com (Israel Cohen) Date: Fri, 5 Dec 2008 00:00:30 +0200 Subject: anthropomorphic maps - an ancient GIS Message-ID: <9339f00a0812041400l6dcb58c6vaeff8367845910d1@mail.gmail.com> I learned about anthropomorphic maps from the linguist Dan Moonhawk Alford (deceased) and the anthropologist Stan Knowlton. They described the maps of Napi, the creator of the Blackfoot Indians (aka The Old Man) and his wife (The Old Woman) in Alberta, Canada. I "found" similar Phoenician maps of a male body (Hermes ?) in west Asia and a female body (Aphrodite) in north Africa. *Anthropomorphic Maps* Anthropomorphic maps were generated by configuring the body of a god or goddess over the area to be mapped. The name of each part of that body became the name of the area under that part. This produced a scale 1:1 map-without-paper on which each place name automatically indicated its approximate location and direction with respect to every other place on the same map whose name was produced in this way. You are cordially invited to join the BPMaps discussion group on this topic, a very quiet list that averages less than 2 messages per month. The URL is:http://tech.groups.yahoo.com/group/BPMaps/ The Challenge: To produce computer software that will find additional body-part maps elsewhere in the world. Available inputs:(1) geographic databases with ancient place names (e.g., the Perseus project). (2) body-part names on Swadesh lists. Unfortunately, the navel is not included. *Attributes of Anthropomorphic Maps* (1) The navel is the center of the body, the center of the map, and usually the center of the map's language community. (2) Place names (toponyms) may be reversed, metathesized, misspelled or euphemized for various reasons: (a) The same part in the same language exists on another map of a different body. Cranium > Mo[n]rocco because Ukraine existed? Aphrodite is looking backwards over her right shoulder. She is bent at her waist (Misr/Mitzraim = MoSNaiM). (b) The left (sinister) part is altered in names for left-right pairs (arms, legs, eyes, ears). DoFeN = side reversed to Nafud in north Arabia. SHvK = thigh with a T-sound for the letter shin = TvK reversed to Kuwait. BeReKH = knee metathesized to Bahrain. (c) Names that represent taboo body parts or functions are reversed or euphemized: Semitic PoS (female pudenda) reverses to yam SooF = sea of reeds (Red Sea). Mare Rubrum (Latin for Red Sea) represented Aphrodite's menstruation CaNa3an (3 = aiyin with a G-sound as in 3aZa = Gaza) is a reversal of Greek gyneco- . Gaza (3aZa) is a reversal of the sounds in ZooG = couple, as in copulation NeGeV (compare NaKeV = slit, aperture, hole, perforation and N'KeiVaH = female) reverses to vagina Sinai = "snatch" is spelled SiNi in Hebrew. The aleph=CHS is intentionally missing. ZaYiN = weapon (a euphemism for male member) is in Sinai as the desert of Zin. (3) Names may be loan-translated due to conquest or language-change. (a) Roxolania (Semitic Ro[chs]SH = head) => Rus *( Ro at SH) => Ukraine (Greek kranion) * Caused by a change in the sound of the aleph from CHS to a glottal stop. (b) Libya (Semitic LeB = heart) => Cyrenaica (Latin cor = heart, compare coronary) => Libya (4) Rivers and bodies of water may be named after bodily excretions: (a) Milk River in Alberta. (b) Red Sea (Latin Mare Rubrum) is Aphrodite's menstruation. (c) Gulf of Aqaba (Semitic QaVaH = digestion/defecation) (5) Internal body parts may represent subdivisions of external parts. (a) Arabic Misr / Hebrew Mitzraim (< TSaR = narrow) = waist (Hebrew MoSNaim). Egypt (< Greek hepato- = liver). Goshen (with a T-sound shin < Semitic QiTN = bean) = bean-shaped kidney. Goshen exported Arabic QuTN = cotton => Latin Gossypium (English gossamer = cotton-like) (b) Atlas mountains < atlas = first cervical vertebra that supports the cranium. (6) Islands near a body's hands may be named for weapons. (a) Trinacria = trident (< Gk tri = three + Semitic NaKaR = to pierce) => Sicily (< VL *sicila < Latin secula = sickle to harvest wheat; compare Semitic SaKiN = knife). The trident was in Neptune / Poseidon's right hand (Italy, like Anatolia < N'TiLas yad = arm being washed by the seas). (b) Greece = reversal of Semitic S'RoG = (weighted) net, held in his left hand. (c) Crete = reversal of targe = small shield (compare English target) also in his left hand. *Aphrodite* The map of Aphrodite is in north Africa. Her face [PaNim] was lost during the 3rd Punic war. The rest of her is still there. She is looking backwards over her right shoulder, so her CRaniuM is reversed at Morocco. It still has a Fez. Her chin [SaNTir] is reversed at Tunisia. The Atlas (anatomy: first cervical vertebra) mountains support her head. Her hair [Sa3aRa] is the Sahara desert. Her backbone [amood SHiDRa] is the Gulf of Sidra. Her heart [LeB] is Libya. Her breast [SHaD] is Chad. Her narrow [TZaR] waist is Misr / Mitzraim. Her liver (Greek hepato-) is Egypt. Cotton (Arabic QuTN, Latin Gossypium) was exported from Goshen, her [QiTNit = bean]-shaped kidney. Her side [TZaD] is Sudan. Her other side [DoFeN] is Dafur. Her left [SMoL] leg is Somalia. [NeGeV] is a reversal of vagina and may be related to [NeKeV] = aperture. [CaNa3aN] was her Latin cunnus (and a reversal of Greek gyneco-). Its name changed to [YiSRa at eL] at the time when [Ya3aKoV] / Jacob "fought with god and men" [Gen 32:29]. This represented a change in sovereignty from Africa to Asia minor. [ YiSRa at eL] is that body part that gives [@oSHeR] = delight to [@eL] = god when it is [YaSHaR] = straight, upright. Changing Jacob's name from [Ya3aKoV] = "ankle; curved, bent" to [YiSRa at eL] = "straight, upright + god" represents an interesting physiological process. *Hermes* The body-part map of Hermes is in Asia minor. kHermes [kHoR = hole + MoSnaim = waist] lived at Mt. kHermon before he moved Mt. Olympus (Greek omphalos = navel). Later his name was reversed to become Latin Mercury. Compare Amerigo Vespucci and America. Compare the biblical king kHiram of Lebanon. His head [Ro at SH] was at Roxolania/Rus, south of Belarus. Its name changed to the Ukraine (Gk kranion = cranium, *not *Slavic u kraina = to/at the border). His throat [GaRGeret] is Georgia. His left shoulder [KaSaF] is the Caspian sea. His right shoulder [@aTZiL] was Euxinus, now the Black Sea. His right arm/hand is being washed [NaTiLat] at Anatolia. His upper arm (Sanskrit irma) at Armenia, biceps (Greek pontiki = muscle) at Pontus, elbow [KiFooF yaD] at Cappadocia, wrist [m'FaReK] at Phrygia, and thumb [BoHeN] at Bithynia were in Anatolia. His heart (Greek cardia) became Kurdistan. His narrow [TZaR] waist is Syria and his navel (Sanskrit nabhila) reverses to LeBaNon. South of Lebanon is the male member (Greek phallus) named Philistina. See [CaNa3aN / YiSRa at eL] above. His buttocks [YeReKH] is Iraq. His thigh [shin-vav-kuf] sounded like TvK and reversed to Kuwait. His knee [BeReKH] is partially reversed in Bahrain. His right [Y'MiN] foot is at Yemen. These two bodies are connected, literally, at Sinai (with an aleph that is not written in Hebrew, compare "snatch", a reversal of [K'NiSah] = entrance), a part of her body that contains the desert of Zin, his "zaiyin". *Aphrodite as an Anthropomorphic Map* The goddess we call Aphrodite Is not just an old Grecian deity. The Phoenicians did make Her a map. It's not fake. Her body is cartograffiti. The Punic war destroyed her face, The Romans left nary a trace. But her hair is still there, In Sahara, that's where. And her chin's a Tunisian place. Mt. Atlas is her first verTebra. Her backbone is now Gulf of Sidra. Her heart is in Libya, Her left leg, Somalia. Her breast is in Chad wearing no bra. The Greeks called her liver Egypt, an' Her kidney was Biblical Goshen. She's bent at her waist, Now Misr-ably placed. The Red Sea was her menstruation. As a kid I did think the Red Sea Was an English map typo: lost E, From Reed Sea in Hebrew. But that could not be true, Mare Rubrum 'twas Latin, B.C. Aphrodite with Hermes did sin, We know this is true 'cause within Her "snatch" we call Sinai His "zaiyin" does still lie. It's known as the desert of Zin. Best regards, Israel "izzy" Cohen cohen.izzy at gmail.com http://tech.groups.yahoo.com/group/BPMaps From arcoe-09 at aifb.uni-karlsruhe.de Thu Dec 4 22:07:56 2008 From: arcoe-09 at aifb.uni-karlsruhe.de (ARCOE-09) Date: Thu, 4 Dec 2008 22:07:56 +0100 Subject: [CFP] Automated Reasoning about Context and Ontology Evolution (ARCOE-09) at IJCAI-09 Message-ID: <52c479f40812041307r16c1f376va3c792a85470fa5c@mail.gmail.com> ======================= CALL FOR PARTICIPATION ARCOE-09 at IJCAI-09 July 11-13, 2009 Pasadena, CA, USA ======================= The IJCAI-09 Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE-09) http://km.aifb.uni-karlsruhe.de/ws/ARCOE2009 July 11-13, 2009 Pasadena, California, USA held at the International Joint Conference on Artificial Intelligence (IJCAI-09) http://ijcai-09.org -- 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. 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 conceiving, controlling and maintaining an ontology and its 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-09 aims at bringing together researchers and practitioners from core areas of Artificial Intelligence (Knowledge Representation and Reasoning, Contexts, and Ontologies) 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 recognized the need for representing and reasoning about knowledge that is distributed over many resources. Such knowledge depends on its context, i.e., on the syntactic and/or semantic structure of such resources. 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 do not succeed right from the beginning when (individually or collaboratively) developing an ontology. Despite their expertise and any assistance from domain experts, revision cycles are the rule. 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. 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 on human intervention. Research on this problem has either concentrated on non-monotonic reasoning and belief revision or on changes of signature, i.e., of the grammar of the ontology's language, with a minimal disruption to the original theory. ARCOE-09 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 select and present works about 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 select and present works about logic-based Knowledge Representation and Reasoning, a classic area of AI, which since its origins has produced remarkable results on logic-based methods for supporting knowledge engineers and for enhancing software agents. Track 3: Automated Ontology Evolution This track will select and present works about Automated Ontology Evolution, an area which in recent years has been drawing the attention of Artificial Intelligence and Knowledge Representation and Reasoning on 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 formalization 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-09 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 -- 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 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 - 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 - Problem Solving - Agent Communication - Persistent Agents in Changing Environment - Multimedia on the Web - IT and Automated Reasoning -- Attendance -- Following IJCAI-09 policy, the total number of participants in ARCOE-09 will be limited to 75 people. This includes organizers, PC members, invited speakers, authors and attendees. Authors will be selected on significance of their submission and will be preferred on simple attendees. Attendees will be selected on a first-come-first-served basis. Please check http://ijcai-09.org for application procedure and fees. -- Submission Requirements and Dates -- ARCOE-09 will accept submissions of long abstracts, for both long presentations and poster presentations. The distinction during the selection-phase will be based on the significance and the quality of submissions as well as oriented towards fostering cross-pollination and discussions during the event. All selected abstracts will be included in the IJCAI-09 Working Notes. Authors are kindly requested to provide keywords upon submission. The format for submissions is the same as that of IJCAI-09. Please check http://ijcai-09.org for the style files. Submissions should be no longer than 3 pages. - Submission deadline: March 6, 2009 - Notification to authors: April 17, 2009 - Camera-ready version: May 8, 2009 - Workshop dates: July 11-13, 2009 -- Submit to -- Please submit to http://www.easychair.org/conferences/?conf=arcoe09 -- Workshop Co-Chairs -- - Alan Bundy School of Informatics, University of Edinburgh, Informatics Forum, 10 Crichton Street, Edinburgh EH8 9AB, UK. Tel: +44-131-650-2716, Fax No.: +44-131-650-6899. - Jos Lehmann School of Informatics, University of Edinburgh, Informatics Forum, 10 Crichton Street, Edinburgh EH8 9AB, UK. Tel: +44-131-650-2725, Fax No.: +44-131-650-6899. - Guilin Qi Institute AIFB, Universitaet Karlsruhe, D-76128 Karlsruhe, Germany. Tel: +49-721-608-6038. - Ivan Jose Varzinczak Meraka Institute, Meiring Naude Road, CSIR, 0001 Pretoria, South Africa. Tel: +27-12-841-33-23. Please send all enquiries and communications to: arcoe-09 at aifb.uni-karlsruhe.de -- Program Committee -- - Richard Booth (Mahasarakham University, Thailand) - Paolo Bouquet (University of Trento, Italy) - Jerome Euzenat (INRIA Grenoble Rhone-Alpes, France) - Chiara Ghidini (FBK Fondazione Bruno Kessler, Italy) - Alain Leger (France Telecom R&D, France) - Deborah McGuinness (Rensselaer Polytechnic Institute, USA) - Thomas Meyer (Meraka Institute, South Africa) - Maurice Pagnucco (The University of New South Wales, Australia) - Valeria de Paiva (Palo Alto Research Center (PARC), USA) - Luciano Serafini (FBK Fondazione Bruno Kessler, Italy) - Pavel Shvaiko (Informatica Trentina S.P.A., Italy) - John F. Sowa (VivoMind Intelligence, Inc., USA) - Renata Wassermann (Universidade de Sao Paulo, Brasil) -------------- n?chster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From rseba at brenta.disi.unitn.it Fri Dec 5 14:06:34 2008 From: rseba at brenta.disi.unitn.it (Roberto Sebastiani) Date: Fri, 5 Dec 2008 14:06:34 +0100 Subject: FroCoS'09 Call for Papers Message-ID: <20081205130634.GA19235@brenta.disi.unitn.it> ------------------------------------------------------------------------- WE APOLOGIZE IF YOU RECEIVE MULTIPLE COPIES OF THIS MESSAGE ------------------------------------------------------------------------- Call for Papers 7th International Symposium on FRONTIERS OF COMBINING SYSTEMS (FroCoS’09) Trento, Italy, September 16-18th, 2009 http://frocos09.disi.unitn.it/ MOTIVATIONS In various areas of computer science, such as logic, computation, program development and verification, artificial intelligence, knowledge representation, and automated reasoning, there is an obvious need for using specialized formalisms and inference mechanisms for special tasks. In order to be usable in practice, these specialized systems must be combined with each other, and they must be integrated into general purpose systems. The development of general techniques and methods for the combination and integration of special formally defined systems, as well as for the analysis and modularization of complex systems has been initiated in many areas. The International Symposium on Frontiers of Combining Systems (FROCOS) traditionally focuses on this type of research questions and activities and aims at promoting progress in the field. Like its predecessors, FROCOS’09 wants to offer a common forum for research activities in the general area of combination, modularization and integration of systems (with emphasis on logic-based ones), and of their practical use. RELEVANT TOPICS Typical topics of interest include (but are not limited to): * combinations of logics such as combined predicate, temporal, modal, or epistemic logics; * combinations and modularity in ontologies; * combination of decision procedures, of satisfiability procedures, and of CS techniques; * combinations and modularity in term rewriting; * integration of equational and other theories into deductive systems; * combination of deduction systems and computer algebra; * integration of data structures into CLP formalisms and deduction processes; * hybrid methods for deduction, resolution and constraint propagation; * hybrid systems in knowledge representation and natural language semantics; * combined logics for distributed and multi-agent systems; * logical aspects of combining and modularizing programs and specifications. PAPER SUBMISSION Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with refereed proceedings. Selection criteria include accuracy and originality of ideas, clarity and significance of results, and quality of presentation. All submissions will be subject to academic peer review by at least three members of the program committee. For each accepted paper, at least one author is required to attend the conference to present the paper. Papers must be edited in LTEX and be submitted electronically as PDF files via the EasyChair system: http://www.easychair.org/conferences/?conf=frocos09. Prospective authors are required to register a title and an abstract a week before the paper submission deadline (see below). Further information about paper submission will be made available at FROCOS’09 web page. PROCEEDINGS The proceedings of FroCoS’09 will be published by Springer-Verlag in the LNAI/LNCS series. IMPORTANT DATES Abstract submission deadline: April 26th, 2009 Full paper submission deadline: May 3rd, 2009 Notification of acceptance: June 8th, 2009 Camera Ready Copy: June 22th, 2009 Conference: September 16-18th 2009 CHAIRS - Silvio Ghilardi, University of Milano, Italy - Roberto Sebastiani, University of Trento, Italy PROGRAMME COMMITTEE - Franz Baader, T.U. Dresden, Germany - Peter Baumgartner, NICTA, Camberra, Australia - Torben Brauner, Roskilde University, DK - Leonardo de Moura, Microsoft Research, USA - Bernhard Gramlich, T.U. Wien, Austria - Sava Krstic, Intel Corporation, USA - Viktor Kuncak, E.P.F. Lausanne, France - Albert Oliveras, T.U. of Catalonia, Spain - Silvio Ranise, University of Verona, Italy - Christophe Ringeissen, LORIA, Nancy, France - Ulrike Sattler, Univ. of Manchester, UK - Renate Schmidt, Univ. of Manchester, UK - Luciano Serafini, FBK-Irst, Italy - Viorica Sofronie-Stokkermans, MPI, Saarbruken, Germany - Cesare Tinelli, University of Iowa, USA - Frank Wolter, University of Liverpool, UK - Michael Zakharyaschev, London Knowledge Lab, UK From admmk09 at easychair.org Fri Dec 5 16:20:31 2008 From: admmk09 at easychair.org (admmk09 at easychair.org) Date: Fri, 5 Dec 2008 16:20:31 +0100 Subject: 2nd CFP: Special Issue Authoring, Digitalization and Management of Mathematical Knowledge Message-ID: <200812051520.mB5FKVoY031632@dave.dfki.uni-sb.de> [Apologies for multiple copies] Second Call for Papers Mathematics in Computer Science Special Issue on Authoring, Digitalization and Management of Mathematical Knowledge http://www.dfki.de/~serge/admmk09 Guest editors: Serge Autexier, Petr Sojka, Masakazu Suzuki This special issue is devoted to the topics of the seventh International Conference on Mathematical Knowledge Management (MKM'08) and the workshop on Digital Mathematics Libraries (DML'08) which took place in July 2008 in Birmingham, UK. Topics of interest include * Representations of mathematical knowledge * Repositories of formalized mathematics * Mathematical digital libraries * Diagrammatic representations * Multi-modal representations * Mathematical OCR * Deduction systems * Mathematical assistants, tutoring and assessment systems * Authoring languages and tools * MathML, OpenMath, and other mathematical content standards * Web presentation of mathematics * Data mining, discovery, theory exploration * Collaboration tools for mathematics * Search, indexing and retrieval of mathematical documents * Ranking of mathematical papers, similarity of mathematical documents * Mathematical document compression * Processing of scanned images * Algorithms for crosslinking of bibliographical items, intext citations search * Mathematical document classification, MSC 2010 * Mathematical text mining * Inference of semantics for semi-formalized mathematics * Mathematical documents metadata * Long term archiving, data migration * Mathematical publishing with long term archival goal * Handwritten formulae recognition * Recognition and search of mathematical diagrams * E-learning of mathematics Potential contributors may also contact the guest editors to discuss suitability of topics and papers. SUBMISSION GUIDELINES Submission to this special issue is completely open. We expect original articles (typically 15-30 pages) that present high-quality contributions that have not been previously published in an archival venue and that must not be simultaneously submitted for publication elsewhere. Submissions must comply with MCS' author guidelines (http://www.cc4cm.org/mcs/), be written in English, and be formatted using LaTeX. All submitted papers will be refereed according to the usual MCS refereeing process. Submission to this special issue is hereby encouraged via the EasyChair submission system (see URL below). To aid planning and organization, an early e-mail of intent to submit a paper (including author information, and a tentative title and abstract) would be appreciated. IMPORTANT DATES: Submission deadline: 5 January 2009 Notification of acceptance/rejection: 6 March 2009 Submission of revised versions: 17 April 2009 Final notification of acceptance/rejection: 8 May 2009 Submission of camera-ready copies: 29 May 2009 USEFUL ADDRESSES Special issue website: http://www.dfki.de/~serge/admmk09 Submission webpage: http://www.easychair.org/conferences/?conf=admmk09 Guest editors' email address: admmk09 at easychair.org Journal MCS webpage: http://www.cc4cm.org/mcs MKM'08 conference website: http://events.cs.bham.ac.uk/cicm08/mkm08 DML'08 workshop website: http://www.fi.muni.cz/~sojka/dml-2008.xhtml From invitation at iariaannounce.org Sun Dec 7 11:47:31 2008 From: invitation at iariaannounce.org (WebTel 2009) Date: Sun, 7 Dec 2008 05:47:31 -0500 (EST) Subject: Deadline Extension: WebTel 2009 | May 24-28, 2009 - Venice, Italy Message-ID: <14822550.65536.1228646851904.JavaMail.Onitza@Oana2> INVITATION 2009 Note that the deadline to submit to any of these events has been moved to December 18, 2008. Please consider to contribute and encourage your team members and fellow scientists to contribute to the following federated events. Thanks for forwarding the information on this Call for Submissions to those potentially interested to submit. ===== Call for Submissions ======= WebTel 2009, May 24-28, 2009 - Venice, Italy see: http://www.iaria.org/conferences2009/WebTel09.html WebTel 2009 is a federated event focusing on advanced topics covering telecommunications, internet, web applications, and internet related monitoring and protection. WebTel 2009 continues the tradition of well-established conferences: AICT, ICIW, and ICIMP. Submission deadline: December 18, 2008 - AICT 2009, The Fifth Advanced International Conference on Telecommunications http://www.iaria.org/conferences2009/AICT09.html - ICIW 2009, The Fourth International Conference on Internet and Web Applications and Services http://www.iaria.org/conferences2009/ICIW09.html - ICIMP 2009, The Fourth International Conference on Internet Monitoring and Protection http://www.iaria.org/conferences2009/ICIMP09.html Submissions must be electronically done using the "Submit a Paper" link on the entry page of each conference. For details on the each conference's topics, see the individual Call for Papers for each conference. Unpublished high quality contributions in terms of Regular papers and Forum posters are welcome. Workshop proposals and Panel proposals on challenging topics are encouraged. Extended versions of selected papers will be published in IARIA on-line Journals ( http://www.iariajournals.org) and in Special issues of different journals mentioned on the entry page of each conference. Submissions will be peer-reviewed, published by IEEE Computer Society Press, posted in IEEE Digital Library, and indexed via all the IEEE indexing agreements. -------------------------------- IARIA Publicity Board ------------------------------- To stop receiving notices about WebTel, please reply with "DROP WebTel event at in.tu-clausthal.de" in the subject field. To receive notices about specific topics only, please reply with "TOPIC CHANGE event at in.tu-clausthal.de" in the subject field, and the specific topics in the email body. To stop receiving any notice, please reply with "UNSUBSCRIBE event at in.tu-clausthal.de" in the subject field. From alexander.friedmann at uqam.ca Mon Dec 8 17:37:08 2008 From: alexander.friedmann at uqam.ca (alex friedmann) Date: Mon, 8 Dec 2008 11:37:08 -0500 Subject: WARNING! (2900068290) In-Reply-To: References: Message-ID: On Sun, Dec 7, 2008 at 10:52 PM, event administration < event-subscribe at in.tu-clausthal.de> wrote: > This is an automated message from the > mailing list manager > > List messages sent to your address have > bounced. > > If you read this message, your mail system has been probably fixed. > > To clear the bounce counter and to prevent automatic cancelation of > your subscription, use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 2900068290, > and the reply is directed to , > and the 'From' address of your reply is . > > All requests about this mailing list > should be sent to > > -- email: alexander.friedmann at uqam.ca en cas de panne UQAM / if problems with this adress please use: alexfri7 at gmail.com -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sofronie at mpi-sb.mpg.de Tue Dec 9 12:19:58 2008 From: sofronie at mpi-sb.mpg.de (Viorica Sofronie-Stokkermans) Date: Tue, 9 Dec 2008 12:19:58 +0100 (CET) Subject: Tableaux 2009: Second CfP Message-ID: <682bba2c5d39a37a9bf8b3e95b73e4fe.squirrel@mail.mpi-inf.mpg.de> [We apologize for multiple copies] %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% %% %% Second Call for Papers, %% %% Call for Tutorials, and %% %% Call for Workshop Proposals %% %% %% %% TABLEAUX 2009 %% %% %% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% International Conference TABLEAUX 2009 Automated Reasoning with Analytic Tableaux and Related Methods Oslo, Norway 6.-10. July 2009 http://tableaux09.ifi.uio.no/ IMPORTANT DATES Workshop & Tutorial submission: Friday, 9. Jan 2009 Workshop & Tutorial notification: Friday 23. Jan Abstract and Title submission: Monday, 19. Jan Paper Submission: Monday, 26. Jan Notification: Tuesday, 24. Mar End of rebuttal phase: Friday, 27. Mar Final Notification: Friday, 3. Apr Final Versions: Friday, 24. Apr Workshops: Monday, 6. July Conference: Tuesday, 7. to Friday, 10. July GENERAL INFORMATION This conference is the 18th in a series of international meetings on Automated Reasoning with Analytic Tableaux and Related Methods. In July 2009, the conference will be held in Oslo, Norway. The conference proceedings will be published in the LNAI series as in the previous editions of the conference. See http://tableaux09.ifi.uio.no/ for more information on TABLEAUX 2009, and http://i12www.ira.uka.de/TABLEAUX for information about the TABLEAUX conference series. Tableaux 2009 will be collocated with FTP 2009, the workshop on First-Order Theorem Proving, see http://www.mpi-inf.mpg.de/~sofronie/ftp09/ 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 2009 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 four categories: A Research papers (reporting original theoretical and/or experimental research, up to 15 pages) B System descriptions (up to 5 pages) C Position papers and brief reports on work in progress D Tutorials in all areas of analytic tableaux and related methods from academic research to applications (proposals 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. After the notification, there will be a rebuttal phase of three days during which the authors of rejected papers will have the opportunity to respond to the reviews. 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 Oslo. Tutorial submissions (Category D) may be at introductory, intermediate, or advanced levels. Novel topics and topics of broad interest are preferred. The submission should include the title, the author, the topic of the tutorial, its level, its relevance to conference topics, and a description of the interest and the scientific contents of the proposed tutorial. Tutorial proposals will be reviewed by members of the program committee. Note that the deadline for tutorial proposals is Friday, 9. Jan 2009. Authors of accepted papers are expected to present their work at the conference. CALL FOR WORKSHOP PROPOSALS TABLEAUX 2009 launches a Call for Workshop Proposal on specialised subjects in the range of the conference topics. We can accept up to 2 proposals. The proposals are reviewed by members of the PC committee. The purpose of a workshop is to offer an opportunity of presenting novel ideas, ongoing research, and to discuss the state of the art of an area in a less formal but more focused way than the conference itself. It is also a good opportunity for young researchers to present their own work and to obtain feedback. The format of a workshop is left to the the organizers, but it is expected to contain significant time for discussion. The intended schedule is for one-day workshops. To submit a workshop proposal, please send a description of one or two pages to the PC chairs by Friday, 9. Jan 2009. STUDENT SPONSORING Apart from significantly reduced conference fees, students will have access to budget accommodation at a rate of about 100 EUR for the whole week. If necessary, we will be able to provide further financing help. Lack of funds should not prevent you from submitting a paper to Tableaux 2009! INVITED SPEAKERS We are pleased to announce that the following speakers have accepted to give invited talks at Tableaux 2009: * Patrick Blackburn, INRIA Nancy, France * Peter Jeavons, Oxford University Computing Laboratory, UK * Pierre Wolper, Université de Liege, France PROGRAM COMMITTEE PC Chairs * Martin Giese, Univ. of Oslo, Norway * Arild Waaler, Univ. of Oslo, Norway PC Members * Peter Baumgartner, NICTA, Canberra, Australia * Bernhard Beckert, Univ. of Koblenz-Landau, Germany * Christoph Benzmüller, Saarland Univ., Saarbrücken, Germany * Marc Bezem, Univ. of Bergen, Norway * Torben Braüner, Roskilde Univ., Denmark * Agata Ciabattoni, TU Wien, Austria * Marta Cialdea Mayer, Univ. of Rome 3, Italy * Stéphane Demri, CNRS, Cachan, France * Roy Dyckhoff, Univ. of St Andrews, Scotland * Ulrich Furbach, Univ. of Koblenz-Landau, Germany * Didier Galmiche, LORIA, Henri Poincaré Univ., Nancy, France * Valentin Goranko, Univ.of the Witwatersrand, Johannesburg, South Africa * Rajeev Goré, The Australian National Univ., Canberra, Australia * Reiner Hähnle, Chalmers Univ., Göteborg, Sweden * Ullrich Hustadt, Univ. of Liverpool, UK * Christoph Kreitz, Univ. Potsdam, Germany * George Metcalfe, Vanderbilt Univ., Nashville, USA * Neil V. Murray, Univ. at Albany - SUNY, USA * Nicola Olivetti, Paul Cézanne University, Marseille, France * Jens Otten, Univ. Potsdam, Germany * Nicolas Peltier, LIG, Grenoble, France * Ulrike Sattler, Univ. of Manchester, UK * Viorica Sofronie-Stokkermans, MPI, Saarbrücken, Germany * Frank Wolter, Univ. of Liverpool, UK ORGANIZING COMMITTEE Conference co-Chairs: * Martin Giese, Univ. of Oslo, Norway * Arild Waaler, Univ. of Oslo, Norway Local organisers: * Terje Aaberge * Roger Antonsen * Roar Fjellheim * Christian M. Hansen * Bjarne Holen (webmaster) * Magdalena Ivanovska * Espen H. Lian * Martin G. Skjæveland * Evgenij Thorstensen From rseba at brenta.disi.unitn.it Fri Dec 5 14:19:31 2008 From: rseba at brenta.disi.unitn.it (Roberto Sebastiani) Date: Fri, 5 Dec 2008 14:19:31 +0100 Subject: FroCoS'09 Call for Papers Message-ID: <20081205131931.GA1300@brenta.disi.unitn.it> ------------------------------------------------------------------------- WE APOLOGIZE IF YOU RECEIVE MULTIPLE COPIES OF THIS MESSAGE ------------------------------------------------------------------------- Call for Papers 7th International Symposium on FRONTIERS OF COMBINING SYSTEMS (FroCoS’09) Trento, Italy, September 16-18th, 2009 http://frocos09.disi.unitn.it/ MOTIVATIONS In various areas of computer science, such as logic, computation, program development and verification, artificial intelligence, knowledge representation, and automated reasoning, there is an obvious need for using specialized formalisms and inference mechanisms for special tasks. In order to be usable in practice, these specialized systems must be combined with each other, and they must be integrated into general purpose systems. The development of general techniques and methods for the combination and integration of special formally defined systems, as well as for the analysis and modularization of complex systems has been initiated in many areas. The International Symposium on Frontiers of Combining Systems (FROCOS) traditionally focuses on this type of research questions and activities and aims at promoting progress in the field. Like its predecessors, FROCOS’09 wants to offer a common forum for research activities in the general area of combination, modularization and integration of systems (with emphasis on logic-based ones), and of their practical use. RELEVANT TOPICS Typical topics of interest include (but are not limited to): * combinations of logics such as combined predicate, temporal, modal, or epistemic logics; * combinations and modularity in ontologies; * combination of decision procedures, of satisfiability procedures, and of CS techniques; * combinations and modularity in term rewriting; * integration of equational and other theories into deductive systems; * combination of deduction systems and computer algebra; * integration of data structures into CLP formalisms and deduction processes; * hybrid methods for deduction, resolution and constraint propagation; * hybrid systems in knowledge representation and natural language semantics; * combined logics for distributed and multi-agent systems; * logical aspects of combining and modularizing programs and specifications. PAPER SUBMISSION Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with refereed proceedings. Selection criteria include accuracy and originality of ideas, clarity and significance of results, and quality of presentation. All submissions will be subject to academic peer review by at least three members of the program committee. For each accepted paper, at least one author is required to attend the conference to present the paper. Papers must be edited in LTEX and be submitted electronically as PDF files via the EasyChair system: http://www.easychair.org/conferences/?conf=frocos09. Prospective authors are required to register a title and an abstract a week before the paper submission deadline (see below). Further information about paper submission will be made available at FROCOS’09 web page. PROCEEDINGS The proceedings of FroCoS’09 will be published by Springer-Verlag in the LNAI/LNCS series. IMPORTANT DATES Abstract submission deadline: April 26th, 2009 Full paper submission deadline: May 3rd, 2009 Notification of acceptance: June 8th, 2009 Camera Ready Copy: June 22th, 2009 Conference: September 16-18th 2009 CHAIRS - Silvio Ghilardi, University of Milano, Italy - Roberto Sebastiani, University of Trento, Italy PROGRAMME COMMITTEE - Franz Baader, T.U. Dresden, Germany - Peter Baumgartner, NICTA, Camberra, Australia - Torben Brauner, Roskilde University, DK - Leonardo de Moura, Microsoft Research, USA - Bernhard Gramlich, T.U. Wien, Austria - Sava Krstic, Intel Corporation, USA - Viktor Kuncak, E.P.F. Lausanne, France - Albert Oliveras, T.U. of Catalonia, Spain - Silvio Ranise, University of Verona, Italy - Christophe Ringeissen, LORIA, Nancy, France - Ulrike Sattler, Univ. of Manchester, UK - Renate Schmidt, Univ. of Manchester, UK - Luciano Serafini, FBK-Irst, Italy - Viorica Sofronie-Stokkermans, MPI, Saarbruken, Germany - Cesare Tinelli, University of Iowa, USA - Frank Wolter, University of Liverpool, UK - Michael Zakharyaschev, London Knowledge Lab, UK From axel.polleres at deri.org Wed Dec 10 00:59:37 2008 From: axel.polleres at deri.org (Axel Polleres) Date: Wed, 10 Dec 2008 00:59:37 +0100 Subject: 2nd CfP: Special Issue of the Journal of Web Semantic (JWS) on "The Web of Data" Message-ID: <493F0669.8000601@deri.org> [apologies for cross-posting, please disseminate] ======================================================================= 2nd CALL FOR PAPERS ======================================================================= Special Issue of the Journal of Web Semantic (JWS) on "The Web of Data" ======================================================================= Guest editors: Axel Polleres and David Huynh http://davidhuynh.net/spaces/jws-si-summer-2009/cfp.html to appear in Summer 2009 As the core of the Semantic Web matures, we see parallel trends such as microformats, RDFa, and Linked Data evolve with it, all of which complementing each other in what we may well call a machine-readable Web. Yet, scalable techniques to deal with this Web of Data in its entirety, i.e. using the "Web as the data base", as the Semantic Web was once envisioned, still misses some important puzzle pieces. Scalability here does not only include the ability to handle amounts of data at Web scale in terms of actual data processing, but also human-scalable and user-friendly tools that open the Web of Data to the current Web user. This special issue shall encompass the recent trends of the "traditional" Web and the Semantic Web converging into the Web of Data. Topics include (but are not limited to): ======================================== * Querying the Web of Data * Searching and Browsing the Web of Data * Reasoning for the Web of Data * Using models of provenance and trust * Probabilistic models for data integration * Strategies for dealing with the natural inconsistencies on the Web * Populating the Web of Data (information retrieval, linked data, automatic annotation, deep Web crawling, etc.) * Principles and Structure of the Web of Data * Data Models for the Web - RDF & its "alternatives" (GRDDL, RDFa, microformats,etc.) * Personal/personalized Web of Data (particularly, consumer-oriented products) * Tools & Mash-ups * Web of Data vs. Web 2.0 * Web of Data and Social Networks * The Web of Data as a New Medium * Practical Stepping Stones & Strategies Towards the Web of Data Particularly, for the first three items we solicit contributions which for instance (i) push the boundaries of scale towards Web size, (ii) suggest novel ranking techniques for the Web of data, or (iii) deal with the evolutionary and structural characteristics of the Web of Data. We also solicit reports on novel applications using the Web of Data, as well as strategic and practical contributions with the potential to drive the idea of the Web of Data forward. Submission guidelines: ====================== The Journal of Web Semantics solicits original scientific contributions of high quality. Following the overall mission of the journal, we emphasize the publication of papers that combine theories, methods and experiments from different subject areas in order to deliver innovative semantic methods and applications. The publication of large-scale experiments and their analysis is also encouraged to clearly illustrate scenarios and methods that introduce semantics into existing Web interfaces, contents and services. Submission of your manuscript is welcome provided that it, or any translation of it, has not been copyrighted or published and is not being submitted for publication elsewhere. Upon acceptance of an article, the author(s) will be asked to transfer copyright of the article to the publisher. This transfer will ensure the widest possible dissemination of information. Manuscripts should be prepared for publication in accordance with instructions given in the "Guide for Authors" (available from the publisher), details of which can be found at: http://www.elsevier.com/wps/find/journaldescription.cws_home/671322/authorinstructions The submission and review process will be carried out using Elsevier's Web-based EES system, cf. http://ees.elsevier.com/jws/default.asp Final decisions of accepted papers will be approved by an editor in chief. Important Dates: ================ We aim at an efficient publication cycle in order to guarantee up-to-dateness of the published results. We will review papers on a rolling basis as they are submitted and explicitly encourage submissions well before the final deadline. Submission deadline: 21 January 2009 Reviews due: 18 March 2009 Notification: 30 March 2009 Final version submitted: 27 April 2009 Publication: July 2009 About the Journal of Web Semantics: =================================== The Journal of Web Semantics is published by Elsevier since 2003. It is an interdisciplinary journal based on research and applications of various subject areas that contribute to the development of a knowledge-intensive and intelligent service Web. These areas include: knowledge technologies, ontology, agents, databases and the semantic grid, obviously disciplines like information retrieval, language technology, human-computer interaction and knowledge discovery are of major relevance as well. All aspects of the Semantic Web development are covered. Editors-in-Chief: Tim Finin, Riichiro Mizoguchi, Steffen Staab For all editors information, see http://www.elsevier.com/wps/find/journaleditorialboard.cws_home/671322/editorialboard The Journal of Web Semantics offers to its authors and readers: * Free availability of papers on the Web at http://www.semanticwebjournal.org/ * Professional support with publishing by Elsevier staff * Indexed by Thomson-Reuters web of science * Impact factor 3.41: the third highest out of 92 titles in Thomson-Reuters' category "Computer Science, Information Systems" For any further questions regarding the special issue (appropriateness of your contribution, editorial issues, etc.), please feel free to contact the guest editors: Axel Polleres (axel.polleres at deri.org) David Huynh (dfhuynh at alum.mit.edu) From a.artikis at gmail.com Thu Dec 11 13:15:35 2008 From: a.artikis at gmail.com (Alexander Artikis) Date: Thu, 11 Dec 2008 14:15:35 +0200 Subject: CFP: COIN@AAMAS 2009 Message-ID: <130ef5930812110415w132d6842i8e616cdb9d11bd82@mail.gmail.com> Apologies for cross-posting. ============================================================ CALL FOR PAPERS ============================================================ "Coordination, Organization, Institutions and Norms" (COIN) May 2009 A satellite workshop of AAMAS 2009 http://www.csd.abdn.ac.uk/coin at aamas2009 AIMS & SCOPE: ============= Multi-agent systems (MAS) are complex artifacts in which a multitude of autonomous software agents interact, pursuing individual and/or collective goals. Such a view usually assumes some form of organization, a set of norms or conventions that articulate or restrain interactions in order to enable agents to achieve their goals. The engineering of effective coordination or regulatory mechanisms is a key problem for the design of open, complex MAS. In recent years, social and organizational aspects of agency have become a major issue in MAS research, especially in applications for Service-Oriented Computing, Grid Computing and Ambient Intelligence. These applications enforce the need for using social and organizational aspects in order to ensure social order. Openness of MAS poses new demands on traditional MAS interaction models. Therefore, the view of coordination and control has to be expanded to consider not only an agent-centric perspective but also societal and organization-centric views. The workshop aims to bring together the topics of Coordination, Organization, Institutions and Norms. These topics have become an established area of agent research and a significant number of influential papers on these topics have been appearing in AAMAS and other agent conferences and workshops. The series of COIN workshops are thus aimed at consolidating and expanding the subject by providing focused events in which researchers from different communities participate. THEMES & TOPICS: ================ Topics of interest for COIN at AAMAS09 include (but are not limited to): -Modeling (dynamic) multi-agent organizations. -Agent communities, electronic institutions and virtual organizations. -Languages for norms: expressiveness VS efficiency. -Norms, institutions and organizations: authority, (institutional) power, sanctions, contracts, trust, reputation. -Issues in regulated MAS implementation. -Simulation, analysis and verification of (dynamic) regulated MAS. -Scaling and control issues in (dynamic) agent organizations. -Organized Adaptation of regulated MAS: protocols and frameworks, -Models of norm (law, policy) change: norm revision, conflict detection, norm updates. -Legal implications of organized adaptation. COIN at AAMAS09 merges the COIN workshop series with the workshop on Organized Adaptation for Multi-Agent Systems (OAMAS). Therefore, *papers that explore the dynamic aspects of norms, organizations and institutions are particularly welcome* in COIN at AAMAS09. IMPORTANT DATES: ================ Submission Deadline : January 25, 2009 Notification: February 25, 2009 Final Version Submission Deadline: March 5, 2009 PROCEEDINGS & SUBMISSION: ========================= Informal proceedings will be available at the workshop. As with previous COIN workshops, selected, revised and extended versions of the papers of the 2009 COIN editions will be published in a single Springer LNCS volume. The length of each paper, including figures and references, may not exceed 16 pages. Further formatting guidelines and instructions on how to submit a paper may be found at the workshop web page. From rseba at brenta.disi.unitn.it Thu Dec 11 23:07:43 2008 From: rseba at brenta.disi.unitn.it (Roberto Sebastiani) Date: Thu, 11 Dec 2008 23:07:43 +0100 Subject: FroCoS'09 Call for Papers Message-ID: <20081211220743.GA14356@brenta.disi.unitn.it> ------------------------------------------------------------------------- WE APOLOGIZE IF YOU RECEIVE MULTIPLE COPIES OF THIS MESSAGE ------------------------------------------------------------------------- Call for Papers 7th International Symposium on FRONTIERS OF COMBINING SYSTEMS (FroCoS’09) Trento, Italy, September 16-18th, 2009 http://frocos09.disi.unitn.it/ MOTIVATIONS In various areas of computer science, such as logic, computation, program development and verification, artificial intelligence, knowledge representation, and automated reasoning, there is an obvious need for using specialized formalisms and inference mechanisms for special tasks. In order to be usable in practice, these specialized systems must be combined with each other, and they must be integrated into general purpose systems. The development of general techniques and methods for the combination and integration of special formally defined systems, as well as for the analysis and modularization of complex systems has been initiated in many areas. The International Symposium on Frontiers of Combining Systems (FROCOS) traditionally focuses on this type of research questions and activities and aims at promoting progress in the field. Like its predecessors, FROCOS’09 wants to offer a common forum for research activities in the general area of combination, modularization and integration of systems (with emphasis on logic-based ones), and of their practical use. RELEVANT TOPICS Typical topics of interest include (but are not limited to): * combinations of logics such as combined predicate, temporal, modal, or epistemic logics; * combinations and modularity in ontologies; * combination of decision procedures, of satisfiability procedures, and of CS techniques; * combinations and modularity in term rewriting; * integration of equational and other theories into deductive systems; * combination of deduction systems and computer algebra; * integration of data structures into CLP formalisms and deduction processes; * hybrid methods for deduction, resolution and constraint propagation; * hybrid systems in knowledge representation and natural language semantics; * combined logics for distributed and multi-agent systems; * logical aspects of combining and modularizing programs and specifications. PAPER SUBMISSION Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with refereed proceedings. Selection criteria include accuracy and originality of ideas, clarity and significance of results, and quality of presentation. All submissions will be subject to academic peer review by at least three members of the program committee. For each accepted paper, at least one author is required to attend the conference to present the paper. Papers must be edited in LTEX and be submitted electronically as PDF files via the EasyChair system: http://www.easychair.org/conferences/?conf=frocos09. Prospective authors are required to register a title and an abstract a week before the paper submission deadline (see below). Further information about paper submission will be made available at FROCOS’09 web page. PROCEEDINGS The proceedings of FroCoS’09 will be published by Springer-Verlag in the LNAI/LNCS series. IMPORTANT DATES Abstract submission deadline: April 26th, 2009 Full paper submission deadline: May 3rd, 2009 Notification of acceptance: June 8th, 2009 Camera Ready Copy: June 22th, 2009 Conference: September 16-18th 2009 CHAIRS - Silvio Ghilardi, University of Milano, Italy - Roberto Sebastiani, University of Trento, Italy PROGRAMME COMMITTEE - Franz Baader, T.U. Dresden, Germany - Peter Baumgartner, NICTA, Camberra, Australia - Torben Brauner, Roskilde University, DK - Leonardo de Moura, Microsoft Research, USA - Bernhard Gramlich, T.U. Wien, Austria - Sava Krstic, Intel Corporation, USA - Viktor Kuncak, E.P.F. Lausanne, Switzerland - Albert Oliveras, T.U. of Catalonia, Spain - Silvio Ranise, University of Verona, Italy - Christophe Ringeissen, LORIA, Nancy, France - Ulrike Sattler, Univ. of Manchester, UK - Renate Schmidt, Univ. of Manchester, UK - Luciano Serafini, FBK-Irst, Italy - Viorica Sofronie-Stokkermans, MPI, Saarbruken, Germany - Cesare Tinelli, University of Iowa, USA - Frank Wolter, University of Liverpool, UK - Michael Zakharyaschev, London Knowledge Lab, UK From csoares at fep.up.pt Fri Dec 12 11:41:48 2008 From: csoares at fep.up.pt (Carlos Soares) Date: Fri, 12 Dec 2008 10:41:48 +0000 Subject: [Fwd: FW: Call for papers Joclad 2009] Message-ID: <49423FEC.7010009@fep.up.pt> Please, distribute. Carlos *Subject:* Call for papers Joclad 2009 **XVI Classification and Data Analysis Journeys (JOCLAD 2009), ** **Faro (Portugal),** ** 2- 4 ****April 2009** http://www.fct.ualg.pt/joclad2009 Abstracts submission deadline: 09 February 2009/ Early registration deadline: 28 February 2009 Dear colleague, We are pleased to invite you to participate and submit abstracts to JOCLAD 2009 in order to share your achievements in the field **Classification and Data Analysis that for the first time will be held in Algarve, the warm south cost of Portugal**. JOCLAD 2009 is an opportunity to meet other researchers, make new contacts that will emphasize interdisciplinary research and interaction between theory and practise. This meeting in specially dedicated to Health Sciences and Tourism thematic. *_PUBLICATIONS_*__ The contributions for presentation should be presented in a form of extended abstract 2-4 pages to be considered for publication in the Conference Proceedings Book. Paper length: 2-4 printed pages - *see template at http*://www.fct.ualg.pt/joclad2009/JOCLAD2009/Comunicacoes_files/JOCLAD2009_Template_Abstract.doc The authors of the best research papers presented at the Conference will be invited to submit extended versions of their manuscripts for publication in some special issues of collaborating journals which will be announced later. *_KEY DATES_*__ - 14 February 2009: Deadline for extended abstracts submission - 25 February 2009: Notification of acceptance - 28 February 2009: Early Registration Deadline - 12 March 2009: Deadline for extended abstracts final version *_INVITED SPEAKERS include_* * Michael Greenacre Universitat Pompeu Fabra, Barcelona * Purificación Galindo Villardón Departamento de Estadística, Universidad de Salamanca * Miguel Angel Fajardo Caldera Departamento de Estadística y Economía, Universidad de Extremadura * Purificación Vicente Galindo Departamento de Estadística, Universidad de Salamanca * Teresa Bago d’Uva Department of Applied Economics, Erasmus School of Economics, Erasmus University Rotterdam *_SHORT COURSES_* In addition to the oral and posters presentations, two short courses will take place: *_TOPICS_*__ The conference program will be structured in sessions, which will cover a wide range of topics: · Actuarial Science and Insurance · Applications and Methods in Official Statistics · Applications and Methods for Industry · Bayesian Methods · Biostatistics · Business Intelligence · Categorical Data Analysis · Classification and Discrimination · Clinical Trials · Clustering · Conjoint Analysis · Data Mining · Design of Experiments · Dimensionality Reduction · Econometrics · Environmental Statistics · Functional Data Analysis · Graphics and Data Visualization · Image and Signal Processing · Imprecise Data and Fuzzy Methods · Internet Based Methods · Machine Learning · Matrix Computations and Statistics · Metadata and Data Representation · Microarray Data Analysis · Multivariate Data Analysis · Neural Networks and Genetic Algorithms · Nonparametric Statistics and Smoothing · Optimization Algorithms · Partial Least Squares · Pattern Recognition · Quantitative Finance · Resampling Methods · Risk analysis · Robustness · Simulation · Software Evaluation · Spatial Statistics · Statistical Databases · Statistical Education and Web Based Teaching · Statistics for Medical Diagnosis · Statistical Matching and Data Imputation · Statistical Methods for Market Analysis · Statistical Software · Statistics in Finance · Support Vector Machine · Symbolic Data Analysis · Textual Data Analysis and Information Retrieval · Time Series Analysis · Web Mining For any questions or suggestions, please do not hesitate to contact us at joclad2009 at gmail.com We would also appreciate if could disseminate this invitation and Call for Papers through your Department or Institution. We look forward to seeing you in Faro. Filipe Barros JOCLAD2009 Secretariat E-mail: joclad2009 at gmail.com http://www.fct.ualg.pt/joclad2009 Phone: +351 934271230 Fax: +351 289 800 066 From qapl09 at tcs.inf.tu-dresden.de Fri Dec 12 16:28:34 2008 From: qapl09 at tcs.inf.tu-dresden.de (QAPL 2009) Date: Fri, 12 Dec 2008 16:28:34 +0100 Subject: QAPL 2009 Call for Papers Message-ID: <49428322.7Q36HESls/2snFmF%qapl09@tcs.inf.tu-dresden.de> ****************************************************************************** [Apologies for multiple copies] ******************************************************************************* CALL FOR PAPERS Seventh Workshop on Quantitative Aspects of Programming Languages (QAPL 2009) Affiliated with ETAPS 2009 March 28-29, 2009, York, UK http://wwwtcs.inf.tu-dresden.de/ALGI/qapl09/ ******************************************************************************* SCOPE: Quantitative aspects of computation are important and sometimes essential in characterising the behavior and determining the properties of systems. They are related to the use of physical quantities (storage space, time, bandwidth, etc.) as well as mathematical quantities (e.g. probability and measures for reliability, security and trust). Such quantities play a central role in defining both the model of systems (architecture, language design, semantics) and the methodologies and tools for the analysis and verification of system properties. The aim of this workshop is to discuss the explicit use of quantitative information such as time and probabilities either directly in the model or as a tool for the analysis of systems. In particular, the workshop focuses on: * the design of probabilistic, real-time, quantum languages and the definition of semantical models for such languages * the discussion of methodologies for the analysis of probabilistic and timing properties (e.g. security, safety, schedulability) and of other quantifiable properties such as reliability (for hardware components), trustworthiness (in information security) and resource usage (e.g., worst-case memory/stack/cache requirements) * the probabilistic analysis of systems which do not explicitly incorporate quantitative aspects (e.g. performance, reliability and risk analysis) * applications to safety-critical systems, communication protocols, control systems, asynchronous hardware, and to any other domain involving quantitative issues TOPICS: Topics include (but are not limited to) probabilistic, timing and general quantitative aspects in: Language design, Information systems, Asynchronous HW analysis, Language extension, Multi-tasking systems, Automated reasoning, Language expressiveness, Logic, Verification, Quantum languages, Semantics, Testing, Time-critical systems, Performance analysis, Safety, Embedded systems, Program analysis, Risk and hazard analysis, Coordination models, Protocol analysis, Scheduling theory, Distributed systems, Model-checking, Security, Biological systems, Concurrent systems, ... INVITED SPEAKER: * Vincent Danos, Universite Paris Diderot - Paris 7, France. * Jane Hillston, University of Edinburgh, UK. SUBMISSIONS: In order to encourage participation and discussion, this workshop solicits two types of submissions - regular papers and presentations: 1. Regular paper submissions must be original work, and must not have been previously published, nor be under consideration for publication elsewhere. Regular paper submission must not exceed 15 pages, possibly followed by a clearly marked appendix which will be removed for the proceedings and contains technical material for the reviewers. 2. A presentation reports on recent or ongoing work on relevant topics and ideas, for timely discussion and feedback at the workshop. There is no restriction as for previous/future publication of the contents of a presentation. Typically, a presentation is based on a paper which recently appeared (or which is going to appear) in the proceedings of another recognized conference, or which has not yet been submitted. The (extended) abstract of presentation submissions should not exceed 4 pages. All submissions must be in PDF format and use the ENTCS style files. Submissions can be made on the following website: www.easychair.org/conferences/?conf=qapl09 The program co-chairs can be contacted at: qapl09chairs at tcslist.inf.tu-dresden.de The workshop PC will review all submissions of both types to select appropriate ones for acceptance in each category, based on their relevance, merit, originality, and technical content. The authors of the accepted submissions of both types are expected to present and discuss their work at the workshop. Accepted regular papers will be published in Elsevier's ENTCS. Publication of a selection of the papers in a special issue of a journal is under consideration. For regular papers: Submission (title + abstract): December 18, 2008 Submission (regular paper): December 20, 2008 Notification: January 28, 2009 Final version (ETAPS proceedings): February 2, 2009 Final version (ENTCS proceedings): TBA For presentations: Submission: January 28, 2009. Notification: January 31, 2009. ORGANIZATION: PC Chairs: * Alessandra Di Pierro, University of Verona, Italy * Christel Baier, University of Dresden, Germany. Program Committee: * Alessandro Aldini, University of Urbino, Italy * Christel Baier, University of Dresden, Germany * Nathalie Bertrand, IRISA/INRIA Rennes, France * Patricia Bouyer, Oxford University, UK * Jeremy Bradley, Imperial College London, UK * Tomas Brazdil, Masaryk University, Czech Republic * Flavio Corradini, University of Camerino, Italy * Josee Desharnais, University of Laval, Canada * Alessandra Di Pierro, University of Verona, Italy * Maurizio Gabbrielli, University of Bologna, Italy * Marcus Groesser, Technical University Dresden, Germany * Cosimo Laneve, University of Bologna, Italy * Mieke Massink, NR-ISTI Pisa, Italy * Paulo Mateus, Technical University of Lisbon, Portugal * Annabelle McIver, Maquarie University, Australia * Gethin Norman, Oxford University, UK * Jeremy Sproston, University of Torino, Italy * Franck van Breugel, York University, Toronto, Canada * Herbert Wiklicky, Imperial College London, UK From reiner at chalmers.se Fri Dec 12 18:19:49 2008 From: reiner at chalmers.se (=?ISO-8859-15?Q?Reiner_H=E4hnle?=) Date: Fri, 12 Dec 2008 18:19:49 +0100 (CET) Subject: Two senior positions Software Engineering at Chalmers University, Sweden Message-ID: TWO POSITIONS AS ASSOCIATE PROFESSOR/SENIOR LECTURER IN SOFTWARE ENGINEERING AT CHALMERS UNVERSITY OF TECHNOLOGY, GOTHENBURG, SWEDEN Reference number 2008/254 Application deadline January 12, 2009. The positions are placed at at the Department of Computer Science and Engineering. The department is strongly international, with ca 75 faculty and 70 PhD students from 30 countries. The positions are placed in the division of software Engineering and Technology (SET). Within the SET division, research ranges from programming languages and formal methods in software engineering, via software construction to empirical research on quality assurance and cost estimation for software. The department includes further strong groups within related fields of CSE; See http://www.chalmers.se/cse/EN for an overview. We are also part of the IT university in Gothenburg, a centre formed by Chalmers and University of Gothenburg to strengthen teaching, research and industry collaboration in IT in the Gothenburg region. Software Engineering is a strategic part of this effort and activities in the field are envisaged to grow further. Local industry with a strong interest in software engineering includes Ericsson, Volvo Cars, Volvo Technology and Saab. Hence, the positions offer ample opportunities for interaction with industry. Job description --------------- The positions are full time tenure appointments and involve research, supervision of PhD students and teaching, mainly in the master program Software Engineering and Technology, which admits 60 students per year. This program has both Swedish and international students and is taught in English. Duties also include academic leadership and management roles. Expected Qualifications ----------------------- Applicants for the position should have a strong academic record in Software Engineering. In particular, we are looking for researchers with a background in software architecture, but also welcome applications from people working in other fields of software engineering, such as software requirements, design, processes, validation, testing and maintenance. The applicant should be able to collaborate with industrial, academic and governmental partners and also be capable of successfully applying for external grants for the research. Documented experience of collaboration with industry is an advantage. To be appointed Associate Professor, the applicant must have been qualified for the Swedish docent level (in Swedish "oavlonad docent"). If the applicant has not yet reached that qualification level, the position is designated Senior Lecturer. In that case the applicant is expected to become "oavlonad docent" within a few years and is then promoted to Associate Professor. Knowledge of Swedish is not a prerequisite since English is our working language for research and master level teaching. Further information ------------------- Head of department: Catarina Coquand, tel. +46 (0)31 772 1067, email: Catarina at chalmers.se Application procedure --------------------- The application shall be sent electronically, using a web form at http://www.chalmers.se/cse/EN/news/vacancies/positions/two-positions-as There you will also find details about form and content of the application. From leucker at in.tum.de Mon Dec 15 12:14:49 2008 From: leucker at in.tum.de (Martin Leucker) Date: Mon, 15 Dec 2008 12:14:49 +0100 Subject: CfP: ICTAC'09 Message-ID: <20081215111449.GA20265@lapbroy101> Our apology for possible multiple copies. ---------------------------------------------------------------------- ICTAC'09 6th International Colloquium on Theoretical Aspects of Computing *** CALL FOR PAPERS *** Equatorial Hotel Bangi, Malaysia University Kebangsaan Malaysia (UKM) August 16th - 20th 2009 http://www.ictac.net/ictac09/ ---------------------------------------------------------------------- The 6th International Colloquium on Theoretical Aspects of Computing is taking place from the 16th till the 20th of August 2009 in Kuala Lumpur, Malaysia. ICTAC'09 is organized by Abdullah Mohd Zin, Universiti Kebangsaan Malaysia and Jeff Sanders, United Nation University, Institute of Software Technology, Macao. The PC is chaired by Martin Leucker (TU Munich) and Carroll Morgan (UNSW). Visit http://www.ictac.net/ictac09 for a preliminary web page. About ICTAC 2009 ---------------- ICTAC 2009 is the 6th International Colloquium on Theoretical Aspects of Computing, the latest in a series founded by the International Institute for Software Technology of the United Nations University (UNU-IIST). The main purpose of ICTAC is to bring together practitioners and researchers from academia, industry and government to present research and to exchange ideas and experience addressing challenges in both theoretical aspects of computing and in the exploitation of theory through methods and tools for system development. The previous four ICTAC events were held in Guiyang, China (2004), Hanoi, Vietnam (2005), Tunis, Tunisia (2006), Macau (2007) and Istanbul (2008). Workshops --------- The main conference is surrounded by workshops and a summer school. See the web page for more details. Invited Speakers ---------------- Zuohua Ding Zhejiang Sci-Tech University Leslie Lamport Microsoft Annabelle McIver Macquarie University Sriram Rajamani Microsoft Scope ----- Topics include, but are not limited to: * software specification, refinement, verification and testing * model checking and theorem proving * software architectures * coordination and feature interaction * integration of theories, formal and engineering methods and tools * models of concurrency, security, and mobility * parallel, distributed, and internet-based (grid) computing * real-time, embedded and hybrid systems * automata theory and formal languages * principles and semantics of languages * logics and their applications * type and category theory in computer science * case studies, theories, tools and experiments of verified systems * service-oriented architectures: models and development methods * domain modelling and domain-specific technology: examples, frameworks and experience Paper Submissions ----------------- ICTAC 2009 calls for two types of contributions: RESEARCH PAPERS and TOOL DEMONSTRATION PAPERS. Both types of contributions will appear in the LNCS proceedings and have oral presentations at the conference. Papers should be written in English in LNCS format. RESEARCH PAPERS: Research papers should contain original research, and sufficient detail to assess the merits and relevance of the contribution. Submissions reporting on industrial case studies are welcome, and should describe both strengths and weaknesses in sufficient depth. Research papers should be no more than 15 pages. TOOL DEMONSTRATION PAPERS: Tool demonstration papers present tools based on aforementioned theories or fall into the above application areas. Tool demonstration papers allow researchers to stress the technical and practical side, illustrating how one can apply the theoretic contributions in practice. Tool demonstration papers should be no more than 6 pages. As usual, submissions to the conference must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. Submission constitutes a commitment to attend and present a paper, if accepted. Proceedings of ICTAC 2009 will be published by Springer in the LNCS series. Important Dates --------------- Abstract Submission: 6 April 2009 Submission of Papers: 10 April 2009 Notification of acceptance: 25 May 2009 Final copy for proceedings: 1 June 2009 ICTAC 2009: 16 - 20 August 2009 Committees ---------- General Chair ------------- Abdullah Mohd Zin Universiti Kebangsaan Malaysia Jeff Sanders United Nation University, Institute of Software Technology, Macao Program Chairs -------------- Martin Leucker Technische Universität München, Germany Carroll Morgan University of New South Wales Local Organizing Committee -------------------------- Zarina Shukur, Universiti Kebangsaan Malaysia (Chairperson) Nazlia Omar Syahanim Mohd Salleh Program Committee ----------------- Parosh Abdulla Uppsala University, Schweden Keijiro Araki Kyushu University, Japan Farhad Arbab Leids University, The Netherlands Christel Baier Technical University of Dresden, Germany Mario Bravetti Universita di Bologna, Italian Ana Cavalcanti University of York, England Van Hung Dang United Nations University, Macao David Deharbe Federal University of Rio Grande do Norte, Brazil Wei Dong Zhejiang University, China Deepak D'Souza Indian Institute of Science, India John Fitzgerald Newcastle Uiversity, England Wan Fokkink Vrije University Amsterdam, The Netherlands Marcelo Frias University of Buenos Aires, Argentina Kokichi Futatsugi JAIST, Japan Paul Gastin LSV/ENS Cachan, France Susanne Graf VERIMAG, France Lindsay Groves Victoria University of Wellington, New Zealand Anne Haxthausen Technical University of Denmark, Denmark Moonzoo Kim KAIST, South Korea Kim G. Larsen Aalborg University, Denmark Insup Lee University of Pennsylvania, USA Martin Leucker TU Munich, Germany Kamal Lodaya Institute of Mathematical Sciences, India Larissa Meinicke Abo Akademi, Finland Ugo Montanari University of Pisa, Italian Carroll Morgan University of New South Wales, Australia Ahmed Patel Universiti Kebangsaan Malaysia, Malaysia Pekka Pihlajasaari Cadence Research Labs, USA Abhik Roychoudhury National University of Singapore, Singapore Hassen Saidi SRI International, USA Augusto Sampaio Universidade Federal de Pernambuco, Brazil Cesar Sanchez IMDEA, Spain Marjan Sirjani University of Tehran, Iran Sofiene Tahar Concordia University, Canada Serdar Tasiran Koc University, Turkey Helmut Veith Technical University Darmstadt, Germany Mahesh Viswanathan University of Illinois at Urbana, USA Tomas Vojnar Brno University of Technology, Czech Republic Ji Wang Zhejiang University, China Jim Woodcock University of York, England Husnu Yenigun Sabanci University, Turkey Naijun Zhan Chinese Academy of Sciences, China Huibiao Zhu East China Normal University, China Steering Committee ------------------ John Fitzgerald University of Newcastle upon Tyne, UK Martin Leucker Technische Universität München, Germany Zhiming Liu (Chair) UNU-IIST, Macao Tobias Nipkow Technische Universität München, Germany Augusto Sampaio Universidade Federal de Pernambuco, Brazil Natarajan Shankar SRI, USA Jim Woodcock University of York, UK From Jean-Pierre.Briot at lip6.fr Mon Dec 15 18:22:12 2008 From: Jean-Pierre.Briot at lip6.fr (Jean-Pierre Briot) Date: Mon, 15 Dec 2008 15:22:12 -0200 Subject: Initial Call for Papers - ProMAS'09 International Workshop - Programming Multi-Agent Systems Message-ID: <251CC9D2-6ED5-4E39-BBF3-B50DD6BE2C2D@lip6.fr> ** sorry for possible duplications ** ------------------------------------------------------------------------ -- Call for Papers =================== Sixth international Workshop on Programming Multi-Agent Systems (ProMAS'09) ProMAS'09 is a satellite workshop at AAMAS 2009 Budapest, Hungary, 10-15 May 2009 Even though the contributions of the multi-agent systems (MAS) community can make a significant impact in the development of open distributed systems, the techniques resulting from such contributions will only be widely adopted when suitable programming languages and tools are available. Furthermore, such languages and tools must incorporate those techniques in a principled but practical way, so as to support the ever more complex task of professional programmers, in particular when the systems have to operate in dynamic environments. The ProMAS workshop series aims to address the practical programming issues related to developing and deploying multi-agent systems. In particular, ProMAS aims to address how multi-agent systems designs or specifications can be effectively implemented. In its previous editions, ProMAS constituted an invaluable occasion 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. 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. Specific topics 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 - Implementation of social and organisational 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 Grid-based applications - Programming MAS for the Semantic Web - Deployed (industrial-strength) MAS - Benchmarks and testbeds for comparing MAS languages and tools - Integration of agent and mainstream technology Important Dates: ---------------- ** IMPORTANT: These are prospective dates only... ** ** Exact dates will be soon finalized by AAMAS Conference ** Paper submission deadline: 25 January, 2009 Notifications of acceptance/rejection: 25 February, 2009 Camera-ready copies due: 12 March, 2009 Workshop Date: 10th/11th May, 2009 (TBA) Submission Details: ------------------- Authors should submit their papers via a conference management system. Papers should be formatted using Springer LNCS style (http://www.springer.de/comp/lncs/authors.html) and have a maximum of 15 pages. Accepted papers will be published as a technical report and distributed among participants during the workshop. As was the case for previous editions of the ProMAS workshop, we are planning to publish extended versions of selected papers as a volume of the Lecture Notes in Computer Science series by Springer-Verlag. Programme Committee: -------------------- ** NOTE: PC Member list incomplete ** ** Responses to some invitations still pending ** Matteo Baldoni (University of Torino, Italy) Juan Botia Blaya (University of Murcia, Spain) Guido Boella (University of Torino, Italy) Olivier Boissier (Ecole des Mines de St Etienne, France) Keith Clark (Imperial College, UK) Ian Dickinson (HP Labs, UK) Michael Fisher (University of Liverpool, UK) Dominic Greenwood (Whitestein Technologies, Switzerland) James Harland (RMIT, Australia) Koen Hindriks (Delft University of Technology, The Netherlands) Benjamin Hirsch (Technical University of Berlin, Germany) Jomi Hubner (State University of Blumenau, Brazil) Joao Leite (University Nova de Lisboa, Portugal) Viviana Mascardi (Genova University, Italy) John-Jules Meyer (Utrecht University, The Netherlands) David Morley (SRI, USA) Jorg Muller (Clausthal University of Technology, Germany) Peter Novak (Clausthal University of Technology, Germany) Andrea Omicini (University of Bologna, Italy) Frederic Peschanski (LIP6, France) Michele Piunti (CNR, Italy) Alexander Pokahr (University of Hamburg, Germany) Alessandro Ricci (University of Bologna, Italy) Birna van Riemsdijk (Ludwig-Maximilians-University, Germany) Munindar Singh (North Carolina State University, USA) Kostas Stathis (City University London, UK) Leon van der Torre (University of Luxembourg, Luxembourg) Cao-Son Tran (New Mexico State University, USA) Yingqian Zhang (Delft University of Technology, The Netherlands) Organising Committee: --------------------- Lars Braubach (University of Hamburg, Germany) Jean-Pierre Briot (LIP6, France) John Thangarajah (RMIT University, Australia) Steering Committee: --------------------- - Rafael Heitor Bordini, University of Durham, United Kingdom - Dr. Mehdi Dastani, Utrecht University, The Netherlands - Prof. Jurgen Dix, Clausthal University of Technology, Germany - Prof. Amal El Fallah Seghrouchni, University of Paris VI, France ------------------------------------------------------------------------ -- From costanza at hum.ku.dk Tue Dec 16 08:54:25 2008 From: costanza at hum.ku.dk (Costanza Navarretta) Date: Tue, 16 Dec 2008 08:54:25 +0100 Subject: subscribe Message-ID: <857A4D84DE6D1D41837DD9284F2729AB07A2E447@exchangesrv1.hum2005.hum.ku.dk> From costanza at cst.dk Tue Dec 16 08:52:44 2008 From: costanza at cst.dk (Costanza Navarretta) Date: Tue, 16 Dec 2008 08:52:44 +0100 Subject: Kein Betreff Message-ID: <49475E4C.2040901@cst.dk> From costanza at hum.ku.dk Tue Dec 16 09:35:10 2008 From: costanza at hum.ku.dk (Costanza Navarretta) Date: Tue, 16 Dec 2008 09:35:10 +0100 Subject: 2114815760 In-Reply-To: References: Message-ID: <857A4D84DE6D1D41837DD9284F2729AB07A2E4CD@exchangesrv1.hum2005.hum.ku.dk> From Marc.Denecker at cs.kuleuven.be Tue Dec 16 17:11:49 2008 From: Marc.Denecker at cs.kuleuven.be (Marc Denecker) Date: Tue, 16 Dec 2008 17:11:49 +0100 Subject: ASP-competition Message-ID: <4947D345.1070409@cs.kuleuven.be> Dear ASP, CP, SAT or SMT-researcher, The second ASP-competition will take place in the first half of 2009 and will be run on a pool of linux machines of the DTAI-research group of the K.U.Leuven, Belgium. Details on the competition will be available on the website http://www.cs.kuleuven.be/~dtai/ASP-competition. Just like the first ASP-competition (http://asparagus.cs.uni-potsdam.de/contest/), it will be a SAT-competition-like event. However, there will be only one problem category : "Model and Solve" ; and the competition is open for any kind of solver and language. This is a chance for each community to show the strenght of its applications and solvers and to challenge the other communities. For more details of the competition see below. A rought time table for the competition is below (subject to change): - Until 15/02/2000: submission and selection of benchmark problems - From 15/02/2009 till 1/5/2009: start of "dry-run" periode. Participants install and test their solvers and programs on the K.U.Leuven pool - 1/5/2009: Start of the tests. - 15/9/2009: announcement of the results at the LPNMR09 conference, Potsdam, 14-18 September, (http://www.cs.uni-potsdam.de/lpnmr09/) The first phase of the competition is the collection of benchmarks. This contest cannot be organized without some help of the research community. In the first place, we are looking for people that can contribute in creating a representative collection of benchmark problems and would be willing to provide support for these. In particular, we sollicit for the following: - benchmark problems: decision or optimization problems (see below) - a test program that can verify if a computed witness is a correct solution for the problem (and, in case of an optimisation problem, the program should be able to compute the "quality" of the answer) - a set of instances for the problem, for use during the dry-run and for the contest itself. - preferably a demonstration that the benchmark problem can effectively be solved. If you could contribute such a problem, we would be most grateful. You can forward your problems to marcd [ at ] cs.kuleuven.be Here follow some further details. The competition is a simple "Model and Solve" competition: - A number of benchmark problems will be made available on the website of the contest. The benchmark problems are search or optimisation problems. They will be specified in (non-ambiguous) natural language. - Each participating team will submit a solver and a set of theories/programs modeling and solving each benchmark problem. During a "dry-run" period prior to the competition, each team will be able to install and test their solver+programs on a number of instances that will be provided for this purpose. - In case of a search problem, a system will return either "Unsatisfiable" or "Satisfiable". In the latter case, the system should also generate a witness for the problem. The input problem instances of each benchmark problem, will be presented in the form of a set of atoms in a predefined input vocabulary. A witness will be represented in a similar format, as a set of atoms in some predefined output vocabulary. - For an optimization problem, the input and output are similar, except that in case of "Satisfiable", a system may output a sequence of witnessses (hopefully of increasing quality). The last one in this list will be viewed as the proposed solution. - In the last phase of the contest, all solvers will be tested on a number of new and unknown instances for each of the benchmark problems. - The details for the ranking still have to be worked out, but the philosophy is that the solver that solves most problems wins. Yours sincerely Marc Denecker From costanza at cst.dk Tue Dec 16 11:01:15 2008 From: costanza at cst.dk (Costanza Navarretta) Date: Tue, 16 Dec 2008 11:01:15 +0100 Subject: Confirmation Request (4153551717) In-Reply-To: References: Message-ID: <49477C6B.2090303@cst.dk> From tc at cs.bath.ac.uk Wed Dec 17 11:54:30 2008 From: tc at cs.bath.ac.uk (Tom Crick) Date: Wed, 17 Dec 2008 10:54:30 +0000 Subject: (no subject) Message-ID: <4948DA66.1020606@cs.bath.ac.uk> From tc at cs.bath.ac.uk Wed Dec 17 12:26:45 2008 From: tc at cs.bath.ac.uk (Tom Crick) Date: Wed, 17 Dec 2008 11:26:45 +0000 Subject: Confirmation Request (2044112376) In-Reply-To: References: Message-ID: <4948E1F5.1030208@cs.bath.ac.uk> event administration wrote: > This is an automated message from the > mailing list manager > > Somebody (probably you) have requested the unsubscribe operation > for your address > > If you want to confirm this operation, > use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 2044112376, > the reply is directed to , > and the 'From' address of your reply is . > > If you do not want to confirm the requested operation, simply do nothing > > All requests about this mailing list > should be sent to > From Wiebe.van-der-Hoek at liverpool.ac.uk Fri Dec 19 10:18:45 2008 From: Wiebe.van-der-Hoek at liverpool.ac.uk (Wiebe van der Hoek) Date: Fri, 19 Dec 2008 09:18:45 +0000 Subject: The 2nd annoucement of Logic, Game Theory and Social Choice 6 References: <003d01c95cd3$002688b0$00739a10$@tsukuba.ac.jp> Message-ID: <49A52E0B-AB32-4AB0-A980-6DD5A561A870@liverpool.ac.uk> 2nd announcement: Logic, Game Theory, and Social Choice 6 (Now, the home page of LGS6 is open: http://www.lgs6.org/ ) Dates: 26-29, August 2009 (28th for an excursion) Place: Tsukuba Center for Institutes (in the City of Tsukuba, newly built academic town 60km northeast of Tokyo) The emphasis of the conference: Limited Cognitive-Inferential Abilities and their Behavioral Consequences Any serious interdisciplinary works related to logic, game theory and social choice are very welcome. Invited Speakers: Peter Gärdenfors: The Role of Intersubjectivity in Animal and Human Cooperation Jean-François Laslier: Voting and Experiments Tutorial Lecture: Jeffrey Jude Kline: Inductive Game Theory Time Table: Paper submission: from March 1 to May 31, 2009. Notification of acceptance by June 31, 2009 Conference Chair: Mamoru Kaneko Graduate School of Systems and Information Engineering University of Tsukuba, Ibaraki 305-8573, Japan kaneko at sk.tsukuba.ac.jp; http://infoshako.sk.tsukuba.ac.jp/~kaneko/ ------------------------------------------------------------------------------------------------------ Prof. Wiebe van der Hoek Department of Computer Science University of Liverpool http://www.csc.liv.ac.uk/~wiebe/ tel (+44 151) 79 47480/54292 fax (+44 151) 79 54235 Liverpool L69 3BX, United Kingdom Wiebe.Van-Der-Hoek at liverpool.ac.uk -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From rseba at brenta.disi.unitn.it Fri Dec 19 16:46:11 2008 From: rseba at brenta.disi.unitn.it (Roberto Sebastiani) Date: Fri, 19 Dec 2008 16:46:11 +0100 Subject: PhD positions in ICT on Formal Verification via SMT available in Trento Message-ID: <20081219154611.GA14642@brenta.disi.unitn.it> --------------------------------------------------------------------------- [[[ We apologize if you receive multiple copies of this message ]]] --------------------------------------------------------------------------- Posted: December 19, 2008 Doctoral Student Positions in Information and Communication Technologies on the research project "WORD-LEVEL FORMAL VERIFICATION VIA SMT SOLVING" are available at the International Doctorate School in Information and Communication Technologies (http://www.ict.unitn.it/) of the University of Trento, Italy, under the joint supervision of Dr. ALESSANDRO CIMATTI, Embedded Systems Research Unit, FBK-Irst, via Sommarive 18, I-38100 Povo, Trento, Italy http://sra.fbk.eu/people/cimatti/, Prof. ROBERTO SEBASTIANI Software Engineering & Formal Methods Research Program DISI, University of Trento, via Sommarive 14, I-38100 Povo, Trento, Italy http://disi.unitn.it/~rseba/. The research activity will be carried out jointly within the Embedded Systems (ES) Research Unit of the Center for Scientific and Technological Research of the Fondazione Bruno Kessler (FBK), Trento, and the Software Engineering & Formal Methods (SE&FM) Research Program, at Department of Information Engineering and Computer Science (DISI) of University of Trento. The research activity will aim at investigating and developing novel techniques, methodologies and support tools for Satisfiability Modulo Theories (SMT) for the verification of WORD-level circuit designs. This work will be part of the "Word-Level Formal Verification via SMT Solving" (WOLFLING) project, a three-year custom research project supported by SRC/GRC (http://grc.src.org/fr/S200802_Call.asp), in strict collaboration with the Formal Verification Group at Intel, Haifa. SMT tools will be developed on top of the MathSAT SMT platform (http://mathsat4.disi.unitn.it), and Formal Verification tools will be developed on top of the NuSMV Model Checking platform (http://nusmv.fbk.eu). Both platforms are jointly developed and maintained by ES and SE&FM. The selected candidates will be initially enrolled in a stage and, if they pass the selection of the Ph.D. school, they will be enrolled as Ph.D. students. Ph.D. courses will start in Autumn 2009, and the thesis must be completed in three or four years. People enrolled in a stage and subsequent Ph.D. courses are expected to move to Trento, and will receive monetary support during both phases of their activity. Candidate Profile ================= The ideal candidate should have an MS or equivalent degree in computer science, mathematics or electronic engineering, and combine solid theoretical background and excellent software development skills. The candidate should be able to work in a collaborative environment, with a strong commitment to reaching research excellence and achieving assigned objectives. Background knowledge and/or previous experience in the following areas (in order of preference), though not mandatory, will be considered very favorably: - Satisfiability Modulo Theory (SMT) - Propositional Satisfiability (SAT) - Embedded Systems Design Languages (e.g. Verilog, VHDL) - Symbolic Model Checking - Automated Reasoning - Constraint Solving and Optimization Applications and Inquiries ========================== Interested candidates should inquire for further information and/or apply by sending email to Prof. Sebastiani rseba[at]disi[dot]unitn[dot]it. Applications should contain a statement of interest, with a Curriculum Vitae, and three reference persons. PDF format is strongly encouraged. Emails will be automatically processed and should have 'PHD ON WOLFLING PROJECT' as subject. Contact Person ============== Prof. ROBERTO SEBASTIANI Software Engineering & Formal Methods Research Program DISI, University of Trento, via Sommarive 14, I-38100 Povo, Trento, Italy http://disi.unitn.it/~rseba/. mailto: rseba[at]disi[dot]unitn[dot]it The Embedded Systems Research Unit at FBK ========================================= The Embedded Systems Unit consists of about 15 persons, including researchers, post-Doc, Ph.D. students, and programmers. The Unit carries out research, tool development and technology transfer in the fields of design and verification of embedded systems. Current research directions include: * Satisfiability Modulo Theory, and its application to the verification of hardware, embedded critical software, and hybrid systems (Verilog, SystemC, C/C++, StateFlow/Simulink). * Formal Requirements Analysis based on techniques for temporal logics (consistency checking, vacuity detection, input determinism, cause-effect analysis, realizability and synthesis). * Formal Safety Analysis, based on the integration of traditional techniques (e.g. Fault-tree analysis, FMEA) with symbolic verification techniques. The Embedded Systems Unit is part of Fondazione Bruno Kessler, formerly Istituto Trentino di Cultura, a public research institute of the Autonomous Province of Trento (Italy), founded in 1976. The institute, through its center for the scientific and technological research, is active in the areas of Information Technology, Microsystems, and Physical Chemistry of Surfaces and Interfaces. Today, FBK is an internationally recognized research institute, collaborating with industries, universities, and public and private laboratories in Italy and abroad. The institute's applied and basic research activities aim at resolving real-world problems, driven by the need for technological innovation in society and industry. The SW Engineering & Formal Methods Research Program at DISI ============================================================ The SW Engineering & Formal Methods R. P. at DISI currently consists on 5 faculties, 4 post-docs and 19 PhD students. The Unit carries out research, tool development and technology transfer in the fields of Goal-Oriented Requirements Engineering, Agent-oriented SW engineering, Security, and Formal Methods. Referring to formal methods, current research directions include: * Satisfiability Modulo Theory, and its application to the verification of hardware, embedded critical software, and hybrid systems. * Advanced Model Checking Techniques for Formal Verification of hardware, embedded critical software, and hybrid systems. * Applications of Propositional Satisfiability (SAT) to various domains. The R.P. is part of the Department of Information Engineering and Computer Science, DISI (http://disi.unitn.it/) of University of Trento. University of Trento in the latest years has always been rated among the top-three small&medium-size universities in Italy. DISI currently consists of 50 faculties, 68 research staff and support people, 21 postdocs and 146 Doctoral students, plus administrative and technical staff. DISI covers all the different areas of information technology (computer science, telecommunications, and electronics) and their applications. These disciplines above are studied individually but also with a strong focus on their integration, Location ======== Trento is a lively town of about 100.000 inhabitants, located 130 km south of the border between Italy and Austria. It is well known for the beauty of its mountains and lakes, and it offers the possibility to practice a wide range of sports. Trento enjoys a rich cultural and historical heritage, and it is the ideal starting point for day trips to famous towns such as Venice or Verona, as well as to enjoy great naturalistic journeys. Detailed information about Trento and its region can be found at http://www.trentino.to/home/index.html?_lang=en. From petjames12 at gmail.com Fri Dec 19 21:49:31 2008 From: petjames12 at gmail.com (Peter james) Date: Fri, 19 Dec 2008 15:49:31 -0500 Subject: MULTICONF-09 call for papers Message-ID: <3666c2d70812191249o119e34a6yd406cf88759a041c@mail.gmail.com> MULTICONF-09 call for papers The 2009 Multi Conference in Computer Science, Information Technology and Control systems and Computational Science and Computer Engineering (MULTICONF-09) (website: http://www.PromoteResearch.org) will be held during July 13-16 2009 in Orlando, FL, USA. We invite draft paper submissions. The event consists of the following conferences: · International Conference on Artificial Intelligence and Pattern Recognition (AIPR-09) · International Conference on Automation, Robotics and Control Systems (ARCS-09) · International Conference on Bioinformatics, Computational Biology, Genomics and Chemoinformatics (BCBGC-09) · International Conference on Enterprise Information Systems and Web Technologies (EISWT-09) · International Conference on High Performance Computing, Networking and Communication Systems (HPCNCS-09) · International Conference on Information Security and Privacy (ISP-09) · International Conference on Recent Advances in Information Technology and Applications (RAITA-09) · International Conference on Software Engineering Theory and Practice (SETP-09) · International Conference on Theory and Applications of Computational Science (TACS-09) · International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS-09) The website http://www.PromoteResearch.org contains more details. Sincerely Peter James Publicity committee -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From anne.hakansson at dis.uu.se Sun Dec 21 09:23:40 2008 From: anne.hakansson at dis.uu.se (Anne =?iso-8859-1?b?SOVrYW5zc29u?=) Date: Sun, 21 Dec 2008 09:23:40 +0100 Subject: CALL FOR PAPERS - AGENTS AND MULTI-AGENT SYSTEMS, DEADLINE 29/12 2008 Message-ID: <20081221092340.e2qjsuhgj4swoss0@webmail6.uu.se> December 29th, 2009 is the new deadline for papers/abstracts submissions ****** Apologies for multiple postings ******* * please distribute to interested colleagues * *************************************************************************** CALL FOR PAPERS The 3rd KES International Symposium on AGENTS AND MULTI-AGENT SYSTEMS - TECHNOLOGIES AND APPLICATIONS (KES-AMSTA-09) Uppsala, Sweden June 3 - June 5, 2009 http://amsta-09.kesinternational.org/ INTRODUCTION KES-AMSTA-2009 is an international scientific symposium for research in the field of agent and multi-agent systems. The aim of the symposium is to provide an internationally respected forum for scientific research in the technologies and applications of agent and multi-agent systems. Agents and multi-agent systems are related to a modern software paradigm which has long been recognized as a promising technology for constructing autonomous, complex and intelligent systems. This symposium will provide and excellent opportunity for researchers to discuss modern approaches and techniques for agent and multi-agent systems and their applications. KES-AMSTA-2009 is organized by KES International and Uppsala University, Sweden, and will take place in Uppsala. IMPORTANT DATES Submission of Papers: 30 November 2008 - EXTENDED TO: 29 December 2008 Notification of acceptance: 10 Jan. 2009 Final papers to be received: 1 Feb. 2009 Authors / Early registration: 16 Feb. 2009 Symposium: 4 Jun ? 5 Jun 2009 TOPICS OF INTEREST Agent Systems Formal models of agency. Agent architectures. BDI architecture. Learning, evolution, and adaptation. Perception and action. Communication: languages, semantics, pragmatics, protocols, and conversations. Knowledge representation Computational complexity. Autonomous or humanoid robots. Social robots and robot teams. Autonomy aspect. Cognitive models, including emotions and philosophies. Embodied and believable agents. Emergent behaviour. Ontologies. Multi-agent Systems Cooperative distributed problem solving. Task and resource allocation. Mechanism design, auctions, and game theory. Modelling other agents and self. Multi-agent planning. Negotiation protocols. Multi-agent learning. Conflict resolution. Trust and reputation management. Privacy, safety and security. Scalability, robustness and dependability. Social and organizational structures. Verification and validation. Novel computing paradigms (autonomic, grid, P2P, ubiquitous computing). Brokering and matchmaking. Agent-oriented software engineering, including implementation languages and frameworks. Mobile agents. Per-formance, scalability, robustness, and dependability. Verification and validation. E-business agents. Pervasive computing. Privacy, safety, and security. Tools and Applications Simulation systems. Web services and service-oriented computing. Artificial social systems. Autonomic computing. Case studies and reports on deployments. Computational infrastructures. Information retrieval. Web services and semantic web. E-learning sys-tems. E-institutions. E-commerce. INFORMATION FOR AUTHORS Papers are invited from prospective authors with interests on the indicated symposium topics and related areas of application. All contributions should be original and not published elsewhere or intended to be published during the review period. Contributions from more applied related fields in industry and commerce are very welcome. All accepted papers must be presented by one of the authors who must register for the conference and pay the fee. To ensure high quality, all papers will be thoroughly reviewed by the KES-AMSTA-09 International Programme Committee. The symposium proceedings are planned to be published by Springer-Verlag in LNCS/LNAI series (subject to confirmation). Submitted papers should be prepared in LNCS/LNAI style and should not exceed 10 pages. Extended versions of selected papers will be considered for publication in special issues to be included in several journals indexed by ISI, KES Journal and Int. Journal of Intelligent Information and Database Systems. Ph.D. students are invited to submit papers to Doctoral Track. Special sessions are also welcome. POST-CONFERENCE PUBLICATION A selected number of accepted and personally presented papers will be expanded and revised for possible inclusion in special issues for the following prestigious international journals and books: - Knowledge and Information Systems: An International Journal (Springer, ISI/SCI indexed) - International Journal of Software Engineering and Knowledge Engineering (Springer, ISI/SCI indexed) - Journal of Universal Computer Science (Graz University, ISI/SCI indexed) - Journal of Intelligent & Fuzzy Systems 17(3) (IOS Press, ISI/SCI indexed) - International Journal of Intelligent Information and Databse Systems (Inderscience, EI, Inspec, DBLP indexed) - Edited book (title will be announced later), to be published by Springer in series Studies in Computational Intelligence - Edited book (title will be announced later) to be published by IGI Global Publishers in series Computational Intelligence and its Applications Note that only papers personally presented at the symposium will be considered for invitation to the special issues and books. PAPER SUBMISSION AND PUBLICATION The symposium proceedings are planned to be published by Springer-Verlag in LNCS/LNAI series (subject to confirmation). Submitted papers should be prepared in LNCS/LNAI style and should not exceed 10 pages. Extended versions of selected papers will be considered for publication in special issues to be included in several journals indexed by ISI, KES Journal and Int. Journal of Intelligent Information and Database Systems. Ph.D. students are invited to submit papers to Doctoral Track. Special sessions are also welcome. ORGANIZATION COMMITTEES Honorary Chair: L. Magnusson, Uppsala University, Sweden General Co-Chairs: A. Håkansson, Uppsala University, Sweden and N.T. Nguyen, Wroclaw University of Technology, Poland Executive Chair: R.J. Howlett, University of Brighton, UK Program Co-Chairs: R.L. Hartung, Franklin University, USA, and D. Sharma, Canberra University, Australia Local Organizing Chair: T. Palm, Uppsala University, Sweden Publicity Co-Chairs: Z. Kiziltan, University of Bologna, Italy and E. Moradian, Uppsala University, Sweden Invited Session Chair: L.C. Jain, University of South Australia, Australia Doctoral Track Chair: A. Pietrusiewicz, Wroclaw University of Technology, Poland KES-AMSTA-2009 is part of the AMSTA Series Chair: N.T. Nguyen, which is a sub-series of KES International Conference Series, Chairs L.C. Jain and R.J. Howlett CONTACT DETAILS Email: amsta-09 at kesinternational.org Postal Address:- KES International_2nd Floor, 145-157 St John Street London EC1V 4PY United Kingdom Best regards, KES-AMSTA-09 Organizing Committee From baldoni at di.unito.it Mon Dec 22 10:59:25 2008 From: baldoni at di.unito.it (Matteo Baldoni) Date: Mon, 22 Dec 2008 10:59:25 +0100 Subject: First CFP: DALT@AAMAS'09 Message-ID: <494F64FD.8010509@di.unito.it> [Please accept our apologies if you receive multiple postings.] ***************************************************************** ***************************************************************** 7th International Workshop on Declarative Agent Languages and Technologies (DALT 2009) 11 or 12 May 2009 Budapest, Hungary (held in conjunction with AAMAS 2009) URL: http://www.di.unito.it/~baldoni/DALT-2009/ ***************************************************************** CALL FOR PAPERS ***************************************************************** The workshop on Declarative Agent Languages and Technologies (DALT), in its seventh edition this year, is a well-established forum for researchers interested in sharing their experiences in combining declarative and formal approaches with engineering and technology aspects of agents and multiagent systems. Building complex agent systems calls for models and technologies that en- sure predictability, allow for the verification of properties, and guarantee flexibility. Developing technologies that can sat- isfy these requirements still poses an important and difficult challenge. Here, declarative approaches have the potential of of- fering solutions satisfying the needs for both specifying and de- veloping multiagent systems. Moreover, they are gaining more and more attention in important application areas such as the seman- tic web, service-oriented computing, security, and electronic contracting. For instance, some convergence points between the areas of formal methods for dealing with web services and formal methods for agents are emerging and gaining more and more atten- tion. DALT 2009 will be held as a satellite workshop of AAMAS 2009, the 8th International Joint Conference on Autonomous Agents and Mul- tiagent Systems, in May 2009 in Budapest, Hungary. Following the success of six previous editions, DALT will again aim at provid- ing a discussion forum to both (i) support the transfer of declarative paradigms and techniques to the broader community of agent researchers and practitioners, and (ii) to bring the issue of designing complex agent systems to the attention of re- searchers working on declarative languages and technologies. ***************************************************************** TOPICS OF INTEREST ***************************************************************** DALT topics of interest include, but are not limited to: General themes: * specification of agents and multiagent systems * declarative approaches to engineering agent systems Formal techniques: * (constraint) logic programming approaches to agent systems * distributed constraint satisfaction * modal and epistemic logics for agent modelling * verification of agents and multiagent systems * formal semantics for agent programming languages and frameworks Declarative models: * declarative models of agent beliefs, goals and capabilities * declarative models of bounded rationality * declarative paradigms for the combination of heterogeneous agents * declarative approaches to organizations and electronic institutions * agent-inspired declarative approaches to web services or service-oriented architectures Applications of declarative techniques to: * agents and the semantic web * service-oriented multiagent systems * agent communication and coordination languages * protocol specification and conformance checking * description of contracts and negotiation policies * security and trust in multiagent systems Evaluation of declarative approaches: * experimental analysis of declarative agent technologies * industrial experiences with declarative agent technologies ***************************************************************** SUBMISSION INSTRUCTIONS ***************************************************************** We welcome and encourage the submission of high-quality, original papers, which are not being submitted simultaneously for publication elsewhere. Papers should be written in English, formatted according to the Springer LNCS style, and not exceed 16 pages. Paper submission is electronic via the conference website. ***************************************************************** WORKSHOP PROCEEDINGS ***************************************************************** Printed copies of the proceedings will be available at the workshop. Assuming a sufficient number of high-quality submissions, we are again going to consider the publication of formal post-proceedings with an international publisher. The post-proceedings of DALT 2003 (LNAI 2990), DALT 2004 (LNAI 3476), DALT 2005 (LNAI 3904), DALT 2006 (LNAI 4327), DALT 2007 (LNAI 4897), and DALT 2008 (LNAI 5397) have been or will be published by Springer-Verlag in the Lecture Notes in Artificial Intelli- gence series. ***************************************************************** IMPORTANT DATES (tentative!) ***************************************************************** Submission Deadline: 25 January 2009 Notification of Acceptance/Rejection: 25 February 2009 Camera Ready Due: 5 March 2009 Workshop: 11 or 12 May 2009 ***************************************************************** PROGRAMME COMMITTEE (to be completed) ***************************************************************** Thomas Agotnes (Bergen University College, Norway) Marco Alberti (University of Ferrara, Italy) Natasha Alechina (University of Nottingham, UK) Cristina Baroglio (University of Torino, Italy) Rafael Bordini (University of Durham, UK) Jan Broersen (University of Utrecht, The Netherlands) Federico Chesani (University of Bologna, Italy) Amit Chopra (North Carolina State University, USA) Keith Clark (Imperial College London, UK) James Harland (RMIT University, Australia) Andreas Herzig (Paul Sabatier University, France) Shinichi Honiden (National Institute of Informatics, Japan) Yves Lesperance (York University, Canada) Alessio Lomuscio (Imperial College London, UK) Viviana Mascardi (University of Genova, Italy) Nicolas Maudet (University of Paris-Dauphine, France) John-Jules Meyer (University of Utrecht, NL) Peter Novak (Clausthal University of Technology, Germany) Enrico Pontelli (New Mexico State University, USA) Chiaki Sakama (Wakayama University, Japan) Guillermo Simari (Universidad Nacional del Sur, Argentina) Tran Cao Son (New Mexico State University, USA) Eugenia Ternovska (Simon Fraser University, Canada) Wamberto Vasconcelos (University of Aberdeen, UK) Marina De Vos (University of Bath, UK) Michael Winikoff (RMIT University, Australia) ***************************************************************** ORGANISING COMMITTEE ***************************************************************** Matteo Baldoni (University of Torino, Italy) Jamal Bentahar (Concordia University, Canada) John Lloyd (Australian National University, Australia) M. Birna van Riemsdijk (Delft University of Technology, The Netherlands) ***************************************************************** STEERING COMMITTEE ***************************************************************** Matteo Baldoni (University of Torino, Italy) Andrea Omicini (University of Bologna-Cesena, Italy) M. Birna van Riemsdijk (Delft University of Technology, The Netherlands) Tran Cao Son (New Mexico State University, USA) Paolo Torroni (University of Bologna, Italy) Pinar Yolum (Bogazici University, Turkey) Michael Winikoff (University of Otago, New Zealand) ***************************************************************** -- Matteo Baldoni Dipartimento di Informatica | Universita` degli Studi di Torino | Tel. +39 011 6706756 C.so Svizzera, 185 | Fax. +39 011 751603 I-10149 Torino (Italy) | URL http://www.di.unito.it/~baldoni ----------------------------------------------------------------------- Please avoid sending me Word or PowerPoint attachments. See http://www.gnu.org/philosophy/no-word-attachments.html ----------------------------------------------------------------------- From Klaus.Fischer at dfki.de Mon Dec 22 11:08:34 2008 From: Klaus.Fischer at dfki.de (Klaus Fischer) Date: Mon, 22 Dec 2008 11:08:34 +0100 Subject: CFP: ATOP@AAMAS2009 - Agent-based Technologies and applications for enterprise interOPerability Message-ID: <494F6722.4000705@dfki.de> Call for Papers Agent-based Technologies and applications for enterprise interOPerability ATOP 2009 (http://www-ags.dfki.uni-sb.de/~kuf/atop) Workshop to be held at the Eighth International Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS 2009) (http://www.conferences.hu/AAMAS2009/workshops.html) Budapest, Hungary 11 or 12th May 2009 MOTIVATION Today's enterprises operate in a dynamic environment which is characterized by global outsourcing, shrinking product life-cycles, and unstable demand. To prosper in this environment, enterprises face a growing need to share information and to collaborate with each other at all levels of the value chain. As organizations are gradually transforming into "networked organizations", interoperability becomes the main challenge to realize the vision of seamless business interaction across organizational boundaries. Interoperability problems occur at different levels: at the business level (how organizations do business together, what needs to be described and how?), at the knowledge level (different formats, schemas, and ontologies), and at the level of the underlying information and communication technologies (ICT) and systems. Agent technologies provide a cross-cutting approach promising to enable intelligent and proactive automation, adaptive planning and execution, decentralized coordination, and semantic interoperability. The Model-Driven Architecture (MDA) is another promising approach for the support of interoperability due to its promise of providing consistent models at different abstraction layers with well-defined mappings in between these layers. As a third thread of activity Service-Oriented Architectures (SOA) try to reach interoperability, focusing upon, but not restricted to, the information and communication technology (ICT) level. The main contribution and goal of SOA is to achieve loose coupling among software entities representing business objects (processes, organizational units, etc.). Agents, MDA, and SOA provide complementary solution components to parts of the enterprise interoperability problems. Agents enable dynamic collaboration and orchestration in changing and unpredictable situations; MDA provides mechanisms that generate artifacts for different platforms; SOA gives us late-binding interoperability between business process requirements and providers of service implementations. It is unlikely, then, that any of these approaches will succeed stand-alone in achieving the degree of interoperability that will be necessary to successfully construct, run, and optimize networked organizations. It is rather likely that a combination of these basic technologies will evolve in the next years to provide an appropriate basis for interoperability. Therefore the workshop aims at bringing together researchers and fostering interaction and collaboration to work jointly on solutions to achieve interoperability. The workshop focuses on technologies that support interoperability in networked organizations, on successful applications of these technologies, and on lessons learned. The main goal is to stimulate a discussion on how far agent technologies can support interoperability in this context and to compare current trends in the development of agent technologies with recent developments in service-oriented and model-driven system design with respect to their ability to solve interoperability problems. Regarding model-driven system design the presentation and discussion of metamodels of the underlying technologies like for example agent technologies and service-oriented architectures is especially of interest. WORKSHOP TOPICS We would like to focus the ATOP 2009 around modeling and metamodels for interoperability in agent-based systems and business applications. Ideally submitted papers should deal with model-driven agent technologies and methodologies in the context of: * simulation and validation of business systems * decision-support in value creation networks * enterprise and business process modeling * case studies of implemented interoperability solutions and systems * coordination and negotiation in distributed business networks * cross-organizational business processes * normative environments for enterprise agents interoperability * decentralized and peer-to-peer models and enactment of business processes * goal-driven and adaptive business process management * semantic annotations of business process descriptions * intelligent enterprise application integration * business process modeling, enactment and integration * intelligent execution, monitoring, management, and optimization of business processes * service-oriented architectures and related topics like service choreography, orchestration, composition, brokering, and mediation * autonomic computing and adaptive autonomous architectures * model-driven architectures for business processes and systems * models and meta-models for agent-based systems * platform-independent models and their relation to agent models * model-to-model and model-to-text transformations * knowledge representations and ontologies in the context of (collaborative) business processes * agent communication languages and standards * self-organization and adaptation in the context of interoperable systems The discussion of agent technologies is recommended as it relates with the interoperability objective. However, a proposal of new, preferably model driven, techniques or technologies to increase interoperability of business applications without direct reference to agent technologies is acceptable, too. Still it is recommended that such work should be related to agent-oriented approaches if such approaches already exist. Workshops specializing in some of the topics mentioned in the above list will be held at AAMAS 2009. Authors of papers that are dealing with such topics without much discussion of interoperability aspects are encouraged to submit their papers to the more specialized workshops. The workshop organizers will closely collaborate in the evaluation of the papers. Therefore, multiple submissions do not increase the chance of a paper to be accepted. SUBMISSION DETAILS Authors should submit original research papers (must not exceed 12 pages including all figures and tables) including an abstract of about 200 words or position papers (must not exceed 3 pages). In any case submission of preliminary abstracts some time before the official submission deadline is very much appreciated. All submissions must be sent electronically to Klaus.Fischer at dfki.de Acceptable formats are PDF and PostScript. It is planned to structure the workshops into invited talks, technical presentations and panel discussions. A publication of selected workshop papers is planned in Springer's new LNBIP series. Formatting instructions can be found at http://www.springer.de/comp/lncs/authors.html and should be strictly followed. The first page should include the full name and contact details of at least one author (email and full postal address). IMPORTANT DATES Submissions due February 2 2009 Notifications sent February 24 2009 Final papers due March 11 2009 Workshop May 11 or 12 2009 ORGANIZING COMMITTEE Arne-Jorgen Berre, SINTEF, Norway Klaus Fischer, DFKI, Germany James Odell, Oslo Software, USA Joerg P. Mueller, Technische Universitaet Clausthal, Germany PROGRAM COMMITTEE Sahin Albayrak, TU Berlin, Germany Bernhard Bauer, University Augsburg, Germany Sebastian Brenner, IWi, Germany Amit Chopra, NC State University, USA Michael Georgeff, Monash University, Australia Dominic Greenwood, Whitestein Technologies, Switzerland Axel Hahn, University Oldenburg, Germany Christian Hahn, DFKI, Germany Oystein Haugen, SINTEF, Norway Stefan Kirn, Hohenheim University, Germany Margaret Lyell, IAI, USA Saber Mansour, Oslo Software, France Nikolay Mehandjiev, Manchester Business School, UK Michele Missikoff, LEKS; IASI-CNR, Italy Eugenio Oliveira, University of Porto, Portugal Herve Panetto, University Nancy, France Omer Rana, Cardiff University, UK Ralph Ronnquist, Intendico Pty. Ltd., Australia Rainer Ruggaber, SAP, Germany Omeir Shafiq, Digital Enterprise Research Institute (DERI), Austria Iain Stalker, Unversity of Teesside, UK Ingo Timm, Goethe-University Frankfurt/Main, Germany Joerg Ziemann, DFKI-IWi, Germany Ingo Zinnikus, DFKI, Germany -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : smime.p7s Dateityp : application/x-pkcs7-signature Dateigröße : 3356 bytes Beschreibung: S/MIME Cryptographic Signature URL : From c.orasan at wlv.ac.uk Mon Dec 22 16:27:22 2008 From: c.orasan at wlv.ac.uk (Constantin Orasan) Date: Mon, 22 Dec 2008 15:27:22 +0000 Subject: PhD Studentship in Interactive Question Answering Message-ID: <1229959642.17680.59.camel@dinel-work> [Apologies for cross-postings] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ PhD Studentship in Interactive Question Answering (£12,000 per year) Closing date: 16th Jan 2009 http://clg.wlv.ac.uk/jobs/ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ The Research Group in Computational Linguistics, University of Wolverhampton invites applications for a three-year-funded PhD studentship in Computational Linguistics. The successful candidate is expected to carry out research in the domain of interactive question answering. We are looking for candidates with a good degree in Computational Linguistics, Linguistics, Computer Science or Information Sciences, with programming skills and some experience in Natural Language Processing. The studentship is part funded by Unilever. Required skills: - degree in Computational Linguistics, Linguistics, Computer Science or Information Sciences - experience with at least one of the following: Java, Perl, C++, .NET - experience in Natural Language Processing - good command of the English language Desirable skills: - Master's degree in Computational Linguistics, Linguistics, Computer Science or Information Sciences - experience in question answering, information extraction and/or dialogue systems - familiarity with a wide range of programming environments and operating systems Applications should be sent to Dr. Constantin Orasan Research Institute of Information and Language Processing University of Wolverhampton Stafford St. Wolverhampton WV1 1SB United Kingdom E-mail: C.Orasan at wlv.ac.uk and must include: - completed application form available from http://clg.wlv.ac.uk/jobs/PhD-application.pdf - CV - copy of university degree (in English) - copy of transcript listing all university marks (in English) - evidence of postgraduate qualification if applicable - a covering letter in which candidates explain why they have applied for the studentship, give details of their research interests/experience, background, programming skills and an outline of any experience in Natural Language Processing or Linguistics. Applications should be made both by email and surface mail. The closing date for applications is 16th January 2009. The short-listed applicants will be interviewed by email and telephone in the week beginning 26th January 2009. The studentship includes a maintenance grant of 12,000 GBP a year and also covers the tuition fees for 3 years. The successful candidate is expected to start as soon as possible after 1st February 2009. She or he will be working in a vibrant research environment, engaging in active research. The studentship is part-funded by Unilever. Established by Prof. Mitkov in 1998, the Research Group in Computational Linguistics is a highly successful one, delivering cutting-edge research in a number of NLP areas such as anaphora resolution, automatic summarisation, question answering, lexical knowledge acquisition, text categorisation, named entity recognition, information extraction, corpus construction and annotation, automatic terminology processing, multilingual processing, and multiple-choice question generation. To a large extent, this research has been undertaken in projects funded by major UK funding bodies and commercial partners. The recent UK Research Assessment Exercise (RAE) results have confirmed the Research Group in Computational Linguistics as one of the top research performers in the UK. -- Dr. Constantin Orasan Senior Lecturer in Computational Linguistics Research Group in Computational Linguistics http://www.wlv.ac.uk/~in6093/ University of Wolverhampton -- Scanned by iCritical. From admmk09 at easychair.org Mon Dec 22 22:19:33 2008 From: admmk09 at easychair.org (admmk09 at easychair.org) Date: Mon, 22 Dec 2008 22:19:33 +0100 Subject: CfP/Deadline Extension: Special Issue Authoring, Digitalization and Management of Mathematical Knowledge Message-ID: <200812222119.mBMLJXZV016611@dave.dfki.uni-sb.de> [Apologies for multiple copies] ===================================================================== Due to multiple requests the deadline for submissions is extended to **26. January 2008**. ===================================================================== Call for Papers Mathematics in Computer Science Special Issue on Authoring, Digitalization and Management of Mathematical Knowledge http://www.dfki.de/~serge/admmk09 Guest editors: Serge Autexier, Petr Sojka, Masakazu Suzuki This special issue is devoted to the topics of the seventh International Conference on Mathematical Knowledge Management (MKM'08) and the workshop on Digital Mathematics Libraries (DML'08) which took place in July 2008 in Birmingham, UK. Topics of interest include * Representations of mathematical knowledge * Repositories of formalized mathematics * Mathematical digital libraries * Diagrammatic representations * Multi-modal representations * Mathematical OCR * Deduction systems * Mathematical assistants, tutoring and assessment systems * Authoring languages and tools * MathML, OpenMath, and other mathematical content standards * Web presentation of mathematics * Data mining, discovery, theory exploration * Collaboration tools for mathematics * Search, indexing and retrieval of mathematical documents * Ranking of mathematical papers, similarity of mathematical documents * Mathematical document compression * Processing of scanned images * Algorithms for crosslinking of bibliographical items, intext citations search * Mathematical document classification, MSC 2010 * Mathematical text mining * Inference of semantics for semi-formalized mathematics * Mathematical documents metadata * Long term archiving, data migration * Mathematical publishing with long term archival goal * Handwritten formulae recognition * Recognition and search of mathematical diagrams * E-learning of mathematics Potential contributors may also contact the guest editors to discuss suitability of topics and papers. SUBMISSION GUIDELINES Submission to this special issue is completely open. We expect original articles (typically 15-30 pages) that present high-quality contributions that have not been previously published in an archival venue and that must not be simultaneously submitted for publication elsewhere. Submissions must comply with MCS' author guidelines (http://www.cc4cm.org/mcs/), be written in English, and be formatted using LaTeX. All submitted papers will be refereed according to the usual MCS refereeing process. Submission to this special issue is hereby encouraged via the EasyChair submission system (see URL below). To aid planning and organization, an early e-mail of intent to submit a paper (including author information, and a tentative title and abstract) would be appreciated. IMPORTANT DATES: Submission deadline (extended): 26 January 2009 Notification of acceptance/rejection: 6 March 2009 Submission of revised versions: 17 April 2009 Final notification of acceptance/rejection: 8 May 2009 Submission of camera-ready copies: 29 May 2009 USEFUL ADDRESSES Special issue website: http://www.dfki.de/~serge/admmk09 Submission webpage: http://www.easychair.org/conferences/?conf=admmk09 Guest editors' email address: admmk09 at easychair.org Journal MCS webpage: http://www.cc4cm.org/mcs MKM'08 conference website: http://events.cs.bham.ac.uk/cicm08/mkm08 DML'08 workshop website: http://www.fi.muni.cz/~sojka/dml-2008.xhtml From yamasaki at momo.it.okayama-u.ac.jp Thu Dec 18 05:21:04 2008 From: yamasaki at momo.it.okayama-u.ac.jp (Susumu Yamasaki) Date: Thu, 18 Dec 2008 13:21:04 +0900 Subject: WARNING! (2914590986) In-Reply-To: References: Message-ID: <20081218132104X.yamasaki@momo.it.okayama-u.ac.jp> ID: 2914590986 This is just a reply, necessity of which you gently suggested. Susumu Yamasaki P.S. New address is better, but the older is still available. --------------------------------------------------------------------- From: "event administration" Subject: WARNING! (2914590986) Date: Thu, 18 Dec 2008 04:54:05 +0100 Message-ID: > This is an automated message from the > mailing list manager > > List messages sent to your address have bounced. > > If you read this message, your mail system has been probably fixed. > > To clear the bounce counter and to prevent automatic cancelation of > your subscription, use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 2914590986, > and the reply is directed to , > and the 'From' address of your reply is . > > All requests about this mailing list > should be sent to > > From tb at imm.dtu.dk Tue Dec 23 16:37:05 2008 From: tb at imm.dtu.dk (Thomas Bolander) Date: Tue, 23 Dec 2008 16:37:05 +0100 Subject: CFP: 6th workshop on "Methods for Modalities" (M4M-6) Message-ID: <495105A1.2060309@imm.dtu.dk> ==================================================================== FIRST CALL FOR PAPERS 6th Workshop on "Methods for Modalities" (M4M-6) http://m4m.loria.fr/M4M6 Copenhagen, Denmark November 12-14, 2009 ==================================================================== Scope ----- The workshop "Methods for Modalities" (M4M) aims to bring together researchers interested in developing algorithms, verification methods and tools based on modal logics. Here the term "modal logics" is conceived broadly, including temporal logic, description logic, guarded fragments, conditional logic, temporal and hybrid logic, etc. To stimulate interaction and transfer of expertise, M4M will feature a number of invited talks by leading scientists, research presentations aimed at highlighting new developments, and submissions of system demonstrations. We strongly encourage young researchers and students to submit papers, especially for experimental and prototypical software tools which are related to modal logics. More information about the previous editions can be found at http://m4m.loria.fr/ M4M-6 will be preceded by a two-day mini-course aimed at preparing PhD students and other researchers for participation in the workshop. The mini-course is associated with the FIRST research school (http://first.dk). Paper Submissions ------------------ Authors are invited to submit papers in the following three categories. - Regular papers up to 15 pages, describing original research. - System descriptions of up to 12 pages, describing new systems or significant upgrades of existing ones. - Presentation-only papers, describing work recently published or submitted (no page limit). These will not be included in the proceedings, but pre-prints or post-prints can be made available to participants. Submissions should be made via EasyChair at the following address: http://www.easychair.org/conferences/?conf=m4m6 Final versions of accepted papers will be published online in a volume of Elsevier Electronic Notes in Theoretical Computer Science (ENTCS). A preliminary version of the proceedings will also be available at the workshop. Invited speakers ----------------- To be announced. Important dates --------------- Deadline for submissions: August 24, 2009 Notification: October 5, 2009 Camera ready versions: October 26, 2009 Workshop dates: November 12-14, 2009 Program Committee ----------------- Carlos Areces, INRIA Lorraine Lars Birkedal, IT University of Copenhagen Patrick Blackburn, INRIA Lorraine Thomas Bolander (co-chair), Technical University of Denmark Julian Bradfield, University of Edinburgh Torben Braüner (co-chair), Roskilde University Balder ten Cate, University of Amsterdam Stephane Demri, ENS de Cachan Hans van Ditmarsch, University of Otago Melvin Fitting, City University of New York John Gallagher, Roskilde University Mai Gehrke, Radboud University Nijmegen Silvio Ghilardi, University of Milano Valentin Goranko, University of the Witwatersrand Rajeev Goré, ANU, NICTA Michael R. Hansen, Technical University of Denmark Andreas Herzig, IRIT Wiebe van der Hoek, University of Liverpool Martin Lange, LMU München Carsten Lutz, Dresden University of Technology Angelo Montanari, University of Udine Valeria de Paiva, Cuill Inc. Renate Schmidt, University of Manchester Thomas Schneider, University of Manchester Carsten Schürmann, IT University of Copenhagen Gert Smolka, Saarland University Anders Søgaard, University of Copenhagen Jørgen Villadsen, Technical University of Denmark Frank Wolter, University of Liverpool Thomas Ågotnes, Bergen University College ================================================================== From gupta at utdallas.edu Wed Dec 24 02:13:44 2008 From: gupta at utdallas.edu (Gopal Gupta) Date: Tue, 23 Dec 2008 19:13:44 -0600 (CST) Subject: Logic Programming: 25th International Conference CFP Message-ID: Call for Papers 25th International Conference on Logic Programming (ICLP 2009) Pasadena, California, USA, July 14--17, 2009 http://www.ist.unomaha.edu/iclp2009/ ICLP 2009 will be co-located with IJCAI 2009 (see http://ijcai-09.org/) Conference Scope ================ Since the first conference held in Marseilles 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. - Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, 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. In addition to the presentations of accepted papers, the technical program will include invited talks, tutorials, a Doctoral Consortium, and workshops. Submission Details ================== The three broad categories for submissions are: (1) technical papers, where, for ICLP 2009, specific attention will be given to work describing innovative language features leading to better software development, verification, and implementation; (2) application papers, where the emphasis will be on their impact on the application domain as opposed to the advancement of the the state-of-the-art of logic programming; and (3) short papers/posters, ideal for presenting and discussing current work not yet ready for publication and research project overviews. All papers must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. They must be written in English. Technical and application papers must not exceed 15 pages. The limit for short papers is 5 pages. Submissions must be in the Springer LNCS format (http://www.springeronline.com/lncs/) via the Easychair submission system, available at http://www.easychair.org/conferences/?conf=iclp2009. All accepted papers will be included in the conference proceedings, expected to be published by Springer-Verlag in the LNCS series. Important Dates =============== Paper registration: February 27, 2009 Submission deadline: March 3, 2009 Notification of authors: April 7, 2009 Camera-ready copy due: May 5, 2009 ICLP 2009 Organization ====================== General Co-Chairs: Hai-Feng Guo, Gopal Gupta Program Co-chairs: Patricia Hill, David S Warren Program Committee ================= Annalisa Bossi Paulo Moura Pedro Cabalar Steve Muggleton Mireille Ducasse Gopalan Nadathur Esra Erdem Lee Naish Francois Fages Enrico Pontelli Thom Fruehwirth Ricardo Rocha Maurizio Gabbrielli Torsten Schaub Maria Garcia de la Banda Terrance Swift Michael Hanus Peter Szeredi Patricia Hill (Co-chair) Mirek Truszczynski Katsumi Inoue Frank Valencia Joxan Jaffar Wim Vanhoof Andy King David Warren (Co-chair) Nicola Leone Neng-Fa Zhou Fangzhen Lin Workshops ========= The ICLP 2009 program will include several workshops. They are perhaps the best places for the presentation of preliminary work, novel ideas, and new open problems to a wide and interested audience. Workshops also provide a venue for presenting specialized topics and opportunities for intensive discussions and project collaboration in any areas related to logic programming, including cross-disciplinary areas. Workshop proposals by Feb. 3rd, 2009. Doctoral Consortium =================== The 5th Doctoral Consortium (DC) on Logic Programming provides research students with the opportunity to present and discuss their research directions, and to obtain feedback from both peers and world-renown experts in the field. Accepted participants will receive partial financial support to attend the event and the main conference. The best paper and presentation from the DC will be given the opportunity to present in special session of the main ICLP conference. Conference Venue ================ ICLP 2009 will be held in conjunction with IJCAI 2009 at the Pasadena Convention Center; for more information, see http://ijcai-09.org/. From list at clip.dia.fi.upm.es Wed Dec 24 05:57:02 2008 From: list at clip.dia.fi.upm.es (list at clip.dia.fi.upm.es) Date: Wed, 24 Dec 2008 05:57:02 +0100 Subject: DAMP'09 -- Call for Participation Message-ID: <18769.49438.660810.873296@fi.upm.es> C a l l f o r P a r t i c i p a t i o n DAMP 2009: Workshop on Declarative Aspects of Multicore Programming Savannah, Georgia, USA --- January 20, 2009 (co-located with POPL 2009) DAMP 2009 is the fourth in a series of one-day workshops seeking to explore ideas in programming language design that will greatly simplify programming for multicore architectures, and more generally for tightly coupled parallel architectures. DAMP 2009 is co-located with the ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages (POPL 2009). The advance program is available at http://www.cse.unsw.edu.au/~pls/damp09/programme.html From emiliano.lorini at istc.cnr.it Sat Dec 27 00:18:23 2008 From: emiliano.lorini at istc.cnr.it (emiliano.lorini at istc.cnr.it) Date: Sat, 27 Dec 2008 00:18:23 +0100 Subject: Workshop Logical Methods for Social Concepts (LMSC) Message-ID: <1230333503.4955663f70909@webmail.src.cnr.it> * Call for papers: Workshop Logical Methods for Social Concepts (LMSC) * 20-31 July, 2009 in Bordeaux workshop organized as part of ESSLLI 2009 (http://esslli2009.labri.fr) webpage: http://www.irit.fr/~Andreas.Herzig/Esslli09/ Workshop Purpose: Both computer science and the social sciences are interested in social concepts such as power, cooperation, responsibility, delegation, trust, reputation, convention, agreement, commitment, etc. The aim of this workshop is to study whether logical approaches developed in the multi-agent system (MAS) domain are adequate to express them in an accurate way. In particular, are existing logical approaches sufficiently expressive to capture the main features of these social concepts? Are the basic assumptions in the existing logics for MAS too strong to capture the fundamental aspects of social phenomena? Are some concepts relevant for social theory missing in these logics? The workshop is intended to bring together logicians and social theorists in order to provide a better understanding of the potentialities and limitations of logical methods for the analysis of social reality. Its scope includes not only the technical aspects of logics for multi-agent systems, but also multidisciplinary aspects from social sciences (e.g. economics, sociology, social philosophy) and a critical analysis of the existing logical frameworks for the specification of social concepts. Workshop Topics: The following are some examples of topics that are relevant for the workshop: - Logics of individual and collective powers; - Logical approaches to game theory; - Dynamic epistemic logics and logics of communication; - Logics of normative systems and institutions; - Logical approaches to trust and reputation; - Logical approaches to organizational concepts (e.g. roles, responsibility, delegation); - Logics of social commitment and collective attitudes (e.g. common belief and common knowledge, collective acceptance, joint intentions); - Logics for mechanism design. Workshop Organizers: Andreas Herzig and Emiliano Lorini Invited speakers: - Alexandru Baltag, Oxford University - Rineke Verbrugge, University of Groningen Workshop Programme Committee: Thomas à gotnes, Johan van Benthem, Guido Boella, Jan Broersen, Cristiano Castelfranchi, Pilar Dellunde, Frank Dignum, Nicola Dimitri, Hans van Ditmarsch, Davide Grossi, Andreas Herzig (co-chair), Wiebe van der Hoek, Jeff Horty, Andrew Jones, Jérôme Lang, Emiliano Lorini (co-chair), Claudio Masolo, John-Jules Meyer, Matthias Nickles, Eric Pacuit, Henry Prakken, Antonino Rotolo, Lambèr Royakkers, Nicolas Troquard, Raimo Tuomela, Leon van der Torre Submission Details: Authors are invited to submit an extended abstract presenting an approach which is relevant to the area of logic for multi-agent systems. Extended abstract should have a maximum of 5 pages. The following formats are accepted: PDF, PS, Word. (Latex-generated papers are preferred.) Please send your submission electronically to both program chairs by the deadline listed below. The submissions will be reviewed by the workshop’s program committee and additional reviewers. The accepted papers will appear in the workshop proceedings published by ESSLLI. The format for the final versions will be made available in due course. We plan to organize a special issue of the Journal of Applied Non-Classical Logics (JANCL) based on selected papers presented at the workshop. Important dates: Submissions: February 15, 2009 Notification: April 15, 2009 Preliminary programme: April 24, 2009 ESSLLI early registration: May 1, 2009 Final papers for proceedings: May 15, 2009 Final programme: June 15, 2009 Workshop dates: July 20-31, 2009 From emiliano.lorini at istc.cnr.it Sat Dec 27 00:19:21 2008 From: emiliano.lorini at istc.cnr.it (emiliano.lorini at istc.cnr.it) Date: Sat, 27 Dec 2008 00:19:21 +0100 Subject: Workshop Logical Methods for Social Concepts (LMSC) Message-ID: <1230333561.495566790bf0b@webmail.src.cnr.it> * Call for papers: Workshop Logical Methods for Social Concepts (LMSC) * 20-31 July, 2009 in Bordeaux workshop organized as part of ESSLLI 2009 (http://esslli2009.labri.fr) webpage: http://www.irit.fr/~Andreas.Herzig/Esslli09/ Workshop Purpose: Both computer science and the social sciences are interested in social concepts such as power, cooperation, responsibility, delegation, trust, reputation, convention, agreement, commitment, etc. The aim of this workshop is to study whether logical approaches developed in the multi-agent system (MAS) domain are adequate to express them in an accurate way. In particular, are existing logical approaches sufficiently expressive to capture the main features of these social concepts? Are the basic assumptions in the existing logics for MAS too strong to capture the fundamental aspects of social phenomena? Are some concepts relevant for social theory missing in these logics? The workshop is intended to bring together logicians and social theorists in order to provide a better understanding of the potentialities and limitations of logical methods for the analysis of social reality. Its scope includes not only the technical aspects of logics for multi-agent systems, but also multidisciplinary aspects from social sciences (e.g. economics, sociology, social philosophy) and a critical analysis of the existing logical frameworks for the specification of social concepts. Workshop Topics: The following are some examples of topics that are relevant for the workshop: - Logics of individual and collective powers; - Logical approaches to game theory; - Dynamic epistemic logics and logics of communication; - Logics of normative systems and institutions; - Logical approaches to trust and reputation; - Logical approaches to organizational concepts (e.g. roles, responsibility, delegation); - Logics of social commitment and collective attitudes (e.g. common belief and common knowledge, collective acceptance, joint intentions); - Logics for mechanism design. Workshop Organizers: Andreas Herzig and Emiliano Lorini Invited speakers: - Alexandru Baltag, Oxford University - Rineke Verbrugge, University of Groningen Workshop Programme Committee: Thomas à gotnes, Johan van Benthem, Guido Boella, Jan Broersen, Cristiano Castelfranchi, Pilar Dellunde, Frank Dignum, Nicola Dimitri, Hans van Ditmarsch, Davide Grossi, Andreas Herzig (co-chair), Wiebe van der Hoek, Jeff Horty, Andrew Jones, Jérôme Lang, Emiliano Lorini (co-chair), Claudio Masolo, John-Jules Meyer, Matthias Nickles, Eric Pacuit, Henry Prakken, Antonino Rotolo, Lambèr Royakkers, Nicolas Troquard, Raimo Tuomela, Leon van der Torre Submission Details: Authors are invited to submit an extended abstract presenting an approach which is relevant to the area of logic for multi-agent systems. Extended abstract should have a maximum of 5 pages. The following formats are accepted: PDF, PS, Word. (Latex-generated papers are preferred.) Please send your submission electronically to both program chairs by the deadline listed below. The submissions will be reviewed by the workshop’s program committee and additional reviewers. The accepted papers will appear in the workshop proceedings published by ESSLLI. The format for the final versions will be made available in due course. We plan to organize a special issue of the Journal of Applied Non-Classical Logics (JANCL) based on selected papers presented at the workshop. Important dates: Submissions: February 15, 2009 Notification: April 15, 2009 Preliminary programme: April 24, 2009 ESSLLI early registration: May 1, 2009 Final papers for proceedings: May 15, 2009 Final programme: June 15, 2009 Workshop dates: July 20-31, 2009 From sebastian.schaffert at salzburgresearch.at Sat Dec 27 12:48:55 2008 From: sebastian.schaffert at salzburgresearch.at (Sebastian Schaffert) Date: Sat, 27 Dec 2008 12:48:55 +0100 Subject: Call for Papers: 4th Workshop on Semantic Wikis (SemWiki2009) Message-ID: <49561627.9060507@salzburgresearch.at> ***Call for Papers*** Fourth Workshop on Semantic Wikis The Semantic Wiki Web [SemWiki2009] co-located with ESWC 2009, Heraklion, Crete 1st June 2009 http://www.semwiki.org/ Supported by the EU Project KiWi - Knowledge in a Wiki (http://www.kiwi-project.eu) Goals and Motivation ==================== Wikis are a major success of Web 2.0. They are used for a large number of purposes, such as encyclopedias, project documentation, and coordination, both in open communities and in enterprises. Wikis have demonstrated how it is possible to transform a community of strangers into a community of collaborators. By integrating Semantic Web technologies, semantic wikis one the one hand allow this new community of contributors to produce formalized knowledge readable by machines and on the other hand support the users in ways ordinary wikis are not capable of, e.g. by personalisation, integration with other services, and reasoning. Authoring and usage of informal and formal data take place in the same system, leading to instant gratification. Some systems simply tag existing wiki content, others are full-fledged ontology editors, but the majority covers the large scale between informal and fully formalized content, guiding users from informal knowledge contained in texts to more formal structures. Semantic wikis are a very promising way to establish a partnership between human and automated collaborators, creating communities for collaborative knowledge building and sharing. Some important steps have already been achieved with systems that are already adopted outside of the original Semantic Web community. Semantic wikis are thus even now a major success story of the Semantic Web and a reference that combines the advantage of Web 2.0 and the Web of data and have the potential to significantly contribute to the adoption of semantic technologies throughout the Web. The goal of this workshop is to study how interactions within a semantic wiki between humans and between humans and machines can help both parties to collaboratively produce and share knowledge that is usable for human and computers. As semantic wikis contain many of the core Semantic Web challenges in an integrated fashion, we are also concerned about contributing results obtained in semantic wiki "petri dishes" to the overall Semantic Web effort. Workshop Audience and Topics ============================ We want to bring together researchers and practitioners active in the development and application of traditional and semantic wiki systems, as well as researchers interested in knowledge acquisition in general and in computer supported cooperative work. This includes researchers working on semantic portals, personal and enterprise knowledge management systems and ontology authoring. We address researchers working on (but not limited to): * Applications of semantic wikis in - e-science and e-learning - software and knowledge engineering - enterprise workflows and knowledge management - personal knowledge management - ... and other fields * Integration and reuse of semantic wikis or (semantic) wiki content: - integrations with other semantic applications; mashups - wikis and Linked Open Data; scaling wikis to the web - giving semantics to non-semantic wikis (e.g. Wikipedia) - reusing semantics gained from wikis (e.g. DBpedia) * Human and social factors of semantic wikis - usability studies, empirical studies, analyses of semantic wiki contributors and their contributions - overcoming entrance barriers, giving incentives for contributing - connecting knowledge and social interaction - community building * Knowledge representation and reasoning in semantic wikis - combining formal and informal knowledge, transforming informal to formal knowledge, making formal knowledge accessible - coping with inconsistencies - change management, truth maintenance, versioning, and undoing semantic changes - utilizing emerging knowledge models - semantic wikis for rapid prototyping of schema-driven applications - collaborative ontology engineering with wikis * Technologies for semantic wikis - privacy: permissions, trust, licensing, access control - browsing, navigating, visualizing semantically enhanced linked data - distributed semantic wikis: offline/distributed/real-time/multi- synchronous editing - innovative plugins and extensions for existing systems (e.g. Semantic MediaWiki) Organisation Committee ====================== * Christoph Lange, Jacobs University Bremen, Germany ch.lange at jacobs-university.de * Sebastian Schaffert, Salzburg Research, Austria sebastian.schaffert at salzburgresearch.at * Hala Skaf-Molli, INRIA-Nancy University, France skaf at loria.fr * Max Völkel, University of Karlsruhe, Germany voelkel at fzi.de Programme Committee =================== * David Aumüller, Universität Leipzig (DE) * Sören Auer, Universität Leipzig (DE) * Joachim Baumeister, Universität Würzburg (DE) * Björn Decker, IESE (DE) * Sebastian Dietzold, Universität Leipzig (DE) * Ludger van Elst, DFKI (DE) - pending * Michael Erdmann, Ontoprise (DE) * Herman Geuvers, Radboud Univ. Nijmegen (NL) * Tudor Groza, DERI (IE) * Fabian Gandon, INRIA - Edelweiss (FR) * Siegfried Handschuh, DERI (IE) * Martin Hepp, UniBW M√ºnchen (DE) * Malte Kiesel, DFKI (DE) * Michael Kohlhase, Jacobs University Bremen (DE) * Tobias Kuhn, Universität Zürich (CH) * Pascal Molli, Nancy Univerity, INRIA (FR) * Christine Müller, Jacobs University Bremen (DE) * Claudia Müller, Universität Stuttgart (DE) * Amedeo Napoli, CNRS, LORIA (FR) * Viktoria Pammer, Know-Center Graz (AT) * Jochen Reutelshöfer, Universität Würzburg (DE) * Jean Rohmer, Thales (FR) * Matthias Samwald, Semantic Web Company (AT) * Daniel Schwabe, University of Rio de Janeiro (BR) * Elena Simperl, STI Innsbruck (AT) * Harold Solbrig, Mayo Clinic (US) * Steffen Staab, Universität Koblenz-Landau (DE) * Jakob Vo√ü, GBV Göttingen (DE) * Friedel Völker, City Wiki Pforzheim-Enz (DE) * Peter Yim, CIM Engineering Inc. (US) * Alicia Diaz,LIFIA, Fac Informatica, UNLP (ARG) Further invitations are planned. Submission and Proceedings ========================== We invite the following different kinds of contributions: * full research or application papers (15 pages) describing recent research outcomes, mature work, prototypes, applications, or methodologies; authors of accepted full papers will be able to present their work in a 20 minute talk at the workshop * short position papers (5-10 pages) describing early work and new ideas that are not yet fully worked out; authors of short papers will be able to present their work in a 5-10 minute lightning talk at the workshop * demo outlines (5 pages) describing the demonstration of a software prototype in the poster and demo session during the workshop * poster descriptions (2 pages) outlining a poster to be presented in the poster and demo session during the workshop Independently of the type of submission, all papers should be formatted according to the Springer Lecture Notes in Computer Science (LNCS) format. For complete details on this issue see Springer's Author Instructions at http://www.springer.com/computer/lncs?SGWID=0-164-2-72376-0. Papers will be submitted using the EasyChair system. Access to EasyChair will be given in time on the workshop homepage (http://www.semwiki.org). In addition to ordinary submissions, all attendees of the workshop are encouraged to informally present their work in an open space session during the workshop if they are not (yet) able to submit a description of their work or to also discuss more recent work that has been done after the submission deadline of the workshop. Important Dates =============== Paper Submission: 22nd February 2009 Author Notification: 4th April 2009 Workshop: 1st June 2009 In case of questions, feel free to contact any of the organisers at chair at semwiki.org -- Sebastian | Dr. Sebastian Schaffert sebastian.schaffert at salzburgresearch.at | Salzburg Research Forschungsgesellschaft http://www.salzburgresearch.at | Knowledge Based Information Systems +43 662 2288 423 | Jakob-Haringer Strasse 5/II | A-5020 Salzburg PGP Key fingerprint = 13 1D 2E 4F 20 3E C9 1F 4C 57 52 87 8A 80 48 4D F5 E9 97 EC From emiliano.lorini at istc.cnr.it Fri Dec 26 22:29:28 2008 From: emiliano.lorini at istc.cnr.it (emiliano.lorini at istc.cnr.it) Date: Fri, 26 Dec 2008 22:29:28 +0100 Subject: Subscribe me! Message-ID: <1230326968.49554cb8ee1ef@webmail.src.cnr.it> From emiliano.lorini at istc.cnr.it Sat Dec 27 00:13:00 2008 From: emiliano.lorini at istc.cnr.it (emiliano.lorini at istc.cnr.it) Date: Sat, 27 Dec 2008 00:13:00 +0100 Subject: Confirmation Request (0100854504) In-Reply-To: References: Message-ID: <1230333180.495564fc33212@webmail.src.cnr.it> Scrive event administration : > This is an automated message from the > mailing list manager > > Somebody (probably you) have requested the subscribe(feed) operation > for your address > > If you want to confirm this operation, > use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 0100854504, > the reply is directed to , > and the 'From' address of your reply is . > > If you do not want to confirm the requested operation, simply do nothing > > All requests about this mailing list > should be sent to > > > From simon.miles at kcl.ac.uk Sat Dec 27 23:02:49 2008 From: simon.miles at kcl.ac.uk (Simon Miles) Date: Sat, 27 Dec 2008 22:02:49 +0000 Subject: 2009 IFAAMAS Award for Influential Papers in Agents and Multiagent Systems Message-ID: *** Call for Nominations *** 2009 IFAAMAS Award for Influential Papers in Agents and Multiagent Systems The International Foundation for Autonomous Agents and Multi-Agent Systems has established an award to recognize publications that have made influential and long-lasting contributions to the field. Candidates for this award are papers that have proved a key result, led to the development of a new subfield, demonstrated a significant new application or system, or simply presented a new way of thinking about a topic that has proved influential. A list of previous winners of this award is appended below. This award is presented annually at the AAMAS Conference, in this case AAMAS-09 in Budapest in May. Winning papers must have been published at least 10 years before the award presentation, therefore this year's eligible set comprises papers published in 1999 or earlier, in any recognized forum (journal, conference, workshop). To nominate a publication for this award, please send the full reference plus a brief statement (150 words or fewer) about the significance of the paper to Michael Wellman (chair of the 2009 award cmte), wellman at umich.edu. Nominations are due by 4 February 2009. 2009 Influential Paper Award Committee: Michael Wellman (chair), Sarit Kraus, Hideyuki Nakashima, Milind Tambe Previous Award Winners 2008 BRATMAN, M. E., ISRAEL, D. J. & POLLACK, M. E. (1988) Plans and resource-bounded practical reasoning. Computational Intelligence, 4, 349-355. DURFEE, E. H. & LESSER, V. R. (1991) Partial global planning: A coordination framework for distributed hypothesis formation. IEEE Transactions on Systems, Man, and Cybernetics, 21, 1167-1183. 2007 GROSZ, B. J. & KRAUS, S. (1996) Collaborative plans for complex group action. Artificial Intelligence, 86, 269-357. RAO, A. S. & GEORGEFF, M. P. (1991) Modeling rational agents within a BDI-architecture. Second International Conference on Principles of Knowledge Representation and Reasoning. ROSENSCHEIN, J. S. & GENESERETH, M. R. (1985) Deals among rational agents. Ninth International Joint Conference on Artificial Intelligence. 2006 COHEN, P. R. & LEVESQUE, H. J. (1990) Intention is choice with commitment. Artificial Intelligence, 42, 213-261. DAVIS, R. & SMITH, R. G. (1983) Negotiation as a metaphor for distributed problem solving. Artificial Intelligence, 20, 63-109. -- Dr Simon Miles Agents and Intelligent Systems Group Department of Computer Science Kings College London, UK From jiazhang at cs.niu.edu Tue Dec 30 04:48:57 2008 From: jiazhang at cs.niu.edu (Jia Zhang) Date: Mon, 29 Dec 2008 21:48:57 -0600 Subject: Call for Papers: IEEE ICWS 2009 (Extended to 1/30/2009) Message-ID: <702301c96a31$ad342fb0$079c8f10$@niu.edu> Apologies for cross-postings. Please send it to interested colleagues and students. Thanks! ICWS 2009 Submission Site is Open: http://conferences.computer.org/icws/2009/submission.html ::::::::::::::::::::::::: CALL FOR PAPERS ::::::::::::::::::::::::: The 7th IEEE International Conference on Web Services (ICWS 2009) http://conferences.computer.org/icws/2009 July 6-10, 2009, Los Angeles, CA, USA Theme: Innovations for Web-based Services Sponsored by: IEEE Computer Society Technical Committee on Services Computing (http://tab.computer.org/tcsc) & Services Society (http://www.servicessociety.org) (Approval Pending) *************************************** NEWS ********************** Call For Papers: IEEE Transactions on Services Computing (TSC, http://computer.org/tsc). Special theme issues from ICWS 2009 will be published in TSC. Call For Papers: International Journal of Web Services Research (JWSR, http://www.servicescomputing.org/jwsr/) has been indexed by SCI-E. Special theme issues from ICWS 2009 will be published in JWSR. Call For papers: International Journal of Business Process Integration and Management (IJBPIM, http://ijbpim.servicescomputing.org/) ******************************************************************** ICWS 2009 organizing committee invites you to participate in the seventh edition of ICWS, to be held in Los Angeles, CA, USA. ICWS has been a prime international forum for both researchers and industry practitioners to exchange the latest fundamental advances in the state of the art on Web services. ICWS aims to identify emerging research topics and define the future of Web services. Over the past seven years, ICWS has grown steadily, attracting over 250 participants on a regular basis. Previous editions of ICWS have been held (most recent first) in Beijing, Salt Lake City, Chicago, Orlando, San Diego, and Las Vegas. ICWS 2009 will co-locate with the 3rd World Congress on Services (SERVICES 2009) to explore the science and technology of all aspects of "Services", which has been formally promoted by IEEE Computer Society since 2003. In addition, ICWS 2009 will be supported by a set of keynotes, panels, and tutorials. The technical program of ICWS 2009 will include a refereed research track, an application and industry track, a work-in-progress track, and a poster track. The research track will highlight foundational work that strives to push beyond the limits of existing Web services platforms and products, including experimental efforts, innovative systems and investigations that identify weaknesses in the existing Web services models. The ICWS 2009 research track seeks original, UNPUBLISHED research papers reporting substantive new work in various aspects of Web services. Research papers must properly cite related work and clearly indicate their contributions to the field of Web services. All topics relevant to Web services are of interest, but the conference program committee particularly encourages submissions related to the following aspects of Web services: Foundations of Web Services * Service-Oriented Architecture (SOA) and Evolutions * Models, methodologies, and tools (including analysis, design, modeling, and composition) * Publishing, discovery, and selection (including in mobile settings) * Validation and testing (including risk assessment and tracking) * Management and governance (including monitoring, QoS, privacy, trust) * Formal methods (including modeling and specification, data and process semantics, type systems, security, QoS, and other properties) * Standards and implementation and deployment technologies Web-based Services * Web 2.0 and Web X.0 concepts in Web services settings * Software as a Service (SaaS) * Service As Software * Cloud Computing * Technologies for building and operating massive data centers (including middleware) Web Services Applications beyond Web * Applications (including mobile, scientific, Grid and utility, autonomic, and embedded computing) * Business process management (including business protocols, business intelligence, service level agreements, and business licensing models) All submitted manuscripts will be peer-reviewed by at least 3 program committee members. Accepted papers will appear in the conference proceedings published by the IEEE Computer Society Press. Extended versions of selected papers published in the ICWS 2009 will be invited through a fast review channel for potential publication in the IEEE Transactions on Services Computing (TSC), International Journal of Web Services Research (JWSR) and the International Journal of Business Process Integration and Management (IJBPIM). Both the ICWS Proceedings and JWSR are included in EI Compendex. JWSR is also indexed in SCI-E. Submitted manuscripts will be limited to 8 (IEEE Proceedings style) pages and REQUIRED to be formatted using the IEEE Proceedings template. Unformatted papers and papers beyond 8 pages will not be reviewed. Electronic submission of manuscripts (in PDF or Word format) is required. Detailed instructions for electronic paper preparation and submission, panel proposals, tutorial proposals, workshop proposals, and review process can be found at http://conferences.computer.org/icws/2009/. At least one author of each accepted paper is required to register to the conference and present the paper. One Best Paper award and one Best Student Paper award will be granted at ICWS 2009. The first author of the best student paper must be a full-time student. If your paper is application or solution oriented, you can consider submitting it to ICWS 2009 Applications and Industry Track. Manuscripts submitted to the Research Track focusing on application or solution descriptions may be recommended to the Applications and Industry Track for further consideration if the session slots are available. Submitted papers with novel ideas but not accepted by the Research Track and Applications and Industry Track may also be recommended for potential consideration by the chairs of the Work-in-Progress Track and Poster Track of ICWS 2009, and other tracks and workshops of SERVICES 2009. ICWS Program Committee requires that authors adopt the keywords and index terms in Services Computing "M" from the IEEE CS taxonomy (computer.org/tsc). Important Dates: ============== Abstract Submission Deadline: Extended to January 30, 2009 Full Paper Submission Due Date: Extended to January 30, 2009 Decision Notification (Electronic): March 20, 2009 Camera-Ready Copy Due Date & Pre-registration Due: April 10, 2009 Organizing Committee ================= General Chair Paul Hofmann, Ph.D., Vice President Research, SAP Labs, USA Program Committee Chairs Ernesto Damiani, Ph.D., Professor, Dept. of Computer Technology, University of Milan, Italy. Head of the University of Milan's Ph.D. School in Computer Science Rong Chang, Ph.D., IBM T.J. Watson Research Center, USA Program Committee Vice Chair Jia Zhang, Ph.D., Assistant Professor, Department of Computing Science, Northern Illinois University, USA Applications and Industry Chair Wu Chou, Ph.D., IEEE Fellow, Director, Avaya Labs Fellow, Avaya Labs Research, USA Work-in-Progress Chair Onyeka Ezenwoye, Ph.D., Assistant Professor, South Dakota State University, USA Poster Chairs Incheon Paik, Ph.D., Associate Professor, The University of Aizu, Japan Ali Bahrami, Ph.D., Associate Technical Fellow, The Boeing Company, USA Hong Cai, Ph.D., Chief Architecture, IBM China Software Development Lab Publication Chair Patrick C.K. Hung, Ph.D., Associate Professor, Faculty of Business and Information Technology, University of Ontario Institute of Technology (UOIT), Canada, Adjunct Assistant Professor, Department of Electrical and Computer Engineering, University of Waterloo, Canada Local Arrangement Chair Qun Zhou, IBM, USA Global SOA Industry Summit Chair Tony Shan, IBM, USA Dejan S. Milojicic, Ph.D., HP Labs, USA Publicity Chairs Charles Shoniregun, Ph.D., Programme Leader for MSc TM, School of Computing & Technology, University of East London, UK Mikio Aoyama, Ph.D., Professor, Department of Information and Telecommunication Engineering, Nanzan University, Japan Hong Mei, Ph.D., Professor, Director, Institute of Software, Dean, School of Electronics Engineering and Computer Science, Peking University, China Panel Chairs Calton Pu, Ph.D., Professor and John P. Imlay, Jr. Chair in Software, Georgia Tech, USA Geng Lin, Ph.D., CTO of Cisco IBM Alliance, USA Bhavani Thuraisingham, Ph.D., Professor, University of Texas at Dallas, USA Casey Fung, Ph.D., Boeing Phantom Works, USA Tutorial Chairs Ling Liu, Ph.D., Associate Professor, College of Computing, Georgia Institute of Technology, USA Brian Blake, Ph.D., Associate Professor and Chair, Department of Computing Science, Georgetown University, USA Workshop Chairs Umesh Bellur, Ph.D., Professor, IIT Bombay, India Jian Yang, Ph.D., Associate Professor, Department of Computing, Macquaire University, Australia Pradip K Srimani, Ph.D., Professor, Department of Computer Science, Clemson University, USA Ph.D. Symposium Chair Athman Bouguettaya, Ph.D., CSIRO ICT Center, Canberra, ACT, Australia Services Cup Contest Chairs Min Luo, Ph.D., IBM Global Services, USA. Yuhong Yan, Ph.D., Assistant Professor, Concordia University, Canada Sujoy Basu, Ph.D., HP Labs - Palo Alto, USA Sushil Prasad, Ph.D., Professor, Georgia State University, USA Body of Knowledge Chairs Michael Goul, Ph.D., Professor, W.P. Carey School of Business, Arizona State University, USA Yanchun Zhang, Ph.D., Director, Centre for Applied Informatics Research School of Computer Science & Mathematics, Victoria University, Australia Services Education Methodology Summit Chairs Hemant Jain, Ph.D., Wisconsin Distinguished Professor, Management Information Systems, Tata Consulting Services Professor, University of Wisconsin - Milwaukee, USA Andreas Wombacher, Ph.D., Assistant Professor, University of Twente, The Netherlands Zhixiong Chen, Ph.D., Professor, Mathematics and Computer Information Science, Mercy College, USA Job Fair Chair Anup Kumar, Ph.D., Professor, University of Louisville, USA Innovation Show Case Chairs Atilla Elci, Ph.D., Eatern Mediterranean University, Turkey Wing-Kwong Chan, Ph.D., City of University of Hong Kong, China Registration Chair Thomas Kwok, Sc.D., IBM T.J. Watson Research Center, USA Technical Steering Committee Carl K. Chang, Ph.D., Department Chair and Professor, Iowa State University, USA Ephraim Feig, Ph.D., President, Innovations-to-Market, USA Hemant Jain, Ph.D., Professor, University of Wisconsin at Milwaukee , USA Frank Leymann, Ph.D., Professor, University of Stuttgart, Germany Calton Pu, Ph.D., Professor and John P. Imlay, Jr. Chair in Software, Georgia Tech, USA Jeffrey Tsai, Ph.D., Professor, University of Illinois at Chicago, USA Zhiwei Xu, Ph.D., Institute of Computing Technology, China Liang-Jie Zhang, Ph.D. (Chair), Research Staff Member and Founding Chair of Services Computing Professional Interest Community, IBM T.J. Watson Research Center, USA Program Committee To be published. Review Policy ============= IEEE Policy and professional ethics require that referees treat the contents of papers under review as privileged information not to be disclosed to others before publication. It is expected that no one with access to a paper under review will make any inappropriate use of the special knowledge that access provides. Contents of abstracts submitted to conference program committees should be regarded as privileged as well, and handled in the same manner. The Conference Publications Chair shall ensure that referees adhere to this practice. Organizers of IEEE conferences are expected to provide an appropriate forum for the oral presentations and discussions of all accepted papers. An author, in offering a paper for presentation at an IEEE conference, or accepting an invitation to present a paper, is expected to be present at the meeting to deliver the paper. In the event that circumstances unknown at the time of submission of a paper preclude its presentation by an author, the program chair should be informed on time, and appropriate substitute arrangements should be made. In some cases it may help reduce no-shows for the Conference to require advance registration together with the submission of the final manuscript. ======================================================== Please join us at: IEEE Services Computing Community To join, please visit https://www.ieeecommunities.org/services and follow instructions to apply for free membership. As a member, you will be permitted to login and participate in the community, including accessing IEEE Body of Knowledge on Services Computing (servicescomputing.tv). ---------------------------------------------------------------- *** For any paper submission enquiries, please e-mail to the Program Committee Vice Chair Jia Zhang: jiazhang AT cs.niu.edu; For any community, sponsorship and other professional activities, please contact the Steering Committee Chair LJ Zhang: zhanglj AT ieee.org. *** -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: