From announce at cs.ucy.ac.cy Sun Jun 1 10:43:07 2014 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 1 Jun 2014 11:43:07 +0300 Subject: Last Mile: The 10th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob 2014) Message-ID: *** Last Mile *** The 10th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications WiMob 2014 Golden Bay Hotel, Larnaca, Cyprus October 8-10, 2014 http://conferences.computer.org/WiMob2014/ Deadline for Paper Submissions: June 9, 2014 (Proceedings will be published by IEEE) The IEEE WiMob conference is an international forum for the exchange of experience and knowledge among researchers and developers concerned with wireless and mobile technology. For nine years, the International IEEE WiMob conference has provided unique opportunities for researchers to interact, share new results, show live demonstrations, and discuss emerging directions in Wireless Communications, Mobile Networking and Ubiquitous Computing. IEEE WiMob 2014 will take place at Larnaca, Cyprus, between October 8 to 10th, 2014. It will be held at the Golden Bay Beach Hotel, a luxurious 5 star hotel situated in the favored south eastern region of Cyprus at the heart of the Bay of Larnaca. IEEE WiMob 2014 is soliciting high quality technical papers addressing research challenges in the areas of wireless communications, wireless networking, mobility, nomadicity, ubiquitous computing, services and applications. Papers should present original work validated via analysis, simulation or experimentation. Practical experiences and Testbed trials also are welcome. IEEE WiMob 2014 will host three parallel symposiums, including but not limited to the following topics: 1. Wireless Communications Broadband Wireless Communication Systems Signal Separation and Interference Rejection Wireless Personal Communications Multimedia Communications over Wireless Advances in Satellite Communication DSP Applications to Wireless Systems Adaptive Antennas for Wireless Systems Modulation and Coding Multiple Access Techniques Multiuser Detection Femtocells Channel Measurement and Characterization Location Estimation and Tracking OFDM and CDMA Technologies and Systems Resource Allocation and Interference Management MIMO Channels Multirate and Multicarrier Communications Link and System Capacity Spectrum Usage and Cognitive radio systems Cognitive and cooperative MAC Cognitive Radio Applications and Spectrum Management 2. Wireless Networking, Mobility and Nomadicity Mobile IP Networks Inter-working of 2G, 3G and 4G Wireless Networks Security, Privacy and Authentication in Mobile Environments Cellular Systems, PCS Modeling and Configuration Wireless Sensor Networks Cross-layer Design and Optimization Cross-layer security Congestion and Admission Control Mobility patterns, Location and Handoff Management Design and Analysis of Wireless LAN/WAN Wireless multicasting, broadcasting and geocasting Wireless Sensors and Actuators/Robots networks Energy-efficient protocols for wireless networks Green wireless network architectures and communication protocols Opportunistic networks Vehicular wireless networks Wireless Mesh networks Delay Tolerant Networks Integration of ad hoc networks with wireless access networks QoS support for mobile networks RFID networks and protocols B3G/4G Systems, WiMAX, WLAN, WPAN Optimization models and algorithms 3. Ubiquitous Computing, Services and Applications Emerging Wireless/Mobile applications System prototypes, real deployments and experimentation Cognitive Radio applications and spectrum management Resource and service discovery Mobile Social Wireless Networks Opportunistic Applications Gaming Applications in Ubiquitous Computing Environments Operating system and middleware support for mobile computing Multimedia over Wireless Networks Network Coding in wireless networks Security, Privacy and Infrastructure for Ubiquitous Computing Green computing in wireless networks Smart Grid Portable Devices and Wearable Computers Passive, Active and Smart Tags for Ubiquitous Computing Context and Location aware applications Data replication and dissemination in mobile networks Mobile Urban Sensing and Crowd-sensing Data gathering, fusion, and dissemination in WSNs Intelligent Transport Systems applications Wireless communications to vehicle-to-grid applications Wireless telemedicine and e-health services Content distribution in wireless home environment Service oriented architectures, service portability, P2P Smart Cities and smart environment Important Dates Paper Submission Deadline: June 9, 2014 Notification of Acceptance: July 25, 2014 Camera Ready: August 25, 2014 Organization Committees General Chair Abderrahim Benslimane, University of Avignon, France General Co-Chairs George Angelos Papadopoulos, University of Cyprus, Cyprus Ali Miri, Ryerson University, Canada Steering Committee Chair Samuel Pierre, École Polytechnique de Montréal, Canada Steering Committee Abderrahim Benslimane, University of Avignon, France Dovan Thanh, Telenor & Norwegian Univ. of Science& Technology, Norway Hussein Mouftah, University of Ottawa, Canada Ibrahim Habib, City University of New York, USA Khaled Ben Letaief, Hong Kong University of Sci. & Tech. Pierre Boucher, Ericsson Research Canada Samuel Pierre, École Polytechnique de Montréal, Canada TPC Co-Chairs Li CHEN, Sun Yat-Sen University, China - wireless communication track Milena Radenkovic, University of Nottingham, UK - ubiquitous, service and application track Lin Xiaodong, University of Ontario Institute of Technology, Canada- wireless networking, mobility and nomadicity track Workshop Co-Chairs Ebrahim Bagheri, Ryerson University, Canada Joaquin Garcia-Alfaro, Telecom SudParis, France Joan Garcia Haro, Universidad Politecnica dede Cartagena, Spain Luis Orozco Barbosa, Universidad de Castilla-La Mancha, Spain Technical Program Committee http://conferences.computer.org/wimob2014/tpc.html -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From amedeo.napoli at loria.fr Sun Jun 1 23:26:34 2014 From: amedeo.napoli at loria.fr (Amedeo Napoli) Date: Sun, 1 Jun 2014 23:26:34 +0200 (CEST) Subject: CFP FCA4AI Workshop at ECAI 2014 (extended deadline and last call) In-Reply-To: <423185719.15594541.1401657980014.JavaMail.zimbra@loria.fr> Message-ID: <260141211.15594545.1401657994780.JavaMail.zimbra@loria.fr> ------------------------------------------------------------------------------------------------------------------- Call for Papers ------------------------------------------------------------------------------------------------------------------- -- FCA4AI (Third Edition) -- ``What can FCA do for Artificial Intelligence?'' co-located with ECAI 2014, Prague, Czech Republic August 19 2014 http://www.fca4ai.hse.ru ------------------------------------------------------------------------------------------------------------------- General Information. The first and the second editions of the FCA4AI Workshop (ECAI 2012, Montpellier and IJCAI 2013, Beijing) showed that many researchers working in Artificial Intelligence are indeed interested by a powerful method for classification and mining such as Formal Concept Analysis (see http://ceur-ws.org/Vol-939/ and http://ceur-ws.org/Vol-1058/). We have the chance to organize a new edition of the workshop in Prague at the ECAI 2014 Conference. Formal Concept Analysis (FCA) is a mathematically well-founded theory aimed at data analysis and classification. FCA allows one to build a concept lattice and a system of dependencies (implications) which can be used for many AI needs, e.g. knowledge processing involving learning, knowledge discovery, knowledge representation and reasoning, ontology engineering, and as well as information retrieval and text processing. Thus, there exist many ``natural links'' between FCA and AI. Recent years have been witnessing increased scientific activity around FCA, in particular a strand of work emerged that is aimed at extending the possibilities of FCA w.r.t. knowledge processing, such as work on pattern structures and relational context analysis. These extensions are aimed at allowing FCA to deal with more complex than just binary data, both from the data analysis and knowledge discovery point of view and from the knowledge representation point of view, including, e.g., ontology engineering. All these works extend the capabilities of FCA and offer new possibilities for AI activities in the framework of FCA. Accordingly, in this workshop, we will be interested in two main issues: - How can FCA support AI activities such as knowledge processing (knowledge discovery, knowledge representation and reasoning), learning (clustering, pattern and data mining), natural language processing, information retrieval. - How can FCA be extended in order to help AI researchers to solve new and complex problems in their domain. The workshop is dedicated to discuss such issues. TOPICS OF INTEREST include but are not limited to: - Concept lattices and related structures: description logics, pattern structures, relational structures. - Knowledge discovery and data mining with FCA: association rules, itemsets and data dependencies, attribute implications, data pre-processing, redundancy and dimensionality reduction, classification and clustering. - Knowledge engineering and ontology engineering: knowledge representation and reasoning. - Scalable algorithms for concept lattices and artificial intelligence ``in the large'' (distributed aspects, big data). - Applications of concept lattices: semantic web, information retrieval, visualization and navigation, pattern recognition. The workshop will include time for audience discussion for having a better understanding of the issues, challenges, and ideas being presented. IMPORTANT DATES: Submission deadline: June 15, 2014 Notification to authors: July 10, 2014 Final version: July 21, 2014 Workshop: August 19, 2014 SUBMISSION DETAILS: The workshop welcomes submissions in pdf format in Springer's LNCS style. Submissions can be: - technical papers not exceeding 8 pages, - system descriptions or position papers on work in progress not exceeding 4 pages Submissions are via EasyChair at https://www.easychair.org/conferences/?conf=fca4ai2014 (opening soon) The workshop proceedings will be published as CEUR proceedings. A selection of the best papers presented at the workshop will be considered for a special issue of a high-level journal. WORKSHOP CHAIRS: Sergei O. Kuznetsov Higher Schools of Economics, Moscow, Russia Amedeo Napoli LORIA-INRIA, Vandoeuvre les Nancy, France Sebastian Rudolph Technische Universitaet Dresden, Germany PROGRAM COMMITTEE (in constitution) Mathieu D'Aquin, Open University, Milton Keynes, UK Franz Baader, Technische Universitaet Dresden, Germany Radim Belohlavek, Palacky University, Olomouc, Czech Republic Karell Bertet, Université de La Rochelle, France Claudio Carpineto, Fondazione Ugo Bordoni, Roma, Italy Felix Distel, Technische Universitaet Dresden, Germany Sébastien Ferré, IRISA Rennes, France Bernhard Ganter, Technische Universitaet Dresden, Germany Pascal Hitzler, Wright State University, Dayton, Ohio, USA Marianne Huchard, LIRMM Montpellier, France Dmitry I. Ignatov, Higher School of Economics, Moscow, Russia Mehdi Kaytoue, LIRIS-INSA, University of Lyon, France Markus Krötzsch, University of Oxford, UK Sergei A. Obiedkov, Higher Schools of Economics, Moscow, Russia Jan Outrata, Palacky University, Olomouc, Czech Republic Uta Priss, Ostfalia University of Applied Sciences, Wolfenbüttel, Germany Baris Sertkaya, SAP Dresden, Germany, Henry Soldano, Université de Paris-Nord, France Gerd Stumme, Universitaet Kassel, Germany Petko Valtchev, Université du Québec à Montréal, Montréal, Canada ------------------------------------------------------------------------------------------------------------------- ------------------------------------------------------------------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ibichind at oswego.edu Mon Jun 2 18:51:21 2014 From: ibichind at oswego.edu (Isabelle Bichindaritz) Date: Mon, 2 Jun 2014 12:51:21 -0400 Subject: CFP WK on Synergies between CBR and Data Mining @ ICCBR - Deadline 6/23/2014 Message-ID: ICCBR-14 Workshop Workshop on Synergies between CBR and Data Mining Call for Papers At the core of CBR lies the ability of a system to learn from past cases. However, CBR systems often incorporate data mining methods, for example, to organize their memory or to learn adaptation rules. In turn, data mining systems often utilize CBR as a learning methodology, for example, through a common set of problems with the nearest-neighbor method and reinforcement learning. Meanwhile, the machine learning community, which is tightly coupled with data mining, has historically included CBR among the types of instance-based learning. This workshop will be dedicated to studying in-depth the possible synergies between case-based reasoning (CBR) and data mining. It also aims at identifying potentially fruitful ideas for co-operative problem-solving where both CBR and data mining researchers can compare and combine methods. In particular, new advances in data mining may help CBR to advance its field of study and play a vital role in the future of data mining. This first Workshop on Synergies between CBR and Data Mining aims to: * provide a forum for identifying important contributions and opportunities for research on combining CBR and data mining, * promote the systematic study of how to synergistically integrate CBR and data mining, * showcase synergistic systems using CBR and data mining. Some of the technical issues addressed, and potential outcomes of the workshop, are to identify the data mining methods used in CBR, to categorize the problems addressed by data mining in CBR, to propose methodological improvements to fit this context’s needs, preferred types and methods, and guidelines to better develop CBR systems taking advantage of all data mining research has to offer. Similarly, the workshop will identify the CBR methods used in data mining, categorize the problems addressed by CBR in data mining, propose methodological improvements to fit this context’s needs, preferred types and methods, and guidelines to better develop data mining systems taking advantage of all CBR research has to offer. We welcome all those interested in the problems and promise of synergistically combining CBR and data mining whether they belong to the CBR, the data mining community, or the machine learning community. Topics of interest include (but are not limited to): * Architectures for synergistic systems between CBR and data mining * Theoretical frameworks for synergistic systems between CBR and data mining * Memory structure mining in CBR * Memory organization mining in CBR (decision tree induction, etc.) * Case mining * Feature selection in CBR * Knowledge discovery in CBR (adaptation knowledge, meta-knowledge, etc.) * Concept mining in CBR * Image and multimedia mining in CBR * Temporal mining in CBR * Text mining in CBR * Nearest-neighbor systems and CBR * Instance-based learning and CBR * Reinforcement learning and CBR * CBR and statistics * CBR and statistical data analysis * CBR in multi-strategy learning systems * CBR and similarity and metric learning * CBR and Big Data * Application specific synergies between CBR and data mining (medicine, bioinformatics, social networks, sentiment analysis, etc.) Paper presentations will be interspersed with discussions in which we characterize, categorize, and discuss the synergies between CBR and data mining. A wrap-up round table discussion will summarize the lessons learnt, issues identified, and future directions. Submission Requirements Submitted papers are limited to 10 pages in length. All papers are to be submitted via the ICCBR-14 EasyChair system (https://www.easychair.org/conferences/?conf=iccbr2014). Papers should be in Springer LNCS format. Author's instructions, along with LaTeX and Word macro files, are available at http://www.springer.de/comp/lncs/authors.html. Submissions should be original papers that have not already been published elsewhere. However, papers may include previously published results that support a new theme, as long as all past publications are fully referenced. Dates * Submission Deadline: June 23, 2014 * Notification Date: August 12, 2014 * Camera-Ready Deadline: August 31, 2014 * Workshop date: September 29, 2014 Workshop Web Site: http://cs.oswego.edu/~bichinda/iccbr2014/ Organizing Committee Co-Chairs Isabelle Bichindaritz State University of New York, Oswego Oswego, NY, 13126, USA Phone: +1 315 312 2683 Email: ibichind at oswego.edu Cindy Marling Ohio University Athens, Ohio, 45701, USA Phone: +1 740 593 1246 Email: marling at ohio.edu Stefania Montani University of Piemonte Orientale I-15100 Alessandria, Italy Phone: +30 0131 360158 Email: stefania.montani at unipmn.it -- Dr. Isabelle Bichindaritz Assistant Professor SUNY Oswego Computer Science Department Shineman 427 7060 New York 104 Oswego, NY 13126 USA Ph: (315) 312 2683 Email: ibichind at oswego.edu -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From youakim.badr at insa-lyon.fr Mon Jun 2 23:29:19 2014 From: youakim.badr at insa-lyon.fr (Youakim Badr) Date: Mon, 2 Jun 2014 23:29:19 +0200 (CEST) Subject: CFP ACM MEDES 2014: Submission deadline approaching (8 June 2014) In-Reply-To: <1629017886.5213056.1401743989446.JavaMail.root@insa-lyon.fr> Message-ID: <1726414336.5213553.1401744559722.JavaMail.root@insa-lyon.fr> * Please distribute widely and accept our apologies for cross-posting * *************** CALL FOR PAPERS *************** The 6th International ACM Conference on Management of computational and collective Intelligence in Digital EcoSystems (MEDES 2014) In-Cooperation with ACM, ACM SIGAPP and IFIP WG 2.6 http://sigappfr.acm.org/MEDES/14/ September 15-17, 2014 Buraidah-Al Qassim, Saudi Arabia Description and Objectives --------------------------- In the world of the Internet of Things (IoT), the rapid growth and exponential use of digital components leads to the emergence of intelligent environments namely "digital ecosystems" connected to the web and composed of multiple and independent entities such as individuals, organizations, services, software and applications sharing one or several missions and focusing on the interactions and inter-relationships among them. With the help of the computational intelligence, these digital ecosystems can exhibit new self-* properties (such as self-management, self-healing and self-configuration) environments, thanks to the re-combination and evolution of its "digital components", in which resources provided by each entity are properly conserved, managed and used. The underlying web-based resources mainly comprehend big data management, innovative services, smart and self-* properties platforms. Due to the multi-disciplinary nature of digital ecosystems, they are highly complex to study and design. This also leads to a poor understanding as to how managing resources will empower digital ecosystems to be innovative, intelligent and value-creating. The application of Information Technologies has the potential to enable the understanding of how entities request resources and ultimately interact to create benefits and added-values, impacting business practices and knowledge. These technologies can be improved through novel techniques, models and methodologies for fields such as big data management, web technologies, networking, security, human-computer interactions, artificial intelligence, e-services and self-organizing systems to support the establishment of digital ecosystems and manage their resources. The International ACM Conference on Management of computational and collective IntElligence in Digital EcoSystems (MEDES) aims to develop and bring together a diverse community from academia, research laboratories and industry interested in exploring the manifold challenges and issues related to resource management of Digital Ecosystems and how current approaches and technologies can be evolved and adapted to this end. MEDES 2014 calls for full papers presenting interesting recent results or novel ideas in all areas of Emergent Digital EcoSystems. At the same time, the conference calls for short papers presenting interesting and exciting recent results or novel thought-provoking ideas that are not quite ready, and preferably include a system demonstration. Topics ------- MEDES 2014 seeks contributions in the following 10 areas: 1. Digital Ecosystem Infrastructure 2. Green computing 3. Computational and Collective Intelligence 4. Services 5. Trust, Security & Privacy 6. Data & Knowledge Management 7. Internet of Things and Intelligent Web 8. Human-Computer Interaction 9. Networks and Protocols 10. Open Source Paper Submission ---------------- Submissions must be in an electronic form as PDF format and should be uploaded using the conference website. The submitted paper should be at most 8 ACM single-space printed pages. Papers that fail to comply with length limit will be rejected. Submissions will be peer-reviewed by at least 3 peer reviewers. After the preliminary notification date, authors rebut by evidence and arguments all reviewer inquiries and their comments. Based on the rebuttal feedback, reviewers notify authors with the final decision. Selection criteria will include: relevance, significance, impact, originality, technical soundness, and quality of presentation. Preference will be given to submissions that take strong or challenging positions on important emergent topics related to Digital Ecosystems. At least one author should attend the conference to present the paper. The conference Proceedings will be published by ACM and indexed by the ACM Digital Library and DBLP. Important Dates ---------------- Extended Submission Deadline: 8 June 2014 Notification of Acceptance: 5 July 2014 Camera Ready: 20 July 2014 Conference Dates: 15-17 September 2014 Keynote Speakers ---------------- Fabien Gandon, INRIA, France Ton Kalker, DTS Incorporation, USA Kwei-Jay Lin, University of California, Irvine, USA Azer Bestavros, Boston University, USA Youngjin Yoo, Temple University, Philadelphia, USA Mohammed Ibrahim Al-Suwaiyel, President of KACST, Saudi Arabia Special Tracks: ---------------- Big Data Processing and Management Computational Intelligence Workshops ---------- - International Workshop on Security and Privacy Preserving in e-Societies (SECES) - International Workshop on Advances in Intelligent Environmental Monitoring (AIEM Special issues and Journal Publication --------------------------------------- Extended versions of selected papers will be published in several peer reviewed journals. The list of journals will be announced later. Main Conference Program Chairs ———————----------------------- Morad Benyoucef, University of Ottawa, Canada Saad Harous, United Arab Emirates University, UAE International Program Committee: -------------------------------- (Please check the web site for the full list) From agi.kurucz at kcl.ac.uk Tue Jun 3 12:56:51 2014 From: agi.kurucz at kcl.ac.uk (Agi Kurucz) Date: Tue, 3 Jun 2014 11:56:51 +0100 Subject: AiML 2014 - Call for participation Message-ID: <538DA9F3.2040809@kcl.ac.uk> ((Apologies for cross-postings)) *** AiML-2014: CALL FOR PARTICIPATION *** == Early registration deadline: June 15 == 10th INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC, GRONINGEN, 5-8 AUGUST, 2014 http://www.philos.rug.nl/AiML2014/ Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. AiML-2014 is the tenth conference in the series. The conference program will consist of presentations of original research papers, short presentations of work in progress, and invited talks. == INVITED SPEAKERS == Franz Baader (TU Dresden, Germany) Stephane Demri (New York University, US & CNRS, France) Joseph Halpern (Cornell University, US) Sara Negri (University of Helsinki, Finland) Frank Wolter (University of Liverpool, UK) == REGISTRATION == Early registration closes *June 15*, please register at http://www.philos.rug.nl/AiML2014/registration.html == TRAVEL AND ACCOMMODATION == Travel and accommodation information is available at http://www.philos.rug.nl/AiML2014/travel.html From invitation at iariaschedule.org Tue Jun 3 13:32:36 2014 From: invitation at iariaschedule.org (ICNS 2015) Date: Tue, 03 Jun 2014 07:32:36 -0400 Subject: 1st CfP: ICNS 2015 || May 24 - 29, 2015 - Rome, Italy Message-ID: <1401795156009.3285@iariaschedule.org> INVITATION: ================= Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to ICNS 2015. The submission deadline is December 24, 2014. Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org ================= ============== ICNS 2015 | Call for Papers =============== CALL FOR PAPERS, TUTORIALS, PANELS ICNS 2015, The Eleventh International Conference on Networking and Services May 24 - 29, 2015 - Rome, Italy General page: http://www.iaria.org/conferences2015/ICNS15.html Call for Papers: http://www.iaria.org/conferences2015/CfPICNS15.html Submission page: http://www.iaria.org/conferences2015/SubmitICNS15.html Contributions: - regular papers [in the proceedings, digital library] - short papers (work in progress) [in the proceedings, digital library] - ideas: two pages [in the proceedings, digital library] - extended abstracts: two pages [in the proceedings, digital library] - posters: two pages [in the proceedings, digital library] - posters: slide only [slide-deck posted at www.iaria.org] - presentations: slide only [slide-deck posted at www.iaria.org] - demos: two pages [posted at www.iaria.org] - doctoral forum submissions: [in the proceedings, digital library] Proposals for: - symposia: see http://www.iaria.org/symposium.html - workshops: see http://www.iaria.org/workshop.html - tutorials: [slide-deck posed on www.iaria.org] - panels: [slide-deck posed on www.iaria.org] Submission deadline: December 24, 2014 Sponsored by IARIA, www.iaria.org Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org Please note the Poster and Work in Progress options. The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas. All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels. Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html ICNS 2015 Topics (topics and submission details: see CfP on the site) ENCOT: Emerging Network Communications and Technologies Access and home networks; Ad hoc networks; Application-specific networks (e.g. SANs); Autonomic Networks; Delay-tolerant Networking; Distributed communications systems & applications; Energy-efficient networking; High-speed & optical networks; Mobile networking and systems; MPLS-VPN & IPSec-VPN networks; Multimedia and multicast communications; Networking Communication theory; Network modeling & simulation; Network monitoring techniques; Network security; Next Generation Networks (NGN); Overlay networks; Peer-to-peer networking; Programmable and Active Networks; Sensor networks; Switching and routing; Wireless and Satellite Networks COMAN: Network Control and Management Network, control and service architectures; Network signaling, pricing and billing; Network middleware; Network management, monitoring and control; Network resource scheduling; Networks policy-based management; Management of autonomic networks and systems; Telecommunication networks architectures; On-demand networks, utility computing architectures; Applications and case studies SERVI: Multi-technology service deployment and assurance Service-oriented architectures; Service definition, creation, bundling, deployment; Service reuse, composition and service feature interaction; Service orchestration and federation; Inter-provider service dependency; Intra-provider service dependency and service interaction; Service middleware and service development platforms (SDPs); Service open architecture (SOA); Profiling and service adaptation; Service privacy and security; Quality of service, service level agreement [QoS/SLA]; Service agreement violations; Mobile services and service migration; Reliability, availability, serviceability [RAS]; Service performance metrics; Traffic engineering, metering, monitoring; Voice over IP services; IP Multimedia services; Real-time/not-real-rime services; real-time services over IP/IPv6; Service performance evaluation, tools, simulation NGNUS: Next Generation Networks and Ubiquitous Services Methodologies, development support, and tools for NGN and converging services; NGN and convergence of ubiquitous services; NGN frameworks, architectures, and concepts; NGN technologies and mechanisms; QoS/SLA, traffic in NGN; NGN transport/service layered capabilities and operations; NGN concepts for active, ad hoc, mobile, and wireless networks; 3G and 4G Mobile networks; Fixed/mobile networks integration and internetworking; Services and service differentiation over NGN; Managing ubiquitous services in NGN; NGN interworking, non-NGN interoperability, migration; Regulatory services in NGN and standard activities; NGN device instrumentation; NGN policy-based control; Next Generation Internet MPQSI: Multi Provider QoS/SLA Internetworking Architectures, frameworks, mechanisms for admission control and measurement; QoS in multi-provider and multi-technology networks; Service classes and multi-provider service class discovery; Service level agreement and service assurance in multi-provider environments; Carrier-class end-to-end SLA and QoS monitoring and management; Multi provider accounting/billing/cost sharing; Management, monitoring, and measurements in multi-provider networks; End-to-end QoS/SLA advanced network services in multi-provider networks; End-to-end QoS/SLA for multimedia applications and services in multi-provider networks; Security issues in multi-service provider networks; Business models for multi-providers under QoS/SLA constraints; Standards and fora activities SDN: Software Defined Networking SDN architectures; Openflow protocols; SDN switches and routers; SDN controllers; Network operating systems; SDN scalability; Virtualization; Flow based operation; Distributed Controllers; State distribution in SDN control; Fault tolerance in SDN; Secure and dependable SDN; Openflow vulnerabilities; Software defined Internet architectures;Scaling virtualized functions; Traffic engineering with SDN; Abstractions for SDN; Network programming languages; Information centric networking and SDN; SDN in cloud computing; SDN applications; SDN in wireless environment; Controller performance evaluations; Mobility solutions GRIDNS: Grid Networks and Services GRID theory, frameworks, methodologies, architecture, ontology; GRID infrastructure and technologies; GRID middleware; GRID protocols and networking; GRID computing, utility computing, autonomic computing, metacomputing; Programmable GRID; Data GRID; Context ontology and management in GRIDs; Distributed decisions in GRID networks; GRID services and applications; Virtualization, modeling, and metadata in GRID; Resource management, scheduling, and scalability in GRID; GRID monitoring, control, and management; Traffic and load balancing in GRID; User profiles and priorities in GRID; Performance and security in GRID systems; Fault tolerance, resilience, survivability, robustness in GRID; QoS/SLA in GRID networks; GRID fora, standards, development, evolution; GRID case studies, validation testbeds, prototypes, and lessons learned EDNA: Emergency Services and Disaster Recovery of Networks and Applications Theory on disaster-tolerant robust networks; Recovery by disruption resource procedures; Security issues with emergency services and disaster recovery; Networks resiliency methods; Formal methods for safety-critical systems; Networks emergency services; Public safety, reliable emergency communications, and applications; Response to the networks emergency services; Disaster prevention and recovery; Fighting mechanisms for disaster of networks and applications; Notifications and recovery in various network technologies; Customer protection and serviceability perception; Cost models and business impact; Cultural and legal aspects; Future advanced network development and evolution; Standards and guidelines; Lawful interception and defense strategies; IPv6DFI: Deploying the Future Infrastructure IP Upgrade - An Engineering Exercise or a Necessity?; Worldwide IPv6 Adoption - Trends and Policies; National Strategies in Stimulating IPv6 Adoption; IPv6 in Government Infrastructures - Specific Requirements; IPv6 Infrastructures for Emergency Response and Law Enforcement - MetroNet6; Communications Equipment Certification for IPv6 Support; IPv6 in Broadband Networks; IPv6 Programs, from Research to Knowledge Dissemination; IPv6 Technology - Practical Information; Advanced Topics and Latest Developments in IPv6; IPv6 Deployment Experiences and Case Studies; IPv6 Enabled Applications and Devices IPDy: Internet Packet Dynamics Measurement of stream characteristics (reordering, delay, losses, jitter, etc.); Measurement and estimation of network characteristics; Tools, metrics and benchmarks; End-to-end packet dynamics; Timing aspects in packet dynamics; Impact of load balancing, parallelism within nodes, etc. on packet dynamics; QoS mechanisms and their impact on packet dynamics; Models (e.g., relating protocols, resources and architectures to packet dynamics); Mitigation of adverse effects of reordering, jitter, etc.; Traffic engineering; Impact of packet dynamics on application performance GOBS: GRID over Optical Burst Switching Networks Terabit burst switching; Burst assembly for IP DiffServ over optical burst switching networks; Optical network infrastructure for Grid; Synchronous stream optical burst switching; Optical burst switching based GRID architecture; Reliable optical burst switching for next-generation Grid networks; Throughput for Grid optical burst switching Grid networks; Resiliency paths over the optical Grid networks; Consumer oriented Grids using optical burst switching; Protocols for optical burst switched Grid networks; Hybrid optical switching for data-intensive media Grid; Anycast routing in optical burst switched Grid networks; Optical burst switching for IP-over-WDM/DWDM; Customizable Grid-to-optical network; Ultra high capacity optical networks; Hybrid optical burst/circuit switched for Grid-enabled optical networks; Job scheduling in optical burst switching Grid networks; Architecture and middleware for Grid-Over-OBS LEARN: Learning Methodologies and Platforms New learning methodologies; Blended learning; Accessibility in Learning; Online laboratories; Virtual laboratories; Remote laboratories; Learning strategies to enhance online courses; Learning Content adaptation for blended learning; Learning platforms and their compatibility with cisco.netacad.net Committee: http://www.iaria.org/conferences2015/ComICNS15.html ================================================ To stop receiving notices about ICNS, please reply with "DROP ICNS 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 geoff at cs.miami.edu Tue Jun 3 17:36:56 2014 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Tue, 3 Jun 2014 11:36:56 -0400 (EDT) Subject: IJCAR Call for Participation Message-ID: <20140603153656.E40FF121490@mcclellan.cs.miami.edu> ** CALL FOR PARTICIPATION ** == Early registration deadline June 8 == == Student travel awards applications due by June 8 == IJCAR 2014 - The 7th International Joint Conference on Automated Reasoning Vienna, Austria, July 19-22, 2014 http://cs.nyu.edu/ijcar2014/ as part of FLoC 2014 - Federated Logic Conference http://www.floc-conference.org/ as part of VSL 2014 - Vienna Summer of Logic http://vsl2014.at/ Call for Participation ---------------------- IJCAR is the premier international joint conference on all topics in automated reasoning. The IJCAR technical program will consist of presentations of high-quality original research papers, system descriptions, and invited talks. IJCAR 2014 is a merger of leading events in automated reasoning: CADE (Conference on Automated Deduction), FroCoS (Workshop on Frontiers of Combining Systems) and TABLEAUX (Conference on Analytic Tableaux and Related Methods) === REGISTRATION AND TRAVEL AWARDS === Early registration closes *June 8*, register at http://vsl2014.at/registration/ Accommodation information for Vienna available there as well. Travel awards are available to enable selected students to attend the conference. Act quickly, the deadline to apply is June 8. Details at http://vsl2014.at/floc14-travel-support/ === PROGRAM === The program for the conference is now available at http://cs.nyu.edu/ijcar2014/ === INVITED SPEAKERS === * Ken McMillan (Microsoft Research) * Rajeev Goré (Australian National University) Other speakers during the second week of the Vienna Summer for Logic, but affiliated with other events, include (in alphabetical order) Franz Baader, Edmund Clarke, Veronique Cortier, Orna Kupferman, Christos Papadimitriou, and Alex Wilkie. === AFFILIATED WORKSHOPS === 76 workshops have been accepted to FLoC 2014, and a number are affiliated to IJCAR. The full list of workshops is available at http://vsl2014.at/floc-ws/ From frank.loebe at informatik.uni-leipzig.de Wed Jun 4 12:02:04 2014 From: frank.loebe at informatik.uni-leipzig.de (frank.loebe at informatik.uni-leipzig.de) Date: Wed, 4 Jun 2014 12:02:04 +0200 Subject: ODLS 2014: 1st Call for Papers (Workshop on Ontologies and Data in Life Sciences, Oct 7-8, Freiburg i.Br., Germany) Message-ID: <201406041002.s54A29hx012423@isun.informatik.uni-leipzig.de> (apologies for cross-posting) ... (please distribute) ------------------------------------------------------- Call for Papers >> ODLS 2014 << Submission deadline: July 15, 2014 https://wiki.imise.uni-leipzig.de/Gruppen/OBML/Workshops/2014-ODLS ------------------ Workshop of Ontologies and Data in Life Sciences (ODLS 2014) Oct 7-8, 2014 Freiburg i.Br., Germany Goals of the Workshop --------------------- Medicine, biology and life sciences produce hardly manageable and comprehensible amounts of data, information, and knowledge. Their computer-based processing, integration, as well as their conceptual foundation and application presents ever new challenges to existing methods of knowledge representation, data bases, and data analysis. In the life sciences, enormous data sets are being produced in connection with biological and medical experiments, aiming to unravel biological interconnections for a better understanding in order to offer patients the best possible therapies. Data management and data processing in the life sciences ranges from the best possible integration and usage of distributed, heterogeneous data to the best possible obfuscation of medical data. This integrated workshop covers the overall spectrum of biomedical information processing, from experimental data acquisition and data management, across analysis, structuring and interpretation of data, up to the development of structures of knowledge in the form of ontologies with their various applications. The workshop pursues the aim to gather scientists that work in these fields in order to exchange ideas, to discuss new results and to inspire collaborations. The work- shop has an interdisciplinary character. It fosters the collaboration between ontologists, computer scientists, bio-informaticians, medical information scientists, applied logicians, as well as the cooperation with physicians, bio-chemists, and biometricians. Topics ------ We invite submissions in all areas of biomedical ontology and data management. The following topics are relevant, yet others related to these basic topics are likewise welcome: - Integration, management and retrieval of big data and/or complex data sets - Heterogeneity and integration of big data - Integrative data semantics - Curation of data in life sciences - Visualization of data in life sciences - Generic transformation of clinical data into Semantic Web standards - Data protection of clinical data - Omics-data for diagnosis and therapy - Ontologies in the field of biology, medicine and clinical research, for example -- Ontologies for the specification of clinical trials and medical phenotypes -- Process ontologies in systems biology and in medicine -- Ontologies in neuro biology - Ontologies in knowledge representation (for example, formal ontology of time and space, formal ontology of properties, roles and functions) - Methods and tools for development, management and application of ontologies, for example, -- Quality assurance and evaluation of ontologies -- Applications in the fields of Semantic Web, Linked Open Data, and Big Data Important Dates --------------- Submission of contributions: July 15, 2014 (Tue) <--- Author notification: August 25, 2014 (Mon) Camera-ready manuscripts due: September 10, 2014 (Wed) Registration: September 30, 2014 (Tue) ODLS Workshop: October 7-8, 2014 (Tue-Wed) Submission Instructions ----------------------- Submissions to the workshop can be - **extended abstracts of 2 pages** or - **papers of 4 to 6 pages** (any such length is equally welcome; 6 pages is the strict maximum). Contributions in English are highly recommended, but submissions in German can also be accepted. The preferred file format for submissions is PDF, other admitted formats are Microsoft Word (DOC and DOCX) and Postscript (PS). Please use the corresponding template for submissions, either the LaTeX template or the Microsoft Word template, see [1]. Contributions must be submitted via the EasyChair conference system. Accepted abstracts and papers will be printed in a proceedings volume (with ISSN) that will be distributed during the workshop. After the workshop authors of selected papers will be invited to submit extended versions to the Journal of Biomedical Semantics (JBMS) [2]. Organization ------------ Martin Boeker, University of Freiburg (general & local chair) TBA (inquiry pending) (PC chair) Heinrich Herre, University of Leipzig Frank Loebe, University of Leipzig Location and Local Organization ------------------------------- ODLS 2014 will take place in Freiburg im Breisgau, Germany, hosted by the Center for Medical Biometry and Medical Informatics [3] Medical Center - University of Freiburg Program Committee ----------------- TBA (see [1] for updates) Links ----- [1] Workshop website http://tinyurl.com/odls-2014 https://wiki.imise.uni-leipzig.de/Gruppen/OBML/Workshops/2014-ODLS [2] Journal of Biomedical Semantics website http://www.jbiomedsem.com/ [3] Local Organization website http://portal.uni-freiburg.de/imbi From vfgo at dtu.dk Wed Jun 4 20:11:37 2014 From: vfgo at dtu.dk (Valentin Goranko) Date: Wed, 4 Jun 2014 18:11:37 +0000 Subject: 9th Scandinavian Logic Symposium, 25-27 August 2014, Tampere, Finland: Call for participation Message-ID: ================================================================ 9th SCANDINAVIAN LOGIC SYMPOSIUM 25-27 August 2014, University of Tampere, Finland http://www.sis.uta.fi/SLS2014/ CALL FOR PARTICIPATION The 9th Scandinavian Logic Symposium will be held at the Museum Centre Vapriikki in Tampere, Finland, during 25-27 August 2014 under the auspices of the Scandinavian Logic Society (SLS,http://scandinavianlogic.org/). As with previous editions of the Symposium, its primary aims are to reflect the current activities in logic in the Nordic countries and to provide a local meeting forum for their logical communities, broadly conceived. Besides, it invites and warmly welcomes participation of logicians from all over the world. SCOPE AND TOPICS The scope of SLS 2014 is broad, ranging over the whole areas of Mathematical and Philosophical Logic, as well as Logical Methods in Computer Science, Artificial Intelligence, Linguistics, etc. Major topics include (but are not limited to): Proof Theory, Constructivism, Model Theory, Set Theory, Computability Theory, Algebra and Logic, Categorical Logic, Logic and Computer Science, Logic and Linguistics, Logic in AI and Multi-Agent Systems, Logics of Games, Modal and other non-classical Logics, Philosophical Logic. PROGRAMME The preliminary program of SLS 2014 is posted on the conference website: http://www.sis.uta.fi/SLS2014/programme.html REGISTRATION Registration is now open. The early registration deadline is June 15th. For registration and information on location and accommodation, please visit the conference webpage. INVITED SPEAKERS: Mai Gehrke (LIAFA, Paris) Volker Halbach (University of Oxford) Asger Törnquist (University of Copenhagen) Jouko Väänänen (University of Helsinki and University of Amsterdam) Thomas Ågotnes (University of Bergen) PROGRAM COMMITTEE Co-chairs: Sara Negri (University of Helsinki) and Valentin Goranko (Technical University of Denmark) Members: Luca Aceto (Reykjavik University) Lars Birkedal (Aarhus University) Patrick Blackburn (Roskilde University) Patricia Blanchette (University of Notre Dame, US) Thierry Coquand (University of Gothenburg) Ali Enayat (University of Gothenburg) Øystein Linnebo (University of Oslo and Birkbeck College London) Kerkko Luosto (University of Tampere) Dag Normann (University of Oslo) Gabriel Sandu (University of Helsinki) Arild Waaler (University of Oslo) Dag Westerståhl (University of Stockholm) ORGANISING COMMITTEE Chair: Lauri Hella (University of Tampere) Members: Kerkko Luosto (University of Tampere) Antti Kuusisto (University of Wroclaw) Jonni Virtema (University of Tampere) Jevgeni Haigora (University of Tampere) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From mdeters at cs.nyu.edu Wed Jun 4 23:50:01 2014 From: mdeters at cs.nyu.edu (Morgan Deters) Date: Wed, 4 Jun 2014 17:50:01 -0400 Subject: Reactive Systems workshop in honor of David Harel at FLoC - July 23 - Call for Participation Message-ID: Call for Participation (apologies for multiple postings) We are happy to invite you to attend a one-day workshop affiliated with CAV'14 at FLoC/Vienna Summer of Logic - July 23, 2014 - http://smlab.cs.tau.ac.il/rs14vsl/ =============================== Special Workshop on Reactive Systems: Directions in Development and Analysis =============================== The workshop celebrates thirty years of statecharts and David Harel’s 2^6th birthday, and will feature invited talks by distinguished speakers. Confirmed speakers include: * Albert Benveniste, INRIA * Edmund Clarke, Carnegie Mellon University * Nachum Dershowitz, Tel-Aviv University * Jasmin Fisher, Microsoft Research and University of Cambridge * Orna Grumberg, Technion * Thomas A. Henzinger, IST Austria * Tony Hoare, Microsoft Research and Cambridge University Computing Laboratory * Hillel Kugler, Microsoft Research * Marta Kwiatkowska, Oxford University * Shahar Maoz, Tel Aviv University * Dana Scott, Carnegie Mellon University and University of California, Berkeley * Moshe Vardi, Rice University Areas include software and system engineering, biological modeling, design, development, logic, verification, and applications. Please feel free to forward to other individuals, groups, students, etc., who may be interested. For the detailed program see http://smlab.cs.tau.ac.il/rs14vsl/ or contact the organizers: Shahar Maoz, Tel Aviv University, Israel (maoz at cs.tau.ac.il) Assaf Marron, Weizmann Institute of Science, Israel ( assaf.marron at weizmann.ac.il) Register via Vienna Summer of Logic registration at http://vsl2014.at/registration/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From pascal.hitzler at wright.edu Thu Jun 5 15:25:38 2014 From: pascal.hitzler at wright.edu (Pascal Hitzler) Date: Thu, 5 Jun 2014 09:25:38 -0400 Subject: CfP: C4BD2014 - Workshop on Complexity for Big Data at IEEE BigData 2014 Message-ID: <53906FD2.6010203@wright.edu> CALL FOR PAPERS C4BD2014 Workshop on COMPLEXITY FOR BIG DATA Workshop at IEEE BigData 2014, Washington, D.C., U.S.A. 27th, 28th, 29th, or 30th of October 2014 (to be determined) http://www.pascal-hitzler.de/C4BD2014/ [paper deadline: August 20] Complexity will lead to both big challenges and opportunities in big data research. Complexity in big data can be caused by many factors, including: * large number of features, which are related to each other through a rich variety of relationships ranging from simple to complicated; * a large number of heterogeneous dimensions, which offer a variety of kinds of insights and require different treatments, in addition to a large number of data records; * a large variety of heterogeneous types, such as vectors, sequences, (labeled) graphs, images, and multimedia, in addition to a large number of instances; * a rich set of logical, semantic, and ontological relationships. Complexity has often been used to successfully characterize various kinds of complicated subjects, for example in computational complexity, descriptive complexity, Kolmogorov complexity. Since big data have many complicated parts with intricate relationships to each other, the study of complexity for big data has potential to be highly successful. Research on complexity of big data needs to consider the following facts, among others: * Big data can be used for different purposes such as data integration, cross domain fertilization, and data mining; * Structures among various parts of big data can be explicit or hidden, and can be described using a rich variety of patterns and models. The Complexity for Big Data workshop is intended to create an atmosphere of exchange of ideas, providing a forum for the presentation and discussion of the key topics related to Big Data Complexity, including (but not limited to): * new concepts for complexity for Big Data * new techniques for handling complexity for Big Data * analysis of complex relationships * type logic acquisition * scalability of type logic reasoning * dealing with semantic heterogeneity * dimensionality-reduction techniques * query and search over multiple data silos * capture and use of provenance information * analysis of similarity and differences among heterogeneous parts SUBMISSION Researchers and practitioners are invited to submit original papers that have not been submitted for review or published elsewhere. Submitted papers must be written in English and should not exceed 9 pages (IEEE BigData Conference foramt) in the case of research and experience papers, or 5 pages in the case of position papers (including figures, bibliography and appendices). All submitted papers will be judged based on their relevance, originality, significance, technical quality and organisation. Papers must be submitted through easychair at https://www.easychair.org/conferences/?conf=c4bd. PRESENTATION Selected papers will be presented during the workshop. The workshop will include extra time for discussion of the presentation allowing the group to have a better understanding of the issues, challenges, and ideas being presented. IMPORTANT DATES Deadline for paper submission: August 20, 2014 Notification of paper acceptance: September 20, 2014 Camera-ready paper due: September 29, 2014 Workshop date: 27th, 28th, 29th or 30th of October, 2014 IEEE BigData 2014 main conference: October 27-30, 2014 WORKSHOP ORGANIZERS Guozhu Dong (Wright State University, Dayton, OH, U.S.A.) Pascal Hitzler (Wright State University, Dayton, OH, U.S.A.) Cliff Joslyn (Pacific Northwest National Laboratory, Seattle, Washington, U.S.A.) PROGRAM COMMITTEE (incomplete) James Bailey, University of Melbourne Longbing Cao, University of Technology Sydney Michel Dumontier, Stanford University Prateek Jain, IBM Krzysztof Janowicz, University of California, Santa Barbara Craig Knoblock, University of Southern California Steffen Lamparter, Siemens Huan Liu, Arizona State University Axel-Cyrille Ngonga Ngomo, University of Leipzig Axel Polleres, Vienna University of Economics and Business Erik Wilde, EMC Corporation CONTACT INFORMATION http://www.pascal-hitzler.de/C4BD2014/ General questions concerning the workshop should be addressed to the Workshop Organizers at c4bd at easychair.org. -- Prof. Dr. Pascal Hitzler Dept. of Computer Science, Wright State University, Dayton, OH pascal at pascal-hitzler.de http://www.knoesis.org/pascal/ Semantic Web Textbook: http://www.semantic-web-book.org Semantic Web Journal: http://www.semantic-web-journal.net From giacomo.cabri at unimore.it Thu Jun 5 16:52:51 2014 From: giacomo.cabri at unimore.it (Giacomo Cabri) Date: Thu, 05 Jun 2014 16:52:51 +0200 Subject: CfP: 2nd FoCAS Workshop on Fundamentals of Collective Adaptive Systems @SASO 2014 Message-ID: <53908443.2070201@unimore.it> 2nd FoCAS Workshop on Fundamentals of Collective Adaptive Systems Monday 8th September @ SASO 2014, London, UK Workshop Best Student Paper Award: Prize 500EUR! Submission hard deadline is 11 July 2014 (**no extensions given**) Paper Acceptance Notification: July 31, 2014 Camera Ready: 6 August, 2014 Workshop website: www.focas.eu/saso-2014 CFP Collective Adaptive Systems (CAS) is a broad term that describes large scale systems that comprise of many units/nodes, each of which may have their own individual properties, objectives and actions. Decision- making in such a system is distributed and possibly highly dispersed, and interaction between the units may lead to the emergence of unexpected phenomena. CASs are open, in that nodes may enter or leave the collective at any time, and boundaries between CASs are fluid. The units can be highly heterogeneous (computers, robots, agents, devices, biological entities, etc.), each operating at different temporal and spatial scales, and having different (potentially conflicting) objectives and goals, even if often the system has a global goal that is pursued by means of collective actions. Our society increasingly depends on such systems, in which collections of heterogeneous ‘technological’ nodes are tightly entangled with human and social structures to form ‘artificial societies’. Yet, to properly exploit them, we need to develop a deeper scientific understanding of the principles by which they operate, in order to better design them. This workshop solicits papers that address new methodologies, theories and principles that can be used in order to develop a better understanding of the fundamental factors underpinning the operation of such systems, so that we can better design, build, and analyse such systems. We welcome inter-disciplinary approaches. Suggested Topics (but not limited to): -Novel theories relating to operating principles of CAS -Novel design principles for building CAS systems -Insights into the short and long term adaptation of CAS systems -Insights into Emergent Properties of CAS -Insights into general properties of large scale, distributed CAS -Methodologies for studying, analysing and building CAS -Frameworks for analysing or developing CAS Case studies -Scenarios that can be used to investigate CAS properties Invited contributions from the workshop will be published in a Special Issue of the Journal of Scalable Computing: Practice and Experience: http://scpe.org/ Submission deadline is 11 July 2014 FoCAS Best Student Paper Award The FoCAS Coordination Action is also presenting a best student paper award. The prize is worth 500 EUR to reimburse travel and accommodation costs associated with attending the workshop. This Best Student Paper Award is open to any student who is first author of a paper submitted to the FoCAS workshop at SASO 2014. Winning announcements will be made on 8 September at the workshop and posted at www.focas.eu. The submission deadline is 11 July 2014 Program Chairs Emma Hart (Edinburgh Napier University): e.hart at napier.ac.uk Giacomo Cabri (University of Modena & Reggio Emilia: giacomo.cabri at unimore.it Full workshop details are available at: www.focas.eu/saso-2014 -- |----------------------------------------------------| | Prof. Giacomo Cabri - Ph.D., Associate Professor | Dip. di Scienze Fisiche, Informatiche e Matematiche | Universita' di Modena e Reggio Emilia - Italia | e-mail giacomo.cabri at unimore.it | tel. +39-059-2058320 fax +39-059-2055216 |----------------------------------------------------| From tojo at jaist.ac.jp Fri Jun 6 09:59:13 2014 From: tojo at jaist.ac.jp (Satoshi Tojo) Date: Fri, 6 Jun 2014 16:59:13 +0900 Subject: call for papers: JURISIN2014 Message-ID: CALL FOR PAPERS Eighth International Workshop on Juris-informatics (JURISIN 2014) date: November 23 - 24, 2014 venue: Raiosha Building, Keio University Kanagawa, Japan Submission Deadline: August 30, 2014 Aims and Scope Juris-informatics is a new research area which studies legal issues from the perspective of informatics. The purpose of this workshop is to discuss both the fundamental and practical issues among people from the various backgrounds such as law, social science, information and intelligent technology, logic and philosophy, including the conventional "AI and law" area. We solicit unpublished papers on theories, technologies and applications on juris-informatics. Topics Relevant topics include, but are not limited to, the following: Model of legal reasoning Argumentation / Negotiation / Argumentation agent Legal term ontology Formal legal knowledge-base / Intelligent management of legal knowledge-base Translation of legal documents Information retrieval of legal texts Computer-aided law education Use of Informatics and AI in law Legal issues on ubiquitous computing / multi-agent system / the Internet Social implications of use of informatics and AI in law Natural language processing for legal knowledge Verification and validation of legal knowledge systems Any theories and technologies which is not directly related with juris-informatics but has a potential to contribute to this domain Special Topics for JURISIN 2014 Bar exam competition (TBA) Invited Speakers (TBA) Submissions: We will open the submission site via EasyChair shortly. We welcome and encourage the submission of high quality, original papers, which are not simultaneously submitted for publication elsewhere except as a submission to JURIX 2014 (The 27th International Conference on Legal Knowledge and Information Systems). The double submission policy with JURIX 2014 is as follows: Papers being submitted both to JURISIN2014 and JURIX2014 must note this on the title page. A paper to be presented at JURISIN2014 must be withdrawn from JURIX2014 and vice versa according to the choice by the authors. If the authors do not follow this double submission policy, the paper by the authors will not be included in the proceedings of JURISIN 2014. Post Proceedings: We are under negotiation with Springer Verlag on publishing selected papers. Workshop Chair Satoshi Tojo, Japan Advanced Institute of Science and Technology(JAIST), Japan Organizing Committee Members Katsumi Nitta, Tokyo Institute of Technology, Japan Ken Satoh, National Institute of Informatics and Sokendai, Japan Satoshi Tojo, Japan Advanced Institute of Science and Technology(JAIST), Japan Advisory Committee Members Trevor Bench-Capon, The University of Liverpool, UK Tomas Gordon, Fraunfoher FOKUS, Germany Henry Prakken, University of Utrecht & Groningen, The Netherlands John Zeleznikow, Victoria University, Australia Robert Kowalski, Imperial College London, UK Kevin Ashley, University of Pittsburgh, USA Program Committee Members Satoshi Tojo, Japan Advanced Institute of Science and Technology(JAIST), Japan Tokuyasu Kakuta, Nagoya University, Japan Hanmin Jung, Korea Institute of Science and Technology Information(KISTI), Korea Minghui Xiong, Sun Yat-sen University, China Minghui Ma, Southwest University, China Nguyen Le Minh, Japan Advanced Institute of Science and Technology(JAIST), Japan Katsuhiko Toyama, Nagoya University, Japan Makoto Nakamura, Nagoya University, Japan Marina De Vos, University of Bath, UK Guido Governatori, NICTA, Australia Paulo Novais, University of Minho, Portugal Seiichiro Sakurai, Meiji Gakuin University, Japan Ken Satoh, National Institute of Informatics and Sokendai, Japan Thomas Ågotnes, University of Bergen, Norway Robert Kowalski, Imperial College London, UK Katsuhiko Sano, Japan Advanced Institute of Science and Technology(JAIST), Japan Katumi Nitta, Tokyo Institute of Technology, Japan Katie Atkinson, University of Liverpool, UK Philip T H Chung, Australasian Legal Information Institute (AustLII), Australia Masahiro Kozuka, Okayama University, Japan Fumihiko Takahashi, Meiji Gakuin University, Japan Baosheng Zhang, China University of Political Science and Law, China We are still negotiating with other JURISIN 2013 PC members. Home page of JURISIN 2014 http://www.jaist.ac.jp/org/jurisin2014/ ------------------------------------------------------ Satoshi Tojo Japan Advanced Institute of Science and Technology (JAIST) From Andreas.Herzig at irit.fr Fri Jun 6 12:44:39 2014 From: Andreas.Herzig at irit.fr (Andreas Herzig) Date: Fri, 06 Jun 2014 12:44:39 +0200 Subject: CFP ECSI-2014 In-Reply-To: <53919B2E.7040001@irit.fr> References: <53919B2E.7040001@irit.fr> Message-ID: <53919B97.7040201@irit.fr> CFP European Conference on Social Intelligence (ECSI-2014) http://ecsi.sintelnet.eu Barcelona, November 3-5, 2014 MOTIVATION AND OBJECTIVES Social intelligence is a general term at the intersection between different disciplines including philosophy, social science - sociology, economics, legal science, etc. - and computer science. Broadly speaking, social intelligence is the capacity to understand others and to act rationally and emotionally in relations with others. This is an ability that not only human but also artificial agents have, as modelled in artificial intelligence and agent-based research in particular. The interactions between philosophy, social sciences and computer science around social intelligence are manifold, and many concepts and theories from social science have found their way into artificial intelligence and agent-based research. In the latter, coordination and cooperation between largely independent, autonomous computational entities are modelled. Conversely, logical and computational models and their implementations have been used in the social sciences to help improve simulations, hypotheses and theories. Among the most prominent subjects at the interface are action and agency, communicative interaction, group attitudes, socio-technical epistemology and social coordination. In computer science, these concepts from social science are sometimes deployed at a more metaphorical level rather than in the form of rigorous implementations of the "genuine" concepts and their corresponding theories. Equally, the computer models used in social science are not always convincing. The aim of the European Network for Social Intelligence (SINTELNET, 2011-2014) is to help build a shared perspective at the intersection of the above fields, to identify challenges and opportunities for cross-disciplinary collaboration, to provide guidelines for research and policy-making and to kindle partnerships among participants. The aim of the European Conference on Social Intelligence is to provide a productive meeting ground for researchers from the above fields. Topics of interest include but are not limited to: - Action and agency - Mental attitudes (e.g., beliefs, desires, goals, intentions) - Dynamics of mental attitudes (at individual and collective level) - Argumentation theory - Cooperation and coordination - Social epistemology and ontology - Epistemic game theory - Theory of signalling - Norms and normative systems - Group attitudes, collective reasoning, collective intentionality - Theories of artefacts and technical design - Socio-technical systems - Trust and reputation - Speech act theory - Epistemic and evolutionary aspects of conventions - Emotions and affective phenomena - Social influence - Social power and social dependence Submissions should have a forward-looking perspective that contributes to the objectives of the symposium. Challenging position papers are specially welcome. The technicality of the papers should take the mixed audience into consideration. Selection for the symposium and subsequent publication will be based on the possibility of fruitful discussions and the quality of the arguments put forward. SUBMISSION FORMAT Submissions should be formatted using Springer's LNCS style (http://www.springer.de/comp/lncs/authors.html). Please submit via the online paper submission system Easychair (http://www.easychair.org/conferences/?conf=sintelnet2014). Papers should be preferably within 12 pages in length. Submissions should present unpublished work. PUBLICATION Accepted papers will be published as CEUR proceedings. Extended selected papers will be invited to a special issue of one or more relevant journals and/or to a book. IMPORTANT DATES Paper submission deadline: September 3, 2014. Notification of acceptance: October 1, 2014. Camera ready version: October 15, 2014. Conference: November 3-5, 2014. COMMITTEES Senior programme committee: Pompeu Casanovas (Universitat Autonoma de Barecelona), Cristiano Castelfranchi (ISTC-CNR, Rome), Andreas Herzig (IRIT-CNRS, Toulouse, chair), Andrew Jones (King's College), Emiliano Lorini (IRIT-CNRS, Toulouse, chair), Peter McBurney (King's College London), Pablo Noriega (IIIA-CSIC, Barcelona, chair), David Pearce (Universidad Politecnica de Madrid), Marek Sergot (Imperial College London), Luca Tummolini (ISTC-CNR, Rome) Program committee: t.b.a. Organizing committee: Pablo Noriega, Enric Plaza (IIIA-CSIC, Barcelona) From announce at cs.ucy.ac.cy Sat Jun 7 12:17:49 2014 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 7 Jun 2014 13:17:49 +0300 Subject: Last Mile: 7th Int. Conf. on Developments in eSystems Engineering (DeSE 2014) Message-ID: <5G1OPITQ-FNHG-8I6G-L4E0-8K7RXKUP2CAS@cs.ucy.ac.cy> *** Last Mile *** Seventh International Conference on Developments in eSystems Engineering (DeSE '2014) 25th - 27th August 2014 Azia Hotel and Spa 5*, Paphos, Cyprus www.dese.org.uk Proceedings will be published by IEEE *** Submission Deadline: 15th June 2014 *** Recent years have witnessed increasing interest and development in computerised systems and procedures, which exploit the electronic media in order to offer effective and sophisticated solutions to a wide range of real-world applications. Innovation and research development in this rapidly evolving area of eSystems has typically been reported on as part of cognate fields such as, for example: Information and Communications Technology, Computer Science, Systems Science, Social Science and engineering. This conference, on the developments in eSystems Engineering will act as a platform for disseminating and discussing new research findings and ideas in this emerging field. Papers are invited on all aspects of eSystem Engineering, modelling and applications, to be presented at a three day conference in Paphos, Cyprus. Authors will have their submissions reviewed by international experts and accepted papers will appear in the conference proceedings published by the Conference Publication Services (CPS) for worldwide presence. The event provides authors with an outstanding opportunity for networking and presenting their work at an international conference. The location offers an especially attractive opportunity for professional discussion, socialising and sightseeing. DeSE 2014 conference is technically co-sponsored by IEEE. DeSE 2014 comprises an exciting spectrum of highly stimulating tracks: o eLearning (Technology-Enhanced Learning) o eGovernment systems, Autonomic Computing and AI o eBusiness and Management o eHealth and e-Medicine o eScience and Technology o eSecurity and e-Forensics o eEntertainment and Creative Technologies o eNetworking and Wireless Environments o eUbiquitous Computing and Intelligent Living o Green and Sustainable Technologies o eCulture and Digital Society o eSport Science o eSystems Engineering (Main Stream) o Sustainable Construction and Renewable Energy All submitted papers will be peer-reviewed. Accepted and presented papers will be published in the final technical conference proceedings, and will be indexed in IEEE Xplore and EI Compendex, subject to final approval by the Conference Technical Committee. Venue Azia Resort and Spa 5*, Paphos, Cyprus Built as three different sections on adjacent grounds, with plethora of magnificent spaces for carefree living, the Azia Resort has all the diversity to keep its guests contented for a week or longer. Each element of the three-in-one boutique Cyprus hotel concept has its own character and fulfils different aspirations of the visitor. The Azia Blue is about sophisticated, spacious living and family luxury hotel. The Azia Club and Spa is ideal for privacy and indulgence. One of the few resorts or Cyprus hotels with a west-facing outlook, the Azia hotel provides guests with a sublime view of blazing indescribable sunsets. Tentative Dates Submission Deadline: June 15th, 2014 Notification of Acceptance: July 15th, 2014 Camera-Ready Submission: July 31st, 2014 -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at urv.cat Sat Jun 7 22:06:38 2014 From: grlmc at urv.cat (GRLMC) Date: Sat, 7 Jun 2014 22:06:38 +0200 Subject: BigDat 2015: June 23, 2014 - 1st registration deadline Message-ID: <2AC7559F54584BC3AB920B7FF155F0C6@Carlos1> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ***************************************************** INTERNATIONAL WINTER SCHOOL ON BIG DATA BigDat 2015 Tarragona, Spain January 26-30, 2015 Organized by Rovira i Virgili University http://grammars.grlmc.com/bigdat2015/ ***************************************************** --- 1st registration deadline: June 23, 2014 --- ***************************************************** AIM: BigDat 2015 is a research training event for graduates and postgraduates in the first steps of their academic career. It aims at updating them about the most recent developments in the fast developing area of big data, which covers a large spectrum of current exciting research, development and innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience. All big data subareas will be displayed, namely: foundations, infrastructure, management, search and mining, security and privacy, and applications. Main challenges of analytics, management and storage of big data will be identified through 5 keynote lectures and 23 six-hour courses, which will tackle the most lively and promising topics. The organizers believe outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. ADDRESSED TO: Graduate and postgraduates from around the world. There are no formal pre-requisites in terms of academic degrees. However, since there will be differences in the course levels, specific knowledge background may be required for some of them. BigDat 2015 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. They will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators. REGIME: In addition to keynotes, 3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they will be willing to attend as well as to move from one to another. VENUE: BigDat 2015 will take place in Tarragona, located 90 kms. to the south of Barcelona. The venue will be: Campus Catalunya Universitat Rovira i Virgili Av. Catalunya, 35 43002 Tarragona KEYNOTE SPEAKERS: Ricardo Baeza-Yates (Yahoo! Research Labs, Barcelona), Big Data or Right Data? - to be confirmed - Ian Foster (Argonne National Laboratory), tba Geoffrey C. Fox (Indiana University, Bloomington), tba C. Lee Giles (Pennsylvania State University, University Park), tba William D. Gropp (University of Illinois, Urbana-Champaign), tba COURSES AND PROFESSORS: Hendrik Blockeel (Katholieke Universiteit Leuven), [intermediate] Decision Trees for Big Data Analytics Diego Calvanese (Free University of Bozen-Bolzano), [introductory/intermediate] End-User Access to Big Data Using Ontologies Jiannong Cao (Hong Kong Polytechnic University), [introductory/intermediate] Programming with Big Data Edward Y. Chang (HTC Corporation, New Taipei City), tba Ernesto Damiani (University of Milan), [introductory/intermediate] Process Discovery and Predictive Decision Making from Big Data Sets and Streams Gautam Das (University of Texas, Arlington), [intermediate/advanced] Mining Deep Web Repositories Maarten de Rijke (University of Amsterdam), tba Geoffrey C. Fox (Indiana University, Bloomington), tba Minos Garofalakis (Technical University of Crete, Chania) [intermediate/advanced], Querying Continuous Data Streams Vasant G. Honavar (Pennsylvania State University, University Park) [introductory/intermediate], Learning Predictive Models from Big Data Mounia Lalmas (Yahoo! Research Labs, London), [introductory] Measuring User Engagement Tao Li (Florida International University, Miami), [introductory/intermediate] Data Mining Techniques to Understand Textual Data Kwan-Liu Ma (University of California, Davis), [intermediate] Big Data Visualization Christoph Meinel (Hasso Plattner Institute, Potsdam), [introductory/intermediate] New Computing Power by In-Memory and Multicore to Tackle Big Data David Padua (University of Illinois, Urbana-Champaign), [intermediate] Data Parallel Programming Manish Parashar (Rutgers University, Piscataway), [intermediate] Big Data in Simulation-based Science Srinivasan Parthasarathy (Ohio State University, Columbus), [intermediate] Scalable Data Analysis Vijay V. Raghavan (University of Louisiana, Lafayette), [introductory/intermediate] Visual Analytics of Time-evolving Large-scale Graphs Pierangela Samarati (University of Milan), [intermediate], Data Security and Privacy in the Cloud Peter Sanders (Karlsruhe Institute of Technology), [introductory/intermediate] Algorithm Engineering for Large Data Sets Johan Suykens (Katholieke Universiteit Leuven), [introductory/intermediate] Fixed-size Kernel Models for Big Data Domenico Talia (University of Calabria, Rende), [intermediate] Scalable Data Mining on Parallel, Distributed and Cloud Computing Systems Jieping Ye (Arizona State University, Tempe), [introductory/advanced] Large-Scale Sparse Learning and Low Rank Modeling ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Carlos Martín-Vide (Tarragona, chair) Florentina Lilica Voicu (Tarragona) REGISTRATION: It has to be done at http://grammars.grlmc.com/bigdat2015/registration.php The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course. Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue will be complete. It is much recommended to register prior to the event. FEES: As far as possible, participants are expected to stay full-time. Fees are a flat rate covering the attendance to all courses during the week. There are several early registration deadlines. Fees depend on the registration deadline. ACCOMMODATION: Suggestions of accommodation will be provided in due time. CERTIFICATE: Participants will be delivered a certificate of attendance. QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat POSTAL ADDRESS: BigDat 2015 Lilica Voicu Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559 543 Fax: +34 977 558 386 ACKNOWLEDGEMENTS: Universitat Rovira i Virgili --- Este mensaje no contiene virus ni malware porque la protección de avast! Antivirus está activa. http://www.avast.com From announce at cs.ucy.ac.cy Mon Jun 9 09:48:33 2014 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Mon, 9 Jun 2014 10:48:33 +0300 Subject: ICTAI 2014: Final Call for Papers (extended submission deadline) Message-ID: *** FINAL CALL FOR PAPERS *** 26th IEEE International Conference on Tools with Artificial Intelligence ICTAI 2014 November 10-12, 2014, Limassol, Cyprus http://ictai2014.cs.ucy.ac.cy *** Extended Submission Deadline: 14th July 2014 *** Aim & Scope The annual IEEE International Conference on Tools with Artificial Intelligence (ICTAI) provides a major international forum where the creation and exchange of ideas related to artificial intelligence are fostered among academia, industry, and government agencies. The conference facilitates the cross-fertilization of these ideas and promotes their transfer into practical tools, for developing intelligent systems and pursuing artificial intelligence applications. The ICTAI encompasses all technical aspects of specifying, developing and evaluating the theoretical underpinnings and applied mechanisms of the AI-based components of computer tools such as algorithms, architectures and languages. Topics (not limited to) AI Foundations - Evolutionary computing, Bayesian and Neural Networks - Decision/Utility Theory and Decision Optimization - Search, SAT, and CSP - Description Logic and Ontologies AI in Domain Specific Applications - AI in Natural Language Processing and Understanding - AI in Computational Biology, Medicine and Biomedical Applications - AI in WWW, Communication, Social Networking, Recommender Systems, Games and E-Commerce - AI in Finance and Risk Management AI in Computer Systems - AI in Robotics, Computer Vision and Games - AI in Software Engineering, Real-Time and Embedded Applications, and Sensor Networks - AI in Cloud Computing, Data-Intensive Applications and Online/Streaming and Multimedia Systems - AI in Web search and Information Retrieval - AI in Computer Security, Data Privacy, and Information Assurance AI in Data Analytics and Big Data - Visualization Analytics for Big Data - Computational Modeling for Big Data - Large-scale Recommendation and Social Media Systems - Cloud/Grid/Stream Data Mining for Big Velocity Data - Semantic-based Big Data Mining Machine Learning and Data Mining - Data pre-processing, reduction and feature selection - Learning Graphical Models and Complex Networks - Active, Cost-Sensitive, Semi-Supervised, Multi-Instance, Multi-Label and Multi-Task Learning - Transfer/Adaptive, Rational and Structured Learning - Preference/Ranking, Ensemble, and Reinforcement Learning Knowledge Representation, Reasoning and Cognitive Modelling - Knowledge Representation, Reasoning - Knowledge Extraction, Management and Sharing - Case-Based Reasoning and Knowledge-based Systems - Cognitive Modelling and Semantic Web AI and Decision Systems - Decision Guidance and Support Systems - Optimization-based recommender systems - Group, distributed, and collaborative decisions - Crowd-sourcing and collective intelligence decision making - Strategic, tactical and operational level decisions - Decision making in social and mobile networks Uncertainty in AI - Uncertainty and Fuzziness Representation and Reasoning - Approximate/Exact Probabilistic Inference - Knowledge Discovery and Data Mining for Uncertain Data AI Tools for Manufacturing Innovation - AI in manufacturing performance evaluation - AI in manufacturing decision and data analysis - AI in modeling, simulation and optimization of manufacturing systems - AI in additive manufacturing - AI in manufacturing control and planning Paper Submission The submissions should contain original, high quality, not submitted or published elsewhere work. Papers should be submitted electronically through the EasyChair system in pdf format and should conform to IEEE specifications (single-spaced, double-column, 10-point font size, up to 8 pages). Paper Presentation Each accepted paper should be presented by one of the authors and accompanied by at least one full registration fee payment, to guarantee publication in the proceedings. All accepted papers will be included in proceedings of ICTAI 2014 that will be published by the IEEE Computer Society. IJAIT special issue Extended versions of the best papers of the conference will be invited for publication in a special issue of the International Journal on Artificial Intelligence Tools (IJAIT) (SCI Indexed). Important Dates Paper submission: July 14, 2014 (extended) Paper notification: August 21, 2014 Camera-ready paper: August 30, 2014 Point of Contact George A. Papadopoulos Department of Computer Science University of Cyprus george-at-cs-dot-ucy-dot-ac-dot-cy -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ecmlpkdd2014publicity at gmail.com Tue Jun 10 23:49:51 2014 From: ecmlpkdd2014publicity at gmail.com (ECML PKDD) Date: Tue, 10 Jun 2014 23:49:51 +0200 Subject: ECML/PKDD 2014 3rd Call for PhD Session Papers -- DL extended to 17 June Message-ID: [Apologies for multiple postings] * * * * * * * * * * * * * * * * * * * * * * * * * * * * CALL FOR PAPERS ECML/PKDD 2014 PhD session https://phdsession-ecmlpkdd2014.greyc.fr/ September 15-19, 2014, Nancy, France * * * * * * * * * * * * * * * * * * * * * * * * * * * * AIM AND SCOPE The "European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases" (ECML/PKDD) includes a PhD session on machine learning and knowledge discovery in databases and related application domains. The objective of the session is to provide an environment for students to exchange in an interactive atmosphere their ideas and experiences with peers and to get constructive feedback from senior researchers in machine learning, data mining and related areas. The topics for discussion will be ideas of students and their ongoing work in preparation of their PhD dissertations and their interests in machine learning and data mining. The target audience for the session is mainly PhD students, their advisors, and interested researchers and attendees of ECML/PKDD. During the PhD session, researchers with experience in supervising and examining PhD students will be able to participate and provide feedback and advice to participants. It will be an excellent opportunity for developing person-to-person networks to the benefit of the community and PhD students in their future careers. CALL FOR PAPERS We invite PhD students (PhD in progress or defended not earlier than 31st December 2013) interested in machine learning and/or knowledge discovery in databases, to submit papers on all aspects of machine learning, knowledge discovery and data mining, including real-world applications. Research fields in which machine learning and data mining benefit from cross-fertilization are welcome. The submissions need to propose research ideas that are mature enough to be presented as a paper and whose content can evolve to become a substantial part of a PhD dissertation. The work may be in progress. Papers submitted to the PhD session may include the following items: Motivation, problem description Background and related work (including key references) Novelty and significance relative to the state of the art Approach, data, methods and proposed experiments Results obtained and work in progress Specific research issues for discussion at the PhD session The first author must be a PhD student or a Masters student with a concrete PhD research idea. Co-authors may include the research advisors, committee members and other collaborators as needed. Papers submitted to ECML/PKDD 2014 PhD session will be peer-reviewed. Accepted papers will be presented in the special PhD session at ECML/PKDD 2014 and will be published in the session proceedings which will be available through the conference website. The PhD student must register for the conference and give an oral presentation at the PhD session. SUBMISSION The papers must be written in English and formatted according to the Springer LNAI guidelines. Authors instructions and style files can be downloaded at: http://www.springer.de/comp/lncs/authors.html. The maximum length of papers is 10 pages in this format. All aspects of the submission and notification process are handled online through the conference CMT submission system (https://cmt.research.microsoft.com/ECMLPKDD2014/), select from the menu the PhD track. For more details on the PhD session, see the webpage at https://phdsession-ecmlpkdd2014.greyc.fr/ IMPORTANT DATES Deadline for submissions: *17th June*, 2014 Author notification: 11th July, 2014 Final version: 25th July, 2014 PhD session date: 15-19 September, 2014 ORGANIZATION - Radim Belohlavek, Palacky University, CZ radim.belohlavek at acm.org - Bruno Cremilleux, Universite de Caen, FR bruno.cremilleux at unicaen.fr In case you have any question, please do not hesitate to contact us. PROGRAM COMMITTEE * Stephane Canu (INSA Rouen, FR) * Peggy Cellier (INSA Rennes, FR) * Sanjay Chawla (University of Sydney, AU) * Carlotta Domeniconi (George Mason University, VA, US) * Richard Emilion (University of Orleans, FR) * Georgiana Ifrim (University College Dublin, IE) * Dino Ienco (IRSTEA, FR) * Jiri Klema (Czech Technical University, Prague, CZ) * Rudolf Kruse (Otto von Guericke University Magdeburg, DE) * Marzena Kryszkiewicz (Warsaw University of Technology, PL) * Sergei Kuznetsov (National Research University HSE, Moscow, RU) * Donato Malerba (University of Bari, IT) * Pauli Miettinen (Max-Planck-Institut für Informatik, DE) * Sergei Obiedkov (National Research University HSE, Moscow, RU) * Panagiotis Papapetrou (Stockholm University, SE) * Sebastian Rudolph (University of Karlsruhe, DE) * Dan Simovici (University of Massachusetts, Boston, MA, US) * Arnaud Soulet (University Francois Rabelais of Tours, FR) * Gerd Stumme (University of Kassel, DE) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fstolzenburg at hs-harz.de Wed Jun 11 10:22:32 2014 From: fstolzenburg at hs-harz.de (Frieder Stolzenburg) Date: Wed, 11 Jun 2014 10:22:32 +0200 Subject: 2nd CfP - KIK-WS "Higher-Level Cognition and Computation", 23-Sep-2014 Message-ID: <539811C8.20003@hs-harz.de> Workshop "Higher-Level Cognition and Computation" KIK - "KI und Kognition" Workshop Series Stuttgart, 23-Sep-2014 -- 2nd Call for Papers -- WORKSHOP DESCRIPTION Human higher-level cognition is a multi-faceted and complex area of thinking which includes the mental processes of reasoning, decision making, creativity, and learning among others. Logic, understood as a normative theory of thinking, has a widespread and pervasive effect on the foundations of cognitive science. However, human reasoning cannot be completely described by logical systems. Sources of explanations are incomplete knowledge, incorrect beliefs, or inconsistencies. Still, humans have an impressive ability to derive satisficing, acceptable conclusions. Generally, people employ both inductive and deductive reasoning to arrive at beliefs; but the same argument that is inductively strong or powerful may be deductively invalid. Therefore, a wide range of reasoning mechanism has to be considered, such as analogical or defeasible reasoning. This workshop aims at bringing together researchers from Artificial Intelligence, Automated Deduction, Computer Science, Cognitive Psychology, Philosophy, and related areas to foster a multi-disciplinary exchange between research in higher-level cognition and computation. Topics of interest include, but are not limited to the following: * analogical reasoning * common sense and defeasible reasoning * deductive calculi for higher-level cognition * inductive reasoning and cognition * preferred mental models and their formalization * probabilistic approaches of reasoning This workshop continues a series of successful workshops initiated by the Special Interest Group "Cognition" in the GI (German Informatics Society) and will be held in conjunction with KI 2014 in Stuttgart. LIST OF IMPORTANT DATES * Submission deadline: 01-Jul-2014 * Notification: 18-Jul-2014 * Camera-ready copy: 31-Jul-2014 * Workshop: 23-Sep-2014, 13:30-17:00, R.9.12, U Stuttgart SUBMISSION AND CONTRIBUTION FORMAT The workshop will be held in English, in order to attract an international audience. Each presenter is required to submit a paper (4-10 pages) on the presented topic formatted with the Springer LaTeX package for journals (). The agenda of the workshop will leave enough room for discussions. So each talk will be followed by a discussion period of 10 minutes. Papers are subject to regular peer review. Submissions should be sent as pdf file to . PROCEEDINGS The workshop proceedings will be published electronically as a technical report in the SFB/TR8 reports series . The report will be available at the workshop date. After the workshop, there will be a special issue of the German AI journal "KI" devoted to the workshop topic, appearing in autumn 2015. There is an open call to this special issue on "Higher-Level Cognition and Computation", see . All contributors of the workshop are particularly encouraged to submit their papers. ORGANIZERS Marco Ragni University of Freiburg ragni at cognition.uni-freiburg.de http://portal.uni-freiburg.de/cognition/members/ragni Frieder Stolzenburg Harz University of Applied Sciences fstolzenburg at hs-harz.de http://fstolzenburg.hs-harz.de/ PROGRAM COMMITTEE Thomas Barkowsky, U Bremen Christian Freksa, U Bremen Ulrich Furbach, U Koblenz Kai Hamburger, U Gießen Markus Knauff, U Gießen Bernhard Nebel, U Freiburg Michael Raschke, U Stuttgart Ute Schmid, U Bamberg Stefan Wölfl, U Freiburg -- Prof. Dr. Frieder Stolzenburg Hochschule Harz (Harz University of Applied Sciences) FB Automatisierung und Informatik (Automation & Computer Sciences Dep.) Friedrichstr. 57-59 D-38855 Wernigerode (Germany) Raum (Office): 2.008 Tel: +49 3943 659-333 Fax: +49 3943 659-399 Skype: fstolzenburg E-Mail: fstolzenburg at hs-harz.de WWW: http://www.hs-harz.de/fstolzenburg From MFisher at liverpool.ac.uk Wed Jun 11 21:39:12 2014 From: MFisher at liverpool.ac.uk (Michael Fisher) Date: Wed, 11 Jun 2014 20:39:12 +0100 Subject: Postdoctoral Researcher in Formal Verification In-Reply-To: <5386ED9F.7080004@liverpool.ac.uk> References: <5386ED9F.7080004@liverpool.ac.uk> Message-ID: <5398B060.3000703@liverpool.ac.uk> Please could you forward this to anyone you think might be interested? Thanks - Michael ------------------------------------------------------------------------------ Postdoctoral Research Associate in FORMAL VERIFICATION OF AUTONOMOUS SYSTEMS Department of Computer Science, University of Liverpool, UK [ Job Ref: R-585918 ] A post-doctoral research position of up to 42 months is available from September 2014 to work in the Logic and Computation group at the University of Liverpool, under the direction of Prof. Michael Fisher. The post is part of a new EPSRC-funded research project, "Verifiable Autonomy", involving collaboration with both Bristol Robotics Lab and the University of Sheffield. The researcher will develop, extend and apply formal verification techniques for autonomous systems, and candidates should have a PhD in Computer Science or Mathematics, with relevant research expertise in formal verification, logic, and the theory or development of model-checking. Salary in range £31,644-£36,661 per annum. Closing date for applications: 27th June 2014. For further details, and application procedure, see: http://www.liv.ac.uk/working/jobvacancies/currentvacancies/research/r-585918 Professor Michael Fisher: http://intranet.csc.liv.ac.uk/~michael Logic & Computation Group: http://intranet.csc.liv.ac.uk/research/logics Centre for Autonomous Systems Technology: http://www.liv.ac.uk/cast ------------------------------------------------------------------------------ From leo.freitas at newcastle.ac.uk Thu Jun 12 08:53:14 2014 From: leo.freitas at newcastle.ac.uk (Leo Freitas) Date: Thu, 12 Jun 2014 06:53:14 +0000 Subject: VSComp - Call for Participation Message-ID: Fourth Verified Software Competition (VSComp) 2014 14-15 June 2014 http://vscomp.org Organizers: Ernie Cohen, Marcelo Frias, Peter Müller, Natarajan Shankar The Fourth Verified Software Competition (VSComp) aims to showcase the progress in verification technology. The competition will occur over 48 hours during the weekend of 14/15 June starting with the publication of the challenge problems at 0900 GMT of Sat June 14 and ending with the submission deadline for the solutions at 0900 GMT of Mon June 16. Teams of up to three individuals can register to participate just prior to the start of the competition at http://vscomp.org. The competition will consist of five verification challenges (with possible sub-problems) spanning a range of domains, including (but not limited to) sequential and concurrent algorithms, refinement, assertional verification, and metatheory. Teams will have to solve the challenge problems using mechanized tools. Teams are allowed to use multiple tools to tackle the challenges. Only the best three problem solutions from each team will be taken into consideration for evaluating team performance. An FAQ Wiki page will be maintained at the website to clarify questions that might come up before or during the competition. After the competition, solutions will be made publicly available for peer review by the other teams. Teams should be available to answer questions during the peer review process, and if necessary, be prepared to make their verification tools available for experimentation. Based on the results of the peer review, the organizers will evaluate the solutions for correctness, completeness, and clarity. The winners will be given short speaking slots at VSTTE 2014 which takes place in Vienna during July 17, 18, 2014. The competition will run on an honor system to ensure that above guidelines are being followed by each of the teams. We especially encourage the participation of all-student teams and teams that are using tools developed by others. Questions or comments about the contest should be sent to vscomp2014 at gmail.com. From mohand.beddar at univ-fcomte.fr Sat Jun 14 02:55:36 2014 From: mohand.beddar at univ-fcomte.fr (mohand beddar) Date: Sat, 14 Jun 2014 02:55:36 +0200 (CEST) Subject: MASTER in Natural Language Processing, Lucien Tesniere Research Centre, University of Franche-Comte, Besancon, France In-Reply-To: <192262801.3148892.1402700125055.JavaMail.root@univ-fcomte.fr> Message-ID: <940797834.3151227.1402707336216.JavaMail.root@univ-fcomte.fr> The Master in Natural Language Processing (NLP) is a 2 year degree programme at the Faculty of Letters, University of Franche-Comte, Besancon, France. The programme is attached to the Lucien Tesniere Research Centre. The programme is a response to the needs of modern society, that of communicating in different languages and that of rapid information processing. The programme is multidisciplinary; it includes courses in linguistics, languages and computer science for natural language processing. Students acquire the theoretical competences in language, fundamental linguistics and modelling techniques, all these in the context of the determination, representation and exploitation of linguistic phenomena. The practical aspects of the programme include the research and organisation of linguistic data, their formalisation and also their representation in an implementable form. Practical work involving computers includes modelling and specification techniques, problem solving and techniques for implementing formalisation languages, and software engineering for NLP, the whole in the context of the computerisation of formalised linguistic data for varied and diverse needs. The NLP teaching programme is completed by an industrial placement (internship). A 6 month or 1 year mobility is possible in the second year. Application for admission to the Master in NLP at the University of Franche-Comte is open to all students already having a Bachelors, a Master 1, or an equivalent. Responsible of the Master: Professor Sylviane Cardey-Greenfield, University of Franche-Comte, France Contact: Tel: +33 (0)3 81 66 53 94 Email: mohand.beddar at univ-fcomte.fr and sylviane.cardey at univ-fcomte.fr For more information: http://tesniere.univ-fcomte.fr/master.html#master Mohand BEDDAR, Ph.D. Centre Lucien Tesnière Université de Franche-Comté - UFR SLHS 30, rue Mégevand 25030 Besançon Cedex France   Tel: +33 (0)3 81 66 53 00 Fax: +33 (0)3 81 66 53 00 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fink at kr.tuwien.ac.at Sat Jun 14 10:55:18 2014 From: fink at kr.tuwien.ac.at (fink at kr.tuwien.ac.at) Date: Sat, 14 Jun 2014 10:55:18 +0200 Subject: Final Call for Participation Vienna Summer of Logic Message-ID: <201406140855.s5E8tILb024710@mahler.kr.tuwien.ac.at> *Vienna Summer of Logic: Call for Participation* Vienna, Austria July 9-24, 2014 http://vsl2014.logic.at Registration deadline: June 30, 2014 Link to VSL Video: http://vimeo.com/98030762 *The Vienna Summer of Logic (VSL) is organized by the Kurt G�del Society (http://kgs.logic.at) and will be held in Vienna, Austria in July 2014, at the Vienna University of Technology (http://www.tuwien.ac.at). *The VSL will consist of twelve large conferences and more than 80 workshops, attracting more than 2000 researchers from all over the world. The event includes three streams, Logic in Computer Science/Federated Logic Conference (FLoC), Mathematical Logic and Logic in Artificial Intelligence. Logic in Computer Science / Federated Logic Conference * 26th International Conference on Computer Aided Verification (CAV) * 27th IEEE Computer Security Foundations Symposium (CSF) * 30th International Conference on Logic Programming (ICLP) * 7th International Joint Conference on Automated Reasoning (IJCAR) * 5th Conference on Interactive Theorem Proving (ITP) * Joint meeting of the 23rd EACSL Annual Conference on Computer Science Logic (CSL) and the 29th ACM/IEEE Symposium on Logic in Computer Science (LICS) * 25th International Conference on Rewriting Techniques and Applications (RTA) joint with the 12th International Conference on Typed Lambda Calculi and Applications (TLCA) * 17th International Conference on Theory and Applications of Satisfiability Testing (SAT) * FLoC Workshops * FLoC Olympic Games (System Competitions) * SAT/SMT Summer School 2014 Mathematical Logic * Logic Colloquium 2014 (LC) * Logic, Algebra and Truth Degrees 2014 (LATD) * Compositional Meaning in Logic (GeTFun 2.0) * The Infinity Workshop (INFINITY) * Workshop on Logic and Games (LG) * Workshop on Nonclassical Proofs: Theory, Applications and Tools * Kurt Goedel Fellowship Competition Logic in Artificial Intelligence * 14th International Conference on Principles of Knowledge Representation and Reasoning (KR) * 27th International Workshop on Description Logics (DL) * 15th International Workshop on Non-Monotonic Reasoning (NMR) * International Workshop on Knowledge Representation for Health Care 2014 (KR4HC) *Program: Keynote talks: * Franz Baader * Edmund Clarke * Christos Papadmitriou * Dana Scott (opening talk) * Alex Wilkie Invited talks of the FLoC conferences: * Alessandro Acquisti * Christel Baier * Gilles Barthe * Rance Cleaveland * Veronique Cortier * Patrick Cousot * Rod Chapman * Leonardo de Moura * Jasmin Fisher * Nicola Gambino * Rajeev Gor� * Orna Kupferman * Assia Mahboubi * Ken McMillan * David Monniaux * Jakob Nordstr�m * Frank Piessens * Manfred Schmidt-Schauss * Peter Sewell * Anna Slobodova * Fabio Somenzi * Erik Winfree * Nobuko Yoshida Invited talks of the Logic in AI conferences: * Michael Benedikt * Philippe Besnard * Patrick Blackburn * Tony Cohn * Georg Gottlob * Alon Y. Halevy * Sheila McIlraith * Hans Rott Invited talks of the Mathematical Logic conferences: * Krzysztof Apt * Franz Baader * Andrej Bauer * Patty Blanchette * Andres Cordon Franco * Kirsten Eisentr�ger * Vera Fischer * Melvin Fitting * Silvio Ghilardi * Noam Greenberg * Julia Knight * Leszek Kolodziejczyk * Vincenzo Marra * George Metcalfe * Ben Miller * Dale Miller * Alexandre Miquel * Mark Reynolds * Dana Scott * Mariya Soskova * Alasdair Urquhart * Albert Visser Please consult the VSL website for further information on invited speakers and contributed talks of all the participating conferences and workshops. *Kurt G�del Research Prize Fellowship Competition: At the Vienna Summer of Logic, the Kurt G�del Society will award three fellowship prizes endowed with 100.000 Euro each to the winners of the Kurt G�del Research Prize Fellowship Competition "Logical Mind: Connecting Foundations and Technology." *FLoC Olympic Games - Citius, Maius, Potentius: The Federated Logic Conference (FLoC) 2014 will host the 1^st FLoC Olympic Games.Intended as a new FLoC tradition, the Games will bring together a multitude of established solver competitions by different research communities. In addition to the competitions, the Olympic Games will facilitate the exchange of expertise between communities, and increase the visibility and impact of state-of-the-art solver technology. The winners in the competition categories will be awarded Kurt G�del medals at the FLoC Olympic Games award ceremonies. *Banquets and receptions: The VSL social program offers a taste of Viennese architecture and cuisine -- be prepared for the beauty of Sch�nbrunn Palace and its gardens, as well as for the grandeur of the Vienna City Hall and the Museum of Natural History. *The city of Vienna: A city rich in history and culture, Vienna is the perfect venue for the summer of logic. Discover Vienna's museums, gardens, palaces and coffee places while you experience the largest gathering of logicians in history. *Registration: For online registration for VSL, please follow the link on this VSL web page: http://vsl2014.at/registration/ The registration deadline is June 30, 2014. *VSL Chairs: Matthias Baaz Thomas Eiter Helmut Veith From grlmc at urv.cat Sat Jun 14 21:54:15 2014 From: grlmc at urv.cat (GRLMC) Date: Sat, 14 Jun 2014 21:54:15 +0200 Subject: TPNC 2014: 3rd call for papers Message-ID: *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* **************************************************************************** ************** 3rd INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING TPNC 2014 Granada, Spain December 9-11, 2014 Organized by: Soft Computing and Intelligent Information Systems (SCI2S) University of Granada Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/tpnc2014/ **************************************************************************** ************** AIMS: TPNC is a conference series intending to cover the wide spectrum of computational principles, models and techniques inspired by information processing in nature. TPNC 2014 will reserve significant room for young scholars at the beginning of their career. It aims at attracting contributions to nature-inspired models of computation, synthesizing nature by means of computation, nature-inspired materials, and information processing in nature. VENUE: TPNC 2014 will take place in Granada, in the region of Andalucía, to the south of Spain. The city is the seat of a rich Islamic historical legacy, including the Moorish citadel and palace called Alhambra. SCOPE: Topics of either theoretical, experimental, or applied interest include, but are not limited to: * Nature-inspired models of computation: - amorphous computing - cellular automata - chaos and dynamical systems based computing - evolutionary computing - membrane computing - neural computing - optical computing - swarm intelligence * Synthesizing nature by means of computation: - artificial chemistry - artificial immune systems - artificial life * Nature-inspired materials: - computing with DNA - nanocomputing - physarum computing - quantum computing and quantum information - reaction-diffusion computing * Information processing in nature: - developmental systems - fractal geometry - gene assembly in unicellular organisms - rough/fuzzy computing in nature - synthetic biology - systems biology * Applications of natural computing to: algorithms, bioinformatics, control, cryptography, design, economics, graphics, hardware, learning, logistics, optimization, pattern recognition, programming, robotics, telecommunications etc. A flexible "theory to/from practice" approach would be the perfect focus for the expected contributions. STRUCTURE: TPNC 2014 will consist of: - invited talks - peer-reviewed contributions INVITED SPEAKERS: Kalyanmoy Deb (East Lansing, US), Multi-Criterion Problem Solving: A Niche for Natural Computing Methods Marco Dorigo (Brussels, BE), Swarm Intelligence Francisco Herrera (Granada, ES), Bioinspired Real Parameter Optimization: Where We Are and What’s Next PROGRAMME COMMITTEE: Hussein A. Abbass (Canberra, AU) Uwe Aickelin (Nottingham, UK) Thomas Bäck (Leiden, NL) Christian Blum (San Sebastián, ES) Jinde Cao (Nanjing, CN) Vladimir Cherkassky (Minneapolis, US) Sung-Bae Cho (Seoul, KR) Andries P. Engelbrecht (Pretoria, ZA) Terence C. Fogarty (London, UK) Fernando Gomide (Campinas, BR) Inman Harvey (Brighton, UK) Francisco Herrera (Granada, ES) Tzung-Pei Hong (Kaohsiung, TW) Thomas Jansen (Aberystwyth, UK) Yaochu Jin (Guildford, UK) Okyay Kaynak (Istanbul, TR) Satoshi Kobayashi (Tokyo, JP) Soo-Young Lee (Daejeon, KR) Derong Liu (Chicago, US) Manuel Lozano (Granada, ES) Carlos Martín-Vide (Tarragona, ES, chair) Ujjwal Maulik (Kolkata, IN) Risto Miikkulainen (Austin, US) Frank Neumann (Adelaide, AU) Leandro Nunes de Castro (São Paulo, BR) Erkki Oja (Aalto, FI) Lech Polkowski (Warsaw, PL) Brian J. Ross (St. Catharines, CA) Marc Schoenauer (Orsay, FR) Biplab Kumar Sikdar (Shibpur, IN) Dipti Srinivasan (Singapore, SG) Darko Stefanovic (Albuquerque, US) Umberto Straccia (Pisa, IT) Thomas Stützle (Brussels, BE) Ponnuthurai N. Suganthan (Singapore, SG) Johan Suykens (Leuven, BE) El-Ghazali Talbi (Lille, FR) Jon Timmis (York, UK) Fernando J. Von Zuben (Campinas, BR) Michael N. Vrahatis (Patras, GR) Xin Yao (Birmingham, UK) ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Carlos García-Martínez (Córdoba) Carlos Martín-Vide (Tarragona, co-chair) Manuel Lozano (Granada, co-chair) Francisco Javier Rodríguez (Granada) Florentina Lilica Voicu (Tarragona) SUBMISSIONS: Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, etc.) and should be prepared according to the standard format for the Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Submissions have to be uploaded to: https://www.easychair.org/conferences/?conf=tpnc2014 PUBLICATIONS: A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference. A special issue of the journal Soft Computing (Springer, 2012 JCR impact factor: 1.124) will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation. REGISTRATION: The period for registration is open from April 5 to December 9, 2014. The registration form can be found at: http://grammars.grlmc.com/tpnc2014/Registration.php DEADLINES: Paper submission: July 17, 2014 (23:59h, CET) Notification of paper acceptance or rejection: August 24, 2014 Final version of the paper for the LNCS proceedings: September 7, 2014 Early registration: September 7, 2014 Late registration: November 25, 2014 Submission to the post-conference journal special issue: March 11, 2015 QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat POSTAL ADDRESS: TPNC 2014 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559 543 Fax: +34 977 558 386 ACKNOWLEDGEMENTS: Universidad de Granada Universitat Rovira i Virgili --- Este mensaje no contiene virus ni malware porque la protección de avast! Antivirus está activa. http://www.avast.com From announce at cs.ucy.ac.cy Sun Jun 15 09:50:25 2014 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 15 Jun 2014 10:50:25 +0300 Subject: KICSS 2014: Third Call for Papers (extended submission deadline) Message-ID: *** THIRD CALL FOR PAPERS *** 9th INTERNATIONAL CONFERENCE ON KNOWLEDGE, INFORMATION AND CREATIVITY SUPPORT SYSTEMS (KICSS 2014) Elias Beach Hotel, Limassol, Cyprus 6-8 November, 2014 http://kicss2014.cs.ucy.ac.cy/ Proceedings will be published by Springer *** Submission Deadline: 4th August 2014 *** Following the tradition of previous conferences on Knowledge, Information and Creativity Support Systems, KICSS 2014 will cover all aspects of knowledge management, knowledge engineering, intelligent information systems, and creativity in an information technology context, including computational creativity and its cognitive and collaborative aspects. Papers reporting original unpublished research results on theoretical foundations, IT implementations of decision support and expert systems, as well as case studies of successful applications of the above- mentioned ideas in various fields are equally solicited. The list of conference topics includes but is not limited to: Anticipatory networks, systems, and decisions Autonomous creative systems Cognitive foundations of knowledge Cognitive and psychological issues in creativity research Cognitive foundations of knowledge Collaborative activities in Living Labs Collaborative idea generation and creativity Collaborative knowledge creation Collaborative working environments fostering creativity Complex system modelling Computer supported creativity Creative approaches to model technological evolution Creative business models Creative conflict resolution Creative coordination and cooperation mechanisms Creative decision processes Creative interaction techniques Creative model building Creative reasoning and decision making Creative research environments and their performance Creative social computing Creative visualisation of data and knowledge Creativity in finance Creativity in augmented reality Creativity in health care Creativity in mobile applications Creativity in social media Creativity in the Cloud Creativity measurement Creativity support systems Creativity transfer and stimulation Creativity vs. rationality Creativity-enhancing interfaces Creativity-oriented information system architectures Decision sciences Decision support systems (DSS) Discovering opportunities, threats and challenges Foresight support systems (FSS) Future Internet and knowledge-based society Future exploration and modelling Future perspectives of knowledge, information, and creativity support Game-theoretical aspects of knowledge General creative systems (GCS) Group recommendation, and advise Heuristics and general problem solving Identifying real options in complex business environments Information fusion Information quality Intelligent analysis of Big Data Knowledge extraction, creation, and acquisition Knowledge in multi-agent systems Knowledge integration Knowledge management in business, industry, and administration Knowledge representation and reasoning Knowledge verification and validation Living Lab support systems (LLSS) Machine learning and creativity Malicious creativity in the web, its discovery and remedy Mathematical models of creative processes Multi- and interdisciplinary approaches in creativity research Multicriteria decision making Natural language analysis Non-monotonic reasoning Ontology creation and management Open innovation Organizational learning Preference modelling Reasoning about knowledge Recommender systems Scientific information management Search for a compromise in multicriteria decision making and collaborative games Social Computing Social factors of collaborative creativity Software-based stimulation of creativity Supervised and semi-supervised learning Trust modeling Uncertainty modelling Virtual environment design Visual Analytics and Intelligent User Interfaces Web intelligence tools World models Important Dates Paper Submission Deadline: August 4, 2014 (extended) Notification of Acceptance: August 8, 2014 Camera-Ready Version Due: September 8, 2014 Research-in-Progress Report Submission Deadline: September 5, 2014 Research-in-Progress Reports Author Notification Due: September 12, 2014 Research-in-Progress Reports Camera-Ready Versions Due: September 19, 2014 Submission Regular papers on all conference topics should be formatted according to the Springer CS Proceedings (LNCS) format and should not exceed 12 pages. Short and industrial/demo papers as well as research-in-progress reports should not exceed 6 pages according to the above format. Up to 2 additional pages may be allowed at extra charge. The KICSS 2014 papers can be submitted via Easychair. Submissions that overlap substantially with any other papers printed, submitted, or accepted for publication or presentation elsewhere are not allowed. Special session proposals may be submitted by email to the KICSS Organizing Committee. Although there is no formal template for such a proposal, the proposers should nevertheless specify the title of the session, describe briefly its essential content and relation to the conference topics, and specify the expected number of contributions, and titles, if already known. Proceedings The KICSS 2014 (Post-) Proceedings will be published in the Springer Series: Advances in Intelligent Systems and Computing, ISSN 2194-5357, indexed by ISI Proceedings, SCOPUS, Zentralblatt Math, Ulrich's, EI-Compendex, DBLP, MetaPress, Springerlink, see more here. The Post-Proceedings will contain all the revised regular papers and - following an extension - a selection of research-in-progress reports as well as short and demo papers. The authors of the selected best papers presented at the conference will be invited to submit the revised and extended versions of their contributions to special issues of high-rank scientific journals. Organization Conference Chairs Susumu Kunifuji, JAIST, Japan George Angelos Papadopoulos, University of Cyprus, Cyprus Andrzej M.J. Skulimowski, P&BF and AGH, Poland Local Organizing Chair George Angelos Papadopoulos, University of Cyprus, Cyprus Award Chairs Susumu Kunifuji, JAIST, Japan Thanaruk Theeramunkong, Thammasat University, Thailand Invited Session Chairs Tomoko Kajiyama, JAIST, Japan Vincent Cheng-Siong Lee, Monash University, Australia Takaya Yuizono, JAIST, Japan Program Committee Chi-Hung Chi, CSIRO, Australia João Clímaco, University of Coimbra, Portugal Simon Colton, University of London, UK Eugene Dubossarsky, Presciient, Australia Mark Embrechts, RPI, USA Ali Eydgahi, Eastern Michigan University, USA John Garofalakis, University of Patras, Greece Tessai Hayama, Kanazawa Institute of Technology, Japan Hidehi Hayashi, Naruto University of Education, Japan Hidehiko Hayashi, Naruto University of Education, Japan Christopher Hinde, Loughborough University, UK Josef Jablonsky, University of Economics Prague, Czech Republic Janusz Kacprzyk, Systems Research Institute - PAS, Poland Hideaki Kanai, JAIST, Japan Takashi Kawaji, Ohtsuki City College, Japan Takahiro Kawaji, Ohtsuki City Colledge, Japan Thomas Koehler, TU Dresden, Germany Paul Kwan, University of New England, USA Vincent Cs Lee, Monash University, Australia Antoni Ligeza, AGH, Poland Ahmad Lotfi, Nottingham Trent University, UK Akinori Minaduk, Kushiro Prefecture University, Japan Motoki Miura, Kyushu Institute of Technology, Japan Kazunori Miyata, JAIST, Japan David C. Moffat, Glasgow Caledonian University, UK Anna Mura, University Pompeu Fabra, Spain Toyohisa Nakada, Niigata University of Interenational and Information Studies, Japan Kazushi Nishimoto, JAIST, Japan Maciej Nowak, University of Economics Prague, Czech Republic Kok-Leong Ong, Deakin University, Australia Francois Pachet, CSL Sony Paris, France Robert Pearson Przemyslaw Pukocz, AGH, Poland Pawel Rotter, AGH, Poland Jose L. Salmeron, University Pablo de Olavide, Spain Jagannathan Sarangapani, Missouri University of Science and Technology, USA Eric Schai, SCU, USA Hsu-Shih Shih, Tamkang University, Taiwan Mikifumi Shikida, JAIST, Japan Marcin Skowron, Austrian Research Institute for Artificial Intelligence, Austria Johan Suykens, K.U. Leuven, ESAT-SCD, Belgium Ryszard Tadeusiewicz, AGH, Poland I-Hsien Ting, National University of Kaohsiung, Taiwan Brijesh Verma, Central Queensland University, Australia Yongui Wang, Nanjiing University, China Michal Wozniak, Wroclaw University of Technology, Poland Fan Wu, National Chung-Cheng University, Taiwan Takashi Yoshino, Wakayama University, Japan Atsuo Yoshitaka, Japan Advanced Institute of Science and Technology, Japan Takaya Yuizono, JAIST, Japan John Zeleznikow, Victoria University, Australia Songmao Zhang, Chinese Academy of Sciences, China Constantin Zopounidis, Technical University of Crete, Greece -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From feeds at sentic.net Sun Jun 15 16:43:55 2014 From: feeds at sentic.net (SenticNet) Date: Sun, 15 Jun 2014 09:43:55 -0500 (EST) Subject: [SenticNet] CFP: IEEE CIM Special Issue on New Trends of Learning in Computational Intelligence Message-ID: <63146292.1489152.1402843435062.open-xchange@bosoxweb03.eigbox.net> Apologies for cross-posting, A special issue of the IEEE Computational Intelligence Magazine will be dedicated to New Trends of Learning in Computational Intelligence. Prospective authors are invited to submit their original unpublished research and application contributions. Comprehensive tutorial and survey papers can also be considered for this special issue. RATIONALE Over the past few decades, conventional computational intelligence techniques faced severe bottlenecks in terms of algorithmic learning. Particularly, in areas of big data computation, brain science, cognition and reasoning, it is almost inevitable that intensive human intervention and time consuming trial and error efforts need to be employed before any meaningful observations can be obtained. The recent development of emerging computational intelligence techniques such as extreme learning machines (ELM) and fast solutions shed some light upon how to effectively deal with these computational bottlenecks. Based on the observations that increasing correlation can be found among apparently different theories from different fields, as well as the increasing evidence of convergence between computational intelligence techniques and biological learning mechanisms, this special issue seeks to promote novel research investigations in computational intelligence bridging among related areas. TOPICS Topics of interest for this special issue include but are not limited to: - Theoretical foundations and algorithms:      • Extreme learning machines (ELM), No-Prop algorithms and random kitchen sinks      • Real-time learning, reasoning and cognition      • Sequential / incremental learning      • Clustering and feature extraction / selection      • Closed form and non-closed form solutions      • Multiple hidden layers solutions and random networks      • Parallel and distributed computing / cloud computing      • Fast implementation of deep learning - Applications:      • Biologically-inspired natural language processing      • Big data analytics      • Cognitive science / computation      • Autonomous systems      • Situation / Intention Awareness TIMEFRAME • 15th August, 2014: Submission of Manuscripts • 15th October, 2014: Notification of Review Results • 15th November, 2014: Submission of Revised Manuscripts • 15th December, 2014: Submission of Final Manuscripts • May, 2015: Publication PAPER SUBMISSION The maximum length for the manuscript is typically 25 pages in single column format with double-spacing, including figures and references. Authors should specify in the first page of their manuscripts the corresponding author’s contact and up to 5 keywords. Submission should be made via email to any of the guest editors listed below. GUEST EDITORS • Guang-Bin Huang, Nanyang Technological University (Singapore) • Erik Cambria, Nanyang Technological University (Singapore) • Kar-Ann Toh, Yonsei University (South Korea) • Bernard Widrow, Stanford University (USA) • Zongben Xu, Xi'an Jiaotong University (China) From invitation at iariaprogram.org Sun Jun 15 21:24:30 2014 From: invitation at iariaprogram.org (NetWare 2014) Date: Sun, 15 Jun 2014 15:24:30 -0400 Subject: Deadline Extension: NetWare 2014 : November 16 - 20, 2014 - Lisbon, Portugal Message-ID: <1402860270048.2889@iariaprogram.org> INVITATION: Please consider to contribute and encourage your team members and fellow scientists to contribute to the following federated events under NetWare 2014. The submission deadline is extended to July 16, 2014. Thanks for forwarding the information on this Call for Submissions to those potentially interested to submit. ===== Call for Submissions ======= NetWare 2014 : November 16 - 20, 2014 - Lisbon, Portugal see: http://www.iaria.org/conferences2014/NetWare14.html NetWare 2014 is a federated event focusing on advanced topics concerning sensor networks, security, dependability, electronics, and quantum technologies. Submission (full contribution) deadline: July 16, 2014 Submissions must be electronically done using the 'Submit a Paper' link on the entry page of each conference. Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html. For details on the each conference's topics, see the individual Call for Papers for each conference. Unpublished high quality contributions in terms of Regular papers and Posters or Work in Progress are welcome. Workshop proposals and Panel proposals on challenging topics are encouraged. Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org All tracks/topics are open to both research and industry contributions. -- SENSORCOMM 2014, The Eighth International Conference on Sensor Technologies and Applications http://www.iaria.org/conferences2014/SENSORCOMM14.html -- SENSORDEVICES 2014, The Fifth International Conference on Sensor Device Technologies and Applications http://www.iaria.org/conferences2014/SENSORDEVICES14.html -- SECURWARE 2014, The Eighth International Conference on Emerging Security Information, Systems and Technologies http://www.iaria.org/conferences2014/SECURWARE14.html -- AFIN 2014, The Sixth International Conference on Advances in Future Internet http://www.iaria.org/conferences2014/AFIN14.html -- DEPEND 2014, The Seventh International Conference on Dependability http://www.iaria.org/conferences2014/DEPEND14.html -- CENICS 2014, The Seventh International Conference on Advances in Circuits, Electronics and Micro-electronics http://www.iaria.org/conferences2014/CENICS14.html -- ICQNM 2014, The Eighth International Conference on Quantum, Nano/Bio, and Micro Technologies http://www.iaria.org/conferences2014/ICQNM14.html -------------------------------- IARIA Publicity Board ------------------------------- To stop receiving notices about NetWare, please reply with "DROP NetWare 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 pc-chairs at di2014.org Mon Jun 16 10:02:05 2014 From: pc-chairs at di2014.org (=?utf-8?q?Frederic_Benhamou_=26_Milad_Doueihi_-__=23di2014_Co-Chairs?=) Date: Mon, 16 Jun 2014 10:02:05 +0200 Subject: #di2014 Conference - Registration is now open! Message-ID: <20140616080233.2239E4748CD@smtp.univ-nantes.fr> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From jonni.virtema at uta.fi Mon Jun 16 12:35:43 2014 From: jonni.virtema at uta.fi (Jonni Virtema) Date: Mon, 16 Jun 2014 13:35:43 +0300 Subject: Scandinavian Logic Symposium 2014: Extended early registration to 26.06.2014 Message-ID: <539EC87F.1030306@uta.fi> ================================================================ 9th SCANDINAVIAN LOGIC SYMPOSIUM 25-27 August 2014, University of Tampere, Finland http://www.sis.uta.fi/SLS2014/ CALL FOR PARTICIPATION The 9th Scandinavian Logic Symposium will be held at the Museum Centre Vapriikki in Tampere, Finland, during 25-27 August 2014 under the auspices of the Scandinavian Logic Society (SLS,http://scandinavianlogic.org/). As with previous editions of the Symposium, its primary aims are to reflect the current activities in logic in the Nordic countries and to provide a local meeting forum for their logical communities, broadly conceived. Besides, it invites and warmly welcomes participation of logicians from all over the world. SCOPE AND TOPICS The scope of SLS 2014 is broad, ranging over the whole areas of Mathematical and Philosophical Logic, as well as Logical Methods in Computer Science, Artificial Intelligence, Linguistics, etc. Major topics include (but are not limited to): Proof Theory, Constructivism, Model Theory, Set Theory, Computability Theory, Algebra and Logic, Categorical Logic, Logic and Computer Science, Logic and Linguistics, Logic in AI and Multi-Agent Systems, Logics of Games, Modal and other non-classical Logics, Philosophical Logic. PROGRAMME The preliminary program of SLS 2014 is posted on the conference website: http://www.sis.uta.fi/SLS2014/programme.html REGISTRATION Registration is now open. The early registration deadline is extended to June 26th. For registration and information on location and accommodation, please visit the conference webpage. INVITED SPEAKERS: Mai Gehrke (LIAFA, Paris) Volker Halbach (University of Oxford) Asger Törnquist (University of Copenhagen) Jouko Väänänen (University of Helsinki and University of Amsterdam) Thomas Ågotnes (University of Bergen) PROGRAM COMMITTEE Co-chairs: Sara Negri (University of Helsinki) and Valentin Goranko (Technical University of Denmark) Members: Luca Aceto (Reykjavik University) Lars Birkedal (Aarhus University) Patrick Blackburn (Roskilde University) Patricia Blanchette (University of Notre Dame, US) Thierry Coquand (University of Gothenburg) Ali Enayat (University of Gothenburg) Øystein Linnebo (University of Oslo and Birkbeck College London) Kerkko Luosto (University of Tampere) Dag Normann (University of Oslo) Gabriel Sandu (University of Helsinki) Arild Waaler (University of Oslo) Dag Westerståhl (University of Stockholm) ORGANISING COMMITTEE Chair: Lauri Hella (University of Tampere) Members: Kerkko Luosto (University of Tampere) Antti Kuusisto (University of Wroclaw) Jonni Virtema (University of Tampere) Jevgeni Haigora (University of Tampere) From ecai2014 at guarant.cz Mon Jun 16 13:20:03 2014 From: ecai2014 at guarant.cz (=?utf-8?q?ECAI_2014?=) Date: Mon, 16 Jun 2014 13:20:03 +0200 Subject: =?utf-8?q?ECAI_2014_-_early_registration_deadline_in_2_weeks?= Message-ID: <20140616112003.6D4E01742AA@gds25d.active24.cz> =============================================================== ECAI 2014 Prague, Czech Republic 18-22 August 2014 http://www.ecai2014.org/ =============================================================== REGISTRATION - EARLY RATE till JUNE 30 You can profit from a reduced rate by June 30. ECCAI member 400 EUR ECCAI student 120 EUR Delegate 500 EUR Student 150 EUR PRELIMINARY PROGRAMME Monday, August 18 - Czech Technical University Tutorials, Workshops, STAIRS, RuleML, Angry Birds Tuesday, August 19 - Czech Technical University Tutorials, Workshops, STAIRS, RuleML, Angry Birds Welcome Drink and Opening Ceremony in the Bethlehem Chapel Wednesday, August 20 - Clarion Congress Hotel Keynote Lecture, Parallel Sessions, PAIS, RuleML, Angry Birds Thursday, August 21 - Clarion Congress Hotel Keynote Lecture, Parallel Sessions, PAIS, Angry Birds Conference Dinner in the Monastery Restaurant Friday, August 22 - Clarion Congress Hotel Keynote Lecture, Parallel Sessions, Angry Birds =============================================================== This email is not intended to be spam or to go to anyone who wishes not to receive it. If you do not wish to receive this letter and wish to re­move your email address from our database please reply to this message with “Unsubscribe” in the subject line From Michael.Lipaczewski at ovgu.de Mon Jun 16 13:48:39 2014 From: Michael.Lipaczewski at ovgu.de (Lipaczewski, Michael) Date: Mon, 16 Jun 2014 11:48:39 +0000 Subject: [IMBSA 2014] Extended Deadline - International Symposium on Model-Based Safety Assessment Message-ID: Our apologies if you have received multiple copies. -------------------------------------------------------------------- *** EXTENDED PAPER SUBMISSION DEADLINE: 29.06.2014 *** 4th International Symposium on Model-Based Safety Assessment Munich, Germany, October 27-29, 2014 Web: http://www.imbsa.org Mail: info at imbsa.org -------------------------------------------------------------------- After previous editions in Toulouse (2011), Bordeaux (2012), and Versailles (2013), the 4th International Symposium on Model-Based Safety and Assessment (IMBSA 2014) will be held in Munich, Germany. This forum aims at bringing together engineers, software specialists and researchers working on all aspects of model-based safety assessment. The goal of IMBSA is to provide a forum, where brand new ideas from academia, leading edge technology and industrial experiences are brought together. The objectives are to present experiences and tools, to share ideas, and to consolidate the community. We solicit contributions concerning any domain of safety critical application using model-based methods. This includes, but is not limited to: * System Dependability Modeling and Assessment * Domain Specific Modeling Formalisms (AltaRica, ...) * Model-Driven Engineering Methodologies * System Architecture and Optimization * System Engineering Modeling Tools with Safety Assessment (SysML...) * Case Studies and Practical Experiences * Traceability of (Safety)-Requirements * Specification of Safety Requirements and Patterns * Certification and Standardization of and with Model-Based Methods * Integration in Interdisciplinary Processes *------------------------------------------------------------------* THE IMBSA APPROACH *------------------------------------------------------------------* IMBSA is looking back at a rich tradition of successfully combining research with a high number of industrial contributions. It shows that bridging the gap between basic research and industrial practice can be done effectively through interactive presentation of tools and methods. To take this into account, the conference will - in contrast to solely scientific events - be split into three main parts: * a scientific part, where newest findings are presented by renown scientists (DAY 1) * a tools and tutorials parts, in which consolidated research achievements are interactively demonstrated (DAY 2) * and one part reporting on experiences and hot challenges in industrial practice of safety critical systems (DAY 3) This way, participants from the industry learn about new tools and techniques, while research groups and spin-off companies can present their achievements to an interested audience. Also industrial contributors and young spin-offs can convince future customers of their tools in this mixed environment. We believe, that this mixture of conventional talks about newest achievements, presentation of practical experiences and interactive learning allows for fruitful discussions, exchange of information as well as future cooperation. *------------------------------------------------------------------* SUBMISSION DETAILS *------------------------------------------------------------------* For each academic and industrial submission, an abstract should be submitted by May 31th, 2014, using the EasyChair website (https://www.easychair.org/conferences/?conf=imbsa2014). Academic papers should not exceed 14 pages. Industrial experiences reports may either be submitted as short papers (8 pages) or full papers (14 pages). Both forms of submission have to comply with the LNCS style format and be handed in by 15th of June. For tutorials and tool demonstration, extended abstracts (2 pages) are sufficient but full length papers may also be accepted. All papers will be subject to a full review. All accepted papers will be published as an Springer LNCS proceedings. The proceedings are planned as pre-conference proceedings and the printed books should be available at the conference day (final approval pending). To be considered for the proceedings, at least one author of each paper has to participate at the conference. Scientific and industrial experience will be presented at the conference in oral form. Tools and tutorials will be presented in special slots (within the main program) and may be presented in an interactive manner. *------------------------------------------------------------------* IMPORTANT DATES *------------------------------------------------------------------* Full paper submission deadline: June 29,2014 Notification of acceptance: July 30,2014 Camera-ready submission: August 10,2014 Tutorial proposals: September 10,2014 Conference: October 27-29,2014 *------------------------------------------------------------------* INTERNATIONAL PROGRAM COMMITTEE *------------------------------------------------------------------* * Jean-Paul Blanquart (Astrium Satellites, FR) * Marco Bozzano (FBK-irst, IT) * Jean-Charles Chaudemar (ISAE, FR) * Jana Dittmann (Otto-von-Guericke University of Magdeburg, DE) * Marielle Doche-Petit (Systerel, FR) * Lars Grunske (University of Stuttgart, DE) * Matthias Güdemann (Syterel, FR) * Kai Höfig (Siemens, DE) * Michaela Huhn (Technical University of Clausthal, DE) * Tim Kelly (University of York, GB) * Leila Kloul (Universite de Versailles, FR) * Agnes Lanusse (CEA LIST, FR) * Till Mossakowski (Otto-von-Guericke University of Magdeburg, DE) * Jürgen Mottok (University of Regensburg, DE) * Frank Ortmeier (Otto-von-Guericke University of Magdeburg, DE) * Yiannis Papadopoulos (University of Hull, GB) * Antoine Rauzy (Ecole Polytechnique, FR) * Wolfgang Reif (Augsburg University, DE) * Jean-Marc Roussel (LURPA, ENS Cachan, FR) * Christel Seguin (ONERA, FR) * Pascal Traverse (AIRBUS, FR) General Chair: * Martin Bott (Zühlke Engineering, DE) * Frank Ortmeier (Otto-von-Guericke University of Magdeburg, DE) PC-Chairs: * Frank Ortmeier (Otto-von-Guericke University of Magdeburg, DE) * Antoine Rauzy (Ecole Polytechnique, FR) Tools & Tutorials Chairs: * Jürgen Mottok (Hochschule Regensburg, DE) * Antoine Rauzy (Ecole Polytechnique, FR) Industrial Chairs: * Martin Bott (Zühlke Engineering, DE) * Christel Seguin (ONERA, FR) Organizing Committee: * Tim Gonschorek * Michael Lipaczewski * Marianne Schulze *------------------------------------------------------------------* Web: http://www.imbsa.org Mail: info at imbsa.org -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From jurik at forsyte.tuwien.ac.at Mon Jun 16 15:54:36 2014 From: jurik at forsyte.tuwien.ac.at (Katarina Jurik) Date: Mon, 16 Jun 2014 15:54:36 +0200 Subject: Vienna Summer of Logic: Call for Participation Message-ID: <539EF71C.4060006@forsyte.tuwien.ac.at> *Vienna Summer of Logic: Call for Participation* Vienna, Austria July 9-24, 2014 http://vsl2014.logic.at Registration deadline: June 30, 2014 Link to VSL Video: http://vimeo.com/98030762 *The Vienna Summer of Logic (VSL) is organized by the Kurt Gödel Society (http://kgs.logic.at) and will be held in Vienna, Austria in July 2014, at the Vienna University of Technology (http://www.tuwien.ac.at). *The VSL will consist of twelve large conferences and more than 80 workshops, attracting more than 2000 researchers from all over the world. The event includes three streams, Logic in Computer Science/Federated Logic Conference (FLoC), Mathematical Logic and Logic in Artificial Intelligence. Logic in Computer Science / Federated Logic Conference * 26th International Conference on Computer Aided Verification (CAV) * 27th IEEE Computer Security Foundations Symposium (CSF) * 30th International Conference on Logic Programming (ICLP) * 7th International Joint Conference on Automated Reasoning (IJCAR) * 5th Conference on Interactive Theorem Proving (ITP) * Joint meeting of the 23rd EACSL Annual Conference on Computer Science Logic (CSL) and the 29th ACM/IEEE Symposium on Logic in Computer Science (LICS) * 25th International Conference on Rewriting Techniques and Applications (RTA) joint with the 12th International Conference on Typed Lambda Calculi and Applications (TLCA) * 17th International Conference on Theory and Applications of Satisfiability Testing (SAT) * FLoC Workshops * FLoC Olympic Games (System Competitions) * SAT/SMT Summer School 2014 Mathematical Logic * Logic Colloquium 2014 (LC) * Logic, Algebra and Truth Degrees 2014 (LATD) * Compositional Meaning in Logic (GeTFun 2.0) * The Infinity Workshop (INFINITY) * Workshop on Logic and Games (LG) * Workshop on Nonclassical Proofs: Theory, Applications and Tools * Kurt Goedel Fellowship Competition Logic in Artificial Intelligence * 14th International Conference on Principles of Knowledge Representation and Reasoning (KR) * 27th International Workshop on Description Logics (DL) * 15th International Workshop on Non-Monotonic Reasoning (NMR) * International Workshop on Knowledge Representation for Health Care 2014 (KR4HC) *Program: Keynote talks: * Franz Baader * Edmund Clarke * Christos Papadmitriou * Dana Scott (opening talk) * Alex Wilkie Invited talks of the FLoC conferences: * Alessandro Acquisti * Christel Baier * Gilles Barthe * Rance Cleaveland * Veronique Cortier (FLoC plenary speaker) * Patrick Cousot * Rod Chapman * Leonardo de Moura * Jasmin Fisher * Nicola Gambino * Rajeev Goré * Orna Kupferman (FLoC plenary speaker) * Assia Mahboubi * Ken McMillan * David Monniaux * Jakob Nordström * Frank Piessens * Manfred Schmidt-Schauss * Peter Sewell * Anna Slobodova * Fabio Somenzi * Erik Winfree * Nobuko Yoshida Invited talks of the Logic in AI conferences: * Michael Benedikt * Philippe Besnard * Patrick Blackburn * Tony Cohn * Georg Gottlob * Alon Y. Halevy * Sheila McIlraith * Hans Rott Invited talks of the Mathematical Logic conferences: * Krzysztof Apt * Franz Baader * Andrej Bauer * Patty Blanchette * Andres Cordon Franco * Kirsten Eisenträger * Vera Fischer * Melvin Fitting * Silvio Ghilardi * Noam Greenberg * Julia Knight * Leszek Kolodziejczyk * Vincenzo Marra * George Metcalfe * Ben Miller * Dale Miller * Alexandre Miquel * Mark Reynolds * Dana Scott * Mariya Soskova * Alasdair Urquhart * Albert Visser Please consult the VSL website for further information on invited speakers and contributed talks of all the participating conferences and workshops. *Kurt Gödel Research Prize Fellowship Competition: At the Vienna Summer of Logic, the Kurt Gödel Society will award three fellowship prizes endowed with 100.000 Euro each to the winners of the Kurt Gödel Research Prize Fellowship Competition "Logical Mind: Connecting Foundations and Technology." *FLoC Olympic Games - Citius, Maius, Potentius: The Federated Logic Conference (FLoC) 2014 will host the 1^st FLoC Olympic Games.Intended as a new FLoC tradition, the Games will bring together a multitude of established solver competitions by different research communities. In addition to the competitions, the Olympic Games will facilitate the exchange of expertise between communities, and increase the visibility and impact of state-of-the-art solver technology. The winners in the competition categories will be awarded Kurt Gödel medals at the FLoC Olympic Games award ceremonies. *Banquets and receptions: The VSL social program offers a taste of Viennese architecture and cuisine -- be prepared for the beauty of Schönbrunn Palace and its gardens, as well as for the grandeur of the Vienna City Hall and the Museum of Natural History. *The city of Vienna: A city rich in history and culture, Vienna is the perfect venue for the summer of logic. Discover Vienna's museums, gardens, palaces and coffee places while you experience the largest gathering of logicians in history. *Registration: For online registration for VSL, please follow the link on this VSL web page: http://vsl2014.at/registration/ The registration deadline is June 30, 2014. *VSL Chairs: Matthias Baaz Thomas Eiter Helmut Veith From stephengmatthews at gmail.com Thu Jun 19 08:59:03 2014 From: stephengmatthews at gmail.com (Stephen G Matthews) Date: Thu, 19 Jun 2014 07:59:03 +0100 Subject: =?UTF-8?Q?Call_for_Participation=3A_The_2014_IEEE_CIS_=2F_REGIM=2DLa?= =?UTF-8?Q?b=2E_Summer_School_on_Computational_Intelligence_=E2=80=93_Theory_an?= =?UTF-8?Q?d_Applications?= Message-ID: ** Please accept our apologies if you have received multiple copies. ** ====================================================== 2014 IEEE CIS/REGIM-Lab Summer School on Computational Intelligence – Theory and Applications (SS-CITA 2014) http://cita.regim.org/ 11-14, August 2014, Ramada Plaza Tunis Hotel, Tunisia ====================================================== Sponsors: IEEE Computational Intelligence Society and REGIM-Lab. Registration: http://cita.regim.org/registration/ The main goal of the summer school is to provide undergraduate students, M.Sc. or PhD students, academics, and engineers from industry with hands-on knowledge on sophisticated Computational Intelligence (CI) algorithms and methods, most recent advances and developments in CI research, and substantial examples of successful CI applications to solving complex real-world problems. The school includes theoretical and practical sessions. The choice of such topic is based on the growing attention paid towards intelligent systems. The school aims also to discuss the challenges and to strengthen the connection between academia and industry in the area of Computational Intelligence. The program of the school includes theoretical and practical talks during four days from 11 to 14 August 2014. It also includes poster session. All students have to present their ideas / works in a poster. A best poster award will be announced in the closing session. Seven well-known speakers: http://cita.regim.org/speakers/ - Cesare Alippi, IEEE Fellow, Politecnico di Milano, Italy. Topic: Supervised Learning: from the Basics to Learning in non-stationary Environments - Farouk Cherif, University Sousse, Tunisia. Topic: Basics on Recurrent Neural Network - Robert John, University of Nottingham, United Kingdom. Topic: Type-2 Fuzzy Logic: Theory and Applications - Fakhri Karray, University of Waterloo, Canada. Topic: SVM , Fundamentals and Advanced Topics - Okyay Kaynak (IEEE CIS Distinguished Lecturer) IEEE Fellow, Bogazici University, Turkey & Harbin Institute of Technology (HIT), China. Topic: Intelligent Systems: An Assesment of the Past and the Prospects for the Future - Volker Märgner, Technische Universität Braunschweig, Germany. Topic: Historical Document Processing – An Application of Computational Intelligence - Ahmed Rubaai, Howard University, Washington, DC, USA - IEEE-IAS Publications Department chair. Topic: Computational Intelligence Techniques for Industrial Systems For further information, please don't hesitate to contact the Organizing Committee: http://cita.regim.org/organizing-committee/ ================================= Local information contact: Habib M. Kammoun IEEE CIS Tunisia Chapter E-mail: habib.kammoun at ieee.org -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From icsai2014cfp at sdju.edu.cn Thu Jun 19 12:37:41 2014 From: icsai2014cfp at sdju.edu.cn (Prof Song) Date: Thu, 19 Jun 2014 18:37:41 +0800 Subject: ICSAI 2014, Shanghai: Extended Deadline 15 July [EI Compendex /IEEE Xplore] Message-ID: <603173649.11546@eyou.net> Dear Colleague, The 2014 International Conference on Systems and Informatics (ICSAI 2014) will be held from 15-17 November 2014 in Shanghai, China. Due to numerous requests, the submission deadline is extended to 15 July May 2014 ICSAI 2014 aims to be a premier international forum for scientists and researchers to present the state of the art of systems engineering and information science. Keynote speakers include Ljiljana Trajkovic, President of the IEEE Systems, Man, and Cybernetics Society; Witold Pedrycz, Editor-in-Chief of 3 SCI-indexed journals (including IEEE Transactions on Systems, Man, and Cybernetics: Systems); and Marimuthu Palaniswami, a renowned researcher. Topics include (but are not limited to): Systems · Control and Automation Systems · Power and Energy Systems · Intelligent Systems · Computer Systems and Applications Informatics · Communications and Networking · Image, Video, and Signal Processing · Data Engineering and Data Mining · Software Engineering The registration fee of US$410 includes proceedings, lunches, dinners, banquet, coffee breaks, and all technical sessions. All papers in conference proceedings will be submitted to both IEEE Xplore and EI Compendex for indexing (the previous ICSAI proceedings were indexed in Ei Compendex and IEEE Xplore within 3 months of the conference. IEEE Conference Record # 34792; ISBN 978-1-4799-5457-5). Substantially extended versions of best papers will be considered for publication in a special issue of a SCI-indexed journal. Shanghai is the largest city in China, with famous historical and cultural heritage. Attractions include Yuyuan Garden ("Happy Garden" built in Ming Dynasty), Shanghai Museum with 120,000 pieces of rare relics, Shanghai World Financial Center, Jade Buddha Temple (Song Dynasty), Oriental Pearl TV Tower, Zhujiajiao Water Town, and Expo 2010 site. To promote international participation of researchers from outside the country/region where the conference is held (i.e., China’s mainland), researchers outside of China’s mainland are encouraged to propose invited sessions. The first author of each paper in an invited session must not be affiliated with an organization in China’s mainland. All papers in the invited sessions can be marked as "Invited Paper". The organizer(s) for each invited session with at least 6 registered papers will jointly enjoy an honorarium of US*D 400. Invited session organizers will solicit submissions, conduct reviews and recommend accept/reject decisions on the submitted papers. Invited session organizers will be able to set their own submission and review schedules, as long as a list of recommended papers is determined by 10 October 2014. Each invited session proposal should include: (1) the name, bio, and contact information of each organizer of the invited session; (2) the title and a short synopsis of the invited session. Please send your proposal to icsai2014 at sdju.edu.cn For more information, visit the conference web page: http://ICSAI2014.sdju.edu.cn If you have any questions after visiting the conference web page, please email the secretariat at icsai2014 at sdju.edu.cn Join us at this major event in exciting Shanghai !!! Organizing Committee icsai2014 at sdju.edu.cn P.S.: Kindly forward to your colleagues or students who may be interested. If you wish to unsubscribe, in which case we apologize, please reply with "unsubscribe event at tu-clausthal.de " in your email subject. Thanks. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From announce at cs.ucy.ac.cy Sat Jun 21 12:09:45 2014 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 21 Jun 2014 13:09:45 +0300 Subject: Last Mile: 7th Int. Conf. on Developments in eSystems Engineering (DeSE 2014) Message-ID: *** Last Mile *** Seventh International Conference on Developments in eSystems Engineering (DeSE '2014) 25th - 27th August 2014 Azia Hotel and Spa 5*, Paphos, Cyprus www.dese.org.uk Proceedings will be published by IEEE *** Submission Deadline: 30th June 2014 *** Recent years have witnessed increasing interest and development in computerised systems and procedures, which exploit the electronic media in order to offer effective and sophisticated solutions to a wide range of real-world applications. Innovation and research development in this rapidly evolving area of eSystems has typically been reported on as part of cognate fields such as, for example: Information and Communications Technology, Computer Science, Systems Science, Social Science and engineering. This conference, on the developments in eSystems Engineering will act as a platform for disseminating and discussing new research findings and ideas in this emerging field. Papers are invited on all aspects of eSystem Engineering, modelling and applications, to be presented at a three day conference in Paphos, Cyprus. Authors will have their submissions reviewed by international experts and accepted papers will appear in the conference proceedings published by the Conference Publication Services (CPS) for worldwide presence. The event provides authors with an outstanding opportunity for networking and presenting their work at an international conference. The location offers an especially attractive opportunity for professional discussion, socialising and sightseeing. DeSE 2014 conference is technically co-sponsored by IEEE. DeSE 2014 comprises an exciting spectrum of highly stimulating tracks: o eLearning (Technology-Enhanced Learning) o eGovernment systems, Autonomic Computing and AI o eBusiness and Management o eHealth and e-Medicine o eScience and Technology o eSecurity and e-Forensics o eEntertainment and Creative Technologies o eNetworking and Wireless Environments o eUbiquitous Computing and Intelligent Living o Green and Sustainable Technologies o eCulture and Digital Society o eSport Science o eSystems Engineering (Main Stream) o Sustainable Construction and Renewable Energy All submitted papers will be peer-reviewed. Accepted and presented papers will be published in the final technical conference proceedings, and will be indexed in IEEE Xplore and EI Compendex, subject to final approval by the Conference Technical Committee. Venue Azia Resort and Spa 5*, Paphos, Cyprus Built as three different sections on adjacent grounds, with plethora of magnificent spaces for carefree living, the Azia Resort has all the diversity to keep its guests contented for a week or longer. Each element of the three-in-one boutique Cyprus hotel concept has its own character and fulfils different aspirations of the visitor. The Azia Blue is about sophisticated, spacious living and family luxury hotel. The Azia Club and Spa is ideal for privacy and indulgence. One of the few resorts or Cyprus hotels with a west-facing outlook, the Azia hotel provides guests with a sublime view of blazing indescribable sunsets. Tentative Dates Submission Deadline: June 30th, 2014 Notification of Acceptance: July 15th, 2014 Camera-Ready Submission: July 31st, 2014 -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From bulling at in.tu-clausthal.de Mon Jun 23 14:26:36 2014 From: bulling at in.tu-clausthal.de (Nils Bulling) Date: Mon, 23 Jun 2014 14:26:36 +0200 Subject: EUMAS 2014: call for papers Message-ID: <981C62D7-FCCC-420F-BA5E-7D9C11B7FA2A@in.tu-clausthal.de> --------------------------------- --------------------------------- First Call for Papers EUMAS 2014 - 12th European Conference on Multi-Agent Systems December 18-19, 2014 Prague, Czech Republic http://agents.fel.cvut.cz/eumas2014/ --------------------------------- --------------------------------- --------------------------------- INTRODUCTION --------------------------------- In the last two decades, we have seen a significant increase of interest in agent-based computing. This field is now set to become one of the key technologies in the 21st century. It is crucial that both academics and industrialists within Europe have access to a forum at which current research and application issues are presented and discussed. Following in the tradition of previous editions of EUMAS (Oxford 2003, Barcelona 2004, Brussels 2005, Lisbon 2006, Hammamet 2007, Bath 2008, Agia Napa 2009, Paris 2010, Maastricht 2011, Dublin 2012, Toulouse 2013), the aim of this 12th European Conference on Multi-Agent Systems is to encourage and support activity in the research and development of multi-agent systems, in academic and industrial efforts. This conference is primarily intended as a European forum at which researchers, and those interested in activities relating to research in the area of autonomous agents and multi-agent systems, could meet, present (potentially preliminary) research results, problems, and issues in an open and informal but academic environment. To attract students as well as experienced researchers, preliminary as well as mature work, EUMAS 2014 offers three submission types and formal proceedings as well as post-proceedings in form of a journal special issue are planned. EUMAS 2014 is a designated event of the European Association of Multi-Agent Systems (EURAMAS): http://www.euramas.org --------------------------------- TOPICS OF INTEREST --------------------------------- Topics of interest include but are not limited to: Action and Planning, Adaptation and Learning, Agent Architectures, Agent Programming Languages, Agents and Complex Systems, Agent Based Simulation, Ambient Intelligence Applications, Argumentation, Autonomy, Bio-inspired Approaches to Agents and Multi-Agent Systems, Cognitive Models, Collective and Swarm Intelligence, Collective Intentionality, Communication, Competition, Complexity, Cooperation, Coordination, e-*Applications (e-commerce, etc.), Economic Models, Emergence, Emotion, Formal Models, Game Theoretic Models, Grid Computing, Logics for Multi-Agent Systems, Methodologies, Negotiation, Organisations and Institutions, Proactivity and Reactivity, Protocols, Robotics, Self-organisation, Semantic Web Agents, Agent-based Service Oriented Computing, Socio-technical Systems, Agent-oriented Software Engineering, Standards, Teamwork, Theories of Agency, Tools, Trust and Reputation, Ubiquitous Computing, Verification, Virtual Agents. --------------------------------- SUBMISSIONS --------------------------------- EUMAS 2014 welcomes both original, unpublished papers, as well as papers that are under submission or have been published in a relevant conference, conference or journal. We specially invite submissions by students that we think will receive valuable feedback from the discussion-oriented focus of the conference. Preliminary student work is welcome; however it has to possess sufficient substance for serving as a discussion basis and therefore has to pass the review cycle in the same way as other work. Authors are invited to submit papers in the following three categories: (1) Full research papers up to 15 pages, describing original and unpublished work. Simultaneous submission to another venue is not allowed. (2) Extended abstracts of 4-5 pages reporting on original and unpublished work in progress or system descriptions. Simultaneous submission to another venue is not allowed. (3) Full research papers up to 15 pages reporting on interesting and relevant work that has been published (or accepted for publication) in the last 18 months. Each submission will be peer-reviewed. All submissions should be formatted following Springer's LNCS format. For templates and instructions for authors, see http://www.springer.de/comp/lncs/authors.html We request the submission of title and abstract prior the paper submission for supporting the tight schedule of reviewing. The authors must submit their abstracts and papers through the EUMAS 2014 Easychair submission site: https://www.easychair.org/conferences/?conf=eumas2014 --------------------------------- PROCEEDINGS AND SPECIAL ISSUE --------------------------------- This year, we plan to have formal conference proceedings. Currently we are negotiating with Springer to have proceedings published with them in the series: Communications in Computer and Information Science (CCIS), http://www.springer.com/series/7899 Depending on quality, selected full research papers and extended abstracts describing original, unpublished work (categories 1 and 2) accepted at EUMAS 2014 will be included in the proceedings. After the conference, we plan to invite authors of selected papers to extend and re-submit their work to be considered for inclusion in a journal special issue. The submissions to that special issue will be subject to another reviewing and selection process. --------------------------------- IMPORTANT DATES --------------------------------- Abstract submission deadline: September 26, 2014 Paper submission: September 29, 2014 Author notification: November 7, 2014 Camera-ready deadline: December 1, 2014 Conference: December 18-19, 2014 --------------------------------- PROGRAM CHAIR --------------------------------- Nils Bulling, Clausthal University of Technology, Germany --------------------------------- LOCAL ORGANIZERS --------------------------------- Jiri Vokrinek, Czech Technical University, Czech Republic Michal Jakob, Czech Technical University, Czech Republic --------------------------------- PROGRAM COMMITTEE (confirmed members) --------------------------------- Thomas Ågotnes, University of Bergen Fred Amblard, IRIT - University Toulouse 1 Capitole Leila Amgoud, IRIT - CNRS Guido Boella, University of Torino Olivier Boissier, ENS Mines Saint-Etienne Elise Bonzon, LIPADE - Université Paris Descartes Vicent Botti, DSIC Dídac Busquets, Imperial College London Amit Chopra, Lancaster University Mehdi Dastani, Utrecht University Paul Davidsson, Malmö University Tiago De Lima, University of Artois and CNRS Marina De Vos, University of Bath Frank Dignum, Utrecht University Juergen Dix, Clausthal University of Technology Amal El Fallah Seghrouchni, LIP6 - University of Pierre and Marie Curie Rino Falcone, Institute of Cognitive Sciences and Technologies-CNR Klaus Fischer, DFKI GmbH Nicola Gatti, Dipartimento di Elettronica e Informazione, Politecnico di Milano Valentin Goranko, Technical University of Denmark Davide Grossi, Department of Computer Science, University of Liverpool Koen Hindriks, Delft University of Technology Tomas Klos, Delft University of Technology Franziska Klügl, Örebro University Joao Leite, Universidade NOVA de Lisboa Brian Logan, University of Nottingham Dominique Longin, IRIT-CNRS Emiliano Lorini, IRIT John-Jules Meyer, Utrecht University Frederic Moisan, Carnegie Mellon University Pavlos Moraitis, Paris Descartes University Jörg P. Müller, TU Clausthal Emma Norling, Manchester Metropolitan University Peter Novák, Delft University of Technology Andrea Omicini, Alma Mater Studiorum–Università di Bologna Nir Oren, University of Aberdeen Sascha Ossowski, University Rey Juan Carlos Wojciech Penczek, ICS PAS and Siedlce University Enrico Pontelli, New Mexico State University Franco Raimondi, Middlesex University R. Ramanujam, Institute of Mathematical Sciences, Chennai Alessandro Ricci, University of Bologna Regis Riveret, Imperial College London Valentin Robu, Heriot-Watt University Antonino Rotolo, CIRSFID, University of Bologna Michael Rovatsos, School of Informatics, The University of Edinburgh Jordi Sabater Mir, IIIA-CSIC Michael Sonnenschein, University of Oldenburg Matthias Thimm, Universität Koblenz-Landau Paolo Torroni, University of Bologna Nicolas Troquard, Laboratory for Applied Ontology Luca Tummolini, ISTC-CNR Paolo Turrini, Imperial College London Wamberto Vasconcelos, Department of Computing Science, University of Aberdeen Laurent Vercouter, LITIS lab, INSA de Rouen Serena Villata, INRIA Sophia Antipolis Cees Witteveen, Delft University of Technology Neil Yorke-Smith, American University of Beirut --------------------------------- CONTACT --------------------------------- In case of questions about the program please do not hesitate to contact us. For questions related to -the program and submission process, please contact: Nils Bulling (eumas2014 at easychair.org) -the organization, contact: Jiří Vokřínek (jiri.vokrinek at fel.cvut.cz) Michal Jakob (jakob at agents.fel.cvut.cz) -- Dr. Nils Bulling Clausthal University of Technology, Germany http://www.nilsbulling.com phone: +49 5323 72 7182 From thomas.agotnes at infomedia.uib.no Mon Jun 23 17:21:34 2014 From: thomas.agotnes at infomedia.uib.no (=?iso-8859-1?Q?Thomas_=C5gotnes?=) Date: Mon, 23 Jun 2014 17:21:34 +0200 Subject: LOFT 2014 (Bergen, Norway): 2nd call for Participation Message-ID: <712ED00B-2AAB-423E-A383-16AC7CC686C5@infomedia.uib.no> 2nd CALL FOR PARTICIPATION LOFT11 2014 Eleventh Conference on Logic and the Foundations of Game and Decision Theory University of Bergen, Norway, July 27-30, 2014 http://folk.uib.no/nmita/LOFT11 Registration for the conference is now open. The EARLY registration fee (before June 26) is 140 euros (includes conference dinner). AIMS OF THE CONFERENCE This is the eleventh in a series of bi-annual conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making. Preference is given to papers which bring together the work and problems of several fields, such as game and decision theory, logic, computer science and artificial intelligence, philosophy, cognitive psychology, mathematics and mind sciences. The previous ten conferences took place in Marseille (France), January 1994, Torino (Italy), December 1996, December 1998, July 2000 and July 2002, Leipzig (Germany), July 2004, Liverpool (UK), July 2006, Amsterdam (The Netherlands), July 2008, Toulouse (France), July 2010, and Sevilla (Spain), 2014 INVITED SPEAKERS Krzysztof Apt (CWI, The Netherlands) Pierpaolo Battigalli (Bocconi University, Italy) Ariel Procaccia (Carnegie Mellon University, USA) PROGRAM The program contains 23 full presentations and 18 short (poster) presentations, selected from submitted papers. PRACTICAL INFORMATION For information on registration, travel and accommodation: http://folk.uib.no/nmita/LOFT11 From emil.weydert at uni.lu Tue Jun 24 11:21:10 2014 From: emil.weydert at uni.lu (Emil WEYDERT) Date: Tue, 24 Jun 2014 09:21:10 +0000 Subject: CALL for POSTDOCS - Logic in AI, Knowledge representation Message-ID: The Individual and Collective Reasoning Group ICR (Computer Science) of Prof. Leon van der Torre at the University of Luxembourg is seeking outstanding postdocs to strengthen its team. Areas of specific interest are: - Logics for intelligent agents (robots, softbots) - Normative multi-agent systems and deontic reasoning - Argumentation, formal models of text (science, law) - Belief and knowledge dynamics, epistemic trust/fact finding - Foundations of defeasible reasoning (qualitative/quantitative) Profile of the candidate: - PhD in Computer Science, Computational Linguistics, Mathematics or similar - Strong background in logic and knowledge representation - Fluent written and verbal communication skills in English - Commitment, creativity, and originality Profile of the employer: - The salary is very competitive - You will work in an exciting international and interdisciplinary environment in a nice city at the heart of Europe Nature of the position: - The position will be financed through a 2-year AFR postdoc grant (www.fnr.lu/en/Calls,-Forms-Guidelines/Call-Documents/AFR-PDR-Forms-and-Guidelines) Procedure: 1. DECLARATION OF INTEREST - DEADLINE JULY 7, 2014 - Send a complete CV (contact address, work experience, publication list), - an abstract of your thesis, - a list of 2-3 referees, - a letter of interest and a description of possible research interests/ideas to leon.vandertorre at uni.lu and emil.weydert at uni.lu 2. ACTUAL SUBMISSION - DEADLINE: BEGIN OF SEPTEMBER, 2014 After further discussion, we will then invite the best fitting candidates to submit a full AFR-postdoc proposal. The funding decision is expected in December. The position could then start in March/April 2015, non-EU candidates must add further time for visum and work permit. From amedeo.napoli at loria.fr Tue Jun 24 18:06:27 2014 From: amedeo.napoli at loria.fr (Amedeo Napoli) Date: Tue, 24 Jun 2014 18:06:27 +0200 (CEST) Subject: Postdoc position: Knowledge Discovery for biomarker identification In-Reply-To: <1047175943.5126533.1403625920885.JavaMail.zimbra@loria.fr> Message-ID: <1870489271.5126969.1403625987691.JavaMail.zimbra@loria.fr> ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Postdoc position available at INRA Clermont-Ferrand -- LORIA/Inria Nancy Grand Est Knowledge Discovery for biomarker identification (Knowledge Discovery based on Formal Concept Analysis, pattern mining and preferences, for the identification of early predictive biomarkers of diseases) Location: Clermont-Ferrand - Nancy Duration: 2 years Keywords: biomarker, prediction, Formal Concept Analysis, knowledge discovery, multi-dimensional modeling. Description of the task. The goal of the project is to identify predictive (bio)markers of the evolution of health status toward metabolic syndrome development (from metabolomics signatures, socio-economic parameters and ``food habits''), with the objective of building a model and determining whether the integration of multidimensional parameters improves prediction. Finally, this approach should allow to identify determinants of the evolution of health status. In this project, the volume of data is very important and data are as well heterogeneous (both numerical and symbolic). The integration of large volumes of data can be guided by domain knowledge and be supported by a data schema considered as a mediation system (virtual integration needing correspondences between data sources). This global schema can be based on a concept lattice and defined for materializing the characteristics and the correspondences between data sources. The concept lattice provides a classification structure that can be used for various tasks, such as data indexing, information retrieval, data mining, data modeling, and reasoning. The concept lattice is built thanks to Formal Concept Analysis (FCA), which can be considered as a symbolic method for knowledge discovery (KD). It is also planned to use pattern mining methods for extracting frequent or rare patterns and association rules as well. In this context, the post-doc fellow’s research will consist in studying the set of data to be analyzed from a theoretical and practical point of view. The theoretical point of view consists in checking which symbolic KD methods are appropriate for analyzing the data and which kind of coupling with numerical KD methods could bring more useful results. The practical point of view consists in applying the given methods to the data to be analyzed and to interpret the results. Algorithms for FCA, pattern mining and numerical KD methods will be reused but new developments or adaptations are planned for carrying out this project. Application: The candidate should prepare a detailed CV including a complete bibliography, a motivation letter and recommendation letters as a single pdf file. This file should be sent by email to both contacts below. Contacts: Estelle Pujos-Guillot, INRA (Institut National de la Recherche Agronomique) UMR 1019 Human Nutrition Unit Research Centre of Clermont-Ferrand/Theix F-63122 St Genès Champanelle France Tel: +33 473 624 141 Email: estelle.pujos at clermont.inra.fr Amedeo Napoli, LORIA (CNRS - Inria Nancy Grand Est - Université de Lorraine) Équipe Orpailleur - Bâtiment B BP 239, F-54506 Vandoeuvre-les-Nancy Tel: +33 383 592 068 Email: Amedeo.Napoli at loria.fr ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From feeds at sentic.net Wed Jun 25 00:11:23 2014 From: feeds at sentic.net (SenticNet) Date: Tue, 24 Jun 2014 17:11:23 -0500 (EST) Subject: [SenticNet] CFP: ICDM workshop series on opinion mining Message-ID: <1252123989.2749595.1403647883224.open-xchange@bosoxweb05.eigbox.net> Apologies for cross-posting, Submissions are invited for the 4th edition of Sentiment Elicitation from Natural Text for Information Retrieval and Extraction (SENTIRE), the IEEE ICDM workshop series on opinion mining. The term SENTIRE comes from the Latin feel and it is root of words such as sentiment and sensation. SENTIRE aims to provide an international forum for researchers in the field of opinion mining and sentiment analysis to share information on their latest investigations in social information retrieval and their applications both in academic research areas and industrial sectors. The broader context of the workshop comprehends Web mining, AI, Semantic Web, information retrieval and natural language processing. The workshop is going to be held in Shenzhen on 14th December 2014. For more information, please visit: http://sentic.net/sentire RATIONALE Memory and data capacities double approximately every two years and, apparently, the Web is following the same rule. User-generated contents, in particular, are an ever-growing source of opinion and sentiments which are continuously spread worldwide through blogs, wikis, fora, chats and social networks. The distillation of knowledge from such sources is a key factor for applications in fields such as commerce, tourism, education and health, but the quantity and the nature of the contents they generate make it a very difficult task. Due to such challenging research problems and wide variety of practical applications, opinion mining and sentiment analysis have become very active research areas in the last decade. Our understanding and knowledge of the problem and its solution are still limited as natural language understanding techniques are still pretty weak. Most of current research in sentiment analysis, in fact, merely relies on machine learning algorithms. Such algorithms, despite most of them being very effective, produce no human understandable results such that we know little about how and why output values are obtained. All such approaches, moreover, rely on syntactical structure of text, which is far from the way human mind processes natural language. Next-generation opinion mining systems should employ techniques capable to better grasp the conceptual rules that govern sentiment and the clues that can convey these concepts from realization to verbalization in the human mind. TOPICS SENTIRE aims to provide an international forum for researchers in the field of opinion mining and sentiment analysis to share information on their latest investigations in social information retrieval and their applications both in academic research areas and industrial sectors. The broader context of the workshop comprehends Web mining, AI, Semantic Web, information retrieval and natural language processing. Topics of interest include but are not limited to: • Sentiment identification & classification • Opinion and sentiment summarization & visualization • Explicit & latent semantic analysis for sentiment mining • Concept-level opinion and sentiment analysis • Sentic computing • Opinion and sentiment search & retrieval • Time evolving opinion & sentiment analysis • Semantic multidimensional scaling for sentiment analysis • Multidomain & cross-domain evaluation • Domain adaptation for sentiment classification • Multimodal sentiment analysis • Multimodal fusion for continuous interpretation of semantics • Multilingual sentiment analysis & re-use of knowledge bases • Knowledge base construction & integration with opinion analysis • Transfer learning of opinion & sentiment with knowledge bases • Sentiment corpora & annotation • Affective knowledge acquisition for sentiment analysis • Biologically inspired opinion mining • Sentiment topic detection & trend discovery • Big social data analysis • Social ranking • Social network analysis • Social media marketing • Comparative opinion analysis • Opinion spam detection TIMEFRAME • August 1st, 2014: Submission deadline • September 26th, 2014: Notification of acceptance • October 20th, 2014: Final manuscripts due • December 14th, 2014: Workshop date SUBMISSIONS AND PROCEEDINGS Authors are required to follow IEEE Computer Society Press Proceedings Author Guidelines. The paper length is limited to 10 pages, including references, diagrams, and appendices, if any. Manuscripts are to be submitted through EasyChair. Each submitted paper will be evaluated by three PC members with respect to its novelty, significance, technical soundness, presentation, and experiments. Accepted papers will be published in IEEE ICDM proceedings. Selected, expanded versions of papers presented at the workshop will be invited to a forthcoming Special Issue of Cognitive Computation on opinion mining and sentiment analysis. ORGANIZERS • Erik Cambria, Nanyang Technological University (Singapore) • Bing Liu, University of Illinois at Chicago (USA) • Yunqing Xia, Tsinghua University (China) • Yongzheng Zhang, LinkedIn Inc. (USA) From Wiebe.Van-Der-Hoek at liverpool.ac.uk Wed Jun 25 10:03:51 2014 From: Wiebe.Van-Der-Hoek at liverpool.ac.uk (Van der Hoek, Wiebe) Date: Wed, 25 Jun 2014 08:03:51 +0000 Subject: PhD positions in Liverpool Message-ID: The Department of Computer Science of the University of Liverpool offers a number of PhD positions in the research fields pursued in the department. We have up to 3 positions available for home and EU students in EEECS for starting in October 2014. To learn more about our exciting research environment, staff, and students, we encourage you to study the pages of our research groups on Agents http://www.csc.liv.ac.uk/research/agents/, Complexity Theory and Algorithms http://www.csc.liv.ac.uk/research/ctag/, Economics and Computation http://www.csc.liv.ac.uk/research/ecco/, and Logic and Computation http://www.csc.liv.ac.uk/research/logics/ and to contact prospective supervisors to discuss a research topic before you apply. You can apply through http://www.liv.ac.uk/study/postgraduate/applying/. The deadline for this application round is Friday, August 1st. While applications will be possible until all positions are filled, your chances will be increased by applying before this deadline. Please do not hesitate to ask (sven.schewe at liverpool.ac.uk or hannahf at liverpool.ac.uk) if you have any questions. ------------------------------------------------------------------------------------------------------ Prof. Wiebe van der Hoek University of Liverpool http://www.csc.liv.ac.uk/~wiebe/ tel (+44 151) 7954292 (office) (+44) 7970247480 (mobile) fax (+44 151) 79 54235 Liverpool L69 3BX, United Kingdom wiebe at liverpool.ac.uk From geoff at cs.miami.edu Wed Jun 25 18:17:36 2014 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Wed, 25 Jun 2014 12:17:36 -0400 (EDT) Subject: SCSS 2014 Deadline Extension Message-ID: <20140625161736.4C6A81215B7@mcclellan.cs.miami.edu> [Please post - apologies for multiple copies.] Deadline Extension ================================================ SCSS 2014 Symbolic Computation in Software Science 6th International Symposium Gammarth, La Marsa, Tunisia, December 7-11, 2014 http://www.easychair.org/smart-program/SCSS2014/ ================================================ Important Dates --------------- July 7, 2014: Abstract submission deadline (extended) July 14, 2014: Paper submission deadline (extended) August 25, 2014: Notification September 22, 2014: Camera-ready copy deadline December 7-11, 2014: SCSS 2014 in Gammarth Scope -------- The purpose of SCSS 2014 is to promote research on theoretical and practical aspects of symbolic computation in software science. The symposium provides a forum for active dialog between researchers from several fields of computer algebra, algebraic geometry, algorithmic combinatorics, computational logic, and software analysis and verification. SCSS 2014 solicits both regular and tool papers on all aspects of symbolic computation and their applications in software science. The topics of the symposium include, but are not limited to the following: - automated reasoning - algorithm (program) synthesis and/or verification - formal methods for the analysis of network security - termination analysis and complexity analysis of algorithms (programs) - extraction of specifications from algorithms (programs) - theorem proving methods and techniques - proof carrying code - generation of inductive assertion for algorithm (programs) - algorithm (program) transformations - formalization and computerization of knowledge (maths, medicine, economy, etc.) - component-based programming - computational origami - query languages (in particular for XML documents) - semantic web and cloud computing Invited Speakers ---------------- Nikolaj Bjorner (Microsoft Research) William M. Farmer (McMaster University) Program Chairs -------------- Temur Kutsia (RISC, Johannes Kepler University Linz, Austria) Andrei Voronkov (University of Manchester, UK) Program Committee ------------------ Elvira Albert (Complutense University of Madrid, Spain) Adel Bouhoula (Higher School of Communications of Tunis, Tunisia) James H. Davenport (University of Bath, UK) Roberto Giacobazzi (University of Verona, Italy) Arie Gurfinkel (Carnegie Mellon University, USA) Nao Hirokawa (JAIST, Japan) Tetsuo Ida (University of Tsukuba, Japan) Florent Jacquemard (INRIA - IRCAM, France) Laura Kovacs (Chalmers University of Technology, Sweden) Temur Kutsia (RISC, Johannes Kepler University Linz, Austria) - chair Ali Mili (New Jersey Institute of Technology, USA) Joel Ouaknine (Oxford University, UK) Ruzica Piskac (Yale University, USA) Andrei Voronkov (University of Manchester, UK) - chair Dongming Wang (Beihang University, China and UPMC-CNRS, France) General Chairs --------------- Adel Bouhoula (Higher School of Communications of Tunis, Tunisia) Tetsuo Ida (University of Tsukuba, Japan) Local Chair ----------- Mohamed Becha Kaaniche (University of Carthage, Tunisia) Submission ---------- Submission is via EasyChair: https://www.easychair.org/conferences/?conf=scss2014 Submissions are invited in two categories: regular research papers and tool papers. - Regular research papers must not exceed 12 pages in the EasyChair Class format, with up to 3 additional pages for technical appendices. - Tool papers must not exceed 6 pages in the EasyChair Class format. Publication ---------- The proceedings will be published in the EasyChair Proceedings in Computing. We plan also to have a special issue of the Journal of Symbolic Computation on SCSS 2014. The full version of selected papers will be considered for the publication of the special issue subjected to the normal peer review process of the journal. From schlobac at few.vu.nl Thu Jun 26 10:58:41 2014 From: schlobac at few.vu.nl (Stefan Schlobach) Date: Thu, 26 Jun 2014 10:58:41 +0200 Subject: Final CfP: EKAW 2014: Diversity in a Heterogeneous World Message-ID: <53ABE0C1.2000506@few.vu.nl> ----------------------------------------------------------------------------- FINAL CALL FOR PAPERS ----------------------------------------------------------------------------- EKAW 2014: Diversity in a Heterogeneous World 19th International Conference on Knowledge Engineering and Knowledge Management (EKAW 2014). November 24-28, 2014, Linköping, Sweden. http://www.ida.liu.se/conferences/EKAW14/home.html ------------------------------------------------------------------------------ The 19th International Conference on Knowledge Engineering and Knowledge Management is concerned with all aspects of eliciting, acquiring, modeling and managing knowledge, and its role in the construction of knowledge-intensive systems and services for the Semantic Web, knowledge management, e-business, natural language processing, intelligent information integration, personal digital assistance systems, and so forth. The special focus of this year's EKAW will be on diversity. In the recent past the amount and ease of availability of data has dramatically increased. While scale and complexity of information has always attracted attention, its heterogeneity in nature and usage are only now being investigated more systematically. Data-driven research is gaining increasing visibility in areas such as in eScience or eHumanities, but such distinct fields require diverse knowledge management and acquisition methods. Knowledge in the Cultural Heritage domain radically differs from what is required to run a global company or support projects in the developing world. The geosciences produce and consume data spanning a wide range of formats, topics, perspectives, and sources, and require the integration of such heterogeneous data to foster data sharing, access, retrieval, and reuse, without restricting semantic heterogeneity. EKAW 2014 will put a special emphasis on this diversity of knowledge and its usage. In addition to the main research track, EKAW 2014 will feature a Tutorial and Workshop Program, as well as a Poster and Demo Track. Moreover, there will be a Doctoral Consortium giving new PhD students a possibility to present their research proposals, and to get feedback on methodological and practical aspects of their planned dissertation. The proceedings of the conference will be published by Springer Verlag in the LNCS series. ------------------------------------------------------------------------------ EKAW 2014 welcomes papers dealing with theoretical, methodological, experimental, and application-oriented aspects of knowledge engineering and knowledge management. In particular, but not exclusively, we solicit papers about methods, tools, methodologies and application case studies relevant with regard to the following topics: 1) "Knowledge in a diverse world" Methods and methodologies addressing the challenges of diversity, such as: Semantic heterogeneity - Semantic interoperability - Scalability, robustness, etc. - Multi-perspective data - Semantic mediation - Ontology and vocabulary matching and alignment - Data-driven ontology engineering - Privacy and data security - Data reuse - Maintenance costs and financial risks Lessons learned from case studies, e.g.: - Knowledge management in large organizations - Adoption of semantic web technologies - Maintenance of corporate knowledge repositories - Applications in domains such as - eGovernment and public administration - Life sciences, health and medicine - Humanities and Social Sciences - Automotive and manufacturing industry - Cultural heritage - Digital libraries - Geosciences - Knowledge in the developing world (ICT4D) 2) Knowledge Management - Methodologies and tools for knowledge management - Knowledge sharing and distribution, collaboration - Best practices and lessons learned from case studies - Provenance and trust in knowledge management - Methods for accelerating take-up of knowledge management technologies - Corporate memories for knowledge management - Evolution, maintenance and preservation of knowledge - Web 2.0 technologies for knowledge management - Incentives for human knowledge acquisition (e.g., games with a purpose) 3) Knowledge Engineering and Acquisition - Tools and methodologies for ontology engineering - Ontology design patterns - Ontology localization - Ontology alignment - Knowledge authoring and semantic annotation - Knowledge acquisition from non-ontological resources (thesauri, folksonomies etc.) - Semi-automatic knowledge acquisition, e.g., ontology learning - Mining the Semantic Web and the Web of Data - Ontology evaluation and metrics - Uncertainty and vagueness in knowledge representation - Dealing with dynamic, distributed and emerging knowledge 4) Social and Cognitive Aspects of Knowledge Representation - Similarity and analogy-based reasoning - Knowledge representation inspired by cognitive science - Synergies between humans and machines - Knowledge emerging from user interaction and networks - Knowledge ecosystems - Expert finding, e.g., by social network analysis - Trust and privacy in knowledge representation - Collaborative and social approaches to knowledge management and acquisition - Crowdsourcing in knowledge management ------------------------------------------------------------------------------ We will accept different types of papers. The papers will all have the same status and follow the same formatting guidelines in the proceedings but will receive special treatment during the reviewing phase. In particular, each paper type will be subject to own evaluation criteria. The Programme Committee will also make sure that there is a reasonable balance of the paper types accepted. At submission time the paper has to be clearly identified as belonging to one of the following categories. - Research papers: These are "standard" papers presenting a novel method, technique or analysis with appropriate empirical or other types of evaluation as a proof-of concept. The main evaluation criteria here will be originality, technical soundness and validation. - In-use papers: Here we are expecting papers describing applications of knowledge management and engineering in real environments. Applications need to address a sufficiently interesting and challenging problem on real-world datasets, involving many users etc. The focus is less on the originality of the approach and more on presenting systems that solve a significant problem while addressing the particular challenges that come with the use of real-world data. Evaluations should involve a representative subset of the actual users of the system. - Position papers: We invite researchers to also publish position papers which describe novel and innovative ideas. Position papers may also comprise an analysis of currently unsolved problems, or review these problems from a new perspective, in order contribute to a better understanding of these problems in the research community. We expect that such papers will guide future research by highlighting critical assumptions, motivating the difficulty of a certain problem or explaining why current techniques are not sufficient, possibly corroborated by quantitative and qualitative arguments. Submissions of research and in-use papers should be formatted according to Springer Verlag LNCS guidelines, not exceed 15 pages, and uploaded using Easychair (http://www.easychair.org/conferences/?conf=ekaw2014). Position papers are required to have at most 5 pages in the same format. ------------------------------------------------------------------------------ Combined conference/journal (fast-track) submission: In addition to the regular conference submission, we offer authors the possibility to submit their work to a combined conference/journal submission track. Papers submitted via this track will be published as regular research paper in the EKAW 2014 Springer conference proceedings; an extended version of the paper will be published as a full journal paper at the Semantic Web journal (SWJ) by IOS Press. The deadline and Easychair submission system for the combined submission is the same as for the conference-only track. Authors interested in the combined track should indicate this via the submission system. Papers submitted to the combined track will then undergo the regular (open and transparent) SWJ review process with the following possible decisions: * Rejected * Accepted for the conference proceedings * Accepted for the conference proceedings and invited for extended submission to the Semantic Web journal Papers that are acceptable for both will be printed in the Springer volume and authors will be asked to submit an extended version (at least 30-50% new content, e.g., full literature review, full evaluation, proofs, additional results, additional case studies, implementation details) within 6 weeks. This extended version will then undergo a fast-track review process, i.e., we assume that the paper as such is 'acceptable' and the reviewers will focus on revisions. These revisions could still be substantial and the final acceptance is based on their authors' ability to address those revisions. Papers in the 'accepted for the conference proceedings' category will be accepted to the EKAW Springer proceedings.' The organisers of EKAW 2014 are committed to an open and transparent reviewing process. For this reason we encourage authors to submit their paper as a combined conference/journal submission. Their submissions, and the reviews, are then public, which fosters scientific discourse and high quality reviewing. ------------------------------------------------------------------------------ Important Dates: Abstract Submission: July 9, 2014 Full Paper Submission: July 16, 2014 Notification: September 3, 2014 Camera-Ready: September 19, 2014 ------------------------------------------------------------------------------ General Chairs Patrick Lambrix Linköping University, Sweden Eero Hyvönen Aalto University, Finland Program Chairs Krzysztof Janowicz University of California, USA Stefan Schlobach Vrije Universiteit Amsterdam, The Netherlands ------------------------------------------------------------------------------ --- This email is free from viruses and malware because avast! Antivirus protection is active. http://www.avast.com -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From bulling at in.tu-clausthal.de Fri Jun 27 11:18:56 2014 From: bulling at in.tu-clausthal.de (Nils Bulling) Date: Fri, 27 Jun 2014 11:18:56 +0200 Subject: CLIMA XV: Call for Participation (early registration by June 30) Message-ID: <39E31923-4891-4474-A332-4DF8B4E04638@in.tu-clausthal.de> *** Call for Participation, Early registration deadline is June 30 *** CLIMA XV - 15th International Workshop on Computational Logic in Multi-Agent Systems with special sessions on: *Logics for Agreement Technologies *Logics for Games, Strategic Reasoning, and Social Choice http://www-sop.inria.fr/members/Serena.Villata/climaXV.html Prague, Czech Republic, August 18-19, 2014, co-located with ECAI'14. ++++++++++++++++++++++++++++++++++++++++++++++++++++ Deadline for early registration: June 30! ++++++++++++++++++++++++++++++++++++++++++++++++++++ The purpose of the CLIMA Workshop Series is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. Following the previous fourteen, very successful, editions, the 15th CLIMA will take place in Prague, Czech Republic, on the 18th and 19th of August 2014, co-located with ECAI 2014. In addition to CLIMA's regular topics and sessions, this edition will feature two special sessions: * Logics for Agreement Technologies * Logics for Games, Strategic Reasoning, and Social Choice Detailed information regarding CLIMA, its topics of interest, the two Special Sessions, and the list of accepted papers is available at http://www-sop.inria.fr/members/Serena.Villata/climaXV.html In addition to the regular presentations, three invited talks are planned. The deadline for early registration is June 30. Instructions on how to register are available at the ECAI 2014 website: http://www.ecai2014.org/registration/ CLIMA XIV Chairs: * Nils Bulling, Clausthal University of Technology, Germany * Leon van der Torre, University of Luxembourg, Luxembourg * Serena Villata, INRIA Sophia Antipolis, France Special Session Organizers: * Wojtek Jamroga, University of Luxembourg, Luxembourg * Wamberto Vasconcelos, University of Aberdeen, UK Please send all inquiries about CLIMA XV to clima2014 at easychair.org -- Dr. Nils Bulling Clausthal University of Technology, Germany http://www.nilsbulling.com phone: +49 5323 72 7182 From puehrer at informatik.uni-leipzig.de Fri Jun 27 15:35:02 2014 From: puehrer at informatik.uni-leipzig.de (Joerg Puehrer) Date: Fri, 27 Jun 2014 15:35:02 +0200 Subject: ReactKnow 2014 at ECAI: Call for Participation In-Reply-To: <53565FBF.50206@informatik.uni-leipzig.de> References: <1687114667.2259150.1380120522857.JavaMail.zimbra@di.univaq.it> <1930706734.2259215.1380120640381.JavaMail.zimbra@di.univaq.it> <5310A727.5020705@kr.tuwien.ac.at> <53565FBF.50206@informatik.uni-leipzig.de> Message-ID: <53AD7306.3090106@informatik.uni-leipzig.de> ------------------------------------------------------------------------- CALL FOR PARTICIPATION ------------------------------------------------------------------------- *** ReactKnow 2014 *** International Workshop on Reactive Concepts in Knowledge Representation August 19, 2014 Collocated with the 21st European Conference on Artificial Intelligence (ECAI 2014) Prague, Czech Republic August 18-22, 2014 ------------------------------------------------------------------------- AIMS AND SCOPE ------------------------------------------------------------------------- In the field of Artificial Intelligence (AI), the subdomain of Knowledge Representation (KR) has the aim to represent, integrate, and exchange knowledge in order to provide reasoning about given and potentially incomplete information. While most traditional KR formalisms are concerned with knowledge bases that do not change over time or are only subject to occasional revisions, the advent of smart devices and recent advances in Internet technology - guided by the visions of a Semantic Web and the Internet of Things - has increased the interest in online applications that are able to directly react on a possibly infinite stream of external information such as sensor or network data. While current approaches for handling continuous stream data focus on rapid data processing, they lack complex reasoning capacities. Recent endeavours try to combine KR formalisms such as answer-set programming, Semantic Web ontologies, and multi-context systems with stream processing for providing knowledge-intense stream reasoning capabilities of various application areas such as urban computing, ambient assisted living, robotics, or dynamic scheduling. The goal of making sophisticated KR techniques accessible in the reactive setting poses many scientific challenges how to deal with emerging as well as expiring data in a seamless way. The International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow) aims to provide an international forum for researchers in the AI and KR community to discuss and present advances in theories, formalisms, and applications to get closer to the vision of an artificial intelligence system which may react according to changing knowledge. We solicit the submission of papers broadly centered on issues and research related to reactive concepts in KR. We welcome papers of either theoretical or practical nature including reports on applications, experiments, and work in progress. SCIENTIFIC PROGRAM ------------------------------------------------------------------------- The program of ReactKnow 2014 features eight accepted technical paper presentations and an invited talk, given by Michael Fink (TU Vienna). ACCEPTED PAPERS ------------------------------------------------------------------------- Alexander Artikis, Marek Sergot, and Georgios Paliouras Reactive Reasoning with the Event Calculus Gerhard Brewka, Stefan Ellmauthaler, and Jörg Pührer Multi-Context Systems for Reactive Reasoning in Dynamic Environments Harald Beck, Minh Dao-Tran, Thomas Eiter, and Michael Fink Towards Ideal Semantics for Analyzing Stream Reasoning Stefan Ellmauthaler and Jörg Pührer Asynchronous Multi-Context Systems Ricardo Gonçalves, Matthias Knorr, and Joao Leite On Minimal Change in Evolving Multi-Context Systems - preliminary report Ricardo Gonçalves, Matthias Knorr, and Joao Leite Towards Efficient Evolving Multi-Context Systems Jörg Pührer Towards a Simulation-Based Programming Paradigm for AI Applications Matthias Thimm Towards Large-scale Inconsistency Measurement REGISTRATION AND LOCAL ARRANGEMENTS ------------------------------------------------------------------------- Registration is operated by the ECAI 2014 organization. For corresponding information, as well as for travel and accommodation details consult: http://www.ecai2014.org Deadline for Early-Bird Registration: June 30, 2014 WORKSHOP ORGANISATION ------------------------------------------------------------------------- Stefan Ellmauthaler and Jörg Pührer (Leipzig University, Germany) Email: reactknow [at] informatik [dot] uni-leipzig [dot] de HOMEPAGE ------------------------------------------------------------------------- http://reactknow2014.uni-leipzig.de From grlmc at urv.cat Sat Jun 28 17:22:33 2014 From: grlmc at urv.cat (GRLMC) Date: Sat, 28 Jun 2014 17:22:33 +0200 Subject: SSTiC 2014: last-minute half-price registration Message-ID: *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************* 2014 TARRAGONA INTERNATIONAL SUMMER SCHOOL ON TRENDS IN COMPUTING SSTiC 2014 Tarragona, Spain July 7-11, 2014 Organized by Rovira i Virgili University http://grammars.grlmc.com/sstic2014/ ********************************************************************* --- Last-minute registration at half price! --- ********************************************************************* AIM: SSTiC 2014 is the second edition in a series started in 2013. For the previous event, see http://grammars.grlmc.com/SSTiC2013/ SSTiC 2014 will be a research training event mainly addressed to PhD students and PhD holders in the first steps of their academic career. It intends to update them about the most recent developments in the diverse branches of computer science and its neighbouring areas. To that purpose, renowned scholars will lecture and will be available for interaction with the audience. SSTiC 2014 will cover the whole spectrum of computer science through 6 keynote lectures and 21 six-hour courses dealing with some of the most lively topics in the field. The organizers share the idea that outstanding speakers will really attract the brightest students. ADDRESSED TO: Graduate students from around the world. There are no formal pre-requisites in terms of the academic degree the attendee must hold. However, since there will be several levels among the courses, reference may be made to specific knowledge background in the description of some of them. SSTiC 2014 is also appropriate for more senior people who want to keep themselves updated on developments in their own field or in other branches of computer science. They will surely find it fruitful to listen and discuss with scholars who are main references in computing nowadays. REGIME: In addition to keynotes, 3 parallel sessions will be held during the whole event. Participants will be able to freely choose the courses they will be willing to attend as well as to move from one to another. VENUE: SSTiC 2014 will take place in Tarragona, located 90 kms. to the south of Barcelona. The venue will be: Campus Catalunya Universitat Rovira i Virgili Av. Catalunya, 35 43002 Tarragona KEYNOTE SPEAKERS: Larry S. Davis (U Maryland, College Park), A Historical Perspective of Computer Vision Models for Object Recognition and Scene Analysis David S. Johnson (Columbia U, New York), Open and Closed Problems in NP-Completeness George Karypis (U Minnesota, Twin Cities), Top-N Recommender Systems: Revisiting Item Neighborhood Methods Steffen Staab (U Koblenz), Explicit and Implicit Semantics: Two Sides of One Coin Philip Wadler (U Edinburgh), You and Your Research and The Elements of Style Ronald R. Yager (Iona C, New Rochelle), Social Modeling COURSES AND PROFESSORS: Divyakant Agrawal (Qatar Computing Research Institute, Doha), [intermediate] Scalable Data Management in Enterprise and Cloud Computing Infrastructures Pierre Baldi (U California, Irvine), [intermediate] Big Data Informatics Challenges and Opportunities in the Life Sciences Rajkumar Buyya (U Melbourne), [intermediate] Cloud Computing John M. Carroll (Pennsylvania State U, University Park), [introductory] Usability Engineering and Scenario-based Design Kwang-Ting (Tim) Cheng (U California, Santa Barbara), [introductory/intermediate] Smartphones: Hardware Platform, Software Development, and Emerging Apps Amr El Abbadi (U California, Santa Barbara), [introductory] The Distributed Foundations of Data Management in the Cloud Richard M. Fujimoto (Georgia Tech, Atlanta), [introductory] Parallel and Distributed Simulation Mark Guzdial (Georgia Tech, Atlanta), [introductory] Computing Education Research: What We Know about Learning and Teaching Computer Science David S. Johnson (Columbia U, New York), [introductory] The Traveling Salesman Problem in Theory and Practice George Karypis (U Minnesota, Twin Cities), [intermediate] Programming Models/Frameworks for Parallel & Distributed Computing Aggelos K. Katsaggelos (Northwestern U, Evanston), [intermediate] Optimization Techniques for Sparse/Low-rank Recovery Problems in Image Processing and Machine Learning Arie E. Kaufman (U Stony Brook), [intermediate/advanced] Visualization Carl Lagoze (U Michigan, Ann Arbor), [introductory] Curation of Big Data Dinesh Manocha (U North Carolina, Chapel Hill), [introductory/intermediate] Robot Motion Planning Bijan Parsia (U Manchester), [introductory] The Empirical Mindset in Computer Science Robert Sargent (Syracuse U), [introductory] Validation of Models Steffen Staab (U Koblenz), [intermediate] Programming the Semantic Web Mike Thelwall (U Wolverhampton), [introductory] Sentiment Strength Detection for Twitter and the Social Web Jeffrey D. Ullman (Stanford U), [introductory] MapReduce Algorithms Nitin Vaidya (U Illinois, Urbana-Champaign), [introductory/intermediate] Distributed Consensus: Theory and Applications Philip Wadler (U Edinburgh), [intermediate] Topics in Lambda Calculus and Life ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Carlos Martín-Vide (Tarragona, chair) Florentina Lilica Voicu (Tarragona) REGISTRATION: It has to be done at http://grammars.grlmc.com/sstic2014/registration.php The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course. Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed when the capacity of the venue will be complete. It is very convenient to register prior to the event. DEADLINES AND FEES: As far as possible, participants are expected to attend for the whole (or most of the) week (full-time). Fees are a flat rate allowing one to participate to all courses. They vary depending on the registration deadline: Last-minute registration: July 5, 2014 --- 250 Euro On-site registration: July 11, 2014 --- 530 Euro ACCOMMODATION: Information about accommodation is available on the website of the School. CERTIFICATE: Participants will be delivered a certificate of attendance. QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat POSTAL ADDRESS: SSTiC 2014 Lilica Voicu Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559 543 Fax: +34 977 558 386 ACKNOWLEDGEMENTS: Universitat Rovira i Virgili --- Este mensaje no contiene virus ni malware porque la protección de avast! Antivirus está activa. http://www.avast.com From frank.loebe at informatik.uni-leipzig.de Mon Jun 30 14:34:59 2014 From: frank.loebe at informatik.uni-leipzig.de (frank.loebe at informatik.uni-leipzig.de) Date: Mon, 30 Jun 2014 14:34:59 +0200 Subject: ODLS 2014: 2nd Call for Papers (Workshop on Ontologies and Data in Life Sciences, Oct 7-8, Freiburg i.Br., Germany) Message-ID: <201406301235.s5UCZ5NN019408@isun.informatik.uni-leipzig.de> (apologies for cross-posting) ... (please distribute) ------------------------------------------------------- Call for Papers >> ODLS 2014 << Submission deadline: July 15, 2014 https://wiki.imise.uni-leipzig.de/Gruppen/OBML/Workshops/2014-ODLS Submit via https://www.easychair.org/conferences/?conf=odls2014 ------------------ Workshop of Ontologies and Data in Life Sciences (ODLS 2014) Oct 7-8, 2014 Freiburg i.Br., Germany Goals of the Workshop --------------------- Medicine, biology and life sciences produce hardly manageable and comprehensible amounts of data, information, and knowledge. Their computer-based processing, integration, as well as their conceptual foundation and application presents ever new challenges to existing methods of knowledge representation, data bases, and data analysis. In the life sciences, enormous data sets are being produced in connection with biological and medical experiments, aiming to unravel biological interconnections for a better understanding in order to offer patients the best possible therapies. Data management and data processing in the life sciences ranges from the best possible integration and usage of distributed, heterogeneous data to the best possible obfuscation of medical data. This integrated workshop covers the overall spectrum of biomedical information processing, from experimental data acquisition and data management, across analysis, structuring and interpretation of data, up to the development of structures of knowledge in the form of ontologies with their various applications. The workshop pursues the aim to gather scientists that work in these fields in order to exchange ideas, to discuss new results and to inspire collaborations. The work- shop has an interdisciplinary character. It fosters the collaboration between ontologists, computer scientists, bio-informaticians, medical information scientists, applied logicians, as well as the cooperation with physicians, bio-chemists, and biometricians. Topics ------ We invite submissions in all areas of biomedical ontology and data management. The following topics are relevant, yet others related to these basic topics are likewise welcome: - Integration, management and retrieval of big data and/or complex data sets - Heterogeneity and integration of big data - Integrative data semantics - Curation of data in life sciences - Visualization of data in life sciences - Generic transformation of clinical data into Semantic Web standards - Data protection of clinical data - Omics-data for diagnosis and therapy - Ontologies in the field of biology, medicine and clinical research, for example -- Ontologies for the specification of clinical trials and medical phenotypes -- Process ontologies in systems biology and in medicine -- Ontologies in neuro biology - Ontologies in knowledge representation (for example, formal ontology of time and space, formal ontology of properties, roles and functions) - Methods and tools for development, management and application of ontologies, for example, -- Quality assurance and evaluation of ontologies -- Applications in the fields of Semantic Web, Linked Open Data, and Big Data Important Dates --------------- Submission of contributions: July 15, 2014 (Tue) <--- Author notification: August 25, 2014 (Mon) Camera-ready manuscripts due: September 10, 2014 (Wed) Registration: September 30, 2014 (Tue) ODLS Workshop: October 7-8, 2014 (Tue-Wed) Submission Instructions ----------------------- Submissions to the workshop can be - **extended abstracts of 2 pages** or - **papers of 4 to 6 pages** (any such length is equally welcome; 6 pages is the strict maximum). Contributions in English are highly recommended, but submissions in German can also be accepted. The preferred file format for submissions is PDF, other admitted formats are Microsoft Word (DOC and DOCX) and Postscript (PS). Please use the corresponding template for submissions, either the LaTeX template or the Microsoft Word template, see [1]. Contributions must be submitted via the EasyChair conference system. Accepted abstracts and papers will be printed in a proceedings volume (with ISSN) that will be distributed during the workshop. After the workshop authors of selected papers will be invited to submit extended versions to the Journal of Biomedical Semantics (JBMS) [2]. Organization ------------ Martin Boeker, University of Freiburg (general & local chair) Ludger Jansen, University of Muenster (PC chair) Heinrich Herre, University of Leipzig (speaker of OBML) Frank Loebe, University of Leipzig ODLS 2014 is associated with the group Ontologies in Medicine and Life Sciences (OBML) [3] within the German Informatics Society (GI), and it is a Supported Event of the International Association for Ontology and Its Applications (IAOA) [4]. Location and Local Organization ------------------------------- ODLS 2014 will take place in Freiburg im Breisgau, Germany, hosted by the Center for Medical Biometry and Medical Informatics [5] Medical Center - University of Freiburg Program Committee ----------------- Patryk Burek, University of Leipzig George Gkoutos, Aberystwyth University, UK Heinrich Herre, University of Leipzig Robert Hoehndorf, University of Cambridge, UK Toralf Kirsten, University of Leipzig Oliver Kutz, Otto von Guericke University Magdeburg Wolfgang Müller, HITS gGmbH, Heidelberg Axel Ngonga-Ngomo, University of Leipzig Anika Oellrich, European Bioinformatics Institute (EBI), Hinxton, UK Dietrich Rebholz-Schuhmann, University of Zurich, Switzerland Peter Robinson, Charité Berlin Daniel Schober, Leibniz Institute of Plant Biochemistry (IPB), Halle Falk Schreiber, Leibniz Institute of Plant Genetics and Crop Plant Research (IPK), Gatersleben Stefan Schulz, Medical University of Graz, Austria Aleksandra Sojic, Institute of Industrial Technologies and Automation (ITIA-CNR), Milan, Italy Dagmar Waltemath, University of Rostock (further members TBA, inquiries pending, see [1] for updates) Links ----- [1] Workshop website http://tinyurl.com/odls-2014 https://wiki.imise.uni-leipzig.de/Gruppen/OBML/Workshops/2014-ODLS [2] Journal of Biomedical Semantics website http://www.jbiomedsem.com/ [3] OBML group website https://wiki.imise.uni-leipzig.de/Gruppen/OBML [4] IAOA website http://iaoa.org/ [5] Local Organization website http://portal.uni-freiburg.de/imbi From announce at cs.ucy.ac.cy Mon Jun 30 17:43:07 2014 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Mon, 30 Jun 2014 18:43:07 +0300 Subject: Last Mile: 26th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2014) Message-ID: *** LAST MILE *** 26th IEEE International Conference on Tools with Artificial Intelligence ICTAI 2014 November 10-12, 2014, Limassol, Cyprus http://ictai2014.cs.ucy.ac.cy *** Submission Deadline: 14th July 2014 *** Aim & Scope The annual IEEE International Conference on Tools with Artificial Intelligence (ICTAI) provides a major international forum where the creation and exchange of ideas related to artificial intelligence are fostered among academia, industry, and government agencies. The conference facilitates the cross-fertilization of these ideas and promotes their transfer into practical tools, for developing intelligent systems and pursuing artificial intelligence applications. The ICTAI encompasses all technical aspects of specifying, developing and evaluating the theoretical underpinnings and applied mechanisms of the AI-based components of computer tools such as algorithms, architectures and languages. Topics (not limited to) AI Foundations - Evolutionary computing, Bayesian and Neural Networks - Decision/Utility Theory and Decision Optimization - Search, SAT, and CSP - Description Logic and Ontologies AI in Domain Specific Applications - AI in Natural Language Processing and Understanding - AI in Computational Biology, Medicine and Biomedical Applications - AI in WWW, Communication, Social Networking, Recommender Systems, Games and E-Commerce - AI in Finance and Risk Management AI in Computer Systems - AI in Robotics, Computer Vision and Games - AI in Software Engineering, Real-Time and Embedded Applications, and Sensor Networks - AI in Cloud Computing, Data-Intensive Applications and Online/Streaming and Multimedia Systems - AI in Web search and Information Retrieval - AI in Computer Security, Data Privacy, and Information Assurance AI in Data Analytics and Big Data - Visualization Analytics for Big Data - Computational Modeling for Big Data - Large-scale Recommendation and Social Media Systems - Cloud/Grid/Stream Data Mining for Big Velocity Data - Semantic-based Big Data Mining Machine Learning and Data Mining - Data pre-processing, reduction and feature selection - Learning Graphical Models and Complex Networks - Active, Cost-Sensitive, Semi-Supervised, Multi-Instance, Multi-Label and Multi-Task Learning - Transfer/Adaptive, Rational and Structured Learning - Preference/Ranking, Ensemble, and Reinforcement Learning Knowledge Representation, Reasoning and Cognitive Modelling - Knowledge Representation, Reasoning - Knowledge Extraction, Management and Sharing - Case-Based Reasoning and Knowledge-based Systems - Cognitive Modelling and Semantic Web AI and Decision Systems - Decision Guidance and Support Systems - Optimization-based recommender systems - Group, distributed, and collaborative decisions - Crowd-sourcing and collective intelligence decision making - Strategic, tactical and operational level decisions - Decision making in social and mobile networks Uncertainty in AI - Uncertainty and Fuzziness Representation and Reasoning - Approximate/Exact Probabilistic Inference - Knowledge Discovery and Data Mining for Uncertain Data AI Tools for Manufacturing Innovation - AI in manufacturing performance evaluation - AI in manufacturing decision and data analysis - AI in modeling, simulation and optimization of manufacturing systems - AI in additive manufacturing - AI in manufacturing control and planning Paper Submission The submissions should contain original, high quality, not submitted or published elsewhere work. Papers should be submitted electronically through the EasyChair system in pdf format and should conform to IEEE specifications (single-spaced, double-column, 10-point font size, up to 8 pages). Paper Presentation Each accepted paper should be presented by one of the authors and accompanied by at least one full registration fee payment, to guarantee publication in the proceedings. All accepted papers will be included in proceedings of ICTAI 2014 that will be published by the IEEE Computer Society. IJAIT special issue Extended versions of the best papers of the conference will be invited for publication in a special issue of the International Journal on Artificial Intelligence Tools (IJAIT) (SCI Indexed). Important Dates Paper submission: July 14, 2014 (firm deadline) Paper notification: August 21, 2014 Camera-ready paper: August 30, 2014 Point of Contact George A. Papadopoulos Department of Computer Science University of Cyprus george-at-cs-dot-ucy-dot-ac-dot-cy -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: