From announce at cs.ucy.ac.cy Sat Nov 1 12:43:28 2014 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 1 Nov 2014 13:43:28 +0200 Subject: ISPDC 2015: Preliminary Call for Papers Message-ID: *** Preliminary Call for Papers *** The 14th International Symposium on Parallel and Distributed Computing (ISPDC 2015) 29 June - 2 July, 2015, St. Raphael Resort 5*, Limassol, Cyprus http://www.cyprusconferences.org/ispdc2015/ Following very successful previous editions since 2002, the 14th ISPDC conference will be hosted in Limassol, a beautiful coastal Mediterranean city on the south coast of Cyprus. The conference will be devoted to a highly selective program with papers describing original and unpublished research advancing the state of the art in the field of Parallel and Distributed Computing paradigms and applications. The goal is to provide an interactive and friendly, yet professional forum, for original research contributions describing novel ideas, groundbreaking results and/or experiences. We kindly invite you to submit original contributions to ISPDC 2015 on topics including, but not limited to: System Architectures for Parallel and Distributed Computing - Multi-Cores, Virtualization - Clusters and Grid Computing - Methods and Tools for Parallel and Distributed Programming - Embedded, Mobile and Networking Environments - System Architecture and System Software for In-Memory Computing - Innovative System Architecture for Big Data Processing - System Architecture for Graph Computing/Processing - Interconnect Architecture for HPC and Data Centers High Performance Computing and Large Scale Applications - Tools and Environments for Parallel Program Design/Analysis - Scalable Algorithms and Applications - Urban Networks and Applications, Vehicular Networks - Parallel, Distributed and Mobile big-Data Management Parallel Computing and Algorithms - Parallel Programming Paradigms and APIs - GPU Programming - Bio-inspired Parallel Algorithms - Big Data and Graph Analytics - Algorithms, Models and Formal Verification Cloud Computing - Cloud Resource Provisioning and Allocation - Pricing of Cloud Resources - Cloud Performance, and Capacity Management - Green Cloud Computing - Mobile Clouds - Security and Privacy in Clouds - Cloud Computing Techniques for Big Data - Storage Architectures for Clouds and Big Data Processing Distributed and Embedded Computing - Collaborative Computing, P2P Computing - Mobile and Ubiquitous Computing - Web Services and Internet Computing - Distributed Software Components, Multi-agent Systems - Parallel Embedded Systems Programming - Highly Embedded Parallel Systems Support for Programming - FPGA and SoC Solutions Performance Modeling, Management and Optimization - Scheduling and Load Balancing - Performance Modeling, Analysis and Evaluation - Optimisation, Security and Dependability Interactivity - Real-time Distributed and Parallel Systems - Visualisation of Massively Parallel Data - IoT, Social Networks You are invited to submit original papers of up to 10 pages, written in English and compliant with the IEEE standard (8.5"x11", two-column). The IEEE Computer Society Press will publish the proceedings. A best paper award will be presented to paper(s) receiving the highest quality rating from the reviewers and the PC. Key Dates Submission of full papers: 15 January, 2015 Notification of authors: 15 March, 2015 Camera ready papers: 30 March, 2015 Authors and early registration deadline: 6 May, 2015 Symposium dates: 29 June - 2 July, 2015 General Chair George A. Papadopoulos, University of Cyprus, Cyprus Program Committee Co-Chairs Daniel Grosu, Wayne State University, USA Hai Jin, Huazhong University of Science and Technology, China Steering Committee Ioana Banicescu, Mississippi State University, USA Hans-Joachim Bungartz, Technische Universität München, Germany Valentin Cristea, University Politehnica of Bucharest, Romania Bertil Folliot, University of Paris, France Dan Grigoras, University College Cork, Ireland John Morrison, University College Cork, Ireland Traian Muntean, Aix Marseille University, France Dana Petcu, Western Univ. of Timisoara and e-Austria, Timisoara, Romania Marek Tudruj, Polish Acad. of Sciences and PJIIT, Warsaw, Poland Program Committee TBD -------------------------------------------------------------------- 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 Nov 1 16:03:04 2014 From: grlmc at urv.cat (GRLMC) Date: Sat, 1 Nov 2014 16:03:04 +0100 Subject: TPNC 2014: call for participation Message-ID: <290DE5F62EFC4BBD8A897E36966B33A5@Carlos1> *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 Organised 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/ **************************************************************************** PROGRAM Tuesday, December 9 9:00 - 10:00 Registration 10:00 - 10:15 Opening 10:15 - 11:05 Marco Dorigo: Swarm Intelligence - Invited Lecture 11:05 - 11:35 Coffee Break 11:35 - 13:15 Rusinš Freivalds: Ultrametric Vs. Quantum Query Algorithms Peter Niebert and Mathieu Caralp: Cellular Programming Kiyoharu Tagawa and Shoichi Harada: Multi-Noisy-objective Optimization Based on Prediction of Worst-Case Performance Paulo Urbano, Enrique Naredo, and Leonardo Trujillo: Generalization in Maze Navigation using Grammatical Evolution and Novelty Search 13:15 - 14:45 Lunch 14:45 - 16:00 Simon Bin, Sebastian Volke, Gerik Scheuermann, and Martin Middendorf: Comparing the Optimization Behaviour of Heuristics with Topology Based Visualization José Matías Cutillas Lozano and Domingo Giménez: Parameterized Message-Passing Metaheuristic Schemes on a Heterogeneous Computing System Jonathan Gutierrez, Megan Sorenson, and Eva Strawbridge: Modeling Fluid Flow Induced by C. elegans Swimming at Low Reynolds Number 16:00 - 18:00 Touristic visit Wednesday, December 10 9:00 - 9:50 Kalyanmoy Deb: Multi-Criterion Problem Solving: A Niche for Natural Computing Methods - Invited Lecture 9:50 - 10:05 Break 10:05 - 11:20 Mohammad Ali Javaheri Javid, Mohammad Majid al-Rifaie, and Robert Zimmer: Detecting Symmetry in Cellular Automata Generated Patterns Using Swarm Intelligence Edward Kent, Jason A. D. Atkin, and Rong Qu: Vehicle Routing in a Forestry Commissioning Operation Using Ant Colony Optimisation Michel Boyer and Tal Mor: Extrapolated States, Void States, and a Huge Novel Class of Distillable Entangled States 11:20 - 11:50 Coffee Break and Group Photo 11:50 - 13:05 Vinay K. Gautam, Eugen Czeizler, Pauline C. Haddow, and Martin Kuiper: Design of a Minimal System for Self-replication of Rectangular Patterns of DNA Tiles Naya Nagy and Marius Nagy: Unconditionally Secure Quantum Bit Commitment Protocol Based on Incomplete Information Marcos Villagra and Tomoyuki Yamakami: Quantum and Reversible Verification of Proofs Using Constant Memory Space 13:05 - 14:35 Lunch 14:35 - 15:50 Henning Bordihn, Paolo Bottoni, Anna Labella, and Victor Mitrana: Solving 2D-Pattern Matching with Networks of Picture Processors Clelia De Felice, Rocco Zaccagnino, and Rosalba Zizza: Unavoidable Sets and Regularity of Languages Generated by (1,3)-Circular Splicing Systems Kaoru Fujioka: A Two-Dimensional Extension of Insertion Systems 15:50 - 16:05 Break 16:05 - 16:35 Special session Thursday, December 11 9:00 - 9:50 Francisco Herrera: Bioinspired Real Parameter Optimization: Where We Are and What's Next - Invited Lecture 9:50 - 10:05 Break 10:05 - 11:20 Muhammad Marwan Muhammad Fuad: Differential Evolution-Based Weighted Combination of Distance Metrics for k-means Clustering Sergio Santander-Jiménez and Miguel A. Vega-Rodríguez: Inferring Multiobjective Phylogenetic Hypotheses by Using a Parallel Indicator-Based Evolutionary Algorithm Jean-Philippe Bernard, Benjamin Gilles, and Christophe Godin: Combining Finite Element Method and L-Systems Using Natural Information Flow Propagation to Simulate Growing Dynamical Systems 11:20 - 11:50 Coffee Break 11:50 - 13:05 Abdoulaye Sarr, Alexandra Fronville, and Vincent Rodin: Morphogenesis Model for Systematic Simulation of Forms' Co-evolution with Constraints : Application to Mitosis Jirí Šíma: The Power of Extra Analog Neuron Zheng Yan, Xinyi Le, and Jun Wang: Model Predictive Control of Linear Parameter Varying Systems Based on a Recurrent Neural Network 13:05 - 13:15 Closing --- Este mensaje no contiene virus ni malware porque la protección de avast! Antivirus está activa. http://www.avast.com From pascal.hitzler at wright.edu Sun Nov 2 03:11:38 2014 From: pascal.hitzler at wright.edu (Pascal Hitzler) Date: Sat, 1 Nov 2014 22:11:38 -0400 Subject: CfP: Semantic Web journal special issues: smart cities, alignment, linked data, visualization, human computation Message-ID: <545592DA.1010600@wright.edu> The Semantic Web journal currently has several open calls for special issue papers, as follows: Special issue on The Role of Semantics in Smart Cities [Deadline: November 14, 2014] Special issue on Ontology and Linked Data Matching [Deadline: November 30, 2014] Special Issue on Question Answering over Linked Data [Deadline: November 30, 2014] Special Issue on Visual Exploration and Analysis of Linked Data [Deadline: November 30, 2014] Special Issue on Human Computation and Crowdsourcing (HC&C) in the Context of the Semantic Web [Deadline: February 27, 2015] See http://www.semantic-web-journal.net/calls for details. Best Regards, Pascal Hitzler. -- 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 announce at cs.ucy.ac.cy Sun Nov 2 11:15:42 2014 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 2 Nov 2014 12:15:42 +0200 Subject: ISCC 2015: First Call for Papers Message-ID: <5RAA3R0D-GJHW-2LBB-K60W-E774OGE8V8L@cs.ucy.ac.cy> *** First Call for Papers *** The 20th IEEE Symposium on Computers and Comuunications (ISCC 2015) 6-9 July 2015, Golden Bay Beach Hotel, Larnaca, Cyprus http://ieee-iscc.org/2015 ISCC 2015, in its 20th anniversary, will provide an insight into the unique world stemming from the interaction between the fields of computers and communications. ISCC 2015 will provide an international technical forum for experts from industry and academia to exchange ideas and present results of ongoing research in most state-of-the-art areas of computer and communications. This year, special focus will be on the challenging issues and opportunities related to the computing, sensing and communication in the era of the Internet of Things, Cloud Computing and Big Data. You are invited to submit a full paper or a proposal for a panel/invited session or a tutorial, related to the following topics of interest. Topics of interest include, but are not limited to, the following: * ACCESS NETWORKS * DIGITAL MEDIA TECHNOLOGIES * BIOINFORMATICS AND MEDICAL INFORMATICS * MODELING AND SIMULATION * BIG DATA, DATA MINING AND DATABASE * APPLICATIONS * DIGITAL SATELLITE COMMUNICATIONS SERVICE * NETWORK DESIGN, OPTIMIZATION, AND MANAGEMENT * NEXT GENERATION NETWORKS INFRASTRUCTURES AND MANAGEMENT * DISTRIBUTED SYSTEMS ARCHITECTURE AND MANAGEMENT * NETWORK RELIABILITY, QUALITY OF SER-VICE AND QUALITY OF EXPERIENCE * ECONOMIC AND REGULATORY ISSUES * OPTICAL NETWORKING * E-COMMERCE AND E-SERVICES * FAULT-TOLERANCE AND ERROR RECOVERY * PEER-TO-PEER COMPUTING * REAL TIME COMMUNICATION SERVICES * GRID, CLUSTER AND CLOUD COMPUTING * ROUTING AND MULTICAST * HUMAN LANGUAGE TECHNOLOGIES * IMAGE PROCESSING AND VISUALIZATION * SECURITY, CRYPTOGRAPHY AND PRIVACY * SOFTWARE ENGINEERING * INTERNET SERVICES AND APPLICATIONS * STANDARDS EVOLUTION * ADVANCES IN INTERNET PROTOCOLS * MANAGEMENT OF TELECOMMUNICATIONS AND NETWORKS * COGNITIVE RADIO NETWORKING * SENSOR NETWORKS AND MOBILE SENSING * DISTRIBUTED AND MOBILE MIDDLEWARE * OVERLAY AND PROGRAMMABLE NETWORKS * WEB SERVICES AND SERVICE ORIENTED ARCHITECTURES * WIRELESS, CELLULAR AND MOBILE COMMUNICATIONS * GREEN NETWORKING AND SMART GRID * CLOUD COMPUTING * INTERNET OF THE FUTURE * BIO-INSPIRED COMPUTING IN COMMUNICATIONS * COMMUNICATIONS SERVICES AND MANAGEMENT * INTERNET OF THINGS AND SMART CITIES * ARTIFICIAL INTELLIGENT SYSTEMS * SOCIAL NETWORKS AND CROWDSOURCING * SERVICES AND SUPPORT FOR SMART CITIES * WIRELESS BODY AREA NETWORKS AND WIRELESS HEALTH Review manuscripts should describe original work and should be no more than 8 pages in the IEEE double column proceedings format including tables, figures and references. Note that accepted papers up to 6 pages will be published with no additional charge. Exceeding pages will be charged an additional fee. Extended versions of selected best papers will be recommended for publication in a Special Issue of a prestigious International Journal. Papers must be submitted electronically, in PDF format, on-line via the EDAS system: http://edas.info/N18819 Paper Submission Deadline: January 26th, 2015 Notification of Paper Acceptance: March 27th, 2015 Submission of Camera-Ready Paper: April 17th, 2015 General Co-Chairs Andreas Pitsillides, University of Cyprus, Cyprus Mahmoud Daneshmand, Stevens Institute of Technology, USA Technical Program Co-Chairs Vasos Vassiliou, University of Cyprus, Cyprus Honggang Wang, University of Massachusetts, Dartmouth, USA Local Arrangement Co-Chairs George Pallis, University of Cyprus, Cyprus George Papadopoulos, University of Cyprus, Cyprus Finance and Registration Co-Chairs Reda Ammar, University of Connecticut, USA Christos Douligeris, University of Piraeus, Greece Publication Co-Chairs Josephine Antoniou, University of Central Lancanshire, Cyprus Nicos Komninos, City University London, UK Keynote Speakers Co-Chairs Panayiotis Kolios, University of Cyprus, Cyprus Marios Lestas, Frederick University, Cyprus Workshop Co-Chairs Periklis Chatzimisios, Alexander Technological Educational Institute of Thessaloniki, Greece Andreas Kamilaris, University of Cyprus, Cyprus Massimo Villari, University of Messina, Italy Publicity Co-Chairs Habib M. Ammari, Univ. of Michigan-Dearborn, USA Chrysostomos Chrysostomou, Frederick University, Cyprus Mario Dantas, Universidade Federal de Santa Catarina, Brazil Salil Kanhere, University of New South Wales, Australia Ahmet Sekercioglu, Monash University, Australia Qing Yang, Montana State University, USA Steering Committee Reda Ammar, University of Connecticut, USA Antonio Corradi, University of Bologna, Italy Mahmoud Daneshmand, Stevens Institute of Technology, USA Christos Douligeris, Univ. of Piraeus, Greece Adel S. Elmaghraby, Univ. of Louisville, USA Hussein Mouftah, University of Ottawa, Canada Sartaj Sahni, University of Florida, USA Ahmed Tantawy, IBM, USA -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Wiebe.Van-Der-Hoek at liverpool.ac.uk Sun Nov 2 21:38:25 2014 From: Wiebe.Van-Der-Hoek at liverpool.ac.uk (Van der Hoek, Wiebe) Date: Sun, 2 Nov 2014 20:38:25 +0000 Subject: LORI 2015 call for papers Message-ID: Call for Papers The Fifth International Conference on Logic, Rationality and Interaction (LORI-V) October 28-31, 2015 Taipei, Taiwan The International Conference on Logic, Rationality and Interaction (LORI) conference series aims at bringing together researchers working on a wide variety of logic-related fields that concern the understanding of rationality and interaction. The series aims at fostering a view of Logic as an interdisciplinary endeavor, and supports the creation of an East-Asian community of interdisciplinary researchers. We invite submission of contributed papers on any of the broad themes of the LORI series; specific topics of interest include, but are not limited to, formal approaches to · agency · argumentation and agreement · belief representation · cooperation · belief revision and belief merging · strategic reasoning · games · decision making and planning · knowledge and action · epistemology · dynamics of informational attitudes · knowledge representation · interaction · norms and normative systems · natural language · rationality · philosophy and philosophical logic · preference and utility · social choice · probability and uncertainty · social interaction · intentions, plans, and goals Submitted papers should be at most 12 pages long, with one additional page for references, in PDF format following the Springer LNCS style. Please submit your paper by May 18, 2015 via EasyChair for LORI-V. Accepted papers will be collected as a volume in the Folli series on Logic, Language and Information, and will later be considered for publication in a special issue of a prestigious journal. For detailed conference information and registration, please visit the website: LORI-V. Organizers: LORI, National Taiwan University (NTU) and National Yang Ming University (YMU), Taipei, Taiwan All inquiries concerning the submission of papers should be addressed to Wiebe van der Hoek (wiebe.van-der-hoek at liverpool.ac.uk) and Wesley Holliday (wesholliday at berkeley.edu). For questions concerning conference details, please contact conferenceonlogic at gmail.com. ------------------------------------------------------------------------------------------------------ Prof. Wiebe van der Hoek Head of School of EEE&CS University of Liverpool http://www.csc.liv.ac.uk/~wiebe/ tel (+44) 7970247480 wiebe at liv.ac.uk From invitation at iariainfo.org Sun Nov 2 23:25:34 2014 From: invitation at iariainfo.org (ICSNC 2015) Date: Sun, 02 Nov 2014 14:25:34 -0800 Subject: 1st CfP: ICSNC 2015 || November 15 - 20, 2015 - Barcelona, Spain Message-ID: <1414967134529.627@iariainfo.org> INVITATION: ================= Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to ICSNC 2015. The submission deadline is June 16, 2014. Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org ================= ============== ICSNC 2015 | Call for Papers =============== CALL FOR PAPERS, TUTORIALS, PANELS ICSNC 2015, The Tenth International Conference on Systems and Networks Communications November 15 - 20, 2015 - Barcelona, Spain General page: http://www.iaria.org/conferences2015/ICSNC15.html Call for Papers: http://www.iaria.org/conferences2015/CfPICSNC15.html Submission page: http://www.iaria.org/conferences2015/SubmitICSNC15.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: - mini 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: June 16, 2014 Sponsored by IARIA, www.iaria.org Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org Please note the Poster and Work in Progress options. The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas. All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels. Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html ICSNC 2015 Topics (topics and submission details: see CfP on the site) WINET: Wireless networks 3G/4G integration; Wireless protocols, architectural and design concepts; Design and implementation of mobile information systems; Wireless communications and mechanisms; Antenna and RF subsystems; Coding & modulation & equalization; Channel modeling and characterization; Equalization/Synchronization; Wireless technologies; Wireless applications & services; IP Multimedia subsystems (IMS); Wireless and mobility; Wireless-wireline convergence; Radio communications systems; Specialized wireless networks; Management of wireless networks; Position on standards & fora on wireless networks; Business models on wireless networks; Communications regulations, Spectrum management; Software-Defined Radio (SDR) [ architectures, hardware, software, signal processing and smart antennas, etc.] HSNET: High speed networks Technologies, protocols, and applications for high speed networks; Voice over high speed networks; Services and interconnections of high speed networks; Technologies for High speed optical networks; Optical burst switching; End-to-end applications; Optical control plan; Advanced optical technology architectures; Design of high speed systems and networks; Methodologies and development tools for high speed networks; Management and control of high speed networks; Performance in high speed networks; Security aspects in high speed networks; QoS/SLA in high speed networks; Diagnosing high speed networks; High speed networks and NGN SENET: Sensor networks Architectures and protocols for wired and wireless sensor networks; Design of sensor networks; Instrumentation and models for deployment of sensors networks; Power in sensor networks; Ad hoc and wireless sensor networks; Management and control of sensor networks; Performance in sensor networks; Security and reliability aspects in sensor networks; Information assurance in sensor networks; QoS/SLA in sensor networks; Applications, case studies and prototypes with sensor networks MHNET: Mobile and Ad hoc networks Mobile technology and fundamentals; Analytical and validation models for mobility; Architecture and routing protocols for mobile networks; Architectures, frameworks, fundamentals on ad hoc networks; Energy efficient design, cross-layer design, scalability; MAC protocols for ad-hoc and sensor networks (801.11, Bluetooth, etc.); Data, information, and signal processing in mobile networks; Complexity analysis of mobile algorithms and protocols; Software platforms and development tools supporting mobility; QoS/SLA, access control and security in mobile and ad hoc networks; Location and mobility management; Location and service discovery in ad hoc networks; Planning, provisioning, and deployment mobility features; Directional and smart antennas for mobile and ad-hoc networks; Performance and security in ad hoc and mobile networks; Self-organization, synchronization and stability in ad hoc networks; Self-management in ad hoc and mobile networks; Ad hoc and mobile networks and autonomic com puting; Mobile ad hoc platforms, systems and tools; Applications over ad hoc networks; Standards evolution on mobility and ad hoc networks AP2PS: Advances in P2P Systems Architectures and protocols; Gossip-based and epidemic protocols; Integration with network operators and service providers; Autonomic computing and networking; Semantic P2P; Opportunistic networking; Content delivery networks; Applications; Prototypes and simulations; Implementations; Comparative performance analysis; Dependability, resilience and availability; Benchmarking and optimization; Quality of experience; Security, trust and reputation; Digital rights management; Content filtering; P2P and wireless convergence; Integrated approaches; Energy efficiency MESH: Advances in Mesh Networks Architectures and algorithms; Wireless interference models; Large-scale networks; Real-time and non-real-time communications; Centralized and distributed scheduling; Service differentiation; Security, Privacy, and Trust; Protocol interference models; Single-channel multihop/multichannel routing; Quality of Services routing; Multimedia-centric routing; Cross-layer multicast routing; QoS-based access protocols for mesh networks; Multichannel access protocols; Applications; Multimedia services; Home IPTV; WiMax; Broadband home networking communications; Smart buildings; Broadband Internet access VENET: Vehicular networks Communication technologies in vehicular networks; Frameworks and architectures for vehicular networks; Interoperability with Internet and other networks; Vehicle-infrastructure communications; Vehicle-to-vehicle communications; Emerging inter/intra-vehicle and infrastructure-to-vehicle wireless technologies; Cross-layer design and optimization for vehicular networks; Middleware and service architectures for vehicular networks; Propagation issues Vehicular sensors and data collection and process; On-drive diagnostics and repair technologies and systems; Protocol features /MAC, QoS, routing, multicast, addressing, identity/; Mobility and hand-off ; Properties /security, privacy, performance, robustness, real-time, etc./; Control and management in vehicular networks; Driver-oriented support systems /assistance, active&passive safety, etc./; Case studies and fields trials on vehicular networks; Applications across vehicular networks /content distribution, alerting, etc./; Standardization /802.11p, DSRC, etc./ and standard platforms /JasPar, AUTOSTAR, etc./ RFID: Radio-frequency identification systems Fundamentals for RFID systems; Communications in RFID systems; Next generation RFID Technologies; RFID middleware design and architecture; Antenna design for RFID; System design and deployment; Circuits and architecture; RFID ans sensor networks; Bridging RFID networks in heterogeneous networks; Collision, proximity, speed; Security, privacy, trust; Monitoring and control of RFID systems; Localization and tracking; Inventory tracking; Testing and verification; Planing and executing RFID systems; RFID pilot projects; Use cases in deploying and operating /finance, manufacture, agriculture, transportation, etc./; Tools for supporting the design and deployment of RFID systems SESYS: Security systems Security analysis methodologies; Middleware and distributed systems security; Cryptography, certificates, information hiding, access control; Protection, risk, vulnerabilities, attacks, authorization/authentication; Access control, wireless access control, broadband access control; Biometrics, smart cards, identification and trust methodologies; Certification, accreditation anonymity, and audit; Security management, emergency contingency planning, identify theft, life safety; Wireless and mobile security; Fast security associations; Electronic surveillance and e-commerce protocols; Security and trust in web-services-based applications; Peer-to-peer security, denial of services; Information survivability, insider threat protection, integrity; Intellectual property rights, privacy, legal and regulatory issues; Criminal exploitation of technology; Commercial and industrial security; Viruses, hackers, worms, spam, and other malicious code MCSYS: Multimedia communications systems Technologies, protocols, and mechanisms for multimedia communications; Multimedia compression mechanisms and information representation; Multimedia encoding and compression, MPEG-1 to MPEG-4, Wavelet and fractal; Multimedia frameworks, communications, and middleware; Next generation multimedia communications; Mobile multimedia communications; Methodologies and development tools for multimedia communications systems; Wireless mobile multimedia communications; Ad hoc multimedia networks; IP-based Multimedia Subsystems (IMS); QoS/SLA in mobile multimedia services and applications; Mechanisms for interactive multimedia applications; Designing and implementing interactive applications; Multimedia authoring, publishing, and right securing; Security and performance for multimedia communications; Management, QoS, and security aspects in streaming over wireless ad hoc networks; Management and control of multimedia systems; Standards protocols for multimedia communications POSYS: Policy-based systems Policy for automation control; Trusting policy control commands; Policy-driven autonomic organizations; Policy-based control scalability; Policy sensors for feedback control; Policy conflict detection and conflict resolution; Context-aware policy-driven adaptive frameworks; Policy integrity, trust and negotiations; Policy-based software applications; Policing pervasive computing environments; Policing on-demand systems and services PESYS: Pervasive education system Learning and teaching systems; E-learning methods and e-learning scenarios; Tools and architectures for mobile/ubiquitous e-learning; Cooperative learning and working; Mobile technology and education; Distance learning and education; Computers and arts; Education in developing regions; Reflection in learning software and hardware; Social impact metrics on distance learning; Methodologies and processes for education; Curriculum projects and experiences; Intelligent support; Multimedia environment for teaching; E-market place for higher education; Embedded systems education; Wearable computers and education Committee: http://www.iaria.org/conferences2015/ComICSNC15.html ================================================ To stop receiving notices about ICSNC, please reply with "DROP ICSNC event at in.tu-clausthal.de" in the subject field. To receive notices about specific topics only, please reply with "TOPIC CHANGE event at in.tu-clausthal.de" in the subject field, and the specific topics in the email body. To stop receiving any notice, please reply with "UNSUBSCRIBE event at in.tu-clausthal.de" in the subject field. From e.haasdijk at vu.nl Mon Nov 3 08:53:47 2014 From: e.haasdijk at vu.nl (Evert Haasdijk) Date: Mon, 3 Nov 2014 08:53:47 +0100 (CET) Subject: EvoROBOT - Deadline in two weeks Message-ID: <20141103075348.066E410A9F03E@MW-020708.clients.vu.nl> --------------------------------------------------------------- EvoROBOT 2015 Copenhagen, Denmark, 8 - 10 April 2015 --------------------------------------------------------------- Third Call for Papers Evolutionary Computation in Robotics ------------------------------------ The EvoROBOT track is part of EvoApplications, the European Conference on the Applications of Evolutionary Computation (http://www.evostar.org/), to be held in Copenhagen, Denmark. The EvoROBOT track focusses on evolutionary robotics: the application of evolutionary computation techniques to automatically design the controllers and/or hardware of autonomous robots, real or simulated. This is by nature a multi-faceted field that combines approaches from other fields such as neuro-evolution, evolutionary design, artificial life, robotics, et cetera. We invite high quality contributions dealing with state-of-the-art research in the area of evolutionary robotics. Topics include but are not limited to: - Evolution of (neural or otherwise) robot controllers; - Evolution of modular robot morphology; - Hardware/morphology and controller co-evolution; - Open-ended evolution in robotics; - Robotic evolutionary Artificial Life; - Evolutionary self-assembly and self-replication; - Evolution, development and learning; - Evolutionary and co-evolutionary approaches. Important Dates ---------------- Submission Deadline: 15 November 2014 Notification: 07 January 2015 Camera-ready: 21 January 2015 EvoStar event: 8-10 April 2015 Publication Details ------------------- Accepted papers will appear in the proceedings of EvoStar, published in a volume of the Springer Lecture Notes in Computer Science, which will be available at the Conference. Submission Details ------------------ Submissions must be novel and original. Submissions will be peer reviewed by at least three members of the program committee and authors of accepted papers are required to address the reviewer's comments to produce a camera-ready version of their manuscripts if accepted. At least one author of each accepted paper must register for the conference and attend the conference to present their work. The reviewing process will be double-blind and any information that may identify the authors should be removed from the initial submission. Please submit your contribution to EvoROBOT in Springer LNCS format. The page limit is 12 pages. Track Chairs ------------ Gusz Eiben Evert Haasdijk Programme Committee ------------------- Nicolas Bredeche Anders Christensen Stephane Doncieux Marco Dorigo Gusz Eiben Evert Haasdijk Heiko Hamann Joost Huizinga Jean-Marc Montanier Claudio Rossi Sanem Sariel Thomas Schmickl Kasper Stoy Juergen Stradner Andy Tyrrell Berend Weel Alan Winfield Further Information ------------------- Visit http://www.evostar.org or join the EVOstar group on LinkedIn for more details and updates. From a.bikakis at ucl.ac.uk Mon Nov 3 14:24:16 2014 From: a.bikakis at ucl.ac.uk (Antonis Bikakis) Date: Mon, 3 Nov 2014 13:24:16 +0000 Subject: Fwd: Lecturer in Computer Science and Information Technology In-Reply-To: References: Message-ID: The UCL Department of Information Studies offers postgraduate qualifications and training for the various information professions, and collaborates in the delivery of an inter-faculty BSc in Information Management for Business. It also has a strong international reputation for research and was very highly rated in the 2008 Research Assessment Exercise. Duties and Responsibilities We are seeking an enthusiastic and innovative individual to appoint to a full-time lectureship from 1 January 2015. The research focus of the post will ideally be in areas related to statistical and/or inductive machine learning, automated decision making, crowdsourcing, and multi-agent systems, and in interdisciplinary applications of these areas to other areas of research within the Department and/or UCL. The initial teaching focus will be on developing and expanding the computer science elements of the BSc in Information Management for Business. The successful candidate will also be expected to teach at Master’s level, supervise research students if/when opportunities arise, and undertake some administrative duties. Key Requirements Applicants should hold a PhD in a relevant subject, and should have some prior experience of teaching at university level. Candidates should be able to demonstrate an ability and commitment to conduct high quality research with a view to producing high quality publications, and an enthusiasm for collaborative, interdisciplinary work. Closing Date: 16 Nov 2014 Interview Date: 16 December 2014 For further information please visit: https://www.ucl.ac.uk/dis/occasional/vacancies -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From paul.kaufmann at gmail.com Mon Nov 3 15:10:17 2014 From: paul.kaufmann at gmail.com (Kaufmann Paul) Date: Mon, 3 Nov 2014 15:10:17 +0100 Subject: EvoENERGY - deadline in two weeks + SI in J. Renewable Energy References: <6EDB0209-355D-42CB-BA8E-602A6844FED7@gmail.com> Message-ID: <61C252EB-9B6C-40E2-8FD8-1A48CE14FBAD@gmail.com> EvoENERGY 2015, 8-10 April, Copenhagen, Denmark Evolutionary Algorithms in Energy Applications INTRODUCTION Along with the worldwide incentive to reduce fossil and nuclear based power generation, the number of distributed generators and other forms of distributed energy resources which are installed in power networks has been steadily increasing over the last years. This increased integration has triggered a transformation of the energy system and challenges the conventional operation of these networks. On a network level, this transformation requires new control and communication approaches, to guarantee the security of energy supplies as well as an optimal exploitation of available resources. On a generator level, advanced control strategies as well as morphological optimization (e.g., tuning of wind-blade design) can help to assure an optimal performance of the generator. EvoEnergy is intended as a platform for new, innovative computational intelligence and nature-inspired techniques in the domain of energy-related optimization research. We seek contributions ranging from new control concepts for decentralized generation, strategies for their coordination in the network to the morphological optimization of distributed generators. TOPICS Topics of interest include, but are not limited to: - evolutionary design and morphological optimization in energy systems - management and prediction of distributed generation, storage and consumption - advanced distribution management system functionalities - Smart Grid planning, monitoring, operation and control - distributed optimization in energy networks - demand side management - novel methods for network restoration PUBLICATION AND SUBMISSION DETAILS Accepted papers will appear in the proceedings of EvoStar, published in a volume of the Springer Lecture Notes in Computer Science, which will be available at the Conference. Submissions must be original and not published elsewhere. The submissions will be peer reviewed by at least three members of the program committee. The authors of accepted papers will have to improve their paper on the basis of the reviewers comments and will be asked to send a camera ready version of their manuscripts. At least one author of each accepted work has to register for the conference and attend the conference and present the work. The reviewing process will be double-blind, please omit information about the authors in the submitted paper. Submission format: Springer LNCS, http://www.evostar.org/2015/cfp_evoapps.php Please provide up to five keywords in your Abstract Page limit: 12 pages Submission page: http://myreview.csregistry.org/evoapps15/ ----------------------------------------------------------------------- Best papers will be invited for a Special Issue to be edited with the Journal of Renewable Energy, Elsevier, 5 year IF: 3.456; the SI is organized by IEEE TF on Computational Intelligence in the Energy Domain ----------------------------------------------------------------------- http://tinyurl.com/si-energy http://tinyurl.com/IEEE-TF-ENERGY ----------------------------------------------------------------------- IMPORTANT DATES Submission Deadline: 15 November 2014 Notification: 07 January 2015 Camera-ready: 21 January 2015 EvoStar dates: 8-10 April 2015, Copenhagen, Denmark CHAIRS Paul Kaufmann, University of Paderborn, paul.kaufmann(at)gmail.com Kyrre Glette, University of Oslo, kyrrehg(at)ifi.uio.no CONFIRMED PROGRAM COMMITTEE Konrad Diwold, Fraunhofer Institute for Wind and Energy System Technology, Kassel, Germany Ralph Evins, Laboratory of Building Science and Technology, Empa, Switzerland Oliver Kramer, University of Oldenburg, Germany Ingo Mauser, FZI Karlsruhe, Germany Martin Middendorf, University of Leipzig, Germany Maizura Mokhtar, University of Sheffield, UK Sanaz Mostaghim, University of Magdeburg, Germany Frank Neumann, University of Adelaide, AU Peter Palensky, Austrian Institute of Technology, Austria Cong Shen, University of Kassel, Germany Bernhard Sick, University of Kassel, Germany Andy Tyrrell, University of York, UK Markus Wagner, University of Adelaide, AU From patrick.lambrix at liu.se Tue Nov 4 21:42:42 2014 From: patrick.lambrix at liu.se (Patrick Lambrix) Date: Tue, 4 Nov 2014 20:42:42 +0000 Subject: Final Call for Organisation EKAW 2016 - 20th International Conference on Knowledge Engineering and Knowledge Management Message-ID: Dear EKAW community members, As EKAW 2014 (http://www.ida.liu.se/conferences/EKAW14/) is quickly approaching, we are starting the preparations for the organisation of the next edition. We would kindly ask you to consider submitting a proposal to host and organize EKAW in 2016. First held in 1987 and now in its 19th edition, EKAW represents the main European forum for presenting the latest research in knowledge management and knowledge engineering. The conference is held every two years and it is closely linked to the parallel series of K-Cap conferences in North America. Typically, EKAW is jointly organized by a chair and a co-chair, one of which is local and the other from elsewhere. EKAW has traditionally featured a main conference track as well as poster and demonstration tracks in addition to a workshop and tutorial program. The duties of the chair and co-chair will be to oversee the organisation of the whole conference including financial administration, registration, local organisation, program, publication of proceedings etc. There is no budget available for organising an EKAW conference, so that each edition has to self-finance itself through registration fees and sponsoring. An overview of earlier locations where the conference has taken place can be found here: http://www.ekaw.org/ We welcome proposals until the 15th of November 2014, to be sent to the current organisers of the conference: Patrick Lambrix (patrick.lambrix at liu.se) and Eero Hyvönen (eero.hyvonen at tkk.fi). Please use "Bid for EKAW 2016" as subject of your email. The proposal should include: * Name, affiliation and short CV of chair and co-chair * Specification of the complete team that will run the conference and envisioned distribution of roles (PC Chair, Workshop Chair, Tutorial Chair etc.) * Indication of a place and venue for the conference * Possible Dates for the conference (October / November 2016) * Indication of experience of the organizers in running scientific events * Indication of local support, infrastructure and other resources in the institution of the organizers that will contribute to the organization of the conference * Information about easy of travel, accommodation, etc * Preliminary budget Best regards, Patrick Lambrix Eero Hyvönen -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fink at kr.tuwien.ac.at Thu Nov 6 13:16:18 2014 From: fink at kr.tuwien.ac.at (fink at kr.tuwien.ac.at) Date: Thu, 6 Nov 2014 13:16:18 +0100 Subject: Preliminary Call for Papers ICLP 2015: 31st International Conference on Logic Programming Message-ID: <201411061216.sA6CGIjU025206@hummel.kr.tuwien.ac.at> ********************************************************************** PRELIMINARY CALL FOR PAPERS 31st International Conference on Logic Programming (ICLP 2015) -- colocated with CP 2015 -- Cork, Ireland, August 31 -- September 4, 2015 http://booleconferences.ucc.ie/iclp2015 ********************************************************************** ICLP 2015 will be co-located with the 21st International Conference on Principles and Practice of Constraint Programming (CP 2015) and is part of "The Year of George Boole", a celebration of the life and work of George Boole who was born in 1815 and worked at the University College of Cork. IMPORTANT DATES (tentative) --------------------------- Abstracts due: April 20, 2015 Papers due: April 27, 2015 Notification to authors : June 5, 2015 Camera ready versions due: July 21, 2015 Conference: August 31-September 4, 2015 CONFERENCE SCOPE ---------------- Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to: Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning, Knowledge Representation. Implementation: Compilation, Virtual Machines, Parallelism, Constraint Handling Rules and Tabling. Environments: Program Analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing. Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Programming Techniques. Related Paradigms: Inductive and Coinductive Logic Programming, Constraint Logic Programming, Answer-Set Programming, SAT, Constraints, Computational Argumentation, Abductive Logic Programming, Functional Logic Programming. Applications: Databases, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics, Social Networks and Social Choice. In addition to the presentations of accepted papers, the technical programme will include invited talks, advanced tutorials, the doctoral consortium, the Prolog contest and several workshops. ICLP 2015 ORGANIZATION ---------------------- General Co-Chairs: Barry O'Sullivan University College Cork, Ireland Roland Yap National University of Singapore Program Co-Chairs: Thomas Eiter TU Wien, Austria Francesca Toni Imperial College London, UK Local Arrangements Co-Chairs: Barry O'Sullivan University College Cork, Ireland Ken Brown University College Cork, Ireland Workshops Chair: Mats Carlsson SICS, Uppsala, Sweden Doctoral Consortium Chairs: Marina De Vos University of Bath, UK Yuliya Lierler University of Nebraska at Omaha, USA Prolog Programming Contest Chair: Neng-Fa Zhou, City University of New York, USA SPONSOR ------- The conference is sponsored by the Association for Logic Programming (ALP) FINANCIAL ASSISTANCE -------------------- The Association for Logic Programming has funds to assist financially disadvantaged participants and, in particular, students in order to be able to attend the conference. CONFERENCE VENUE ---------------- University College Cork, Ireland From universal.logic at ufc.br Thu Nov 6 21:34:50 2014 From: universal.logic at ufc.br (Universal Logic) Date: Thu, 6 Nov 2014 18:34:50 -0200 (BRST) Subject: Greco-Turkish Summer of Logic 2015: 5th UNILOG Istanbul - 10th PLS Samos Island Message-ID: UNILOG'2015 - 5th World Congress and School on Universal Logic - Istanbul, June 20-30, 2015 http://www.uni-log.org Deadline for sending an abstract is approaching: November 15 Since 2005 UNILOG has been a major event in logic, dealing with all aspects of logic and gathering top researchers from all over the world. The 1st edition was in Montreux, Switzerland (2005), the 2nd in Xi'an, China (2007), the 3rd in Lisbon, Portugal (2010), the 4th in Rio de Janeiro, Brazil (2013). The 5th edition will happen in Istanbul in 2015. In UNILOG'2015 there will be a school with about 30 tutorials followed by a congress with many workshops and invited speakers including Melvin Fitting, Bruno Poizat, Benedikt Löwe, Olivia Caramello, Luciano Floridi, Ernest Lepore, Ahti-Veikko Pietarinen. As in previous editions there will also be a contest (for this edition: The Future of Logic) and a secret speaker (a speaker whose identity is revealed only at the time of her/his/its talk). The tutorials of UNILOG'2015 will provide a serious background for a general knowledge of the logical world They are divided into three categories: 1) History of Logic: the logic of Aristotle, Leibniz, Kant, Hegel, etc. 2) Logic and XXX: Logic and Music, Logic an Colours, Logic and Nonsense, Logic and Information, Logic and the Theory of Relativity, etc 3) Theorems: Compactness theorem, Completeness theorem, Lindström theorem, Gödel's incompleteness theorem, etc (these theorems will be presented in a universal perspective, i.e. examining what are the general vs particular features) During the congress there will be an amazing variety of workshops - The Idea of Logic: Historical Perspectives - Representation and reality: humans, animals and machines - Philosophy of non-classical logics - Computational Creativity, Concept Invention and General Intelligence - C3GI - Connexive Logics - Logic and the Web etc. The event is organized in combination with the 10th Panhellenic Logic Symposium https://samosweb.aegean.gr/pls10/ that will happen in Samos Island, Greece (the island where Pythagoras was born), June 11-15, 2015. A travel by bus from the nearby port of Kusadasi in Turkey up to Istanbul will be organized with stops on famous historical sites: Ephesus, Troy, etc. Special arrangements will exist for participants who wish to attend both conferences. UNILOG'2015 is sponsored by the Association of Symbolic Logic This means that students can apply for a grant to come: http://www.aslonline.org/studenttravelawards.html From sloos at cs.cmu.edu Thu Nov 6 23:30:36 2014 From: sloos at cs.cmu.edu (Sarah Loos) Date: Thu, 6 Nov 2014 17:30:36 -0500 Subject: [Deadline November 11th - Extended] Apply to Attend: CPS V&V Industrial Challenges & Foundations workshop held at Carnegie Mellon, Dec 11-12 Message-ID: [Deadline to apply: *November 11th *(extended from November 4th)] About: *CPS Verification and **Validation Industrial Challenges & Foundations (CPS V&V IC&F) is* a two-day workshop for CPS V&V experts in Industry and Academia. The workshop will take place on the Carnegie Mellon University campus, December 11-12. The purpose of this NSF-sponsored workshop is to make academic solutions meet industrial challenges with the goal of identifying the most important present and future foundational challenges in CPS V&V. Full details can be found here: *http://www.ls.cs.cmu.edu/CPSVVIF/ * Inspired by the successes of the one-day *Industry Workshop on Verification of Embedded Control Systems* hosted by the CMACS NSF Expedition in Computing at CMU in 2011, we have decided to extend the workshop to a wider audience of academics and have a greater focus on identifying the foundational challenges facing CPS in the future. The workshop will give participants the opportunity to share the most important core ideas and challenges in CPS and invite an open collaborative discussion to identify the most pressing issues at hand in CPS verification and validation. Apply: This workshop is a great opportunity for senior grad students and postdocs to make industry and academic connections and for junior grad students to get a broader picture of the CPS community, the major challenges we face, and the role of academia in cutting edge V&V research. We encourage grad students and postdocs to apply to attend CPS V&V IC&F. The NSF has provided limited travel funds to support student attendance. Students must submit an application to attend the workshop by *November 11th* (applications can be submitted here: *http://www.ls.cs.cmu.edu/CPSVVIF/Apply.html *). Industry Participation and Competition: The workshop will follow a competition for CMU undergraduate students, *The CPS V&V Grand Prix,* which will be judged by industry experts from a variety of CPS and verification domains: Bosch, MapleSoft, Toyota, Reactive Systems, MathWorks, Intel, GM, and Google. The competition will be held on the evening of December 10th. For more information, see *http://www.ls.cs.cmu.edu/ * *CPSVVIF/GrandPrix.html * Steering Committee: Bruce Krogh (*krogh at ece.cmu.edu *) Sarah Loos (*sloos at cs.cmu.edu *) André Platzer (*aplatzer at cs.cmu.edu *) Scott Smolka (*sas at cs.sunysb.edu *) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ijcai2015.publicity at gmail.com Fri Nov 7 13:21:12 2014 From: ijcai2015.publicity at gmail.com (IJCAI 2015 Publicity Chairs) Date: Fri, 7 Nov 2014 09:21:12 -0300 Subject: IJCAI 2015 KR Track - CALL FOR PAPERS Message-ID: [Apology for cross-postings] ************************************************************************************************* KR Track CALL FOR PAPERS Knowledge Representation and Reasoning (KRR) is an exciting, central, and well-established area of Artificial Intelligence. In KRR, a fundamental assumption is that an agent's knowledge is explicitly represented, and is amenable for processing by domain-independent reasoning engines. The notion of "knowledge" in KRR is broadly taken and includes not just an agent's beliefs, but also its preferences, intentions, assumptions, goals, and any other phenomena that allows a declarative representation. As well, the notion of "reasoning" in KRR is similarly broadly taken and includes not just classical deductive inference, but also nonmonotonic, plausible, qualitative, probabilistic, and other forms of principled reasoning. The assumption that much of the information that an agent deals with is knowledge-based is common in many modern intelligent systems. Consequently, KRR has contributed to the foundations of various areas in AI, such as automated planning, natural language understanding, among others, as well as to fields beyond AI, including databases, verification, and software engineering. More recently KRR techniques and approaches have been applied in fields such as the semantic web, computational biology, software agents, question answering and video understanding. We invite authors to submit papers presenting original and unpublished research on Knowledge Representation and Reasoning. We solicit papers that contribute to the formal foundations of relevant areas or that show the applicability of results to implemented or implementable systems. KRR papers in IJCAI 2015 will be organized under a special KRR track with an aim to particularly welcome KRR papers that address AI as a whole as well as KRR papers that arise from other areas of AI, in addition to the traditional KRR papers. In addition, papers that raise novel KRR questions, rather than only providing solutions to existing KRR questions, will be especially welcome. Topics of interest include, but are not limited to: - Action, change, causality and causal reasoning - Argumentation - Belief change: revision and update, belief merging, information fusion - Contextual reasoning - Deployed KR systems - Description logics - Diagnosis, abduction, explanation finding - Inconsistency and exception tolerant reasoning, paraconsistent logics - KR and data management, ontology-based data access, queries and updates over incomplete data - KR and decision making, game theory, economic models - KR and the web - KR and general game playing - KR in video games, virtual environments - KR in image and video understanding - KR in machine learning, inductive logic programming, knowledge discovery and acquisition - KR in natural language understanding and question answering - KR in software engineering - Logic programming, answer set programming, constraint logic programming - Multi-agent systems, autonomous agents, cognitive robotics, logical models of agency - Nonmonotonic logics, default logics, conditional logics - Ontology languages and modeling - Philosophical foundations of KR - Preference modeling and representation, reasoning about preferences, preference-based reasoning - Qualitative reasoning, reasoning about physical systems - Reasoning about knowledge and belief, epistemic and doxastic logics - Reasoning about norms and organizations, social knowledge and behavior - Reasoners and solvers: theorem provers, SAT solvers, QBF solvers, and others. - Spatial reasoning and temporal reasoning - Uncertainty, representations of vagueness, many-valued and fuzzy logics, relational probability models SUBMISSION DETAILS All papers submitted to the KR track are regarded as regular submissions to IJCAI 2015. Please consult the main IJCAI 2015 Call For Papers at http://ijcai-15.org/index.php/call-for-papers for important dates, detailed submission instructions, (including formatting guidelines and electronic templates), review process, and important policies (on multiple submissions, confidentiality and conflict of interest). IJCAI 2015 KR Track Co-chairs: James Delgrande, Simon Fraser University, Canada Fangzhen Lin, Hong Kong University of Science and Technology, Hong Kong Find IJCAI-15 on Facebook: http://www.facebook.com/ijcai15 Find IJCAI-15 on Weibo: http://weibo.com/5225989544 Follow IJCAI-15 on Twitter: https://twitter.com/ijcai15 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ijcai2015.publicity at gmail.com Fri Nov 7 13:21:36 2014 From: ijcai2015.publicity at gmail.com (IJCAI 2015 Publicity Chairs) Date: Fri, 7 Nov 2014 09:21:36 -0300 Subject: IJCAI 2015 Machine Learning Track - CALL FOR PAPERS Message-ID: [Apology for cross-postings] ************************************************************************************************* Machine Learning Track CALL FOR PAPERS 24th International Joint Conference on Artificial Intelligence (IJCAI-15) Machine Learning Track Buenos Aires, Argentina / 25 July-1 August 2015 http://ijcai-15.org/ The Machine Learning Track Program Committee of the Twenty-fourth International Joint Conference on Artificial Intelligence (IJCAI-15) invites the submission of original technical papers to the Machine Learning Track of IJCAI-15. Machine Learning is a core area of artificial intelligence research, with implications and deep connections to computer perception, automated cognition and intelligent behavior. As a foundational subject, machine learning touches almost every area of artificial intelligence as a target competence or an enabling technology. Since it is a rapidly growing area that is driving pervasive technological change, machine learning has developed a variety of its own sub-fields, specialized technical tools and methodologies. To counter the perception that machine learning research is diverging from the interests of other areas of artificial intelligence, a strong presence in machine learning will be maintained at IJCAI-15. In addition to highlighting top quality research, the Machine Learning Track will also emphasize research that connects to other areas of artificial intelligence. Submissions are therefore invited on significant, original, and previously unpublished research on all aspects of machine learning, with a special encouragement for machine learning research that demonstrates clear relevance to other areas of artificial intelligence research. General areas of interest include, but are not limited to: probabilistic models and methods, large margin and kernel methods, deep learning and neural learning, ensemble methods, learning from partial labellings, unsupervised learning, relation learning and graphs, reinforcement learning and on-line learning, learning in games and multi-agent systems, evolutionary learning and nature inspired learning, learning theory and machine learning applications. We particularly welcome papers that formulate "new problems" for machine learning and artificial intelligence research, in addition to more traditional papers that propose "solutions" to established problems. Such "new problem" papers will be assessed in terms of the clarity of the proposed formulation, strength of the motivation, depth of the challenges identified, and feasibility of the problems. Such papers can provide value for the community identifying new paths to advancing Artificial Intelligence. We would also like to draw attention to the IJCAI-15 theme of "AI and the Arts" and encourage machine learning submissions that are relevant to this theme. SUBMISSION DETAILS All papers submitted to the Machine Learning track are regarded as regular submissions to IJCAI 2015. Please consult the main IJCAI 2015 Call For Papers at http://ijcai-15.org/index.php/call-for-papers for important dates, detailed submission instructions, (including formatting guidelines and electronic templates), review process, and important policies (on multiple submissions, confidentiality and conflict of interest). IJCAI 2015 Machine Learning Track Co-chairs: Dale Schuurmans (University of Alberta, Canada) Zhi-Hua Zhou (Nanjing University, China) Find IJCAI-15 on Facebook: http://www.facebook.com/ijcai15 Find IJCAI-15 on Weibo: http://weibo.com/5225989544 Follow IJCAI-15 on Twitter: https://twitter.com/ijcai15 From ijcai2015.publicity at gmail.com Fri Nov 7 13:26:46 2014 From: ijcai2015.publicity at gmail.com (IJCAI 2015 Publicity Chairs) Date: Fri, 7 Nov 2014 09:26:46 -0300 Subject: =?UTF-8?Q?IJCAI_2015_Doctoral_Consortium_=2D_CALL_FOR_APPLICATIO?= =?UTF-8?Q?=E2=80=8BNS?= Message-ID: [Apology for cross-postings] ************************************************************************************************* IJCAI 2015 - Doctoral Consortium Call for Applications Students are invited to apply for admission to the doctoral consortium to be held at the IJCAI conference, Buenos Aires, Argentina, 25 July-1 August 2015. The doctoral consortium provides an opportunity for Ph.D. students to discuss their research interests and career objectives with established researchers in AI, network with other participants, and receive mentoring about career planning and career options. The doctoral consortium will expose students to different areas of research within AI and help building professional connections within the international community of AI researchers. Deadline for applications: February 26, 2015 Notification of acceptance: April 16, 2015 Perspective applicants should submit: 1. a two-page extended abstract on their thesis, formatted following the IJCAI requirements. Accepted abstracts will be included in the IJCAI Proceedings and be presented briefly at the doctoral consortium. Acceptance for publication is not a requirement for admission to the doctoral consortium, but submission is required to apply to the doctoral consortium. Accepted extended abstracts will be published in the IJCAI Proceedings. 2. a curriculum vitae (2 pages) with background (name, university), education (degree sought, year/status in degree, previous degrees), employment, and relevant experience in research (publications, presentations, conferences attended, etc). 3. a personal statement (1-2 pages max) with answers to the following questions: a. Is this the first time you attend IJCAI DC? If not, have you attended other DC? Please say which one(s) and what was most useful to you. b. Have you submitted an article to IJCAI and/or IJCAI workshops? c. When do you expect to graduate? d. What type of job do you desire after graduation (research, teaching, development, etc)? 4. a letter of support from the advisor For details visit http://ijcai15.org/. Submissions to: https://easychair.org/conferences/?conf=ijcai2015dc Some funding will be available to cover in part travel costs. IJCAI will offer additional travel grants to student authors of accepted papers. Details will be available later. For additional information and questions contact: Maria Gini (Univ. of Minnesota, USA) Silvia Schiaffino (ISISTAN, UNCPBA, Argentina) Co-chairs, Doctoral Consortium, IJCAI 2015 email: ijcai15dc at cs.umn.edu Find IJCAI-15 on Facebook: http://www.facebook.com/ijcai15 Find IJCAI-15 on Weibo: http://weibo.com/5225989544 Follow IJCAI-15 on Twitter: https://twitter.com/ijcai15 From ijcai2015.publicity at gmail.com Fri Nov 7 19:02:39 2014 From: ijcai2015.publicity at gmail.com (IJCAI 2015 Publicity Chairs) Date: Fri, 7 Nov 2014 15:02:39 -0300 Subject: IJCAI 2015 CALL FOR TUTORIALS Message-ID: [Apology for cross-postings] ************************************************************************************************* IJCAI 2015 CALL FOR TUTORIALS IJCAI-15 invites proposals for the Tutorial Program. Tutorials will be held on July 25--27, 2015, immediately prior to the technical conference. Attendance of the tutorials will be included in the IJCAI-15 conference registration fee and will not incur any additional fees. Tutorials should serve one or more of the following objectives: - Introduce novices to major topics of Artificial Intelligence. - Introduce expert non specialists to an AI subarea. - Motivate and explain a topic of emerging importance for AI. - Survey a mature area of AI research and/or practice. - Provide instruction in established but specialized AI methodologies. - Present a novel synthesis combining distinct lines of AI work. - Introduce AI audiences to an external topic that can motivate or use AI research. To broaden and improve the topic coverage provided, we also invite suggestions as to what tutorial topics and presenters might be welcome. Individuals with ideas or suggestions for possible tutorial topics and/or suggested candidate presenters are encouraged to email them to Pascal Poupart (ppoupart at uwaterloo.ca) and Gerardo I. Simari (gis at cs.uns.edu.ar). Suggestions will be kept entirely confidential. Important Dates for Tutorials: - Proposal Submission Deadline: November 28th, 2014 - Acceptance Notification: January 9th, 2015 - Title, Abstract, and Speaker Biography Deadline: March 13th, 2015 - Syllabus and Course Handouts Posted: June 19th, 2015 - IJCAI-15 Tutorials: July 25-27, 2015 Requirements for Submission: Those interested in presenting a tutorial should submit a proposal to the IJCAI-15 Tutorial Co-chairs, Pascal Poupart and Gerardo I. Simari. A tutorial proposal should contain the following information: - A two-sentence description of the tutorial, suitable for inclusion in the conference registration brochure. - A two-paragraph description of the tutorial, suitable for a web page overview. - A detailed outline of the tutorial. - A characterization of the potential target audience for the tutorial, including prerequisite knowledge. Indicate which of the above objectives are best served by the proposed tutorial. - A description of why the tutorial topic would be of interest to a substantial part of the IJCAI audience. - A brief resume of the presenter(s), which should include: - Name and affiliation - Postal address - Phone and fax numbers - E-mail address - Background in the tutorial area - Citation to an available example of work in the area-- ideally, a published tutorial-level article on the subject - Evidence of teaching experience, with references addressing the proposer's presentation ability - Evidence of scholarship in AI/computer science (equivalent to a published IJCAI conference paper or tutorial syllabus). Tutorials are intended to cover reasonably well-established information in a balanced way. They should not be used to advocate a single avenue of research, nor should they promote a product. Proposals should be sent by email, in plain text (ASCII) or PDF form, to Pascal Poupart (ppoupart at uwaterloo.ca) and Gerardo I. Simari ( gis at cs.uns.edu.ar) by November 28th, 2014, with the subject line: "IJCAI Tutorial Proposal". Find IJCAI-15 on Facebook: http://www.facebook.com/ijcai15 Find IJCAI-15 on Weibo: http://weibo.com/5225989544 Follow IJCAI-15 on Twitter: https://twitter.com/ijcai15 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at urv.cat Sat Nov 8 22:20:44 2014 From: grlmc at urv.cat (GRLMC) Date: Sat, 8 Nov 2014 22:20:44 +0100 Subject: AlCoB 2015: 1st call for papers Message-ID: <4B9B144800E14EF68FB98F5DC4BBB9A6@Carlos1> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* **************************************************************************** ****** 2nd INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY AlCoB 2015 Mexico City, Mexico August 4-6, 2015 Organized by: Centre for Complexity Sciences (C3) School of Sciences Institute for Research in Applied Mathematics and Systems (IIMAS) Graduate Program in Computing Science and Engineering National Autonomous University of Mexico Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/alcob2015/ **************************************************************************** ****** AIMS: AlCoB aims at promoting and displaying excellent research using string and graph algorithms and combinatorial optimization to deal with problems in biological sequence analysis, genome rearrangement, evolutionary trees, and structure prediction. The conference will address several of the current challenges in computational biology by investigating algorithms aimed at: 1) assembling sequence reads into a complete genome, 2) identifying gene structures in the genome, 3) recognizing regulatory motifs, 4) aligning nucleotides and comparing genomes, 5) reconstructing regulatory networks of genes, and 6) inferring the evolutionary phylogeny of species. Particular focus will be put on methodology and significant room will be reserved to young scholars at the beginning of their career. VENUE: AlCoB 2015 will take place in Mexico City, the oldest capital city in the Americas and the largest Spanish-speaking city in the world. The venue will be the main campus of the National Autonomous University of Mexico. SCOPE: Topics of either theoretical or applied interest include, but are not limited to: Exact sequence analysis Approximate sequence analysis Pairwise sequence alignment Multiple sequence alignment Sequence assembly Genome rearrangement Regulatory motif finding Phylogeny reconstruction Phylogeny comparison Structure prediction Compressive genomics Proteomics: molecular pathways, interaction networks ... Transcriptomics: splicing variants, isoform inference and quantification, differential analysis Next-generation sequencing: population genomics, metagenomics, metatranscriptomics ... Microbiome analysis Systems biology STRUCTURE: AlCoB 2015 will consist of: invited talks invited tutorials peer-reviewed contributions INVITED SPEAKERS: to be announced PROGRAMME COMMITTEE: Stephen Altschul (National Center for Biotechnology Information, Bethesda, USA) Yurii Aulchenko (Russian Academy of Sciences, Novosibirsk, Russia) Pierre Baldi (University of California, Irvine, USA) Daniel G. Brown (University of Waterloo, Canada) Yuehui Chen (University of Jinan, China) Keith A. Crandall (George Washington University, Washington, USA) Joseph Felsenstein (University of Washington, Seattle, USA) Michael Galperin (National Center for Biotechnology Information, Bethesda, USA) Susumu Goto (Kyoto University, Japan) Igor Grigoriev (DOE Joint Genome Institute, Walnut Creek, USA) Yike Guo (Imperial College, London, UK) Javier Herrero (University College London, UK) Karsten Hokamp (Trinity College Dublin, Ireland) Hsuan-Cheng Huang (National Yang-Ming University, Taipei, Taiwan) Ian Korf (University of California, Davis, USA) Nikos Kyrpides (DOE Joint Genome Institute, Walnut Creek, USA) Yun Li (University of North Carolina, Chapel Hill, USA) Jun Liu (Harvard University, Cambridge, USA) Mingyao Li (University of Pennsylvania, Philadelphia, USA) Rodrigo López (European Bioinformatics Institute, Hinxton, UK) Andrei N. Lupas (Max Planck Institute for Developmental Biology, Tübingen, Germany) B.S. Manjunath (University of California, Santa Barbara, USA) Carlos Martín-Vide (chair, Rovira i Virgili University, Tarragona, Spain) Tarjei Mikkelsen (Broad Institute, Cambridge, USA) Henrik Nielsen (Technical University of Denmark, Lyngby, Denmark) Christine Orengo (University College London, UK) Modesto Orozco (Institute for Research in Biomedicine, Barcelona, Spain) Christos A. Ouzounis (Centre for Research & Technology Hellas, Thessaloniki, Greece) Manuel Peitsch (Philip Morris International R&D, Neuchâtel, Switzerland) David A. Rosenblueth (National Autonomous University of Mexico, Mexico City, Mexico) Julio Rozas (University of Barcelona, Spain) Alessandro Sette (La Jolla Institute for Allergy and Immunology, USA) Peter F. Stadler (University of Leipzig, Germany) Guy Theraulaz (Paul Sabatier University, Toulouse, France) Alfonso Valencia (Spanish National Cancer Research Centre, Madrid, Spain) Kai Wang (University of Southern California, Los Angeles, USA) Lusheng Wang (City University of Hong Kong, Hong Kong) Zidong Wang (Brunel University, Uxbridge, UK) Harel Weinstein (Cornell University, New York, USA) Jennifer Wortman (Broad Institute, Cambridge, USA) Jun Yu (Chinese Academy of Sciences, Beijing, China) Mohammed J. Zaki (Rensselaer Polytechnic Institute, Troy, USA) Louxin Zhang (National University of Singapore, Singapore) Hongyu Zhao (Yale University, New Haven, USA) ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Francisco Hernández-Quiroz (Mexico City) Carlos Martín-Vide (Tarragona, co-chair) David A. Rosenblueth (Mexico City, co-chair) Florentina Lilica Voicu (Tarragona) SUBMISSIONS: Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, proofs, etc.) and should be prepared according to the standard format for 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=alcob2015 PUBLICATIONS: A volume of proceedings published by Springer in the LNCS/LNBI series will be available by the time of the conference. A special issue of a major journal 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 registration form can be found at: http://grammars.grlmc.com/alcob2015/Registration.php DEADLINES: Paper submission: March 2, 2015 (23:59 CET) Notification of paper acceptance or rejection: April 10, 2015 Final version of the paper for the LNCS/LNBI proceedings: April 19, 2015 Early registration: April 19, 2015 Late registration: July 21, 2015 Submission to the journal special issue: November 6, 2015 QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat POSTAL ADDRESS: AlCoB 2015 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: National Autonomous University of Mexico Rovira i Virgili University --- Este mensaje no contiene virus ni malware porque la protección de avast! Antivirus está activa. http://www.avast.com From feeds at sentic.net Sun Nov 9 16:55:41 2014 From: feeds at sentic.net (SenticNet) Date: Sun, 9 Nov 2014 10:55:41 -0500 (EST) Subject: [SenticNet] CFP: AI for Big Social Data @ FLAIRS-28 Message-ID: <1655796429.2470885.1415548541290.open-xchange@bosoxweb05.eigbox.net> Apologies for cross-posting, Submissions are invited for a FLAIRS-28 special track on Artificial Intelligence for Big Social Data Analysis in cooperation with the Association for the Advancement of Artificial Intelligence (AAAI). For more information, please visit: http://sentic.net/bigdata RATIONALE As the Web rapidly evolves, Web users are evolving with it. In an era of social connectedness, people are becoming increasingly enthusiastic about interacting, sharing, and collaborating through social networks, online communities, blogs, Wikis, and other online collaborative media. In recent years, this collective intelligence has spread to many different areas, with particular focus on fields related to everyday life such as commerce, tourism, education, and health, causing the size of the Social Web to expand exponentially. The distillation of knowledge from such a large amount of unstructured information, however, is an extremely difficult task, as the contents of today's Web are perfectly suitable for human consumption, but remain hardly accessible to machines. The opportunity to capture the opinions of the general public about social events, political movements, company strategies, marketing campaigns, and product preferences has raised growing interest both within the scientific community, leading to many exciting open challenges, as well as in the business world, due to the remarkable benefits to be had from marketing and financial market prediction. The main aim of this Special Track is to explore the new frontiers of big data computing for opinion mining and sentiment analysis through machine learning techniques, knowledge-based systems, adaptive and transfer learning, in order to more efficiently retrieve and extract social information from the Web. TOPICS The Special Track aims to provide an international forum for researchers in the field of big data computing for 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 Special Track comprehends information retrieval, natural language processing, web mining, semantic web, and artificial intelligence. Topics of interest include but are not limited to: • Machine learning for sentiment mining • Concept-level sentiment analysis • Biologically-inspired opinion mining • Sentiment identification & classification • Association rule learning for opinion mining • Time evolving opinion & sentiment analysis • Multi-modal sentiment analysis • Multi-domain & cross-domain evaluation • Knowledge base construction & integration with opinion analysis • Transfer learning of opinion & sentiment with knowledge bases • Sentiment topic detection & trend discovery • Social ranking • Social network analysis • Opinion spam detection The Special Issue also welcomes papers on specific application domains of knowledge-based systems for big social data analysis, e.g., influence networks, customer experience management, intelligent user interfaces, multimedia management, computer-mediated human-human communication, enterprise feedback management, surveillance, art. TIMEFRAME November 17th, 2014: Paper submission deadline January 19th, 2015: Notification of paper acceptance February 23rd, 2015: Camera-ready of accepted papers May 18th-20th, 2015: Conference dates SUBMISSION AND PROCEEDINGS Submitted papers must be original, and not submitted concurrently to a journal or another conference. Double-blind reviewing will be provided, so submitted papers must use fake author names and affiliations. Papers must use the latest AAAI Press template, and must be submitted as PDF through the EasyChair conference system. There are three kinds of submissions: full papers (up to 6 pages), short papers (up to 4 pages), and poster abstracts (up to 250 words). Acceptance as a full paper entails a 20 minute presentation during a regular session, while short papers and abstracts will be required to participate in the poster session. Rejected full papers may still be accepted as short papers or poster abstracts. Selected, expanded versions of Special Track papers will be published in a follow-on Special Issue of Springer's Cognitive Computation journal. ORGANIZERS • Erik Cambria, Nanyang Technological University (Singapore) • Amir Hussain, University of Stirling (UK) • Newton Howard, MIT Media Laboratory (USA) From m.huisman at utwente.nl Mon Nov 10 12:11:09 2014 From: m.huisman at utwente.nl (Marieke Huisman) Date: Mon, 10 Nov 2014 12:11:09 +0100 Subject: Last call for Proposals for Workshops at FM2015 (20th Intl. Symposium on Formal Methods); 22.-26. June, 2015, Oslo Message-ID: <54609D4D.2070509@utwente.nl> News: extra support for workshops offered by FME board Deadline for proposals: November 14, 2014 CALL FOR PROPOSALS FOR WORKSHOPS The 20th International Symposium on Formal Methods (FM 2015) will take place in Oslo, Norway, June 22-26, 2015. For this major event, we are inviting people to submit proposals for workshops. The purpose of the workshops is to provide an informal setting for workshop participants to discuss technical issues, exchange research ideas, and to discuss and/or demonstrate applications. These workshops may be driven by fundamental academic interests or by needs from specific application domains. We encourage a diversity of workshops relating to different varieties of formal models. We also explicitly welcome satellite events in a non-traditional format, such as formal methods-related competitions. To give an extra impulse to the success of workshops, the FME board offers the possibility to apply for an extra support of 500 euro to workshops and tutorials. This can be used e.g. to waive the fee of an invited speaker, the organizer(s) of a tutorial, partial coverage of a workshop dinner, making manual or books available to tutorial participants, or any specific things that may contribute to the scientific quality and/or social interaction within the workshop. Exact details on how to apply for this support will be provided when the workshop proposal is accepted. All workshop proposals must be written in English. Proposals for workshops should be no more than 3 pages in length and submitted to the Workshops chair before November 14, 2014 (see below). A workshop proposal should include a draft call-for-papers containing at least the following information: Title and brief technical description of the workshop, specifying the goals and the technical issues that will be its focus. The names and contact information (web page, email address) of the Programme Committee (PC) chairs, i.e., the workshop organisers. Moreover, a tentative list of workshop PC members should be given. We suggest one or two PC chairs and at least 10 PC members coming from different countries. Moreover, the following additional information is requested: If the workshop has taken place before: How often has the workshop taken place so far? Which conference(s) has the workshop been colocated with so far? Number of participants in the last installment. A discussion of the proposed format and agenda. The proposed duration (half, one or two days). Procedures for selecting participants and papers. Potential invited speakers. Expected number of participants. Each workshop programme chair will be responsible for the following: Producing a web page and a "Call for Papers/Participation" for their workshop. Providing a brief description of the workshop for the conference web page and programme, and providing a workshop web page the conference can refer to for details. Selecting the papers for the workshop proceedings and providing the camera ready copies ready for publication. All advertising of the workshop beyond web page advertising. Appointing session chairs, etc. The local organisation of the conference will take care of the production of informal or electronic workshop proceedings, assuming that the proceedings are camera ready. Submission of Workshop Proposals Proposals should be submitted as a PDF file. Please send your proposals and any inquiries by electronic mail to the Workshop chairs: Marieke Huisman and Volker Stolz . Dates Deadline for workshop proposals: November 14, 2014 Notification of decision on workshops: November 28, 2014 From e.haasdijk at vu.nl Tue Nov 11 08:43:23 2014 From: e.haasdijk at vu.nl (Evert Haasdijk) Date: Tue, 11 Nov 2014 08:43:23 +0100 (CET) Subject: EvoROBOT Final Call for Papers- DEADLINE EXTENDED Message-ID: <20141111074324.871E3110029FA@MW-020708.clients.vu.nl>  ***** Submission deadline EXTENDED ***** --------------------------------------------------------------- EvoROBOT 2015 Copenhagen, Denmark, 8 - 10 April 2015 --------------------------------------------------------------- Final Call for Papers Evolutionary Computation in Robotics ------------------------------------ The EvoROBOT track is part of EvoApplications, the European Conference on the Applications of Evolutionary Computation (http://www.evostar.org/), to be held in Copenhagen, Denmark. The EvoROBOT track focusses on evolutionary robotics: the application of evolutionary computation techniques to automatically design the controllers and/or hardware of autonomous robots, real or simulated. This is by nature a multi-faceted field that combines approaches from other fields such as neuro-evolution, evolutionary design, artificial life, robotics, et cetera. We invite high quality contributions dealing with state-of-the-art research in the area of evolutionary robotics. Topics include but are not limited to: - Evolution of (neural or otherwise) robot controllers; - Evolution of modular robot morphology; - Hardware/morphology and controller co-evolution; - Open-ended evolution in robotics; - Robotic evolutionary Artificial Life; - Evolutionary self-assembly and self-replication; - Evolution, development and learning; - Evolutionary and co-evolutionary approaches. Important Dates ---------------- Submission Deadline: 25 November 2014 (extended and final) Notification: 07 January 2015 Camera-ready: 21 January 2015 EvoStar event: 8-10 April 2015 Publication Details ------------------- Accepted papers will appear in the proceedings of EvoStar, published in a volume of the Springer Lecture Notes in Computer Science, which will be available at the Conference. Submission Details ------------------ Submissions must be novel and original. Submissions will be peer reviewed by at least three members of the program committee and authors of accepted papers are required to address the reviewer's comments to produce a camera-ready version of their manuscripts if accepted. At least one author of each accepted paper must register for the conference and attend the conference to present their work. The reviewing process will be double-blind and any information that may identify the authors should be removed from the initial submission. Please submit your contribution to EvoROBOT in Springer LNCS format. The page limit is 12 pages. Track Chairs ------------ Gusz Eiben Evert Haasdijk Programme Committee ------------------- Nicolas Bredeche Anders Christensen Stephane Doncieux Marco Dorigo Gusz Eiben Evert Haasdijk Heiko Hamann Joost Huizinga Jean-Marc Montanier Claudio Rossi Sanem Sariel Thomas Schmickl Kasper Stoy Juergen Stradner Andy Tyrrell Berend Weel Alan Winfield Further Information ------------------- Visit http://www.evostar.org or join the EVOstar group on LinkedIn for more details and updates. From serge.autexier at dfki.de Tue Nov 11 17:08:06 2014 From: serge.autexier at dfki.de (Serge Autexier) Date: Tue, 11 Nov 2014 17:08:06 +0100 (CET) Subject: First CFP CICM 2015 Message-ID: <20141111160806.8534F23A48A0@mbp-autexier.informatik.uni-bremen.de> Call for Papers Conference on Intelligent Computer Mathematics CICM 2015 13-17 July 2015 Washington DC, USA Digital and computational solutions are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. Separate communities have developed to investigate and build computer based systems for computer algebra, automated deduction, and mathematical publishing as well as novel user interfaces. While all of these systems excel in their own right, their integration can lead to synergies offering significant added value. The Conference on Intelligent Computer Mathematics (CICM) offers a venue for discussing and developing solutions to the great challenges posed by the integration of these diverse areas. CICM has been held annually as a joint meeting since 2008, co-locating related conferences and workshops to advance work in these subjects. Previous meetings have been held in Birmingham (UK 2008), Grand Bend (Canada 2009), Paris (France 2010), Bertinoro (Italy 2011), Bremen (Germany 2012), Bath (UK 2013), and Coimbra (Portugal 2014). This is a (short version of the) call for papers for CICM 2015, which will be held in Washington, D.C., 13-17 July 2015. The full version of the CFP is available from the conference web page at http://cicm-conference.org/2015/cicm.php ********************************************************************** The principal tracks of the conference will be: ********************************************************************** * Calculemus (Symbolic Computation and Mechanised Reasoning) Chair: Jacques Carette * DML (Digital Mathematical Libraries) Chair: Volker Sorge * MKM (Mathematical Knowledge Management) Chair: Cezary Kaliszyk * Systems and Data Chair: Florian Rabe Publicity chair is Serge Autexier. The local arrangements will be coordinated by the Local Arrangements Chairs, Bruce R. Miller (National Institute of Standards and Technology, USA) and Abdou Youssef (The George Washington University, Washington, D.C.), and the overall programme will be organized by the General Programme Chair, Manfred Kerber (U. Birmingham, UK). As in previous years, it is anticipated that there will be a number co-located workshops, including one to mentor doctoral students giving presentations. We also solicit for project descriptions and work-in-progress papers. ********************************************************************** Important Dates ********************************************************************** Conference submissions: Abstract submission deadline: 16 February 2015 Submission deadline: 23 February 2015 Reviews sent to authors: 6 April 2015 Rebuttals due: 9 April 2015 Notification of acceptance: 13 April 2015 Camera ready copies due: 27 April 2015 Conference: 13-17 July 2015 Work-in-progress and Doctoral Programme submissions: Submission deadline: (Doctoral: Abstract+CV) 4 May 2015 Notification of acceptance: 25 May 2015 Camera ready copies due: 1 June 2015 More detailed information, e.g. on submission via EasyChair, can be found on http://cicm-conference.org/2015/cicm.php -- Serge Autexier, serge.autexier at dfki.de, http://www.dfki.de/~serge/ DFKI Bremen, Cyber-Physical Systems MZH, Room 3120 Phone: +49 421 218 59834 Bibliothekstr.1, D-28359 Bremen Fax: +49 421 218 98 59834 ---------------------------------------------------------------------- Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH principal office, *not* the address for mail etc.!!!: Trippstadter Str. 122, D-67663 Kaiserslautern management board: Prof. Wolfgang Wahlster (chair), Dr. Walter Olthoff supervisory board: Prof. Hans A. Aukes (chair) Amtsgericht Kaiserslautern, HRB 2313 ---------------------------------------------------------------------- From yassin.chkouri at gmail.com Wed Nov 12 01:00:28 2014 From: yassin.chkouri at gmail.com (Mohamed Yassin Chkouri) Date: Wed, 12 Nov 2014 00:00:28 +0000 Subject: =?UTF-8?Q?Workshop_SESA=E2=80=992014_=3A_Call_For_Papers_=2D_Paper_submi?= =?UTF-8?Q?ssion_deadline_=2D_15_November_2014?= Message-ID: ========================================================================================= *SESA’2014* : Workshop onSoftware Engineering and Systems Architecture. *December 13, 2014 - Tetouan, Morroco* http://sesa2014.uae.ma/ *Description :* To foster academic and industrial research in Morroco in innovative domains, the National School of Tetouan propose a common workshop for professors, researchers and students on the design of models and algorithms for embedded and networked systems. *Global Journal of Engineering Science band Researches*, *GJESR *(ISSN- 2348 – 8034), will publish *the 10 best papers* (extended version) accepted by the SESA’2014 Workshop in a special issues. http://www.gjesr.com/ The workshop aims at highlighting recent results as well as presenting ongoing challenges in the following domains, but are not limited to : - Formal techniques for the construction of software with guaranteed safety; - Methods based on formal techniques for developing software, - Modeling and validating formal requirements, - Specializaiton and extension of modeling techniques and evaluation induced by application domains, - Parallel and distributed algorithmic for networks - Ad-hoc and wireless networks, - Fault-tolerance, attacks and security, - Embedded & Real-time systems, - Cloud and Grid Computing. - Distributed Systems - Natural Language Processing - E-learning - *Invited Speakers :* - Mamoun FILALI AMINE (Université Paul Sabatier , IRIT CNRS Laboratory, Toulouse -France-) - Farid NAIT ABDESSELAM ( Université Paris Descartes, LIPADE Laboratory, Paris -France-) - Ylies Falcon ( Université Joseph Fourrier, LIG Laboratory, Grenoble -France-) *Submissions :* Authors are invited to submit papers in English (4 pages) with double-column, reasonable margins and line spacing. Articles should be submitted through the dedicated Easychairs interface: https://easychair.org/conferences/?conf=sesa2014 Accepted papers must be presented under two forms during the workshop: during a short presentation and during a poster session. *Important Dates :* - Article submission : November 15, 2014 - Notification to authors : November 30, 2014 - Registration deadline : December 1, 2014 - Camera-ready version : December 5, 2014 - SESA 2014 Workshop : December 16, 2014 *Program **Committee** :* - Nora AKNIN, Faculté des Sciences Tetouan - Mohamed Yassin CHKOURI, ENSAT Tetouan - Kamal Eddine EL KADIRI, ENSA Tetouan - Gilles SERASSET, University Joseph Fourier Grenoble, GETALP-LIG Laboratory, France - Olivier HABERT, University of Lorraine, LASC Laboratory - Metz, France - Farid NAIT ABDESSELAM, University Paris Descartes, LIPADE Laboratory - Paris, France - Rachid Ouald Haj Thami, ENSIAS – Rabat - Abdelaziz SDIGUI DOUKKALI, ENSIAS – Rabat - Mamoun FILALI AMINE, University Paul Sabatier, Toulouse - France - Abderrahim TAHIRI, National School of Applied Sciences (ENSA) of Tetouan - Yacine EL YOUNOUSSI, National School of Applied Sciences (ENSA) of Tetouan - Anouar ABTOY, National School of Applied Sciences (ENSA) of Tetouan - Jean-Paul BODEVEIX, Université of Toulouse - France - Geroges Da COSTA , Université of Toulouse - France - Hassan MOUNTASSIR, Institut Femto-ST - UMR CNRS Besançon - Jaber EL BOUHDIDI, National School of Applied Sciences (ENSA) of Tetouan - Mohammed AL ACHHAB, National School of Applied Sciences (ENSA) of Tetouan, - Mohamed CHRAYAH, National School of Applied Sciences (ENSA) of Tetouan - Mohamed LAZAAR, National School of Applied Sciences (ENSA) of Tetouan - Abdelfattah HAMDANI, University of Mohammed V - Rabat Souissi - Abdellah YOUSFI, University of Mohammed V - Rabat Souissi - Habib BENLAHMER, Faculty of Science - BEN M'SIK CASABLANCA - Nourreddine MITTA, Faculty of Science - Kenitra -Morocco- - Mohammad BENBOUBKER , National School of Applied Sciences (ENSA) Best regards, -- Pr. CHKOURI M. Yassin Ecole Nationale des Sciences Appliquées (ENSA) Mhannech II, B.P 2121 Tetouan / Maroc -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From bulling at in.tu-clausthal.de Wed Nov 12 10:09:17 2014 From: bulling at in.tu-clausthal.de (Nils Bulling) Date: Wed, 12 Nov 2014 10:09:17 +0100 Subject: EUMAS 2014: Call for Participation (early reg. deadline Nov. 28) Message-ID: <04AAD174-7B72-4436-97F9-07E1F3CE4562@in.tu-clausthal.de> ++++++++++++++++++++++++++++++++++++++++++++++++++++ ++++++++++++++++++++++++++++++++++++++++++++++++++++ CALL FOR PARTICIPATION (early registration deadline is November 28) EUMAS 2014 12th European Conference on Multi-Agent Systems December 18-19, 2014 Prague, Czech Republic http://agents.fel.cvut.cz/eumas2014/ ++++++++++++++++++++++++++++++++++++++++++++++++++++ ++++++++++++++++++++++++++++++++++++++++++++++++++++ ++++++++++++++++++++++++++++++++++++++++++++++++++++ Deadline for early registration: November 28, 2014 ++++++++++++++++++++++++++++++++++++++++++++++++++++ ++++++++++++++++ ABOUT EUMAS ++++++++++++++++ This 12th European Conference on Multi-Agent Systems 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, can meet, present research results, problems, and issues in an open and informal but academic environment. Following the previous eleven, very successful, editions, the 12th EUMAS will take place in Prague, Czech Republic, on the 18th and 19th of December 2014. ++++++++++++++++ FEATURES of EUMAS 2014 ++++++++++++++++ * 2 KEYNOTE TALKS (sponsored by ECCAI, www.eccai.org): - Verifiable Autonomy - (how) can you trust your robots? by Prof. Michael Fisher, University of Liverpool, UK - Agreement Computing by Prof. Carles Sierra, IIIA-CSIC, Spain * Low registration fee: early registration fee of 120 EUR includes lunches and the social dinner * High scientific visibility: Proceedings as Springer LNCS/LNAI volume, Special issue of the Journal Annals of Mathematics and Artificial Intelligence (Springer) planned Detailed information regarding EUMAS, its topics of interest and the list of accepted papers is available at http://agents.fel.cvut.cz/eumas2014/ The deadline for early registration is November 28. Instructions on how to register are available at: http://agents.fel.cvut.cz/eumas2014/registration_and_venue.html +++++++++++++++++++ CONTACT & QUESTIONS +++++++++++++++++++ In case of questions about the program please do not hesitate to contact us. For questions related to * the organization, venue registration contact: Jiří Vokřínek or Michal Jakob (Eumas2014 at agents.fel.cvut.cz) * the program please contact: Nils Bulling (eumas2014 at easychair.org) +++++++++++++++++++ ORGANIZATION +++++++++++++++++++ ** PC 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 ** Thomas Ågotnes, University of Bergen Natasha Alechina, University of Nottingham Fred Amblard, IRIT - University Toulouse 1 Capitole Leila Amgoud, IRIT - CNRS Luis Antunes, Universidade de Lisboa Katie Atkinson, University of Liverpool Bernhard Bauer, Uni Augsburg Ana L. C. Bazzan, Universidade Federal do Rio Grande do Sul Elizabeth Black, King's College London Olivier Boissier, ENS Mines Saint-Etienne Elise Bonzon, LIPADE - Université Paris Descartes Dídac Busquets, Imperial College London Cristiano Castelfranchi, Institute of Cognitive Sciences and Technologies, CNR Amit Chopra, Lancaster University Massimo Cossentino, ICAR-CNR 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 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 Anthony Hunter, University College London Wojtek Jamroga, University of Luxembourg Tomas Klos, Delft University of Technology Franziska Klügl, Örebro University Joao Leite, Universidade NOVA de Lisboa Brian Logan, University of Nottingham Alessio Lomuscio, Imperial College London Dominique Longin, IRIT-CNRS Emiliano Lorini, IRIT Nicolas Maudet, University Pierre et Marie Curie Aniello Murano, Universita degli Studi di Napoli Federico II Felipe Meneguzzi, Pontifical Catholic University of Rio Grande do Sul John-Jules Meyer, Utrecht University Frederic Moisan, Carnegie Mellon University Pavlos Moraitis, Paris Descartes University Jörg P. Müller, TU Clausthal Pablo Noriega, IIIA-CSIC Emma Norling, Manchester Metropolitan University Peter Novák, Delft University of Technology Ingrid Nunes, UFRGS Andrea Omicini, Alma Mater Studiorum–Università di Bologna Nir Oren, University of Aberdeen Sascha Ossowski, University Rey Juan Carlos Julian Padget, University of Bath Wojciech Penczek, ICS PAS and Siedlce University Enrico Pontelli, New Mexico State University Henry Prakken, University of Utrecht & University of Groningen 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 Marija Slavkovik, University of Bergen Michael Sonnenschein, University of Oldenburg Matthias Thimm, Universität Koblenz-Landau Ingo J. Timm, University of Trier Paolo Torroni, University of Bologna Nicolas Troquard, Laboratory for Applied Ontology Luca Tummolini, ISTC-CNR Paolo Turrini, Imperial College London Karl Tuyls, University of Liverpool Wiebe Van Der Hoek, University of Liverpool Leon van der Torre, University of Luxembourg Wamberto Vasconcelos, Department of Computing Science, University of Aberdeen Laurent Vercouter, LITIS lab, INSA de Rouen Serena Villata, INRIA Sophia Antipolis Danny Weyns, Linnaeus University Cees Witteveen, Delft University of Technology Neil Yorke-Smith, American University of Beirut -- Dr. Nils Bulling Clausthal University of Technology, Germany http://www.nilsbulling.com phone: +49 5323 72 7182 From announce at cs.ucy.ac.cy Sat Nov 15 12:32:33 2014 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 15 Nov 2014 13:32:33 +0200 Subject: WETICE 2015: Last Call for Track Proposals Message-ID: *** LAST CALL FOR TRACK PROPOSALS *** 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2015) 15-18 June 2015, Golden Bay Beach Hotel, Larnaca, Cyprus http://www.cyprusconferences.org/wetice2015/ DEADLINE: 21st November 2014 The IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) is an international forum for the state-of -the-art research in enabling technologies for collaboration, consisting of a number of related conference tracks. The conference proceedings are published by IEEE Computer Society and are also available online through the IEEE's Xplore digital library. The proceedings will be submitted for indexing through INSPEC, Scopus, Compendex, Thomson Reuters, DBLP, Google Scholar and EI Index. WETICE is based on a flexible structure of self-contained and self-managed tracks. Over the past years WETICE hosted tracks on a variety of topics such as adaptive computing, collaborative software processes, collaborative modeling & simulation, service-oriented architectures and cloud computing, autonomic green computing, collaborative verification and validation of systems and services, dynamic network management, collaboration tools for cultural heritage and collaborative web knowledge. The 24th WETICE edition will be held on June 15-18, 2015 in Larnaca, Cyprus. The conference organizing committee solicits proposals for organizing and hosting tracks. Prospective track chairs should submit a proposal for organizing a track, which should include at least the following items: 1) The title and the acronym for the proposed track with a description of objectives, covered topics and the motivation for having such a track in WETICE. The motivation should compare the proposed event to any related ongoing tracks and why the proposed track differs from them or complements them. 2) A short description of the activities the track chair(s) will plan to undertake upon acceptance of the proposal, to disseminate the call-for-papers for the track through, e.g, track web site, mailing lists, social networks, selected contacts, etc. The track proposers should also indicate the potential audience by estimating the number of people who are supposed to participate to WETICE and attend the track. 3) A short CV of the prospective track chair(s) with reference to research interests and publication record directly related to the themes of the proposed track, and any previous experience of involvement in the organization of similar events. A link to a personal web page with additional information would be helpful. 4) A list of potential program committee members for the proposed track, with name and affiliation of each member and (when available) a link to relevant personal web pages. All proposals will be reviewed by the WETICE Steering Committee using the criteria described above. The Committee reserves the right to accept a proposal as is, require modifications, recommend merging with tracks that covers similar topics or reject a proposal. Upon acceptance of a proposal, the track chairs will be notified of their responsibilities in managing their track, according to what defined by both IEEE and WETICE conference rules. The Committee reserves the rights to cancel a track at any time if these responsibilities are not addressed adequately by the track chair(s). Please submit your track proposal as a PDF email attachment to the WETICE Program Chairs, Andrea D'Ambrogio (dambro at uniroma2.it) and Khalil Drira (khalil at laas.fr). The deadline for submitting track proposals is November 21st, 2014. The notification of the decision taken by the Steering Committee will be sent to the chairs of the proposed track before or on December 15th, 2014. Please contact the Program Chairs for any additional information or request. Andrea D'Ambrogio (dambro at uniroma2.it) Khalil Drira (khalil at laas.fr) WETICE 2015 Program Chairs -------------------------------------------------------------------- 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 Nov 15 19:22:16 2014 From: grlmc at urv.cat (GRLMC) Date: Sat, 15 Nov 2014 19:22:16 +0100 Subject: BigDat 2015: registration deadline 23 November Message-ID: <83B8658DA20144ABBDF7D6AB5D38E93C@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/ ***************************************************** --- 6th registration deadline: November 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 4 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: Ian Foster (Argonne National Laboratory), Taming Big Data: Accelerating Discovery via Outsourcing and Automation Geoffrey C. Fox (Indiana University, Bloomington), Mapping Big Data Applications to Clouds and HPC C. Lee Giles (Pennsylvania State University, University Park), Scholarly Big Data: Information Extraction and Data Mining William D. Gropp (University of Illinois, Urbana-Champaign), tba COURSES AND PROFESSORS: Hendrik Blockeel (KU 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), [introductory/advanced] Big Data Analytics: Architectures, Algorithms, and Applications 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), [intermediate] Using Software Defined Systems to Address Big Data Problems 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 Manish Parashar (Rutgers University, Piscataway), [intermediate] Big Data Challenges in Simulation-based Science Srinivasan Parthasarathy (Ohio State University, Columbus), [intermediate] Scalable Data Analysis Evaggelia Pitoura (University of Ioannina), [introductory/intermediate] Online Social Networks 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 (KU 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 are available on the webpage. 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 Sun Nov 16 12:41:35 2014 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 16 Nov 2014 13:41:35 +0200 Subject: CONTEXT 2015: Preliminary Call for Papers and Call for Workshop Proposals Message-ID: <8C7MYLZV-F66F-RGPK-7ONX-I2RK0JWVMH@cs.ucy.ac.cy> *** Preliminary Call for Papers and Call for Workshop Proposals *** The 9th International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT 2015) 2-6 November 2015, Golden Bay Beach Hotel, Larnaca, Cyprus http://cyprusconferences.org/context2015 The CONTEXT conferences are the world's prime forum for presentation and exchange of insights and cutting-edge results from the wide range of disciplines concerned with context. The main theme of CONTEXT 2015 is "Back to the roots", focusing on the importance of interdisciplinary cooperations and studies of the phenomenon. Context, context modeling and context comprehension are central topics in linguistics, philosophy, sociology, artificial intelligence, computer science, art, law, organizational sciences, cognitive science, psychology, etc. and are also essential for the effectiveness of modern, complex and distributed software systems. CONTEXT 2015 invites high-quality contributions from researchers and practitioners in foundational studies, applications and evaluations of modeling and use of context in all relevant fields. Areas of interest include, but are not limited to, the role of context seen from different perspectives in: · Agent-based architectures · Ambient intelligence · Cognition and perception by humans and artifacts · Context-aware and situated systems · Context modeling tools · Communication and dialogue · Data analysis and visualization · Decision making · Discourse comprehension and representation · Engineering, e.g., in transport networks, industrial plants etc. · Experimental philosophy and experimental pragmatics · (Formal) models of context · Human-computer interaction · Knowledge representation · Language acquisition and processing · Learning, knowledge management and sharing · Logic and reasoning · Machine learning · Ontology/ies · Semantics and Pragmatics · Smart and interactive spaces · Understanding art, images, music and theatre Proceedings Accepted papers and poster abstracts will be published in a volume of the Springer LNAI series. Submission format Submissions may be either full papers of up to 14 pages (in Springer LNCS format) or poster abstracts of 4-6 pages. Full papers may be accepted as such with oral presentation, or their authors may be invited to prepare a poster abstract. Detailed formatting and submissions instructions will be provided. Conference events CONTEXT 2015 will include paper presentation sessions, a poster and demonstration session, two days of workshops, and a doctoral consortium as well as keynote talks and a panel discussion. Workshops and the doctoral consortium will circulate separate calls for papers and participation, which will also be available at the conference web site. All accepted authors will have the option of presenting a system demonstration at the poster session. Important dates Full papers and posters: · Submission deadline: June 1, 2015 · Notification: July 13, 2015 · Final version: August 17, 2015 Workshops CONTEXT 2015 workshops will provide a platform for presenting novel and emerging ideas in the use and the modelling of context in a less formal and possibly more focused way than the conference itself. The format of each workshop is to be determined by the organisers, but it is expected that workshops will contain ample time for general discussion and engagement by all participants - not just those presenting papers. Workshops that foster collaboration, discussion, group problem-solving and community-building initiatives are particularly encouraged. Researchers and practitioners from all relevant fields are invited to submit proposals for review. Proposals for workshops should contain: 1. A title and brief (2-page max) description of the workshop topic and content. 2. The desired workshop length (one day, two days or a half day) and an estimate of the number of attendees. 3. The names, postal addresses, phone numbers, and email addresses of the organisers, with one-paragraph statements of their research interests and areas of expertise. 4. A list of potential members of the program committee, with an indication of which members have already signed up. 5. A description of any shared tasks associated with the workshop. 6. A description of special requirements for technical needs. 7. An indication of whether posters are likely to be included in the workshop program. Please submit proposals in plain text in the body of an email to the workshop organiser Samia Oussena (samia.oussena at uwl.ac.uk) no later than March 20, 2015. Notification of acceptance of workshop proposals will occur no later than April 1, 2015. Organisers of accepted workshops will be responsible for publicising and running the workshop, including reviewing submissions and producing the camera-ready workshop proceedings and a possibly printed version; the conference website may link to online workshop proceedings. It is crucial that organisers commit to all deadlines. Workshop organisers cannot accept for publication papers that will be (or have been) published elsewhere, although they are free to set their own policies on simultaneous submission and review. At least one organiser of an accepted workshop is expected attend and lead the workshop; any participant and speaker must register for the conference. The CONTEXT 2015 organisers will set the workshop fees, provide rooms, equipment, technical support, coffee and lunch breaks. Workshop timeline · Submission of proposals: March 20, 2015 · Notification: April 1, 2015 · Submission deadline, workshop papers: August 1, 2015 · Notification for workshop papers: September 1, 2015 · Final version of workshop papers: October 1, 2015 Doctoral Consortium TBA Program Chairs Henning Christiansen, Roskilde University, Denmark Isidora Stojanovic, UPF, Spain & CNRS, France Workshop Chair Samia Oussena, University of West London, UK Local Arrangements Chair George Angelos Papadopoulos, University of Cyprus, Cyprus General Chair Henning Christiansen, Roskilde University, Denmark Chairs of the Community of Context Patrick Blackburn, Roskilde University, Denmark Patrick Brezillon, Université Pierre et Marie Curie, France Henning Christiansen, Roskilde University, Denmark Richard Dapoigny, Université de Savoie, France Thomas R. Roth-Berghofer, University of West London, UK Hedda R. Schmidtke, Carnegie Mellon University, USA Look for updates and more details at: - http://cyprusconferences.org/context2015 - https://www.facebook.com/context.conference -------------------------------------------------------------------- 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 lukasiew at gmail.com Mon Nov 17 01:05:27 2014 From: lukasiew at gmail.com (Thomas Lukasiewicz) Date: Mon, 17 Nov 2014 00:05:27 +0000 Subject: University of Oxford, Department of Computer Science: up to 15 fully funded doctoral studentships Message-ID: <54693BC7.6060507@cs.ox.ac.uk> [Apologies if you receive this more than once.] UP TO 15 FULLY FUNDED DOCTORAL STUDENTSHIPS UNIVERSITY OF OXFORD, DEPARTMENT OF COMPUTER SCIENCE http://www.cs.ox.ac.uk/files/6952/studentshipad.pdf Following a generous donation by Google, the Department of Computer Science at the University of Oxford is delighted to invite applications for up to 15 fully-funded DPhil (Oxford’s PhD) studentships tenable from 1st October 2015. The University of Oxford is consistently ranked amongst the very best Computer Science departments in the world, for both teaching and research. We are committed to attracting the world’s most talented students and working with them to continue the success of the department. The topics for the studentships are open, but should relate to the interests of one of the Department’s research areas: Algorithms, Artificial Intelligence, Automated Verification, Computational Biology, Foundations, Logic & Structures, Information Systems, Machine Learning, Multi-Agent Systems, Programming Languages, Security, Semantics and Software Engineering. We also encourage applications in cross disciplinary areas such as Linguistics, Biology, Medicine and Quantum Foundations & Quantum Computation. The studentships are for three years and are open to students of any nationality. Each studentship will cover university and college fees with a stipend of at least £13,863 per year. Applicants are normally expected to have, or be predicted to achieve, a first-class or a strong upper second-class grade in either (i) a four-year undergraduate degree (with integrated masters) in a relevant subject (or equivalent international qualifications), or (ii) a three-year BSc/BA degree followed by excellent (distinction) performance in a master's degree in a relevant subject. Applicants must obtain the support of a potential supervisor in the Department prior to submitting their application. Initial contact with supervisors should be made at least two weeks prior to the closing date for applications. Informal enquiries may be addressed to Julie.sheppard at cs.ox.ac.uk and for more information please see our webpages: http://www.cs.ox.ac.uk/ Please apply online here quoting 15-STUD-CS-01 in the studentship reference box: https://apply.graduate.ox.ac.uk/urd/sits.urd/run/siw_ipp_lgn.login?process=siw_ipp_app_crs Closing date for applications: 9th January 2015 From C.Orasan at wlv.ac.uk Mon Nov 17 23:02:06 2014 From: C.Orasan at wlv.ac.uk (Orasan, Constantin) Date: Mon, 17 Nov 2014 22:02:06 +0000 Subject: Experienced researcher position in the EXPERT project Message-ID: <034C0B87CC091D46B6CF0FD17E97B38301D2365F35@EXCHMBX10X03.unv.wlv.ac.uk> [apologies for cross-posting] Job Description Pangeanic BI-Europe (www.pangeanic.com) is looking for a post-doctoral researcher (Experienced Researcher - ER) to carry out research work on the implementation and evaluation (including user aspects) of the improved SMT, EBMT and TM prototypes proposed in EXPERT project (http://expert-itn.eu/) and particularly, how these can be applied to its PangeaMT platform. The ER will complement the work of a group of ESRs (Early Stage Researcher - ESR) with humanities background in the implementation and evaluation (including user aspects) of the improved prototypes proposed in EXPERT. The contract offered has a duration of 18 months. Objectives * Improved and fully functional hybrid MT models that make use of TM matching and retrieval techniques investigated in EXPERT project. * Comprehensive analysis of the suitability of these approaches in industrial application scenarios. * User-centred evaluation of improved hybrid prototypes. * Illustrate the benefits brought by the EXPERT technologies in real life scenarios. To reach these objectives, the following tasks and methodology should be taken into account: * Implement hybrid MT models relying on TM, SMT, RBMT and other tools, and resolve practical challenges. * Evaluate the suitability of these approaches in industrial application scenarios and with professional translators. * Measure the improvement in performance provided by EXPERT technologies over baseline models. * 1-month stay to the University of Saarland to study the prototypes for improved individual translation tools and the ideal infrastructure for translation proposed in EXPERT and interact with one of the ESRs. * 1-month stay to Dublin City University (DCU) to study the prototypes for improved individual translation tools and the ideal infrastructure for translation proposed in EXPERT and interact with one of the ESRs. * 1-month stay at iTrad, an Argentinean translation company to evaluate the prototypes developed together with one of the ERs. Expected results * Improved Hybrid prototypes. * Final evaluation of these prototypes. * Scientific papers: A minimum of two scientific papers to be published at major conferences and/or relevant journals. * Comparative evaluation showing the improvement brought by EXPERT technologies over other existing systems. * Analysis of their suitability in industrial application scenarios. * Demonstration of prototypes to the community in the project Business Showcase. * Contribution to a training course held as part of the project Business Showcase event, and to hands-on training for the use of the new tools developed in EXPERT project, as well as on general post-editing of automatic translation. Requirements We are looking for an open-minded person that loves programming and is focused on quality and performance: * Master or doctorate in IT, computer engineering or mathematics with a strong interest in NLP and willing to help the translation industry. * World-class programming skills. * In-depth knowledge of the state-of-the-art algorithms and methods related to data retrieving, data mining and string manipulation. * Knowledge of MT systems, preferably SMT and RBMT. * Knowledge of machine learning and typical NLP languages, such as Python and/or Perl. * Knowledge of translation memory systems and matching & retrieval algorithms and segmentation. * Knowledge of Linux-based server environment. * Availability to work in an international environment. * Good relationship and communication skills. All suitably qualified candidates irrespective of gender or nationality are welcome to apply as long as the following conditions are fulfilled: * Applicants should be in possession of a doctoral degree (preferably) or have at least four years of full-time equivalent research experience. At the time of recruitment, the applicant should have less than five years of full-time equivalent research experience (including the duration of the PhD). * Applicants should have good knowledge of English, both written and oral, in order to be able to submit reports in English. * Applicants should (preferably) have basic command of the Spanish language. * Applicants should not have resided or performed their main activity in Spain for more than 12 months in the 3-year period immediately prior to the start date. Candidates of Spanish nationality should not have resided or performed their main activity in Spain for more than 12 months in the 5-year period immediately prior to the start date. The fellowship will be available from 1st February 2015 on, and the position can be filled anytime from that date on (at the latest 31st March 2015). Further information Annual salary: 57,154 Euros (Marie Curie rates will apply). Monthly mobility allowance: 683.90 Euros for ER without a family, or 977 Euros for ER with a family (Marie Curie rates will apply). How to apply: send an e-mail to m.herranz at pangeanic.com, specifying on the subject line EXPERT project ER 2015. Closing date: 31st December 2014 Project overview The position is part of the project EXPERT (EXPloiting Empirical appRoaches to Translation), a Marie Curie Initial Training Network (ITN), which aims to train young researchers, namely Early Stage Researchers (ESRs) and Experienced Researchers (ERs), to promote the research, development and use of hybrid language translation technologies. More information on the project and its objectives can be found at the following URL: http://expert-itn.eu/?q=node/3 Company overview Pangeanic is an innovation-driven, private machine translation (MT), software translation, post-editing and localization company which falls within the small and medium enterprise (SME) category. It provides cutting-edge MT services ranging from customized machine-translation developments, translation of Big Data, online translation of customer reviews and background MT for gisting, to machine-translation systems built for in-house use where data privacy is paramount, e.g. sensitive material, intelligence, etc. The company also offers multilingual processing technology consultancy and training. Pangeanic has a team of 8 translation consultants and development experts with long experience in the R&D of multilingual, automated, translation technologies, language development and its deployment in production environments, as well as 2 senior software developers focusing on scalable, web-service based machine translation architectures, user interfaces and deployment experiences. --- Dr. Constantin Orasan, PhD Reader in Computational Linguistics Coordinator of EXPERT project Research Group in Computational Linguistics http://www.wlv.ac.uk/~in6093/ University of Wolverhampton, UK -- Scanned by iCritical. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From C.Orasan at wlv.ac.uk Tue Nov 18 00:17:57 2014 From: C.Orasan at wlv.ac.uk (Orasan, Constantin) Date: Mon, 17 Nov 2014 23:17:57 +0000 Subject: Experienced Researcher position in the EXPERT project at Hermes Message-ID: <034C0B87CC091D46B6CF0FD17E97B38301D2365FC7@EXCHMBX10X03.unv.wlv.ac.uk> [apologies for cross-posting] Job Description Hermes Traducciones (www.hermestrans.com) is looking for a post-doctoral researcher (Experienced Researcher - ER) to investigate on the implementation and evaluation (including user aspects) of the improved SMT, EBMT and TM prototypes proposed in EXPERT project (http://expert-itn.eu). The ER will complement the work of a group of ESRs (Early Stage Researcher - ESR) with humanities background in the implementation and evaluation (including user aspects) of the improved SMT, EBMT and TM prototypes proposed in EXPERT. The contract offered has a duration of 18 months. Objectives ● Improved and fully functional corpus-based MT models including TM, SMT and EBMT that make use of the matching and retrieval techniques investigated in EXPERT project. ● Comprehensive analysis of the suitability of these approaches in industrial application scenarios. ● User-centred evaluation of improved SMT, EBMT and TM prototypes. ● Illustrate the benefits brought by the EXPERT technologies in real life scenarios. To reach these objectives, the following tasks and methodology should be taken into account: ● Implement the corpus-based MT models relying on TM, SMT, EBMT, and resolve practical challenges. ● Incorporate the NLP-modules for improved matching and retrieval techniques developed by two ESRs of the project. ● Evaluate the suitability of these approaches in industrial application scenarios and with professional translators. ● Measure the improvement in performance provided by EXPERT technologies over baseline TM, SMT and EBMT models. ● 2-month visit to University of Dublin City to study the prototypes for improved individual translation tools and the ideal infrastructure for translation proposed in EXPERT and interact with one of the ESRs. ● 1-month visit to another translation company to evaluate the prototypes developed together with one of the ERs. Results ● Improved SMT, EBMT and TM prototypes. ● Final evaluation of these prototypes. ● Scientific papers: A minimum of two scientific papers will be published at major conferences and/or relevant journals. ● Comparative evaluation showing the improvement brought by EXPERT technologies over other existing systems. ● Analysis of their suitability in industrial application scenarios. ● Demonstration of prototypes to the community in the project Business Showcase. ● Contribution to a training course held as part of the project Business Showcase event, and to hands-on training for the use of the new tools developed in EXPERT project, as well as on general post-editing of automatic translation. Requirements We are looking for an open-minded person that loves programming and is focused on quality and performance. ● Master or doctorate in IT, computer engineering or mathematics. ● World-class programming skills. ● In-depth knowledge of the state-of-the-art algorithms and methods related to data retrieving, data mining and string manipulation. ● Knowledge of MT systems, preferably SMT and EBMT. ● Knowledge of machine learning and typical NLP languages, such as Python and/or Perl. ● Knowledge of translation memory systems and matching & retrieval algorithms and segmentation. ● Knowledge of Linux-based server environment. ● Availability to work in an international environment. ● Good relationship and communication skills. All suitably qualified candidates irrespective of gender or nationality are welcome to apply as long as the following conditions are fulfilled: ● Applicants should be in possession of a doctoral degree (preferably) or have at least four years of full-time equivalent research experience. At the time of recruitment, the applicant should have less than five years of full-time equivalent research experience (including the duration of the PhD). ● Applicants should have good knowledge of English, both written and oral, in order to be able to submit reports in English. ● Applicants should (preferably) have basic command of Spanish language. ● Applicants should not have resided or performed their main activity in Spain for more than 12 months in the 3-year period immediately prior to the start date. Candidates of Spanish nationality should not have resided or performed their main activity in Spain for more than 12 months in the 5-year period immediately prior to the start date. The fellowship will be available from 1st February 2015 on, and the position can be filled anytime from that date on (at the latest 31st March 2015). Further information Annual salary: 57,154 Euros (Marie Curie rates will apply). Monthly mobility allowance: 683.90 Euros for ER without a family, or 977 Euros for ER with a family (Marie Curie rates will apply). How to apply: send an e-mail to juanjo.arevalillo at hermestrans.com, specifying on the subject line EXPERT project ER 2015. Closing date: 31st December 2014 Project overview The position is part of the project EXPERT (EXPloiting Empirical appRoaches to Translation), a Marie Curie Initial Training Network (ITN), which aims to train young researchers, namely Early Stage Researchers (ESRs) and Experienced Researchers (ERs), to promote the research, development and use of hybrid language translation technologies. More information on the project and its objectives can be found at the following URL: http://expert-itn.eu/?q=node/3 Company overview Hermes Traducciones and Servicios Lingüísticos, SL is a Spanish privately-owned company founded in 1991 and specializing in translation and localization. Our company counts on a solid reputation in translation industry and we are ranked in 153th position in the world’s industry listing according to Common Sense Advisory’s The Language Services Market – 2013 report. In this report we are at 15th position in Southern Europe companies, and in 9th position in Spain. Our solid position in the industry relies on different approaches and characteristics which differentiate our company from others in this industry, namely: ● We are double-certified to European Quality Standard for Translation Services EN‑15038 and ISO‑9011. ● We use a proprietary performance control system (SGR), which in combination with our Plunet-based translation management system allows us to check more than 150 process indicators and metrics to analyze any aspect of our company’s performance. ● We are the only Spanish company having Fundéu’s language quality certification thanks to the quality of our website in Spanish. Fundéu is a foundation which aims at improving the use of Spanish in the media. ● We are the only Spanish company which co-operates with Fundéu and Royal Spanish Academy of Language through their own foundations. ● We base our production on our in-house teams: 70% of our production in Spanish is done by our employees. ● We have been a company implementing state-of-the-art technology applied to translation since the very beginning, and always listening to any advances in the deployment of the last technologies and programs. ● We participate in many research activities in connection with Spanish universities and in European Union-funded projects in the field of translation and training, such as Optimale, TransCert, Expert or Agorà. ● We keep a continuous training plan for our employees according to their improvement needs, which allows us to gradually develop professional careers from trainees to project managers always in‑house. ● We keep a program of internships with different universities so that the new graduates in Translation can learn real-life activities and tasks of translation working in house. Even some of our employees give regular lectures in academic graduation and post-graduation studies. In fact, we are a reference in Spanish academic translation community. Our Managing Director is the academic director of a 300-hour post-graduation course on localization, applied technology and audio-visual translation in Alfonso X University (Madrid). ● We are members of Spanish Technical Committee for Translation Services at AENOR (the Spanish standardization body), working on all the translation-related quality standards done or under development. Our Managing Director is the Chairman of this Committee. --- Dr. Constantin Orasan, PhD Reader in Computational Linguistics Coordinator of the EXPERT project Research Group in Computational Linguistics http://www.wlv.ac.uk/~in6093/ University of Wolverhampton, UK -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From announce at cs.ucy.ac.cy Wed Nov 19 17:48:30 2014 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Wed, 19 Nov 2014 18:48:30 +0200 Subject: WIMS 2015: Call for Tutorials, Demos and Workshops Message-ID: *** Call for Tutorials, Demos and Workshops *** 5th International Conference on Web Intelligence, Mining and Semantics WIMS 2015 July 13-15, 2015, St. Raphael Resort, Limassol, Cyprus http://cyprusconferences.org/wims2015/ The 5th International Conference on Web Intelligence, Mining and Semantics (WIMS 2015) organization committee invites proposals for tutorials, demonstrations (on new applications) and workshops providing in-depth background on subjects that are of broad interest to the Web Mining and Web Semantics community. The overall purpose of tutorials and workshops is to provide participants with the opportunity to present and discuss novel research ideas in areas of Web intelligence, Web mining and Web semantics, with a particular emphasis on the fundamental interaction between these vibrant fields of research and development. The purpose of demonstrations is to provide developers with a place to showcase new practical and innovative implementations of state-of-the-art systems in the areas of interest to the Web Intelligence and Semantics community. Tutorials and workshops provide a forum for an intensive and focused scientific exchange amongst researchers and practitioners interested in a particular topic and a meeting venue for the community. Organizers may structure tutorials/workshops as they see fit, possibly including invited talks, panel discussions, presentations of work in progress, peer-reviewed papers, demonstrations or some combination. A tutorial/workshop could be scheduled for a half a day or a full day, depending on potential interest and organizers preference. The proposals should address topics that satisfy the following criteria: * The topic falls in the general scope of WIMS 2015 (http://Cyprusconferences.org/wims2015). * There is a clear focus on a specific theme, technology, problem, or application. * There is a sufficiently large audience interested in the topic. The organizers of successful workshops will be responsible for their own reviewing process, website, arranging invited speakers and coordinate the collection and delivery of camera ready material. There is an opportunity for papers accepted in workshops to be published in the WIMS 2015 proceedings and disseminated through the ACM Digital Library, provided they follow the ACM submission guidelines and template and adhere to camera-ready submission and registration deadlines as those set for the main conference. Selected extended papers will be invited to appear in a special issue of a reputed journal in the field. Important Dates 15.12.2014 Submission of proposals 12.01.2015 Notification of acceptance Proposal Details A proposal should be not more than 4 pages in length and should be in PDF format. It should contain the following information: * A title of the tutorial/demonstration/workshop * Name, affiliation, postal address and email of contact person * Names and affiliations of organisers * A 150 word abstract * Aims and scope * Important dates (for tutorials/workshops) * Description of the proposed tutorial/workshop * Estimated duration of the tutorial/workshop (half day, full day, etc.) Proposals should be submitted via email to the tutorial and workshop chairs. Submission Procedure - EasyChair Submissions should be made electronically in PDF format via the electronic submission system of the WIMS 2015 Conference Management system at: https://www.easychair.org/conferences/?conf=wims15 If you do not have an EasyChair account, then register and once you get the log-in information by mail, log into the system as an author. Enter all the required data about your submission and finally upload your contributed paper in PDF format. WIMS 2015 Tutorial and Workshop Chairs Monika Solanki, Aston University, United Kingdom Freddy Lecue, IBM Research, Ireland -------------------------------------------------------------------- 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 cie at maths.leeds.ac.uk Thu Nov 20 08:53:44 2014 From: cie at maths.leeds.ac.uk (CIE (S B Cooper)) Date: Thu, 20 Nov 2014 07:53:44 GMT Subject: Final Call - 12th Annual Conference on Theory and Applications of Models of Computation (TAMC 2015), Singapore 18-20 May, 2015 Message-ID: <201411200753.sAK7rio2020178@maths.leeds.ac.uk> Final Call for Papers for the 12th Annual Conference on Theory and Applications of Models of Computation (TAMC 2015) 18 - 20 May 2015 (Submission Deadline 27 November 2014) Deadline 27 November 2014 School of Computing, National University of Singapore TAMC 2015 aims at bringing together a wide range of researchers with interests in computational theory and applications. For more than 10 years, the conference series "Theory and Applications of Models of Computing" has fostered interactions and collaborations between both theoretical and applied researchers working on all aspects of computations and the ways to model it. Invited Speakers: Lance Fortnow (Georgia Institute of Technology), Miklos Santha (CNRS, Univ. Paris Diderot and CQT, Nat. Univ. of Singapore), Alexandra Shlapentokh (East Carolina University). Conference Chair: Sanjay Jain. Programme Committee Chairs: Rahul Jain and Frank Stephan. Programme Committee: Ajith Abraham, Anthony Bonato, Yijia Chen, Rodney G. Downey, Henning Fernau, Dimitris Fotakis, Gopal T V, Steffen Lempp, Jiamou Liu, Frederic Magniez, Klaus Meer, Mia Minnes, Philippe Moser, Mitsunori Ogihara, Yota Otachi, Yicheng Pan, Pan Peng, Anil Seth, Xiaoming Sun, Chaitanya Swamy, Hongan Wang, Wei Wang, Guohua Wu, Yitong Yin, Mingsheng Ying, Neal Young, Thomas Zeugmann, Shengyu Zhang, Conghua Zhou. Timeline: Submission due: Thu 27 November 2014 at 23:59 hrs GMT. Notification: Tue 20 January 2015. Final Version due: Tue 3 February 2015. Conference: Mon 18 - Wed 20 May 2015 Proceedings: The proceedings of TAMC 2015 will appear in the Springer LNCS series. Submissions should be 12 pages in llncs-format. For details on submissions and other aspects, please consult the TAMC 2015 homepage at http://www.comp.nus.edu.sg/~fstephan/tamc2015/tamc2015.html Topics: TAMC 2015 is open for all topics relating to the theory and applications of models of computation. The topics include algebraic computation, algorithmic coding and number theory, algorithmic learning theory, approximation algorithms, automata theory, circuit complexity, communication complexity, complex networks and their theory, combinatorial algorithms, computability and recursion theory, computational biology, computational complexity, computational geometry, continuous and real computation, cryptography, data structures, design and analysis of algorithms, distributed algorithms, domain models, fixed parameter tractability, formal languages, game theory, geometric algorithms, grammatical inference, graph algorithms, graph mining, information theory, internet mathematics, memory hierarchy tradeoffs, model theory for computing, natural computing, network algorithms, network security and applications, online algorithms, optimisation, parallel algorithms, philosophy of computing, privacy and security, property testing, proof complexity, process models, quantum computation, randomness, randomised algorithms, space-time tradeoffs, streaming algorithms, systems theory, VLSI models of computation. TAMC in previous years: The conference series TAMC started in the year 2004 and has been held annually since then. The previous conferences are the following: Beijing China 2004, Kunming China 2005, Beijing China 2006, Shanghai China 2007, Xian China 2008, Changsha China 2009, Prague Czech Republic 2010, Tokyo Japan 2011, Beijing China 2012, Hong Kong China 2013, Chennai India 2014. From geoff at cs.miami.edu Fri Nov 21 23:21:22 2014 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Fri, 21 Nov 2014 17:21:22 -0500 (EST) Subject: CFP for the 9th TESTS AND PROOFS (TAP 2015) Message-ID: <20141121222122.31C4912153E@mcclellan.cs.miami.edu> **************************************************** * * 9th International Conference * on * TESTS AND PROOFS (TAP 2015) * * http://tap2015.in.tum.de/ * * Part of STAF 2015, L'Aquila, Italy, July 20-24, 2015 * * http://www.disim.univaq.it/staf2015/ * **************************************************** * * Call for Papers * * Abstract submission: February 13, 2015 * Paper submission: February 20, 2015 * **************************************************** Scope ===== The TAP conference is devoted to the synergy of proofs and tests, to the application of techniques from both sides and their combination for the advancement of software quality. Testing and proving seem to be orthogonal techniques: Once a program has been proven to be correct then additional testing seems pointless; however, when such a proof in not feasible, then testing the program seems to be the only option. This view has dominated the research community for a long time, and has resulted in distinct communities pursuing the different research areas. The development of both approaches has led to the discovery of common issues and to the realization of potential synergy. Perhaps the use of model checking in testing was one of the first signs that a counterexample to a proof may be interpreted as a test case. Recent breakthroughs in deductive techniques such as satisfiability modulo theories, abstract interpretation, and interactive theorem proving have paved the way for new and practically effective methods of powering testing techniques. Moreover, since formal, proof-based verification is costly, testing invariants and background theories can be helpful to detect errors early and to improve cost effectiveness. Summing up, in the past few years an increasing number of research efforts have encountered the need for combining proofs and tests, dropping earlier dogmatic views of incompatibility and taking instead the best of what each of these software engineering domains has to offer. The TAP conference aims to bring together researchers and practitioners working in the converging fields of testing and proving by offering a generous forum for the presentation of ongoing research, for tutorials on established technologies and for informal discussions. Topics of Interest ================== Topics of interest cover theory definitions, tool constructions and experimentations, and include among others: - Bridging the gap between concrete and symbolic techniques, e.g. using proof search in satisfiability modulo theories solvers to enhance various testing techniques - Transfer of concepts from testing to proving (e.g., coverage criteria) and from proving to testing - Program proving with the aid of testing techniques - Verification and testing techniques combining proofs and tests - Generation of test data, oracles, or preambles by deductive techniques such as: theorem proving, model checking, symbolic execution, constraint logic programming - Model-based testing and verification - Generation of specifications by deduction - Automatic bug finding - Debugging of programs combining static and dynamic analysis - Case studies combining tests and proofs - Domain specific applications of testing and proving to new application domains such as validating security protocols, vulnerability detection of programs, security - Testing of verification environments and reasoning engines like solvers and theorem provers - New approaches such as crowd-sourcing and serious games to infer intended semantics and assess correctness - Formal frameworks - Tool descriptions and experience reports Important Dates: ================ Abstract submission: February 13, 2015 Paper submission: February 20, 2015 Notification: April 13, 2015 Camera-ready version: May 3, 2015 STAF conference: July 20-24, 2015 Program Co-Chairs: =============== Jasmin C. Blanchette (TU Muenchen, Inria) Nikolai Kosmatov (CEA LIST) Program Committee: ================== Bernhard K. Aichernig Dirk Beyer Nikolaj Bjorner Jasmin C. Blanchette Achim D. Brucker Koen Claessen Robert Clariso Marco Comini Catherine Dubois Juhan Ernits Gordon Fraser Angelo Gargantini Christoph Gladisch Martin Gogolla Arnaud Gotlieb Reiner Haehnle Bart Jacobs Thierry Jeron Jacques Julliand Gregory Kapfhammer Nikolai Kosmatov Victor Kuliamin Panagiotis Manolios Karl Meinke Alexandre Petrenko Andrew Reynolds Martina Seidl Nikolai Tillmann T.H. Tse Margus Veanes Luca Vigano Burkhart Wolff Fatiha Zaidi Submission: =========== Please submit your papers via EasyChair: https://www.easychair.org/conferences/?conf=tap2015 TAP 2015 will accept three kinds of submissions: - Regular research papers: full papers with at most 16 pages in LNCS format (PDF), which have to be original, unpublished and not submitted elsewhere. Research papers should clearly describe the addressed problem, the relevant state-of-the-art, the scientifically-founded solution, and the benefits of the presented approach. - Short contributions: work in progress, (industrial) experience reports or tool demonstrations, position statements; an extended abstract with at most 6 pages in LNCS format (PDF) is expected. The same evaluation criteria apply to short papers as to regular research papers. Short papers will be reviewed to the same standards of quality as regular research papers. - Tutorial proposals: TAP 2015 further invites one-hour tutorial presentations surveying the state-of-the-art of any research field related to the topics of TAP. Tutorial proposals shall have a maximum length of 3 pages in LNCS format (PDF) and provide information about the content, a short outline, information about the speakers and previous related tutorials given by the speakers (if any). Accepted full and short papers will be published in the Springer LNCS series and will be available at the conference. Accepted tutorials will be assigned a slot of 60 minutes during the conference. The content of last year's proceedings is available at http://www.informatik.uni-trier.de/~ley/db/conf/tap/tap2014.html From announce at cs.ucy.ac.cy Sat Nov 22 14:01:22 2014 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 22 Nov 2014 15:01:22 +0200 Subject: ISPDC 2015: First Call for Papers Message-ID: <66DPUFOM-ELHC-IMIX-FM11-LFFKMGVWNU13@cs.ucy.ac.cy> *** First Call for Papers *** The 14th International Symposium on Parallel and Distributed Computing (ISPDC 2015) 29 June - 2 July, 2015, St. Raphael Resort 5*, Limassol, Cyprus http://www.cyprusconferences.org/ispdc2015/ Following very successful previous editions since 2002, the 14th ISPDC conference will be hosted in Limassol, a beautiful coastal Mediterranean city on the south coast of Cyprus. The conference will be devoted to a highly selective program with papers describing original and unpublished research advancing the state of the art in the field of Parallel and Distributed Computing paradigms and applications. The goal is to provide an interactive and friendly, yet professional forum, for original research contributions describing novel ideas, groundbreaking results and/or experiences. We kindly invite you to submit original contributions to ISPDC 2015 on topics including, but not limited to: System Architectures for Parallel and Distributed Computing - Multi-Cores, Virtualization - Clusters and Grid Computing - Methods and Tools for Parallel and Distributed Programming - Embedded, Mobile and Networking Environments - System Architecture and System Software for In-Memory Computing - Innovative System Architecture for Big Data Processing - System Architecture for Graph Computing/Processing - Interconnect Architecture for HPC and Data Centers High Performance Computing and Large Scale Applications - Tools and Environments for Parallel Program Design/Analysis - Scalable Algorithms and Applications - Urban Networks and Applications, Vehicular Networks - Parallel, Distributed and Mobile big-Data Management Parallel Computing and Algorithms - Parallel Programming Paradigms and APIs - GPU Programming - Bio-inspired Parallel Algorithms - Big Data and Graph Analytics - Algorithms, Models and Formal Verification Cloud Computing - Cloud Resource Provisioning and Allocation - Pricing of Cloud Resources - Cloud Performance, and Capacity Management - Green Cloud Computing - Mobile Clouds - Security and Privacy in Clouds - Cloud Computing Techniques for Big Data - Storage Architectures for Clouds and Big Data Processing Distributed and Embedded Computing - Collaborative Computing, P2P Computing - Mobile and Ubiquitous Computing - Web Services and Internet Computing - Distributed Software Components, Multi-agent Systems - Parallel Embedded Systems Programming - Highly Embedded Parallel Systems Support for Programming - FPGA and SoC Solutions Performance Modeling, Management and Optimization - Scheduling and Load Balancing - Performance Modeling, Analysis and Evaluation - Optimisation, Security and Dependability Interactivity - Real-time Distributed and Parallel Systems - Visualisation of Massively Parallel Data - IoT, Social Networks You are invited to submit original papers of up to 10 pages, written in English and compliant with the IEEE standard (8.5"x11", two-column). The IEEE Computer Society Press will publish the proceedings. A best paper award will be presented to paper(s) receiving the highest quality rating from the reviewers and the PC. Key Dates Submission of full papers: 15 January, 2015 Notification of authors: 15 March, 2015 Camera ready papers: 30 March, 2015 Authors and early registration deadline: 6 May, 2015 Symposium dates: 29 June - 2 July, 2015 General Chair George A. Papadopoulos, University of Cyprus, Cyprus Program Committee Co-Chairs Daniel Grosu, Wayne State University, USA Hai Jin, Huazhong University of Science and Technology, China Steering Committee Ioana Banicescu, Mississippi State University, USA Hans-Joachim Bungartz, Technische Universität München, Germany Valentin Cristea, University Politehnica of Bucharest, Romania Bertil Folliot, University of Paris, France Dan Grigoras, University College Cork, Ireland John Morrison, University College Cork, Ireland Traian Muntean, Aix Marseille University, France Dana Petcu, Western Univ. of Timisoara and e-Austria, Timisoara, Romania Marek Tudruj, Polish Acad. of Sciences and PJIIT, Warsaw, Poland Program Committee TBD -------------------------------------------------------------------- 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 guido at di.unito.it Sun Nov 23 19:05:52 2014 From: guido at di.unito.it (Guido Boella) Date: Sun, 23 Nov 2014 19:05:52 +0100 Subject: ERASMUS MUNDUS JOINT DOCTORATE IN LAW, SCIENCE AND TECHNOLOGY (LAST-JD) Ph.D call for applications: deadline February 1st, 2015 http://www.last-jd.eu/ Message-ID: <54722200.1080305@di.unito.it> =================================================================== LAST-JD Ph.D call for applications: deadline February 1st, 2015 http://www.last-jd.eu/ =================================================================== Want to be part of the excellent ERASMUS MUNDUS DOCTORAL Program? Want to earn a joint Ph.D. title awarded by three European universities? Want to join the new interdisciplinary program in Law, Science and Technology? Want to acquire cutting-edge skills with which to compete on a surer footing in the information society? Don’t miss the DEADLINE for APPLYING for the JOINT INTERNATIONAL DOCTORAL DEGREE IN LAW, SCIENCE AND TECHNOLOGY. Find the application form online at http://www.last-jd.eu/?page_id=65 Description =================================================================== LAST-JD Ph.D. Program JOINT INTERNATIONAL DOCTORAL DEGREE IN LAW, SCIENCE AND TECHNOLOGY Online at http://www.last-jd.eu/ =================================================================== The Joint International Doctoral Degree in Law, Science and Technology is an interdisciplinary integrated program designed to address the new legal, socio-ethical, and technical challenges posed by the information society and the newly emerging technologies. The program covers three different research fields with its curricula: * Bioethics and Biolaw, which looks at the legal and ethical issues arising in connection with advances in biology and medicine; * ICT Law, addressing the legal risks and opportunities in ICT; and * Legal Informatics, an area of informatics that takes law as its subject matter, developing techniques with which to manage the legal domain. This program promotes European excellence, innovation, and competitiveness in such critical legal and ethical fields as the regulation of privacy,genomics and biobanks, e-government, e-health and e-commerce, the right of free speech on the Internet and intellectual property rights (IPR) with respect to the new technologies. Moreover, the program furthers the design of new software to support the legal profession, including systems based on the explicit representation of laws and regulations in a computable form, as well as systems for checking compliance with international, European, and national legal frameworks and systems in AI & Law. Details online at http://www.last-jd.eu/?page_id=46 Full Partners =================================================================== University of Bologna, CIRSFID (coordinator) - Italy University of Turin - Italy Universitat Autònoma de Barcelona (IDT) - Spain Mykolas Romeris University, e-Business Center - Lithuania University of Luxembourg - Luxembourg University of Tilburg (TILT) - Netherlands Associate Partners =================================================================== Hannover Medical School and University of Hannover, CELLS – Germany University of Barcelona, Bioethics and Law Observatory (OBD) – Spain University of Piemonte Orientale - Italy University of Pittsburgh, AI&LAW Lab – USA University of Renmin, Intellectual Property Academy – China European Genetics Foundation – Italy Fraunhofer FOKUS – Germany ITTIG, Istituto di teoria e tecnica dell’Informazione giuridica – Italy Instituto de Investigacion en Inteligencia Artificial, IIIA – Spain Nexa – Italy NICTA – Australia Industrial Partners =================================================================== AUGEOS - Italy ASCAMM – Spain CELI – Italy IBM – Europe NEXEN – Italy NOMOTIKA – Italy VICOMTECH – Spain S21sec- Spain SUNRISE VALLEY - Lithuania =================================================================== Guido Boella -- Dipartimento di Informatica Università di Torino Cso Svizzera 185 10149 Torino Italy tel +39 011 670 6820 fax +39 011 75 16 03 email guido at di.unito.it web http://www.di.unito.it/~guido/ From a.artikis at gmail.com Mon Nov 24 08:59:33 2014 From: a.artikis at gmail.com (Alexander Artikis) Date: Mon, 24 Nov 2014 09:59:33 +0200 Subject: 3rd CFP: EPForDM workshop@EDBT 2015 Message-ID: Apologies for cross-posting. ************************* Call for Papers *************************** Event Processing, Forecasting and Decision-Making in the Big Data Era (EPForDM) EDBT 2015 Workshop March 27, 2015 http://cer.iit.demokritos.gr/epfordm ********************************************************************** The Big Data era has posed a number of challenges in applications related to event processing. In particular, the data volume, velocity and distribution necessitate the design on new scalable approaches for the efficient and timely processing of the produced data. The lack of veracity in the handled data/events further complicates the problem. Moreover, key challenges concern the use of the voluminous data in order to forecast future events and perform proactive event-driven decision-making. Event forecasting is important because eliminating or mitigating an anticipated problem, or capitalizing on a forecast opportunity, can substantially improve our quality of life, and prevent environmental and economic damage. For example, changing traffic-light priority and speed limits to avoid traffic congestions will reduce carbon emissions, optimize transportation and increase the productivity of commuters. At the business level, making smart decisions ahead of time can become a differentiator leading to significant competitive advantage. In a wide range of applications, prevention is more effective than the cure. To prevent problems and to capitalize on opportunities before they even occur, a proactive event-driven decision-making paradigm is necessary. Decisions are triggered by forecasting events instead of reacting to them once they happen. Moreover, decisions are made in real-time and require on-the-fly processing of Big Data, that is, extremely large amounts of noisy data flooding in from various locations, as well as historical data. The aim of the EPForDM workshop is to bring together computer scientists with interests in the fields of event processing, event forecasting and event-driven decision-making to present recent innovations, find topics of common interest and stimulate further development of new approaches to make sense of Big Data. Topics of interest include (but are not limited to): -Scalable event processing under uncertainty -Distributed event processing -Event forecasting -Multi-scale temporal aggregation of events -Machine learning for event processing and forecasting -Distributed machine learning -Event-driven decision-making -Visual analytics for proactive decision-making and Big Data -Human Factors evaluation of proactive event-driven systems -Novel architectures for Big Data processing -Engineering proactive event-driven systems -Position papers on proactive event-driven systems -Privacy issues in Big Data processing -Energy efficiency and reliability in Big Data processing -Scheduling and provisioning issues in Big Data processing IMPORTANT DATES Paper submission: December 5, 2014, 23:59 CET Notification: January 9, 2015 Camera-ready version: January 23, 2015, 23:59 CET Workshop date: March 27, 2015 ORGANISATION General Chairs: Alexander Artikis, NCSR Demokritos, Greece Antonios Deligiannakis, Technical University of Crete, Greece Program Committee Chairs: Minos Garofalakis, Technical University of Crete, Greece Pedro Bizarro, FeedZai, Portugal -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From aamas2014publicity at gmail.com Mon Nov 24 09:17:57 2014 From: aamas2014publicity at gmail.com (Amit Chopra) Date: Mon, 24 Nov 2014 08:17:57 +0000 Subject: AAMAS 2015: Call for Doctoral Mentoring Program Submissions Message-ID: *------------------------------------------------------------Call for Doctoral Mentoring Program Submissions at AAMAS'15------------------------------------------------------------Associated with the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS’15) in Istanbulhttp://www.aamas2015.com/ Symposium date: May 5thBuilding upon the success of previous years, AAMAS 2015 will again include a doctoral mentoring program, intended for PhD students in advanced stages of their research. This program will provide an opportunity for students to interact closely with established researchers in their fields as well as with other students, to receive feedback on their work and to get advice on managing their careers.-------------------------------------------Specifically, the goals of the program are:-------------------------------------------- To match each student with an establish researcher in the community (who will act as a mentor). The mentor will interact closely with the student, will provide feedback on research, help form new contacts, etc.- To allow students an opportunity to present their work to a friendly audience of other students as well as mentors.- To provide students with insights, contacts and professional networking opportunities for their future career.The doctoral mentoring program will consist of opportunities for interactions between mentors and their mentorees prior to the conference, as well as a one day doctoral symposium.-----------------------Submission Requirements-----------------------We encourage submissions from PhD students at advanced stages of their research within the Autonomous Agents and Multiagent Systems field. Based on the submissions, the organizing committee will select a group of students that will be invited to participate in the program. Participants will be expected to take active part in all doctoral mentoring program activities.Each submission should include a set of documents from the students, and a recommendation letter from the advisor. The submission package consists of:1. A two-page extended abstract of the student’s thesis (in the AAMAS submission format, including abstract and keywords)2. A short (2-page) application document including the following: - gender- country and institute of study- area of study (provide 1-3 keywords)- whether you have participated in the AAMAS DMC before- one or two names of suggested mentors- CV3. A recommendation letter from the advisor/supervisor. The letter should address the expected benefit of attending (to the student), the significance of the research, and the expected date for thesis submission. This letter can be sent in either plain text or PDF format. The student’s name must be clearly pointed out in the letter.Submissions of the first two items should be submitted in pdf via easychair here: https://easychair.org/conferences/?conf=aamas15dmp . The letter of recommendation should be sent by e-mail to the doctoral mentoring co-chairs:Kobi Gal >M. Birna van Riemsdijk >---------------Important Dates---------------February 11, 2011: Submission package due March 10: Acceptance notifications March 19: Camera-ready copy due May 5: Doctoral Mentoring Symposium* -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From gregory.bonnet at unicaen.fr Tue Nov 25 09:38:45 2014 From: gregory.bonnet at unicaen.fr (=?UTF-8?B?R3LDqWdvcnkgQm9ubmV0?=) Date: Tue, 25 Nov 2014 09:38:45 +0100 Subject: Workshop on Rights, Duties and Ethics of Autonomous Agents : 2nd Call for Papers Message-ID: <54744015.20504@unicaen.fr> With apologies for multiple posting. Please forward to interested parties. -------------------------------------------------------------------- Call for Papers -------------------------------------------------------------------- RDA2ETHICS "Rights, Duties and Ethics of Autonomous Agents" Workshop at PAAMS 2015 June 3rd 2015 University of Salamanca, Spain https://rda2ethics-2015.greyc.fr/ -------------------------------------------------------------------- The autonomous decision capability embedded in software or robot agents is one of the major issues of Artificial Intelligence. It is a core property for AI applications such as e-commerce, serious games, ambient computing, social or collective robotics, companion robots, unmanned vehicles. Autonomous agents decide and act in a given context or environment and under domain constraints, and possibly interact with other agents or human beings e.g. to share tasks or to execute tasks on behalf of others. As machines and agents have more and more autonomous functions and consequently are less and less supervised by human operators or users, we need to ensure that they do not harm them or threaten their autonomy, especially their decision autonomy. Consequently regulation and control mechanisms to ensure sound and consistent behaviours at the agent’s individual level, at the multi-agent level, and within the human-agent system are a major issue. Moreover, the ethical regulation or control of such autonomous agents has been discussed by several authors. As stated by Rosalind Picard, the greater the freedom of a machine, the more it will need moral standards. Organisation models, conversation policies, normative systems, constraints, logical frameworks address the problem of how agents’ autonomous behaviours should be controlled, paving the way for formal or pragmatic definitions of agents’ Rights, Duties and Ethics. The issue is all the more important as autonomous agents may encounter new situations, evolve in open environments, interact with agents based on different design principles, act on behalf of human beings and share common resources. For instance: should an autonomous agent take over the control from a human operator? under which circumstances? TOPICS OF INTEREST The aim of this workshop is to promote discussions and exchanges on the different issues raised by autonomous agents’ Rights, Duties and Ethics and on models that can be proposed to represent and reason on Rights, Duties and Ethics. Thus, we encourage contributions from the following research and application areas but also contributions presenting practical applications of multi-agent systems where ethical issues may be raised: • Autonomous agents and privacy protection • Learning rights, duties and ethics • Authority sharing between autonomous agents and human users or operators • Rights, duties and ethics of autonomous agents towards other agents, users or operators • Rights, duties and ethics of human users or operators towards autonomous agents • Consistency, conflicts among rights, duties and ethics in multi-agent and human-agent systems • Mutual intelligibility, explanations • Control of autonomous agents within organisations, institutions, normative systems • Philosophy, sociology and law in the models of rights, duties and ethics • Trust and reputation for autonomous agents regulation • Emergence and evolution of rights, duties and ethics • Knowledge representation and models for rights, duties and ethics • Reasoning on rights, duties and ethics • Validation of rights, duties and ethics in autonomous agents IMPORTANT DATES • January 19th 2015: Workshop paper submission deadline. • February 23rd 2015: Notification of workshop paper acceptance. • March 9th 2015: Workshop camera ready copy submission. • June 3rd 2015: Workshop date. PROGRAM COMMITTEE • Ronald Arkin, Georgia Tech, USA • Jan Boersen, Universiteit Utrecht, The Netherlands • Gauvain Bourgne, Université Pierre et Marie Curie, France • Joanna J. Bryson, University of Bath, UK • Patrice Caire, University of Luxembourg, Luxembourg • Pompeu Casanovas, Universitat Autònoma de Barcelona, Spain • Laurence Cholvy, Onera Toulouse, France • Yves Demazeau, LIG, Grenoble, France • Jean-Gabriel Ganascia, Université Pierre et Marie Curie, France • René Mandiau, LAMIH Valenciennes, France • Bertie Müller, University of South Wales, UK • Pablo Noriega, Intitut d'Investigació en Intelligència Artificial Barcelona, Spain • Eugenio Oliveira, Universidade do Porto, Portugal • Guillaume Piolle, Supelec Rennes, France • Alberto Pirni, Scuola Superiore Sant'Anna di Studi Universitari e di Perfezionamento, Italy • Thomas Powers, Center for Science, Ethics and Public Policy, USA • Antônio Carlos da Rocha Costa, Universidade Federal do Rio Grande, Brasil • Pericle Salvini, Scuola Superiore Sant'Anna, Italy • Giovanni Sartor, European University of Florence, Italy • Wamberto Vasconcelos, University of Aberdeen, UK • Alan Winfield, University of the West of England, Bristol SUBMISSION DETAILS All papers must be formatted according to the LNCS/LNAI template, with a maximum length of 12 pages, including figures and references. The LNCS/LNAI template can be found at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 All proposed papers must be submitted in electronic form (PDF format) using the PAAMS' Paper Submission Page: https://www.easychair.org/conferences/?conf=paams15 According to the number of submissions and the acceptance rate, the workshop proceedings may be as a LNCS / CCIS special issue. In other case, they will be published as CEUR proceedings. For further information on the workshop: https://rda2ethics-2015.greyc.fr/ -- Grégory Bonnet Assistant Professor (MAD Team - GREYC) www.gregory.bonnet.free.fr From fabio.zanasi at ens-lyon.fr Tue Nov 25 10:24:01 2014 From: fabio.zanasi at ens-lyon.fr (Zanasi Fabio) Date: Tue, 25 Nov 2014 10:24:01 +0100 Subject: CALCO 2015: First Call for Papers Message-ID: <20141125092401.GA2070@tomate.lip.ens-lyon.fr> ========================================================= CALL FOR PAPERS: CALCO 2015 6th International Conference on Algebra and Coalgebra in Computer Science June 24 - 26, 2015 Nijmegen, Netherlands http://coalg.org/calco15/ ========================================================== Abstract submission: March 22, 2015 Paper submission: April 2, 2015 Author notification: May 6, 2015 Final version due: June 3, 2015 ========================================================== -- SCOPE -- CALCO aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebra and coalgebra in computer science. It is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques). Previous CALCO editions took place in Swansea (Wales, 2005), Bergen (Norway, 2007), Udine (Italy, 2009), Winchester (UK, 2011) and Warsaw (Poland, 2013). The sixth edition will be held in Nijmegen, the Netherlands, colocated with MFPS XXXI. -- INVITED SPEAKERS -- Andy Pitts - University of Cambridge, UK (joint with MFPS) Chris Heunen - University of Oxford, UK Matteo Mio - CNRS, ENS Lyon, FR Daniela Petrisan - Radboud University, Nijmegen, NL -- TOPICS OF INTEREST -- We invite submissions of technical papers that report results of theoretical work on the mathematics of algebras and coalgebras, the way these results can support methods and techniques for software development, as well as experience with the transfer of the resulting technologies into industrial practice. We encourage submissions in topics included or related to those listed below. * Abstract models and logics - Automata and languages - Categorical semantics - Modal logics - Relational systems - Graph transformation - Term rewriting * Specialised models and calculi - Hybrid, probabilistic, and timed systems - Calculi and models of concurrent, distributed, mobile, and context-aware computing - General systems theory and computational models (chemical, biological, etc.) * Algebraic and coalgebraic semantics - Abstract data types - Inductive and coinductive methods - Re-engineering techniques (program transformation) - Semantics of conceptual modelling methods and techniques - Semantics of programming languages * System specification and verification - Algebraic and coalgebraic specification - Formal testing and quality assurance - Validation and verification - Generative programming and model-driven development - Models, correctness and (re)configuration of hardware/middleware/architectures, - Process algebra * Corecursion in Programming Languages - Corecursion in logic / constraint / functional / answer set programming - Corecursive type inference - Coinductive methods for proving program properties - Implementing corecursion - Applications * Algebra and Coalgebra in quantum computing - Categorical semantics for quantum computing - Quantum calculi and programming languages - Foundational structures for quantum computing - Applications of quantum algebra -- NEW TOPIC -- This edition of CALCO will feature a new topic, and submission of papers in this area is particularly encouraged. * String Diagrams and Network Theory - Combinatorial approaches - Theory of PROPs and operads - Rewriting problems and higher-dimensional approaches - Automated reasoning with string diagrams - Applications of string diagrams - Connections with Control Theory, Engineering and Concurrency -- SUBMISSION GUIDELINES -- Prospective authors are invited to submit full papers in English presenting original research. Submitted papers must be unpublished and not submitted for publication elsewhere. Experience papers are welcome, but they must clearly present general lessons learned that would be of interest and benefit to a broad audience of both researchers and practitioners. Starting with CALCO 2015, proceedings will be published in the Dagstuhl LIPIcs–Leibniz International Proceedings in Informatics series. Final papers should be no more than 15 pages long in the format specified by LIPIcs (http://www.dagstuhl.de/publikationen/lipics/anleitung-fuer-autoren/). It is recommended that submissions adhere to that format and length. Submissions that are clearly too long may be rejected immediately. Proofs omitted due to space limitations may be included in a clearly marked appendix. Both an abstract and the full paper must be submitted by their respective submission deadlines. A special issue of the open access journal Logical Methods in Computer Science (http://www.lmcs-online.org), containing extended versions of selected papers, is also being planned. Submissions will be handled via EasyChair https://www.easychair.org/conferences/?conf=calco2015 -- BEST PAPER AND BEST PRESENTATION AWARDS -- Following from the successful trial at CALCO 2013, this edition of CALCO will feature two awards: a best paper award whose recipients will be selected by the PC before the conference and a best presentation award, elected by the participants. -- IMPORTANT DATES -- Abstract submission: March 22, 2015 Paper submission: April 2, 2015 Author notification: May 6, 2015 Final version due: June 3, 2015 -- PROGRAMME COMMITTEE -- Samson Abramsky, University of Oxford, UK Andrej Bauer, University of Ljubljana, SLO Filippo Bonchi, CNRS and ENS Lyon, FR Corina Cirstea, University of Southampton, UK Andrea Corradini, University of Pisa, IT Ross Duncan, University of Strathclyde, UK Martín Escardó, University of Birmingham, UK Dan Ghica, University of Birmingham, UK Helle Hansen, Radboud University Nijmegen and CWI, NL Ichiro Hasuo, University of Tokyo, JP Bart Jacobs, Radboud University Nijmegen, NL Bartek Klin, University of Warsaw, PL Barbara König, University of Duisburg-Essen, D Dexter Kozen, Cornell, US Alexander Kurz, University of Leicester, UK Paul-André Melliès, CNRS and University Paris VII, FR Stefan Milus, University of Erlangen-Nürnberg, D Larry Moss (co-chair), Indiana University, US Dusko Pavlovic, University of Hawaii, US Daniela Petrisan, ENS Lyon, FR Damien Pous, ENS Lyon, FR John Power, University of Bath, UK Jan Rutten, Radboud University Nijmegen and CWI, NL Lutz Schroeder, University of Erlangen-Nuernberg, D Monika Seisenberger, University of Swansea, UK Alexandra Silva, Radboud University Nijmegen, NL Pawel Sobocinski (co-chair), University of Southampton, UK Ana Sokolova, University of Salzburg, AT Andrzej Tarlecki, University of Warsaw, PL -- ORGANISING COMMITTEE -- Alexandra Silva Bart Jacobs Nicole Messink Sam Staton -- PUBLICITY -- Fabio Zanasi -- LOCATION -- Nijmegen is the oldest city in the Netherlands and celebrated its 2,000th year of existence in 2005. It is situated in the eastern province of Gelderland, quite near to the German border. The latin name for Nijmegen, ‘Noviomagus’, is a reminder of its Roman past. ‘Noviomagus’ means ‘new market’ and refers to the right to hold a market as granted by the Romans. In the days of Charlemagne, the city was called ‘Numaga’; later on, this became ‘Nieumeghen’ and ‘Nimmegen’. However, citizens born and bred in Nijmegen speak affectionately of ‘Nimwegen’. Nijmegen is one of the warmest cities of the Netherlands, especially during summer, when the highest temperatures in the country are usually measured in the triangle Roermond – Nijmegen – Eindhoven. The lack of north-south oriented mountain ranges in Europe make this area prone to sudden shifts in weather, giving the region a semi-continental climate. -- SATELLITE WORKSHOPS -- The workshop is intended to enable presentation of work in progress and original research proposals. PhD students and young researchers are particularly encouraged to contribute. CALCO 2015 will run together with the CALCO Early Ideas Workshop, with dedicated Early Ideas sessions at the end of each conference day. -- CALCO Early Ideas Overview -- The CALCO Early Ideas Workshop invites submissions on the same topics as the CALCO conference: reporting results of theoretical work on the mathematics of algebras and coalgebras, the way these results can support methods and techniques for software development, as well as experience with the transfer of the resulting technologies into industrial practice. The list of topics of particular interest is shown on the main CALCO 2015 page. CALCO Early Ideas presentations will be selected according to originality, significance, and general interest, on the basis of submitted 2-page short contributions. It can be work in progress, a summary of work submitted to a conference or workshop elsewhere, or work that in some other way might be interesting to the CALCO audience. A booklet with the accepted short contributions will be made available. We encourage PhD students and young researchers to submit Early Ideas papers to the CALCO 2015 Easychair site as for ordinary submissions, mentioning in the abstract that the paper is to be considered for an Early Ideas talk.. From universal.logic at ufc.br Tue Nov 25 22:39:34 2014 From: universal.logic at ufc.br (Universal Logic) Date: Tue, 25 Nov 2014 19:39:34 -0200 (BRST) Subject: Lifeline extension - 5th World Congress and School on Universal Logic - Istanbul, 2015 Message-ID: <744152fd3820d193523adb7e29565f01.squirrel@correio3.ufc.br> UNILOG'2015 - 5th World Congress and School on Universal Logic Istanbul, June 20-30, 2015 http://www.uni-log.org You can submit your abstract up to December 5 Since 2005 UNILOG has been a major event in logic, dealing with all aspects of logic and gathering top researchers from all over the world. The 1st edition was in Montreux, Switzerland (2005), the 2nd in Xi'an, China (2007), the 3rd in Lisbon, Portugal (2010), the 4th in Rio de Janeiro, Brazil (2013). The 5th edition will happen in Istanbul in 2015. In UNILOG'2015 there will be a school with about 30 tutorials followed by a congress with many workshops and invited speakers including Melvin Fitting, Bruno Poizat, Benedikt Löwe, Olivia Caramello, Luciano Floridi, Ernest Lepore, Ahti-Veikko Pietarinen. As in previous editions there will also be a contest (for this edition: The Future of Logic) and a secret speaker (a speaker whose identity is revealed only at the time of her/his/its talk). The tutorials of UNILOG'2015 will provide a serious background for a general knowledge of the logical universe They are divided into three categories: 1) History of Logic: the logic of Aristotle, Leibniz, Kant, Hegel, etc. 2) Logic and XXX: Logic and Music, Logic an Colours, Logic and Nonsense, Logic and Information, Logic and the Theory of Relativity, etc 3) Theorems: Compactness theorem, Completeness theorem, Lindström theorem, Gödel's incompleteness theorem, etc (these theorems will be presented in a universal perspective, i.e. examining what are the general vs particular features) During the congress there will be an amazing variety of workshops - The Idea of Logic: Historical Perspectives - Representation and reality: humans, animals and machines - Philosophy of non-classical logics - Computational Creativity, Concept Invention and General Intelligence - C3GI - Connexive Logics - Logic and the Web etc. The event is organized in combination with the 10th Panhellenic Logic Symposium https://samosweb.aegean.gr/pls10/ that will happen in Samos Island, Greece (the island where Pythagoras was born), June 11-15, 2015. A travel by bus from the nearby port of Kusadasi in Turkey up to Istanbul will be organized with stops on famous historical sites: Ephesus, Troy, etc. Special arrangements will exist for participants who wish to attend both conferences. UNILOG'2015 is sponsored by the Association of Symbolic Logic This means that students can apply for a grant to come: http://www.aslonline.org/studenttravelawards.html From aamas2014publicity at gmail.com Wed Nov 26 16:23:07 2014 From: aamas2014publicity at gmail.com (Amit Chopra) Date: Wed, 26 Nov 2014 15:23:07 +0000 Subject: Final Call for Workshops: 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015) Message-ID: The AAMAS-2015 invites proposals for the Workshop Program to be held on May 4-5, 2015 immediately prior to the main technical program of the AAMAS conference. The main goal of the AAMAS-2015 workshop program is to stimulate and facilitate discussion, interaction, and comparison of approaches, methods, and ideas related to specific topics, both theoretical and applied, in the general area of Autonomous Agents and Multiagent Systems. The AAMAS-2015 workshops will provide an informal setting where participants will have the opportunity to discuss specific technical topics in an atmosphere that fosters the active exchange of ideas. The AAMAS-2015 Workshop Co-chairs ask all workshops to include a tutorial session. A tutorial session might include, for example, a discussion of the main issues in the research themes of interest to the workshop, and give a historical perspective, particularly for long-running workshops. It would be an excellent way to attract new participants and introduce students to the workshop. There is no restriction on the length of the proposed tutorial. Members from all areas of the AAMAS community are invited to submit workshop proposals for review. Workshops on new and emerging topics, applications, and on broader topics of interest to a wider community are particularly encouraged. Workshops can vary in length, but most will be one full day in duration. Workshop organizers and attendees must register for their workshop and preferably also for the main AAMAS conference. Attendance is limited to registered participants. Important Dates December 01, 2014: Deadline for Workshop Proposals December 20, 2014: Deadline for Announcing Accepted Workshops February 11, 2015: Deadline for Submitting to Workshops March 10, 2015: Deadline for Announcing Accepted Papers by Individual Workshops March 19, 2015: Deadline for Camera-Ready Papers Requirements for submission Proposals for workshops should be a maximum of five pages in length (in plain ASCII text), and should contain the following information: 1. Title of the workshop. 2. A technical description of the workshop, specifying the workshop goals, the technical issues that it will address, and the relevance of the workshop to the main conference. 3. A discussion of why and to whom the workshop is of interest. 4. A brief description of a proposal for a tutorial session to be held as part of the workshop. 5. A list of related workshops held within the last three years, if any, and their relation to the proposed workshop. Information about previous offerings of the proposed workshop: when and where it has been offered in the past (i.e., with AAMAS or another conference), organizers names and affiliations, number of submissions, acceptances and registered attendees, and follow-up publications, if any (e.g., journal special issues). 6. For workshops that have had previous editions (even if they had different titles and were not held with AAMAS), include a list of URLs of the websites of the previous editions. 7. A preliminary workshop agenda and a proposed schedule for organizing the workshop. This should include a brief description of how the organizers intend to encourage an atmosphere appropriate for a workshop. 8. Description of the paper review process and acceptance standards. 9. If available, a list of tentatively confirmed attendees. 10. The names, affiliations, postal addresses, phone numbers, and email addresses of the proposed workshop organizers. This committee should consist of three or four people knowledgeable about the technical issues to be addressed. The organizing committee should include individuals from multiple institutions spreading in different regions. 11. The name of the primary contact for the organizing committee (this person must reply promptly to email messages). 12. A description of the qualifications of the individual committee members with respect to organizing an AAMAS workshop, including a list of workshops previously arranged by any members of the proposed organizing committee, if any. 13. List of potential program committee members, including their title and affiliations. 14. Expected duration of the workshop (usually a full day). 15. A list of places (distribution lists, web sites, journals, etc.) where the workshop is planned to be advertised. All proposals should be submitted by electronic mail, in plain ASCII text, to the AAMAS-2015 Workshop Chairs, email address aamas2015-workshops at gmail.com, as soon as possible and no later than Wednesday November 2nd, 2013. The selection of the workshops to be included in the final AAMAS program will be done by the general chairs of AAMAS 2015 based on the advice of the workshop chairs. The selection is based upon multiple factors, including: the scientific/technical interest of the topics, the clarity of the proposal in addressing the requested information, the innovative character of workshop topics, the cross-disciplinary nature of the workshop, the proposed tutorial session, and the capacity of the conference workshop program. Responsibilities of AAMAS and workshop organizers For all accepted proposals, AAMAS will be responsible for: • Providing publicity for the workshop series as a whole. • Providing logistic support and a meeting place for the workshop. • Together with the organizers, determining the workshop date and time. • Provide one free workshop registration when the workshop has more than 15 registrations. • AAMAS reserves the right to cancel workshops, for example in case of low number of registrants. Workshop organizers will be responsible for: • Setting up a website for the workshop. • Advertising the workshop and issuing a call for papers and a call for participation as per the important dates. • Collecting and evaluating submissions, notifying authors of acceptance or rejection on a timely basis, and ensuring a transparent and fair selection process. • All workshop organizers are strongly advised to adopt the same deadlines for paper submissions and notifications of acceptance as per the important dates. • Ensuring that the workshop organizers and the participants register for the workshop and are invited to register to the main conference (at least one author must register for the workshop in order for a paper to appear in the workshop proceedings). AAMAS reserves the right to cancel any workshop if the above responsibilities are not fulfilled. Submissions and Inquiries Please send proposals and inquiries to: aamas2015-workshops at gmail.com Workshop Co-Chairs Michal Pechoucek Czech Technical University in Prague michal.pechoucek at agents.fel.cvut.cz Longbing Cao University of Technology Sydney, Australia longbing.cao at uts.edu.au -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From aamas2014publicity at gmail.com Wed Nov 26 16:29:37 2014 From: aamas2014publicity at gmail.com (Amit Chopra) Date: Wed, 26 Nov 2014 15:29:37 +0000 Subject: Final Call for Tutorials: 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015) Message-ID: XIV International Conference on AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS 2015) Istanbul, Turkey May 4-8, 2015 http://www.aamas2015.com The AAMAS 2015 Organizing Committee invites proposals for the Tutorial Program, to be held on 4-5, immediately before the technical conference. AAMAS 2015 Tutorials should serve one or more of the following objectives: * Introduce novices to major topics of AAMAS research. * Provide instruction in established practices and methodologies. * Survey a mature area of AAMAS research or practice. * Motivate and explain an AAMAS topic of emerging importance. * Introduce expert non-specialists to an AAMAS area. * Survey an area of agent research especially relevant for people from industry Topic areas of interest include all of those listed in the call for the technical track (see http://www.aamas2015.com), including the special tracks on robotics, virtual agents, and innovative applications. Tutorials will be 2 hours long. A few longer tutorials (4 hours) may be accepted but the proponents need to motivate their request when submitting their proposal. SUBMISSION REQUIREMENTS Proposals should be two to four pages in length, and should contain the following information: 1. A brief description of the tutorial, suitable for inclusion in the conference registration brochure. 2. A detailed outline of the tutorial, including preferred length (2 or 4 hours). 3. Characterization of the potential target audience for the tutorial, including prerequisite knowledge. 4. A description of why the tutorial topic would be of interest to a substantial part of the AAMAS audience. 5. A brief resume of the presenter(s), which should include name, postal address, phone and fax numbers, email address, background in the tutorial area, any available example of work in the area (ideally, a published tutorial-level article on the subject), evidence of teaching experience (including references that address the proposer's presentation skills as applicable), and evidence of scholarship in the area. 6. The name and e-mail address of the corresponding presenter. The corresponding presenter should be available for e-mail correspondence during the evaluation process, in the case clarifications and discussions on the scope and content of the proposal are needed. The evaluation of the proposal will take into account the level of general interest for AAMAS attendees, the quality of the proposal, and the expertise and skills of the presenters. We emphasize that the primary criteria for evaluation will be whether a proposal is interesting, well-structured, and motivated, rather than the perceived experience/standing of the proposer. Those submitting a proposal should keep in mind that tutorials are intended to provide an overview of the field; they should present reasonably well established information in a balanced way. Tutorials should not be used to advocate a single avenue of research, nor should they promote a product. The selection of the tutorials to be included in the final AAMAS program will be based upon a number of factors, including: the scientific/technical interest of the topics, the quality of the proposal, the need to avoid strictly overlapping tutorials, and the unavoidable need to limit the overall number of selected tutorials. RESPONSIBILITIES (with respect to accepted proposals) AAMAS will be responsible for: * Providing logistic support and a meeting place for the tutorial. * Together with the organizers, determining the tutorial date and time. * Duplicating tutorial material and distributing them to the participants. Tutorial organizers will be responsible for: * Providing AAMAS with a legible PDF copy of their tutorial notes by March, 4, 2015. * Presenting the tutorial at AAMAS 2015. AAMAS reserves the right to cancel any tutorial if the above responsibilities are not fulfilled, if deadlines are missed, or if too few attendees register for the tutorial to support the costs of running the tutorial. IMPORTANT DATES December 1, 2015: Tutorial Proposal Submission Deadline December 20, 2015: Tutorial Acceptance Notifications March 19, 2015: Deadline for submitting tutorial notes May 4-5, 2015: Tutorial Forum Presentations SUBMISSIONS AND INQUIRIES Proposals and inquiries should be sent by email (in ASCII or pdf) to the tutorials chairs: Thomas Ågotnes Department of Information Science and Media Studies University of Bergen Thomas.Agotnes at infomedia.uib.no Cristina Baroglio Department of Computer Science, University of Torino baroglio at di.unito.it -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From announce at cs.ucy.ac.cy Sat Nov 29 12:02:08 2014 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 29 Nov 2014 13:02:08 +0200 Subject: ISCC 2015: Second Call for Papers Message-ID: *** Second Call for Papers *** The 20th IEEE Symposium on Computers and Communications (ISCC 2015) 6-9 July 2015, Golden Bay Beach Hotel, Larnaca, Cyprus http://ieee-iscc.org/2015 ISCC 2015, in its 20th anniversary, will provide an insight into the unique world stemming from the interaction between the fields of computers and communications. ISCC 2015 will provide an international technical forum for experts from industry and academia to exchange ideas and present results of ongoing research in most state-of-the-art areas of computer and communications. This year, special focus will be on the challenging issues and opportunities related to the computing, sensing and communication in the era of the Internet of Things, Cloud Computing and Big Data. You are invited to submit a full paper or a proposal for a panel/invited session or a tutorial, related to the following topics of interest. Topics of interest include, but are not limited to, the following: * ACCESS NETWORKS * DIGITAL MEDIA TECHNOLOGIES * BIOINFORMATICS AND MEDICAL INFORMATICS * MODELING AND SIMULATION * BIG DATA, DATA MINING AND DATABASE * APPLICATIONS * DIGITAL SATELLITE COMMUNICATIONS SERVICE * NETWORK DESIGN, OPTIMIZATION, AND MANAGEMENT * NEXT GENERATION NETWORKS INFRASTRUCTURES AND MANAGEMENT * DISTRIBUTED SYSTEMS ARCHITECTURE AND MANAGEMENT * NETWORK RELIABILITY, QUALITY OF SER-VICE AND QUALITY OF EXPERIENCE * ECONOMIC AND REGULATORY ISSUES * OPTICAL NETWORKING * E-COMMERCE AND E-SERVICES * FAULT-TOLERANCE AND ERROR RECOVERY * PEER-TO-PEER COMPUTING * REAL TIME COMMUNICATION SERVICES * GRID, CLUSTER AND CLOUD COMPUTING * ROUTING AND MULTICAST * HUMAN LANGUAGE TECHNOLOGIES * IMAGE PROCESSING AND VISUALIZATION * SECURITY, CRYPTOGRAPHY AND PRIVACY * SOFTWARE ENGINEERING * INTERNET SERVICES AND APPLICATIONS * STANDARDS EVOLUTION * ADVANCES IN INTERNET PROTOCOLS * MANAGEMENT OF TELECOMMUNICATIONS AND NETWORKS * COGNITIVE RADIO NETWORKING * SENSOR NETWORKS AND MOBILE SENSING * DISTRIBUTED AND MOBILE MIDDLEWARE * OVERLAY AND PROGRAMMABLE NETWORKS * WEB SERVICES AND SERVICE ORIENTED ARCHITECTURES * WIRELESS, CELLULAR AND MOBILE COMMUNICATIONS * GREEN NETWORKING AND SMART GRID * CLOUD COMPUTING * INTERNET OF THE FUTURE * BIO-INSPIRED COMPUTING IN COMMUNICATIONS * COMMUNICATIONS SERVICES AND MANAGEMENT * INTERNET OF THINGS AND SMART CITIES * ARTIFICIAL INTELLIGENT SYSTEMS * SOCIAL NETWORKS AND CROWDSOURCING * SERVICES AND SUPPORT FOR SMART CITIES * WIRELESS BODY AREA NETWORKS AND WIRELESS HEALTH Review manuscripts should describe original work and should be no more than 8 pages in the IEEE double column proceedings format including tables, figures and references. Note that accepted papers up to 6 pages will be published with no additional charge. Exceeding pages will be charged an additional fee. Extended versions of selected best papers will be recommended for publication in a Special Issue of a prestigious International Journal. Papers must be submitted electronically, in PDF format, on-line via the EDAS system: http://edas.info/N18819 Paper Submission Deadline: January 26th, 2015 Notification of Paper Acceptance: March 27th, 2015 Submission of Camera-Ready Paper: April 17th, 2015 General Co-Chairs Andreas Pitsillides, University of Cyprus, Cyprus Mahmoud Daneshmand, Stevens Institute of Technology, USA Technical Program Co-Chairs Vasos Vassiliou, University of Cyprus, Cyprus Honggang Wang, University of Massachusetts, Dartmouth, USA Local Arrangement Co-Chairs George Pallis, University of Cyprus, Cyprus George Papadopoulos, University of Cyprus, Cyprus Finance and Registration Co-Chairs Reda Ammar, University of Connecticut, USA Christos Douligeris, University of Piraeus, Greece Publication Co-Chairs Josephine Antoniou, University of Central Lancanshire, Cyprus Nicos Komninos, City University London, UK Keynote Speakers Co-Chairs Panayiotis Kolios, University of Cyprus, Cyprus Marios Lestas, Frederick University, Cyprus Workshop Co-Chairs Periklis Chatzimisios, Alexander Technological Educational Institute of Thessaloniki, Greece Andreas Kamilaris, University of Cyprus, Cyprus Massimo Villari, University of Messina, Italy Publicity Co-Chairs Habib M. Ammari, Univ. of Michigan-Dearborn, USA Chrysostomos Chrysostomou, Frederick University, Cyprus Mario Dantas, Universidade Federal de Santa Catarina, Brazil Salil Kanhere, University of New South Wales, Australia Ahmet Sekercioglu, Monash University, Australia Qing Yang, Montana State University, USA Steering Committee Reda Ammar, University of Connecticut, USA Antonio Corradi, University of Bologna, Italy Mahmoud Daneshmand, Stevens Institute of Technology, USA Christos Douligeris, Univ. of Piraeus, Greece Adel S. Elmaghraby, Univ. of Louisville, USA Hussein Mouftah, University of Ottawa, Canada Sartaj Sahni, University of Florida, USA Ahmed Tantawy, IBM, USA -------------------------------------------------------------------- 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: