From invitation at iariainfo.org Fri May 1 03:05:49 2015 From: invitation at iariainfo.org (ICWMC 2015) Date: Thu, 30 Apr 2015 18:05:49 -0700 Subject: Deadline Extension: ICWMC 2015 || October 11 - 16, 2015 - St. Julians, Malta Message-ID: <1430442349178.868@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 ICWMC 2015. The submission deadline is extended to May 24, 2015. Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org ================= ============== ICWMC 2015 | Call for Papers =============== CALL FOR PAPERS, TUTORIALS, PANELS ICWMC 2015, The Eleventh International Conference on Wireless and Mobile Communications October 11 - 16, 2015 - St. Julians, Malta General page: http://www.iaria.org/conferences2015/ICWMC15.html Call for Papers: http://www.iaria.org/conferences2015/CfPICWMC15.html Submission page: http://www.iaria.org/conferences2015/SubmitICWMC15.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: May 24, 2015 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 ICWMC 2015 Topics (topics and submission details: see CfP on the site) Wireless Communications Basics Coding & modulation & equalization; Channel modeling and characterization; Equalization/Synchronization; Transform-domain communication; Multiple access algorithms and schemes; Antenna and RF subsystems; Smart antennas, adaptive antennas, MIMO and beam forming; MIMO and OFDM Based PHY Layer technologies; CDMA Systems Radio Interfaces and Systems Radio communications systems; Radio resource management; Radio transmission technologies; Power and interference control; Interference Cancellation for Wireless Mobile Systems; Power management for small terminals; Energy map; Channel Measurement and Characterization Spectrum Allocation and Management Spectrum efficiency analyses; Dynamic spectrum access networks; Spectrum management; Interference mitigation and management techniques Circuits for Wireless Communications Wireless ASICs; Wireless technologies; RF Design issues Wireless and Mobility Mobility management; Location-based services and positioning; Micro and macro-mobility; Mobility, location and handoff management; Mobile and wireless IP; Wireless broadband mobile access; Routing in multihop, ad hoc and sensor networks; Wireless multicasting; Wireless mesh networks; Topology control in wireless Protocols for wireless and mobility Wireless protocols, architectural and design concepts; Protocols for air interfaces and networks; Wireless MAC protocols: Design and analysis; Transport layer issues in mobile and wireless networks; Middleware for handhelds and mobile services nodes; Proxies and middleware for wireless networks Traffic and congestion control, QoS, Resource Management Traffic Modeling and Analysis; 3G/4G Bandwidth on Demand; QoS and mobility; End-to-end QoS; QoS profiling and pricing; Traffic Engineering; Congestion and admission control Wireless and mobile technologies Micro-mobility and macro-mobility; Wireless LANs; Home and Personal Area Networks: Bluetooth, ZigBeee, etc; Wireless MANs:802.16, 802.20; Wireless WANs: 2G/3G/4G; Mobile ad hoc networks and multi-hop wireless; Sensor networks and applications; Ultra-wideband and short-range networks; High altitude platforms and satellites; Emergency wireless communications; Wireless real-time communications; RFID systems (including readers and transponders in LF, HF and UHF bands) Performance Evaluation, Simulation and Modeling of wireless networks and systems Performance and QoS in wireless networks; Radio channel modeling (wave propagation and measurements); Mobile/wireless networks modeling and simulation; Performance of end-to-end protocols over wireless networks Management of wireless and mobile networks Mobility and QoS management; Billing technologies and tools; Policy Based Management in wireless LANS and MANs; Wireless and Mobile Network Planning; Mobile Database Access and Design Security in wireless and mobile environment Security and robustness in wireless networks; Privacy, Authentication Authorization and Accounting (AAA); Encryption and Cryptography; Key Management Protocols; Digital Rights Management and Multimedia Protection Networks convergence and integration 2G/3G/4G integration; Convergence of 3G wireless and Internet cross-layer design in wireless networks; WLAN/3G/4G integration; Wireless-wireline convergence; Heterogeneous Networks (WAN, Wireless MAN, WLAN); IP Multimedia subsystems (IMS); Next Generation Network Architecture- mobility issues; Coexistence of mobile radio networks; End to End QoS in Heterogeneous environment; Signaling for integrated wireline/wireless networks Applications and services based on wireless infrastructures Mobile & Wireless applications & services; Service discovery: protocols and frameworks; Personalized services and applications; Audio-visual and mobile multimedia applications; Media and content distribution over wireless networks Standardization and regulations Position on standards & fora on wireless and mobile networks; Wireless Networks Standards and Protocols; Communications regulations; 802.11 WLAN Standards; 802.16 WMAN Standards; 3GPP and 3GPP2 standards; HSDPA Technology and Standards; Next Generation Network standards Design and implementation Emerging wireless technologies; Cross-layer optimizations in wireless networks; Design and implementation of mobile information systems; Software defined radio and re-configurability; Joint PHY/MAC design Wireless and mobile network deployment Business models on wireless networks; Market trends and regional developments; M-commerce; Lessons learnt for wireless deployment in schools Lessons learnt for wireless deployment in special regions; Specialized wireless networks; Heterogeneous wireless network deployment (e.g., combining 802.11, 802.16 and 3G networks) Cooperative and Cognitive Vehicular Networks Architectures and platforms of cognitive vehicular network; Distributed artificial intelligence techniques for cognitive networks; Cognitive vehicular routing metrics and supporting protocols; Reduced complexity cognitive networks; Physical and MAC layer issues; Protocols design for cognitive vehicular networks; Cross-layer optimization in cognitive networks; Security issues for vehicular and cognitive networks; Testbed experiment, applications and new advances; Cooperative vehicular networks; QoS provisioning in heterogeneous networks ; Managing vertical handover; Multihoming; IPv6 GeoNetworking; Vehicular network architectures and protocols ; Cross-layer design and optimization for vehicular networks and cognitive networks; Mobility management and topology control; Standardization and Development of vehicular networks Convergence and social mobility Convergence of mobile networks with the Web 2.0; Convergence on architecture and services; Open service capabilities; Open exposure of telco capabilities; Open Web APIs, SOA and SDP); Interworking strategies; Mobile terminals as sources for User-generated content; Architecture and services for user-generated content; Auto-description and metadata synthesis for telecom-generated for user-generated content; Social mobile networks; User behavior profiling; Social connections (social graphs, contacts, etc); Services and architectures/solutions for social mobile services Committee: http://www.iaria.org/conferences2015/ComICWMC15.html ================================================ To stop receiving notices about ICWMC, please reply with "DROP ICWMC 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 blllne2 at unife.it Sun May 3 16:48:24 2015 From: blllne2 at unife.it (Elena Bellodi) Date: Sun, 3 May 2015 16:48:24 +0200 Subject: AI*IA 2015 Doctoral Consortium: Second CfP Message-ID: Second Call for Papers ------------------------------------------------------------------------------------------------------- Doctoral Consortium, AI*IA 2015 XIV Conference of the Italian Association for Artificial Intelligence 23-25 September, Ferrara, Italy ------------------------------------------------------------------------------------------------------- The AI*IA Doctoral Consortium (DC) is offered as part of the Conference of the Italian Association for Artificial Intelligence (AI*IA), that will take place at University of Ferrara on 23rd-25th September, 2015. The Consortium is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Master’s program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply, since contributions describing both mature and preliminary work are welcome. The Consortium will provide doctoral students in AI with the opportunity to present their research directions and being involved into state-of-the-art research, through discussion sessions. ------------------------------------------------------------------------------------------------------- Topics of Interest ------------------------------------------------------------------------------------------------------- Applicants are expected to be conducting research in the field of Artificial Intelligence; topics of interest include (but are not limited to): * AI and digital entertainment * AI applications * AI architectures * AI in Learning Environments * Big Data * Cognitive modeling * Cognitive Robotics * Constraint Satisfaction * Experimentation of Combinatorial Algorithms * Human Computer Interaction * Information Agents * Information Retrieval and Extraction * Knowledge Acquisition * Knowledge Engineering * Knowledge Representation * Learning in adaptive systems * Machine Consciousness * Machine learning * Mathematical Foundations * Metacognition in Artificial Agents * Multiagent Systems, Distributed AI * Natural Language Processing * Ontologies * Philosophical Foundations * Planning and Scheduling * Reasoning * Robotics * Search * Semantic Web * Smart Cities * Soft and Evolutionary Computing * Temporal Reasoning * Uncertainty * Vision * Web and Data Mining ​ ------------------------------------------------------------------------------------------------------- ​ Submission Instructions ------------------------------------------------------------------------------------------------------- We invite the submission of research papers, where a special attention should be dedicated towards the contextualization of the contribution within the research area it belongs to, as well as to how the contribution fits within the Ph.D. program. We accept original, unpublished works not submitted elsewhere, as well as papers already published. All submissions must be written in English and must be formatted according to the Springer Publications format for Lecture Notes in Computer Science (LNCS), please refer to http://www.springer.com/computer/lncs/lncs+authors?SGWID=0-40209-0-0-0. The only accepted format for submitted papers is PDF. The maximum submission length is 6 pages (A4). Paper submission will be handled electronically by means of the Easychair system. The submission page is available at https://easychair.org/conferences/?conf=aixia2015dc. Accepted papers based on original work will be included in the DC proceedings published on-line by CEUR. Already published papers will appear as a link to the previous publication in the DC proceedings published by CEUR. The authors of the accepted papers must attend the DC and must be registered to the AI*IA Conference. ------------------------------------------------------------------------------------------------------- ​ Important Dates ------------------------------------------------------------ ------------------------------------------- Submission Deadline: June 25th, 2015 Acceptance Notification: July 25th, 2015 Camera Ready: September 2nd, 2015 Doctoral Consortium: to be announced ------------------------------------------------------------------------------------------------------- Grants for students attending AI*IA ------------------------------------------------------------------------------------------------------- Scholarships to participants to partially cover registration and/or accommodation fees will be available. Details will be announced soon. ----------------------------------------------------------------- Doctoral Consortium Web Site ----------------------------------------------------------------- For the most up to date information, please visit: http://aixia2015.unife.it/events/doctoral-consortium/ ------------------------------------------------------------------------------------------------------- Doctoral Consortium co-Chairs ------------------------------------------------------------------------------------------------------- Elena Bellodi Department of Engineering (ENDIF), University of Ferrara Alessio Bonfietti Department of Computer Science and Engineering (DISI), University of Bologna Any question concerning the DC can be addressed to the co-chairs at: dc2015 at unife.it ------------------------------------------------------------------------------------------------------- Program Committee ------------------------------------------------------------------------------------------------------- Stefania Bandini, CSAI - Complex Systems & Artificial Intelligence Research Center Nicola Basilico, University of Milano Federico Bergenti, University of Parma Francesco Buccafurri, University of Reggio Calabria Stefano Cagnoni, University of Parma Luigia Carlucci Aiello, University of Roma La Sapienza Antonio Chella, University of Palermo Stefania Costantini, University of L'Aquila Nicola Di Mauro, University of Bari Francesco Donini, Tuscia University Floriana Esposito, University of Bari Stefano Ferilli, University of Bari Nicola Guarino, ISTC-CNR Luca Iocchi, University of Roma La Sapienza Nicola Leone, University of Calabria Chendong Li, Dell Sara Manzoni, CSAI - Complex Systems & Artificial Intelligence Research Center Paola Mello, University of Bologna Alfredo Milani, University of Perugia Michela Milano, University of Bologna Stefania Montani, University of Piemonte Orientale Alessandro Moschitti, University of Trento Angelo Oddi, ISTC-CNR Andrea Omicini, University of Bologna Maria Teresa Pazienza, University of Roma Tor Vergata Roberto Pirrone, University of Palermo Gian Luca Pozzato, University of Torino Luca Pulina, University of Sassari Daniele P. Radicioni, University of Torino Francesco Ricca, University of Calabria Andrea Roli, University of Bologna Salvatore Ruggieri, University of Pisa Ken Satoh, National Institute of Informatics, Sokendai Andrea Schaerf, University of Udine Floriano Scioscia, Politecnico of Bari Giovanni Semeraro, University of Bari Eloisa Vargiu, Barcelona Digital Technology Center Marco Villani, University of Modena and Reggio Emilia -- Elena Bellodi, Ph.D. Postdoctoral Research Fellow Engineering Department University of Ferrara, Italy -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From andrea.orlandini at istc.cnr.it Sun May 3 21:12:17 2015 From: andrea.orlandini at istc.cnr.it (AndreA Orlandini) Date: Sun, 03 May 2015 21:12:17 +0200 Subject: Call for Papers - 27th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2015) Message-ID: <55467311.90002@istc.cnr.it> Apologies for multiple copies ***************************************************************************** 27th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2015) November 9-11, 2015 Vietri sul Mare, Italy https://sites.google.com/site/ictai2015italy/ ***************************************************************************** Aim & Scope The annual IEEE International Conference on Tools with Artificial Intelligence (ICTAI) provides a major international forum where the creation and exchange of ideas related to artificial intelligence are fostered among academia, industry, and government agencies. The conference facilitates the cross-fertilization of these ideas and promotes their transfer into practical tools, for developing intelligent systems and pursuing artificial intelligence applications. The ICTAI encompasses all technical aspects of specifying, developing and evaluating the theoretical underpinnings and applied mechanisms of the AI-based components of computer tools such as algorithms, architectures and languages. Topic of interest include (but are not limited to): - AI Foundations Evolutionary computing, Bayesian and Neural Networks Decision/Utility Theory and Decision Optimization Search, SAT, and CSP Description Logic and Ontologies - AI in Domain Specific Applications AI in Natural Language Processing and Understanding AI in Computational Biology, Medicine and Biomedical Applications AI in WWW, Communication, Social Networking, Recommender Systems, Games and E-Commerce AI in Finance and Risk Management - AI in Computer Systems AI in Robotics, Computer Vision and Games AI in Software Engineering, Real-Time and Embedded Applications, and Sensor Networks AI in Cloud Computing, Data-Intensive Applications and Online/Streaming and Multimedia Systems AI in Web search and Information Retrieval AI in Computer Security, Data Privacy, and Information Assurance - AI in Data Analytics and Big Data Visualization Analytics for Big Data 
 Computational Modeling for Big Data
 Large-scale Recommendation and Social Media Systems Cloud/Grid/Stream Data Mining for Big Velocity Data 
 Semantic-based Big Data Mining - Uncertainty in AI Uncertainty and Fuzziness Representation and Reasoning Approximate/Exact Probabilistic Inference Knowledge Discovery and Data Mining for Uncertain Data - Machine Learning and Data Mining Data pre-processing, reduction and feature selection Learning Graphical Models and Complex Networks Active, Cost-Sensitive, Semi-Supervised, Multi-Instance, Multi-Label and Multi-Task Learning Transfer/Adaptive, Rational and Structured Learning Preference/Ranking, Ensemble, and Reinforcement Learning - Knowledge Representation, Reasoning and Cognitive Modelling Knowledge Representation, Reasoning Knowledge Extraction, Management and Sharing Case-Based Reasoning and Knowledge-based Systems Cognitive Modelling and Semantic Web - AI and Decision Systems Decision Guidance and Support Systems Optimization-based recommender systems Group, distributed, and collaborative decisions Crowd-sourcing and collective intelligence decision making Strategic, tactical and operational level decisions Decision making in social and mobile networks - Multimodal Communicative Signals: Behavioural and Algorithmic Issues Verbal and nonverbal social communicative signals Trustful human-human and human-machine exchanges Emotionally and socially believable robots and ICT interfaces Recognition, synthesis and understanding of human interactions Context and cultural effects on perception. Memory, cognition Multimodal Signal Analysis and Processing Affective systems and related applications Learning algorithms in social robotics and ICT interfaces Analysis and processing of human daily cognitive activities Paper Submission The submissions should contain original, high quality, not submitted or published elsewhere work. Papers should be submitted electronically (https://easychair.org/conferences/?conf=ictai2015) in pdf format and should conform to IEEE specifications (single-spaced, double-column, 10-point font size, up to 8 pages). Important Dates Paper Submission: June 30,2015 Paper notification: July 30, 2015 Camera ready paper: August 30, 2015 Paper Presentation Each accepted paper should be presented by one of the authors and accompanied by at least one full registration fee payment, to guarantee publication in the proceedings. All accepted papers will be included in proceedings of ICTAI 2015 that will be published by the IEEE Computer Society. IJAIT special issue and Best Student Papers Awards Extended versions of the best papers of the conference will be invited for publication in a special issue of the International Journal on Artificial Intelligence Tools (IJAIT) (SCI Indexed). Authors of selected, relevant best papers on the topic Multimodal Communicative Signals: Behavioural and Algorithmic Issues will be invited to submit extended versions to Interaction Studies Journal. We also provide financial awards to the top-5 best student papers. SAT and CSP track See http://www.cril.univ-artois.fr/SAT-CSP-IEEE-ICTAI2015/ for details. Further Information Program Chair: Anna Esposito (iiass.annaesp at tin.it) Local Chairs: Gennaro Cordasco (gennaro.cordasco at unina2.it) Alda Troncone (alda.troncone at unina2.it) Publicity Chair: AndreA Orlandini (andrea.orlandini at istc.cnr.it) -- --------------------------------------------------------------------- AndreA Orlandini PhD National Research Council of Italy Institute for Cognitive Science and Technology Phone: +39-06-44595-223 E-mail: andrea.orlandini at istc.cnr.it Fax: +39-06-44595-243 Url: http://www.istc.cnr.it/group/pst --------------------------------------------------------------------- Me, the one and only person that never leaves me alone! From Christian.Kuster at gt-arc.com Sun May 3 22:07:54 2015 From: Christian.Kuster at gt-arc.com (Christian Kuster) Date: Sun, 3 May 2015 20:07:54 +0000 Subject: Deadline Extension: ICTH 2015 Message-ID: ===== CFP ===== CALL FOR PAPERS ********************************************************************************** The 5th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare September 27-30, 2015 Berlin, Germany http://icth-15.dai-labor.de/ ********************************************************************************** Important Dates ------------------ - Paper Submission Due: June 3rd, 2015 (extended) - Acceptance Notification: June 26, 2015 - Final Manuscript Due: July 26, 2015 The 5th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH) is a premier venue for bringing together multi-disciplinary researchers, professionals and practitioners from academia and healthcare who are engaged in different facets of ICT and healthcare. The conference encourages innovative research contributions providing the recent significant developments and promising future trends of ICT based applications, systems, tools, environments and infrastructures in the fields of health/medical care, and related domains, such as public health and pharmaceuticals. Papers on either completed or ongoing research are invited in the following and related topics of interests. ICTH-2015 will be held in conjunction with the 6th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN: http://euspn-15.dai-labor.de/). Accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series (on-line). Procedia Computer Sciences is hosted on www.Elsevier.com and on the Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will also be indexed by Thomson Reuters' Conference Proceeding Citation Index http://thomsonreuters.com/conference-proceedings-citation-index/. The papers will contain linked references, XML versions and citable DOI numbers. All accepted papers will also be indexed in DBLP (http://dblp.uni-trier.de/). Selected papers will be invited for publication in a special issue of an international journal. We invite submissions on either completed or ongoing work. Submitted papers must be no longer than 8 pages for full papers, 5 pages for short papers and 4 pages for work in progress, including all figures, tables and references. We encourage students to submit short papers or works in progress, and welcome proposals on workshops in areas of special interest to participants. Topics of interest include, but are not limited to: ------------------------------------------------------ - Ambient Assisted Living for Elderly Care - Ambient Intelligence and Intelligent Service Systems - Analysis and Evaluation of Healthcare Systems - Clinical Data and Knowledge Management - Cloud Computing for Healthcare - Collaboration Technologies for Healthcare - Context-aware Applications for Patient Monitoring and Care - Data mining Techniques and Data Warehouses in Healthcare - Data Visualization - Decision Support Systems in Healthcare - Drug Information Systems - Design and Development Methodologies for Healthcare Systems - Diagnostic and Therapeutic Technologies in Healthcare - Digital Hospitals - E-health & m-health - Electronic Health Records (EHR) & Personal Health Records (PHR) - Evidence Based Medicine (EBM) - Healthgrids - Health Portals - Information and Knowledge Processing in Healthcare Environments - Middleware Support for Smart Homes and Intelligent Applications - Privacy, Confidentiality and Security Issues in Healthcare Systems - Related Real World Experimentations and Case Studies in Healthcare - RFID Solutions for Healthcare - Smart Homes and Home Care Intelligent Environments - Telemedicine and Health Telematics - Ubiquitous and Pervasive Computing in Healthcare - Usability & Socio Technical studies - User Interface Design for Healthcare Applications - Virtual and Augmented Reality in Healthcare - Virtual Environments for Healthcare Committees ------------- Steering Committee Chair Elhadi Shakshuki, Acadia University, Canada Honorary Chair Sahin Albayrak, DAI-Lab, TU Berlin, Germany General Chairs Ellen Jaatun, Institute of Cancer Research and Molecular Medicine, NTNU, St. Olvas Hospital, Norway Syed Sibte Raza Abidi, Dalhousie University, Nova Scotia Advisory Committee Sergio Camorlinga, Head eHealth Research, TRLabs, Canda Kevin Daimi, University of Detroit Mercy, USA Finn Kensing, University of Copenhagen, Denmark Francesco Princiroli, Politecnico di Milano, Italy Abdul Roudsari, University of Victoria, Canada Advisory Committee Sergio Camorlinga, Head eHealth Research, TRLabs, Canada Kevin Daimi, University of Detroit Mercy, USA Finn Kensing, University of Copenhagen, Denmark Francesco Pinciroli, Politecnico di Milano, Italy Abdul Roudsari, University of Victoria, Canada Workshop Chair Zahoor Khan, Higher Colleges of Technology, UA Local Arrangements Members Jan Keiser, DAI-Lab, TU Berlin, Germany Fikret Sivrikaya, German-Turkish Advanced ICT Research Centre, Germany Johannes Fähndrich, TU Berlin, Germany Publicity Chairs Christian Kuster, German-Turkish Advanced ICT Research Centre, Germany Samir Ouchani, University of Luxembourg, Luxembourg Nabeel Al-Qirim, College of Information Technology, UAE -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From publicity at ecmlpkdd2015.org Mon May 4 13:06:04 2015 From: publicity at ecmlpkdd2015.org (ECMLPKDD 2015) Date: Mon, 4 May 2015 12:06:04 +0100 Subject: ECMLPKDD 2015 : Call for Demos - DEADLINE EXTENSION Message-ID: <01af01d0865a$523fb5b0$f6bf2110$@ecmlpkdd2015.org> http://www.ecmlpkdd2015.org For ECML PKDD 2015 in Porto, Portugal, we solicit submissions for demos. Submissions must describe working systems and be based on state-of-the-art machine learning and data mining technology. These systems may be innovative prototype implementations or mature systems that use machine learning techniques and knowledge discovery processes in a real setting. Systems that use basic statistics are not acceptable. Commercial software is not acceptable. The accepted papers for demos will be included in the conference proceedings, to be published by Springer Verlag in the "Lecture Notes in Artificial Intelligence" (LNAI) Series. The demos will be presented in a special demonstration session. At least one of the demo submitters must register for the conference, and perform the demo on site. Submission Guidelines All aspects of the submission and notification process will be handled online via the CMT conference management toolkit accessible from the conference web. Please choose the right track during the submission. Instructions concerning the submission, camera-ready formatting and copyright transfer for conference papers also hold for demo papers, unless otherwise specified. A demonstration submission must be up to 4 pages long. It must provide adequate information on the systems components and the way the system is operated, including e.g. screenshots. Submitters should keep in mind that the description of a demo has inherently different content than a research paper submitted to the main conference. A successful demonstration paper provides satisfactory answers the following questions: - What are the innovative aspects or in what way/area does it represent the state of the art? - Who are the target users and why is the system interesting/useful for them? - If there are similar/related pieces of software, what are the advantages and disadvantages of the presented one? The formatting guidelines of Springer Verlag for the LNAI series apply, and the author instructions and style files under http://www.springer.de/comp/lncs/authors.html must be used. For inquiries concerning submissions please contact the Demo Track Chairs; contact data below. Important Dates - Demo submission deadline: May 8 2015 EXTENDED - Notification of acceptance: 1 June 2015 - Camera-ready paper due: 15 June 2015 (aligned to the deadline of the main conference) Contacts For further information please contact the Demo Track Chairs: - Francesco Bonchi - Jaime Cardoso, INESC, Univ. Porto - Myra Spiliopoulou, Univ. Magdeburg, http://www.kmd.ovgu.de/Team/Academic+Staff/Myra+Spiliopoulou.html -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From lpulina at uniss.it Mon May 4 15:12:12 2015 From: lpulina at uniss.it (Luca Pulina) Date: Mon, 04 May 2015 15:12:12 +0200 Subject: RR 2015 Doctoral Consortium - Second Call for Papers Message-ID: <5547702C.5020603@uniss.it> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Mon May 4 16:47:09 2015 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Mon, 4 May 2015 10:47:09 -0400 (EDT) Subject: 3rd FMCAD Student Forum Message-ID: <20150504144709.93E6412144B@mcclellan.cs.miami.edu> FMCAD 2015 STUDENT FORUM FMCAD 2015, the fifteenth conference on the theory and applications of formal methods in hardware and system verification, will host the 3rd FMCAD Student Forum (September 28-30, 2015) providing a platform for graduate students at any career stage to introduce their research to the wider Formal Methods community. IMPORTANT DATES Submission Deadline: June 21, 2015 Acceptance notification: July 19, 2015 Forum date: September 28-30, 2015 Details are provided on http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD15/student-forum.shtml Submissions for the event must be short reports describing research ideas or ongoing work that the student is currently pursuing, and must be within the scope of FMCAD. Work, part of which has been previously published, will be considered; the novel aspect to be addressed in future work must be clearly described in such cases. All submissions will be reviewed by a select group of program committee members. The event will consist of short presentations by the student authors of each accepted submission, and of a poster that will be on display throughout the duration of the conference. Accepted submissions will be listed, with title and author name, in the event description in the conference proceedings. The authors will also have the option to upload their poster and presentation to the FMCAD web site. The best contribution (determined by the committee based on the quality of the submission and the presentation) will be given public recognition and a certificate at the event. Limited funds will be available for travel assistance for students with accepted contributions. We kindly ask faculty members to help us advertise the event by displaying the posters available from the web-page in their departments. If you have questions, please contact the forum chair Georg Weissenbacher (Vienna University of Technology, Austria). For more details visit http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD15/index.shtml From Wiebe.Van-Der-Hoek at liverpool.ac.uk Tue May 5 00:13:13 2015 From: Wiebe.Van-Der-Hoek at liverpool.ac.uk (Van der Hoek, Wiebe) Date: Mon, 4 May 2015 22:13:13 +0000 Subject: Logics for Rationality and Interaction: one week deadline extension Message-ID: <361080B0-F9BE-4781-9E3E-7A66A304C8CA@liverpool.ac.uk> Final Call for Papers - Extended Deadline (May 25) 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 (http://golori.org). 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. Submitted papers should be at most 12 pages long, with one additional page for references, in PDF/DOC format following the Springer LNCS style: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0. Please submit paper by May 25, 2015 via EasyChair for LORI-V: https://easychair.org/conferences/?conf=lori5 Accepted papers will be collected as a volume in the Folli Series on Logic, Language and Information, and a selection of extended papers will later be published in special issues of Synthese and the Journal of Logic and Computation. To encourage graduate students, those whose papers are single-authored and are accepted will be exempt from the registration fee, and up to 10 students will also have free accommodations during the conference dates. Invited Speakers Prof. Maria Aloni (Department of Philosophy, University of Amsterdam, The Netherlands) Prof. Joseph Halpern (Computer Science Department, Cornell University, USA) Prof. Eric Pacuit (Department of Philosophy, University of Maryland, USA) Prof. Liu Fenrong (Department of Philosophy, Tsinghua University, China) Prof. Branden Fitelson (Department of Philosophy, Rutgers University, USA) Prof. Churn-Jung Liau (Institute of Information Science, Academia Sinica, Taiwan) Organizers: LORI, National Taiwan University (NTU) and National Yang Ming University (YMU), Taipei, Taiwan, LORI For questions about paper submission, please contact: Prof. Wiebe van der Hoek (wiebe at liverpool.ac.uk) or Prof. Wesley Holliday (wesholliday at berkeley.edu) For questions about 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 universal.logic at ufc.br Tue May 5 01:05:44 2015 From: universal.logic at ufc.br (Universal Logic) Date: Mon, 4 May 2015 20:05:44 -0300 (BRT) Subject: 5th World School on Universal Logic - Registration now open ! Message-ID: <4446cd6366f0b95b799cdad4bd97b227.squirrel@correio3.ufc.br> Registration is now open for the 5th World School on Universal Logic to happen in Istanbul, Turkey, June 20-24, 2015 It is an exceptional school with 30 different tutorials given by scholars from all over the world There are 3 groups of tutorials: 1) Tutorials on history of logic, ranging from Jain logic to Frege, through Aristotle, Leibniz, Hegel, etc 2) Tutorials on logic and X: logic and music, logic and politics, logic and the theory of relativity, etc. 3) Tutorials on fundamental theorems with a universal perspective: completeness, compactness, incompleteness, etc You can choose the tutorials you want to attend by completing the form on the registration web page of the school http://www.uni-log.org/ULS5 ---------------------------------------------------------------------------------------------------------> UNILOG'2005 - World Congress and School on Universal Logic - UNILOG'2015 Montreux 2005, Xi'an 2007, Lisbon 2010, Rio de Janeiro 2013, Istanbul 2015 From mvm at cs.uns.edu.ar Tue May 5 18:22:09 2015 From: mvm at cs.uns.edu.ar (Vanina Martinez) Date: Tue, 5 May 2015 13:22:09 -0300 Subject: 2nd CfP: FoIKS 2016 || March 7-11, 2016 - Linz, Austria Message-ID: **Apologies for cross-postings*** ============== FoIKS 2016 | Call for Papers =============== CALL FOR PAPERS 9th International Symposium on Foundations of Information and Knowledge Systems March 7-11, 2016 - Linz, Austria The FoIKS symposia provide a biennial forum for presenting and discussing theoretical and applied research on information and knowledge systems. The goal is to bring together researchers with an interest in this subject, share research experiences, promote collaboration and identify new issues and directions for future research. FoIKS 2016 solicits original contributions dealing with any foundational aspect of information and knowledge systems. This includes submissions that apply ideas, theories or methods from specific disciplines to information and knowledge systems. Examples of such disciplines are discrete mathematics, logic and algebra, model theory, information theory, complexity theory, algorithmics and computation, statistics and optimization. Previous FoIKS symposia were held in Bordeaux (France) in 2014, Kiel (Germany) in 2012, Sofia (Bulgaria) in 2010, Pisa (Italy) in 2008, Budapest (Hungary) in 2006, Vienna (Austria) in 2004, SchlossSalzau near Kiel (Germany) in 2002, and Burg/Spreewald near Berlin (Germany) in 2000. FoIKS took up the tradition of the conference series Mathematical Fundamentals of Database Systems (MFDBS), which initiated East-West collaboration in the field of database theory. Former MFDBS conferences were held in Rostock (Germany) in 1991, Visegrad (Hungary) in 1989, and Dresden (Germany) in 1987. The FoIKS symposia are a forum for intense discussions. Speakers will be given sufficient time to present their ideas and results within the larger context of their research; furthermore, participants will be asked to prepare a first response to another contribution in order to initiate discussion. Suggested topics include, but are not limited to: ================================================= * Database Design: formal models, dependencies and independencies; * Big Data: models for data in the Cloud, programming languages for big data, query processing. * Dynamics of Information: models of transactions, concurrency control, updates, consistency preservation, belief revision; * Information Fusion: heterogeneity, views, schema dominance, multiple source information merging, reasoning under inconsistency; * Integrity and Constraint Management: verification, validation, consistent query answering, information cleaning; * Intelligent Agents: multi-agent systems, autonomous agents, foundations of software agents, cooperative agents, formal models of interactions, logical models of emotions; * Knowledge Discovery and Information Retrieval: machine learning, data mining, formal concept analysis and association rules, text mining, information extraction; * Knowledge Representation, Reasoning and Planning: non-monotonic formalisms, probabilistic and non-probabilistic models of uncertainty, graphical models and independence, similarity-based reasoning, preference modeling and handling, argumentation systems; * Logics in Databases and AI: classical and non-classical logics, logic programming, description logic, spatial and temporal logics, probability logic, fuzzy logic; * Mathematical Foundations: discrete structures and algorithms, graphs, grammars, automata, abstract machines, finite model theory, information theory, coding theory, complexity theory, randomness; * Security in Information and Knowledge Systems: identity theft, privacy, trust, intrusion detection, access control, inference control, secure Web services, secure Semantic Web, risk management; * Semi-Structured Data and XML: data modelling, data processing, data compression, data exchange; * Social Computing: collective intelligence and self-organizing knowledge, collaborative filtering, computational social choice, Boolean games, coalition formation, reputation systems; * The Semantic Web and Knowledge Management: languages, ontologies, agents, adaption, intelligent algorithms; and * The WWW: models of Web databases, Web dynamics, Web services, Web transactions and negotiations. Submission of Papers: ==================== Papers must be typeset using the Springer LaTeX2e style llncs for Lecture Notes in Computer Science. The suggested number of pages is 16, and the maximum number of pages is 18. Submissions which deviate substantially from these guidelines may be rejected without review. Initial submissions must be in PDF format, but authors should keep in mind that the LaTeX2e source must be submitted for the final versions of accepted papers. Submissions in alternate formats, such as Microsoft Word, cannot be accepted for either initial or final versions. The submissions will be judged for scientific quality and for suitability as a basis for broader discussion. Submission is via EasyChair at https://www.easychair.org/conferences/?conf=foiks2016. Publication: =========== The proceedings will be published by Springer-Verlag in the Lecture Notes in Computer Science. After the symposium, authors of selected papers will be asked to prepare extended versions of their papers for publication in a special issue of the journal Annals of Mathematics and Artificial Intelligence. Important Dates: =============== * Abstract submission deadline: October 04, 2015 * Paper submission deadline: October 11, 2015 * Author notification: November 22, 2015 * Camera-ready paper due: December 13, 2015 * FoIKS 2016 Symposium in Linz, Austria: March 07-11, 2014 More information in: =================== * Conference Web Page: http://cdcc.faw.jku.at/FoIKS2016/ * Facebook Fan Page: FOIKS 2016 (www.facebook.com/foiks16) * Twitter: https://twitter.com/FoIKS2016 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From pascal.hitzler at wright.edu Tue May 5 19:38:24 2015 From: pascal.hitzler at wright.edu (Pascal Hitzler) Date: Tue, 5 May 2015 13:38:24 -0400 Subject: CfP: WOP2015 @ ISWC2015, Workshop on Ontology and Semantic Web Patterns Message-ID: <55490010.5030108@wright.edu> Workshop on Ontology and Semantic Web Patterns (6th edition) - WOP2015 will take place at the 14th International Semantic Web Conference, ISWC2015, in Bethlehem, Pennsylvania in October 2015 . Workshop website: Submission deadline (papers and patterns): July 1, 2015 Call for Papers --------------- The main aim of the workshop is to discuss and collect solutions to recurrent problems that matter to researchers and practitioners of the Semantic Web field, and that impact on design and engineering of ontologies, linked data, knowledge extraction, and other semantic web applications. We invite the submission of original research results related to the focus areas of the workshop. Research papers (maximum 12 pages LNCS style) should present mature work and document established results, or be short papers presenting proposed research directions and novel ideas (maximum 4 pages LNCS style). Submission instructions can be found at the submission page at . This year we particularly welcome contributions of patterns concerning Linked Data, as well as patterns geared towards applications in specific domains, such as geosciences, biomedical sciences, as well as digital humanities. Original research papers and short papers are invited to consider the following (non exhaustive) list of topics: Ontology design patterns (ODPs) and pattern-based ontology design Anti-patterns and their relations to ODPs Pattern-based ontologies Ontology patterns and their relation with standards Ontology pattern extraction Analysis of ontology pattern usage Pattern-based ontology evaluation and selection Correspondence patterns for ontology matching and integration Best practices and examples for using existing ontologies/datasets to instantiate ODPs Discussion of use cases of particular ODPs across ontologies Evaluation of ODPs (methods, benchmarks) Patterns and Linked data (usage, emerging patterns, etc.) Linked Data patterns, patterns for using different vocabularies together Web semantics from a pattern perspective ODPs used for interaction with data Data mining patterns Automatic ontology construction (ontology learning) based on patterns Reasoning pipelines Usage of patterns in business intelligence Relation between NLP patterns (either for learning, or procedural) and ontologies/linked data design Frame semantics in text and knowledge representation Knowledge patterns and knowledge reengineering based on patterns Pattern-based information extraction Nary-fact extraction and representation Patterns in semantic social networks, semantic wikis, semantic blogs Reengineering patterns for conceptual models, folksonomies, lexicons, thesauri Usage of patterns in conceptual modeling Processes and services process patterns Problem solving methods and patterns Contextual reasoning and patterns as context Pattern-based methods and methodologies for development of semantic applications Usage of patterns in Semantic Web design Collaborative ontology design and collaboration patterns Tools and applications for pattern-based knowledge engineering Ontology Patterns for specific domains (cultural heritage, digital humanities, geosciences, biomedical sciences, multimedia, etc). Call for Patterns ----------------- Submission instructions can be found at the submission page at . We invite the submission of research results in the form of ontology design patterns (ODPs). Patterns submitted should have a general relevance to the ontology engineering field, or specific interest within a knowledge domain. Patterns should solve some particular modeling problem, and be of significant interest for discussion at the workshop. Patterns should be original, in the sense that they are the intellectual product of the author(s), however they may still be based on the collective experience of a community. Pattern submissions for the pattern session will be collected: * through the ODP portal and * by submitting a description of the pattern (pattern description) via EasyChair. Detailed instructions for patterns submission, including how to submit via the ontologydesignpatterns.org portal, are found at the submission page. Note that an account in the ODP portal is needed for submitting patterns; thus, authors should take care to request an account at least one week before their intended submission. Pattern submissions can be made in any type of ODPs. Currently, portal templates for submission are provided for the following types of patterns (see general typology for explanation of the types): * Content patterns * Structural patterns: logical and architecture patterns. * Correspondence patterns: re-engineering and alignment patterns. For other types of patterns, the author is welcome to submit only a pattern description. Submission and Important Dates ------------------------------ For details on how to submit to WOP2015 see the submission page. Important dates Submission date: July 1, 2015 Author notifications: July 30, 2015 Camera-ready papers: to be determined Workshops will be held on to be determined Proceedings ----------- Accepted research papers and pattern descriptions will be published online as CEUR-Workshop Proceedings. WOP2015 Chairs -------------- Chairs: Eva Blomqvist, Linköping University, Sweden (patterns co-chair) Pascal Hitzler, Wright State University, USA (papers co-chair) Adila Krisnadhi, Wright State University, USA (proceedings chair) Thomas Narock, Marymount University, USA (papers co-chair) Monika Solanki, Aston University, UK (patterns co-chair) For general inquiries, please contact Pascal Hitzler at -- Prof. Dr. Pascal Hitzler Dept. of Computer Science, Wright State University, Dayton, OH pascal at pascal-hitzler.de http://www.pascal-hitzler.de Semantic Web Textbook: http://www.semantic-web-book.org Semantic Web Journal: http://www.semantic-web-journal.net From pnse15 at informatik.uni-hamburg.de Wed May 6 14:38:12 2015 From: pnse15 at informatik.uni-hamburg.de (PNSE15) Date: Wed, 06 May 2015 14:38:12 +0200 Subject: Final Call for Papers: PNSE'15 Petri Nets and Software Engineering Message-ID: <554A0B34.5000103@informatik.uni-hamburg.de> PNSE'15 International Workshop on Petri Nets and Software Engineering Brussels, Belgium, June 22-23, 2015 a satellite event of Petri Nets 2015 36th INTERNATIONAL CONFERENCE ON APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY AND 15th INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN More information: http://www.informatik.uni-hamburg.de/TGI/events/pnse15/ Contact e-mail: pnse15_at_informatik_dot_uni-hamburg_dot_de __________________________________________________________________ Important Dates Deadline for full papers: May 15th, 2015 Deadline for short papers: May 15th, 2015 Notification of paper acceptance: May 28th, 2015 Deadline for posters: May 31st, 2015 Notification of poster acceptance: May 31st, 2015 Deadline for final revisions: June 3rd, 2015 __________________________________________________________________ Scope Development of complex systems is an everlasting challenge. The workshop addresses this by discussing the whole range of topics that belong to development approaches: theory, software engineering and modelling. With the background of the Petri net and ACSD conference it has on the one hand a strong background in any kinds of Petri nets and related formalisms. On the other hand software engineering and modelling with their much wider facets are also addressed: Formalisms and their theoretical and practical results need to be embedded. Modelling is one of the dominant topics in this perspective. This year we explicitly invite papers beside the traditionally Petri net biased papers: In addition to more theoretical papers we look for contributions that put the main emphasize on modelling or software engineering. Papers that aim at the cross-fertilization of applied and theoretical research in the above mentioned areas are most welcome. Especially applications and tools provide settings for empirical and practical research projects, which are of high relevance for the workshop. Languages supporting the tasks of planning, analysing, specifying, validation, verification, design, implementation, testing or maintaining. Fundamental concepts and aspects like causality, concurrency, distribution, time, efficiency, correctness, fairness etc. can be addressed with the means of formal modelling as well as with practical means of software engineering. During the workshop we will discuss the mutual dependencies and possibilities of improvements when applied simultaneously. __________________________________________________________________ Topics We welcome contributions describing original research in topics of the above mentioned scope, addressing open problems, presenting new ideas, describing applications or tools. We explicitly invite papers with the main emphasize on software engineering or modelling. Topics of interest include but are not limited to: Modelling representation of formal models by intuitive modelling concepts model-driven architecture and model transformation modelling as a process and as a discipline adaptation and integration of concepts from other disciplines open modelling challenges or representative examples Software Engineering software development approaches and processes modelling, meta-modelling, reference models mobile systems and mobile software engineering adaptive and self-managing software software security and privacy, software robustness, safety tools Validation and Execution prototyping simulation, observation, animation code generation and execution testing and debugging process mining Verification structural methods, structural subclasses state space based approaches assertional and deductive methods (e.g. temporal logics) process algebraic methods applications of category theory and linear logic general analysis for software engineering contexts practical examples and use cases Petri Nets and other Modelling techniques concurrency theory, net formalisms verification, validation and execution case studies Applications, in particular in the domains of (but not restricted to) flexible manufacturing, logistics, telecommunication, workflow management, embedded systems, autonomous and self-* systems Tools and empirical studies in the fields mentioned above Submissions The programme committee invites submissions of full contributions (up to 20 pages) or short contributions (up to 5 pages). Ongoing work (up to 2 pages) can also be presented in a special poster session. Please note that for full contributions up to 15 pages are recommended. Papers should be submitted in electronic form (PDF) using the Springer LNCS-format (see http://www.springer.de/comp/lncs/authors.html). Submissions should include title, authors' addresses, E-mail addresses, keywords and an abstract. For your submission in PDF format please use the online conference management system at http://www.easychair.org/conferences/?conf=pnse14 Just login or create a new account and then upload your paper. (Later you will be able to see your reviews there.) The papers will be peer reviewed by at least three members of the PC. Accepted contributions will be included in the workshop proceedings, which will be published on-line at CEUR-WS.org. __________________________________________________________________ Some of the best papers from the workshop will be invited for publication in a volume of the journal sub line of Lecture Notes in Computer Science entitled "Transactions on Petri Nets and Other Models of Concurrency" (ToPNoC). The papers are expected to be thoroughly revised and they will go through a totally new round of reviewing as is standard practice for journal papers. Papers from previous instances of this workshop (PNSE'07, PNDS'08, PNSE'09, PNSE'10, PNSE'11, PNSE'12, PNSE'13 and PNSE'14) made it into ToPNoC volumes in the Springer LNCS series (volumes 5100, 5460, 5800, 6550, 6900, 7400, 7480, 7810 and 8910). __________________________________________________________________ Chairs * Daniel Moldt (University of Hamburg, Germany) * Heiko Rölke (DIPF, Germany) * Harald Störrle (Technical University of Denmark, Denmark) -- Please use mailto:pnse14 at informatik.uni-hamburg.de or http://www.informatik.uni-hamburg.de/TGI/events/pnse14/ to contact us with respect to PNSE14 PNSE14 PC-Chairs: Daniel Moldt and Heiko Rölke *** Event: Petri Nets and Software Engineering, June 23/24, 2014 *** *** visit: http://www.informatik.uni-hamburg.de/TGI/events/pnse14 *** From adrian.paschke at gmx.de Wed May 6 17:01:55 2015 From: adrian.paschke at gmx.de (Adrian Paschke) Date: Wed, 6 May 2015 17:01:55 +0200 Subject: 11th Reasoning Web Summer School (RW 2015) - "Web Logic Rules" Message-ID: <019a01d0880d$a4e185a0$eea490e0$@gmx.de> Dear Colleagues, Please consider to send your student to the 11th Reasoning Web Summer School... Application Deadline - May 10th, 2015 ********************************************** CALL FOR APPLICATIONS The 11th Reasoning Web Summer School (RW 2015) Berlin, Germany, July 31 - August 4, 2015 http://reasoningweb.org/2015 ********************************************** co-located with: - 9th International Conference on Web Reasoning and Rule Systems (RR 2015), Berlin, Germany, August 4-6, 2015 http://www.rr-conference.org/RR2015 - 9th International Web Rule Symposium (RuleML 2015), Berlin, Germany, August 2-5, 2015 http://2015.ruleml.org/ - 25th International Conference on Automated Deduction (CADE-25), Berlin, Germany, August 1-7, 2015 http://www.cade-25.info/ - RR Doctoral Consortium and RuleML Doctoral Consortium (submission deadline for Phd papers: May 10th) http://www.csw.inf.fu-berlin.de/rr2015/dc.html http://2015.ruleml.org/DoctoralConsortium.html The purpose of the Reasoning Web Summer School is to disseminate recent advances on reasoning techniques which are of particular interest to Semantic Web and Linked Data applications. It is primarily intended for postgraduate (PhD or MSc) students, postdocs, young researchers, and senior researchers wishing to learn about Reasoning on the Semantic Web and related issues. In 2015, the theme of the school is: "Web Logic Rules" As in the previous years, lectures in the summer school will be given by a distinguished group of expert lecturers. Apart from their lectures, most lecturers will also be present for the duration of the school to interact and establish contacts with the students. The summer school is co-located with RR2015, RuleML 2015 and CADE-25, hence, there will be a great opportunity for students to also attend a major event in the area after the school. In addition, RR and RuleML will also include a Doctoral Consortium and students of RW are particularly encouraged to also apply to the Doctoral consortium of RR and RuleML - joint applications are explicitly encouraged. == IMPORTANT DATES == Application deadline: May 10, 2015 Notifications: June 1, 2015 == LECTURES == see webiste for the list of lectures http://www.csw.inf.fu-berlin.de/rw2015/lecturers.html and program http://www.csw.inf.fu-berlin.de/rw2015/schedule.html == APPLICATIONS == The number of attendees will be limited and participation will depend on submitting an application which will undergo a reviewing process. Applications have to be submitted via Easychair using the following URL and by selecting the "RW2015" track: https://www.easychair.org/conferences/?conf=rw2015 The program of the school will include a poster session, where students can present and discuss their ongoing research with lecturers and colleagues. Applicants who wish to participate in the poster session shall tick the "participation in poster session" group and include a poster title and abstract with their application submission. A selection of students attending RW will have the possibility to also attend the RR and RuleML Doctoral Consortium with the opportunity to present their poster in a regular session of RR 2015 and RuleML 2015. Students interested to be considered in this selection process should indicate it in their application. Students applying to RW are encouraged to submit also to the RR Doctoral Consortium (http://www.csw.inf.fu-berlin.de/rr2015/dc.html), which will have proceedings and a mentoring lunch. Applications must be submitted in PDF format not exceeding 2 pages (min. font size 11pt) and contain the following information: - Name, contact details - Affiliation - Motivation for participation - Summary of profile - Willing to present a poster? (if yes, add a poster title and abstract) - Willing to be considered for RR/RuleML 2015 Doctoral Consortium? - Supervisor (if applicable) - Publications (if applicable) == SCHOOL FEES == The fee for attending the school is 450 Euros (for registered RR 2015 or RuleML 2015 participants, it is 350 Euros). == LECTURE NOTES == The course material used during the summer school will be published with Springer's Lecture Notes in Computer Science (LNCS) series. A copy of the proceedings will be included in the registration fees. == GRANTS == There will be a limited number of student grants available for the summer school and for the co-located RR2015 conference. == ORGANIZATION == * Organizing Chairs Wolfgang Faber (University of Huddersfield, UK) Adrian Paschke (Freie Universitaet berlin, Germany) * Scientific Advisory Board Grigoris Antoniou (University of Huddersfield) Nick Bassiliades (Aristotle University of Thessaloniki) Diego Calvanese (Free University of Bozen-Bolzano) Thomas Eiter (Vienna University of Technology) Tim Furche (Oxford University) Pascal Hitzler (Wright State University) Sebastian Rudolph (Technische Universität Dresden) == CONTACT == For further information including sponsorship opportunities, please contact the organizing chairs. http://reasoningweb.org/2015 Doctoral Consortium ==================== We would also like to invite Phd students to submit Phd papers to the collocated two Doctoral Consortiums: RR 2015 Doctoral Consortium http://www.csw.inf.fu-berlin.de/rr2015/dc.html RuleML Doctoral Consortium http://2015.ruleml.org/DoctoralConsortium.html Submission deadline for Phd papers: May 10th From marc.denecker at cs.kuleuven.be Wed May 6 18:13:47 2015 From: marc.denecker at cs.kuleuven.be (Marc Denecker) Date: Wed, 06 May 2015 18:13:47 +0200 Subject: GTTV'15: Call for Papers Message-ID: <554A3DBB.5010300@cs.kuleuven.be> ------------------------------------------------------------------------------ CALL FOR PAPERS ------------------------------------------------------------------------------ GTTV'15 3rd Workshop on Grounding, Transforming, and Modularizing Theories with Variables 27 September, Lexington, KY, USA. Workshop collocated with LPNMR 2015 URL: https://sites.google.com/site/gttv2015/ ------------------------------------------------------------------------------ IMPORTANT DATES ------------------------------------------------------------------------------ - Paper registration: 22 June - Paper submission: 29 June - Notification of acceptance: 17 August - Camera ready submission: 1 September - Workshop: 27 September, 2015 ------------------------------------------------------------------------------ WORKSHOP DESCRIPTION ------------------------------------------------------------------------------ Although many efficient solvers used in formal reasoning operate at the propositional level, in most application domains for knowledge representation and reasoning the use of variables is crucial for allowing compact and flexible formal descriptions. As a result, a common situation in many different areas of formal reasoning is to deal with high level descriptions containing variables while using a propositional solver as a back-end. The technique of removing variables, replacing them by their possible ground instances, is commonly known as Grounding, and has attracted research interest from quite diverse areas such as Logic Programming and Non-Monotonic Reasoning, Theorem Proving, Planning, Deductive Databases, Formal Methods, and others. This workshop aims to bring together researchers from different areas with a common interest in grounding and transformations for theories with variables, establishing a meeting point from which a cross-fertilization of new ideas may emerge. Workshop topics include, but are not limited to: * Transformations and pre-processing for grounding * Equivalence and correspondence for theories with variables * Modularity and compositionality * Syntactic restrictions for grounding * Grounding for theories with functions * Selective on-the-fly grounding, lazy grounding, grounding on demand * Grounding algorithms: heuristics, computational complexity, etc * Benchmarks, challenging applications and system comparisons * Grounding for specific solvers including, but not limited to: ASP, SAT, SMT, constraint programming, mixed integer programming, etc * Grounding in hybrid systems: ontologies and ASP, etc * Other techniques for variables: quantifier elimination, etc. ------------------------------------------------------------------------------ INVITED SPEAKERS ------------------------------------------------------------------------------ Andreas Pieris, Vienna University of Technology Roland Kaminski, Potsdam University ------------------------------------------------------------------------------ SUBMISSION INSTRUCTIONS ------------------------------------------------------------------------------ All submissions must be written in English and formatted according to the Springer LNCS/LNAI author instructions. http://www.springer.com/comp/lncs/Authors.html Two types of contributions are accepted: Technical papers and System descriptions. Technical papers must present original research and not exceed 13 pages including title page, references and figures. We also encourage introductory system descriptions that help different groups make their work known to the others. For system presentations a length of 6 pages is recommended. Paper submission is electronic and managed through the following easychair GTTV'15 webpage https://www.easychair.org/conferences/?conf=gttv15 MULTIPLE SUBMISSION POLICY GTTV'15 will not accept any paper which, at the time of submission, has already been published or accepted for publication in a journal or previous conference. However, authors may freely submit their papers elsewhere during or after GTTV'15 review period, since GTTV'15 is a specialized workshop without archival proceedings and intended for a limited audience. ------------------------------------------------------------------------------ PROGRAM COMMITTEE ------------------------------------------------------------------------------ Marcello Balduccini, Drexel University Pedro Cabalar, University of A Coruña Martin Gebser, Aalto University Emilia Oikarinen, Aalto University Simona Perri, University of Calabria Joohyung Lee, Arizona State University Torsten Schaub, University of Potsdam Shahab Tasharrofi, Aalto University Evgenia Ternovska, Simon Fraser University Mirek Truszczynski, University of Kentucky Agustín Valverde Ramos, University of Málaga Concepción Vidal Martin, University of A Coruña Stefan Woltran, Technische Universität Wien ------------------------------------------------------------------------------ ORGANIZING COMMITTEE ------------------------------------------------------------------------------ Marc Denecker, KU Leuven Tomi Janhunen, Aalto University Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm From ijcai2015.publicity at gmail.com Wed May 6 19:09:39 2015 From: ijcai2015.publicity at gmail.com (IJCAI 2015 Publicity Chairs) Date: Wed, 6 May 2015 14:09:39 -0300 Subject: IJCAI-15 Student Volunteer and Financial Support Programs Message-ID: [Apology for cross-postings] ************************************************************************************************* IJCAI-15 STUDENT VOLUNTEER PROGRAM IJCAI is pleased to announce the continuation of their Student Volunteer Program for 2015. The Student Volunteer Program is an essential part of the conference. Volunteers will support IJCAI-15 organizers in Buenos Aires, helping with different activities during the conference, such as welcoming attendants at the registration desk or recording the tutorials. The technical program registration fee will be waived to student volunteers. Application deadline: May 15, 2015 Call for Student Volunteers (PDF): http://habla.dc.uba.ar/ijcai-15/ijcai-15-call-for-volunteers.pdf Online Application Form: http://goo.gl/Whj81v IJCAI-AIJ TRAVEL GRANTS PROGRAM The International Joint Conferences on Artificial Intelligence [IJCAI], Organization, in collaboration with the AI Journal, is pleased to announce the continuation of its Travel Grants Program for students, junior scientists and scientists attending IJCAI-15 to be held in Buenos Aires, Argentina, during July 25-31, 2015. The IJCAI-15 Travel Grants Program is sponsored in full by the IJCAI Organization and its Artificial Intelligence Journal (AIJ) Division. Application deadline: May 15, 2015 Call for Applications: http://ijcai-15.org/index.php/students IJCAI-15 LOCAL REFUNDING PROGRAM Besides the IJCAI-AIJ Travel Grants Program, there will be a limited amount of resources available to partially support students and researchers attending IJCAI-15. This program is intended for students and researchers from Latin-American countries. Application deadline: May 15, 2015 Call for Applications (PDF): Español: http://habla.dc.uba.ar/ijcai-15/ijcai-15-call-local-refunding-program-es.pdf Português: http://habla.dc.uba.ar/ijcai-15/ijcai-15-call-local-refunding-program-pt.pdf Online Application Form: http://goo.gl/ME3R4c ----- 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 manolis.stamatogiannakis at vu.nl Thu May 7 03:44:22 2015 From: manolis.stamatogiannakis at vu.nl (Manolis Stamatogiannakis) Date: Wed, 6 May 2015 18:44:22 -0700 Subject: TRUST 2015: Deadline EXTENDED to May 18 In-Reply-To: <554A6F8F.3050207@vu.nl> References: <554A6F8F.3050207@vu.nl> Message-ID: <554AC376.4080304@vu.nl> Deadline for papers extended to MAY 18. In addition to papers/short papers, the TRUST 2015 also accepts 2p abstracts for poster submissions. The accepted abstracts will be included in the final proceedings. See: http://www.ics.forth.gr/trust2015/call-posters.html ====================================================================== Call for Papers: TRUST 2015 8th International Conference on Trust & Trustworthy Computing 24-26 August, 2015 - Heraklion, Crete, Greece ====================================================================== http://www.ics.forth.gr/trust2015/ / http://bit.ly/trust2015 About TRUST ---------------------------------------- TRUST 2015 is an international conference on the technical and socio-economic aspects of trustworthy infrastructures. It provides an excellent interdisciplinary forum for researchers, practitioners, and decision makers to explore new ideas and discuss experiences in building, designing, using and understanding trustworthy computing systems. Important Dates ---------------------------------------- * Paper submissions due: 18 May 2015 (EXTENDED) * Acceptance notification: 17 June 2015 * Final paper due: 28 June 2015 * Conference: August 24-26 2015 Topics of Interest ---------------------------------------- TRUST 2015 solicits original papers on any aspect (technical, social or socio-economic) of the design, application and usage of trusted and trustworthy computing. Papers can address design, application and usage of trusted and trustworthy computing in a broad range of concepts including, but not limited to, trustworthy infrastructures, cloud computing, services, hardware, software and protocols. The conference includes a Technical and a Socioeconomic Strand. Following is a partial list of topics of interest for the two strands. For the full list of topics, please refer to the conference website: http://www.ics.forth.gr/trust2015/ Technical Strand topics of interest include: * (NEW TOPIC) Applications and security analysis of trusted computing. Early explorations and results on new paradigms or emerging technologies (e.g. Intel SGX) are particularly encouraged. * (NEW TOPIC) Trust, Security and Privacy in embedded systems and IoT systems. * Trust, Security and Privacy in social networks. * Trusted mobile platforms and mobile phone security. * Trustworthy infrastructures and services for cloud computing (including resilience). * Attestation and integrity verification. * Cryptographic aspects of trusted and trustworthy computing. * Security hardware with cryptographic and security functions, physically unclonable functions (PUFs). * Intrusion resilience in trusted computing. * Virtualization for trusted platforms. * Security policy and management of trusted computing. * Privacy aspects of trusted computing. * Verification of trusted computing architectures. * Usability and end-user interactions with trusted platforms. * Limitations of trusted computing. * Usability and user perceptions of trustworthy systems and risks. Socioeconomic Strand topics of interest include: * (NEW TOPIC) Trust in the Web: protocols and implementations of mechanisms to measure and leverage trust from the web (e.g., using social networks to establish trust for other services). * The role of trust in human-computer interactions. * Patterns of trust practices in human-computer interactions. * Effects of trustworthy systems upon user, corporate, and governmental behavior. * The impact of trustworthy systems in enhancing trust in cloud-like infrastructures. * The adequacy of guarantees provided by trustworthy systems for systems critically dependent upon trust, such as elections and government oversight. * The impact of trustworthy systems upon digital forensics, police investigations and court proceedings. * Game theoretical modeling/design of trustworthy systems. * Modeling and simulation of scenarios on how trustworthy systems would be used in corporate environments and in personal space. * Economic drivers for trustworthy systems in corporate environments. * Experimental economics studies of trustworthiness. * The interplay between privacy, privacy enhancing technologies and trustworthy systems. * Evaluation of research methods used in the research of trustworthy and trusted computing. * Critiques of trustworthy systems. * Metrics of trust. * Privacy Aspects of Trust Computing. * Engineering Processes for Trustworthy Computing. Submitted papers must not substantially overlap papers that have been published or that are simultaneously submitted to a journal, conference or workshop. Simultaneous submission of the same work is not allowed. Authors of accepted papers must guarantee that their papers will be presented at the conference. Format of paper submissions ---------------------------------------- Two formats of submissions are solicited: * Full papers (up to 18 pages in LNCS format) that report on in-depth, mature research results. * Short papers (up to 9 pages in LNCS format) that describe brief results or exciting work-in-progress. To submit your work, visit: https://www.easychair.org/conferences/?conf=trust2015 All paper submissions to TRUST 2015 must be in LNCS format and written in English. The templates for LNCS format can be downloaded from: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 All submissions must be within the page limits mentioned above. No changes to margins, spacing, or font sizes (or anything else) are allowed. The program committee reserves the right to request the source files for a submission to verify compliance with this requirement. Moreover, all submissions must be anonymized. An author's name should occur only in references to that author's related work, which should be referenced in the third person and not be overtly distinguishable from the referenced work of others. Only PDF submissions will be accepted. For the latest submission instructions and dates, please refer to the conference website: http://www.ics.forth.gr/trust2015/ Organisation Committee ---------------------------------------- * General Chair: Ioannis Askoxylakis, FORTH, GR * Program Chairs: - Mauro Conti, University of Padua, IT - Matthias Schunter, Intel, DE For the full Program Committee, see: http://bit.ly/trust2015pc TRUST 2015 Twitter Updates ---------------------------------------- Announcements regarding TRUST 2015 will be sent through @syssecproject on Twitter: https://twitter.com/syssecproject -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From epontell at cs.nmsu.edu Thu May 7 11:36:16 2015 From: epontell at cs.nmsu.edu (Enrico Pontelli) Date: Thu, 7 May 2015 03:36:16 -0600 Subject: PADL 2015 - Call for Participation Message-ID: CALL for PARTICIPATION ================== 17th International Symposium on Practical Aspects of Declarative Languages (PADL 2015) http://www.cs.nmsu.edu/padl15 Portland, Oregon, June 18-19, 2015 Part of ACM Federated Computing Research Conference Preliminary Schedule =============== The preliminary program of PADL 2015 is now available at http://www.cs.nmsu.edu/padl15. The accepted papers for the symposium are: * Reactive Single-Page Applications with Dynamic Dataflow Simon Fowler, Loic Denuziere and Adam Granicz. * On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities Flavio Cruz and Ricardo Rocha. * Declaratively solving Google Code Jam problems with Picat Sergii Dymchenko and Mariia Mykhailova. * Programming Microcontrollers in OCaml: the OCaPIC Project Benoit Vaugon, Philippe Wang and Emmanuel Chailloux. * On logic programming representations of lambda terms: de Bruijn indices, compression, type inference, combinatorial generation, normalization Paul Tarau. * Implementation and Performance of Probabilistic Inference Pipelines Dimitar Shterionov and Gerda Janssens. * CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry Michael Hanus. * Ontology-Driven Data Semantics Discovery for Cyber-Security Marcello Balduccini, Sarah Kushner and Jacquelin Speck. * A Haskell Implementation of a Rule-Based Program Transformation for C Programs Salvador Tamarit, Guillermo Vigueras, Manuel Carro and Julio Mariño. * State Space Planning Using Transaction Logic Reza Basseda. The Symposium will feature two invited speakers - please visit the web site for updates. Conference Description ================= PADL is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including, functional, logic, constraints, etc. Topics of interest include, but are not limited to: * Innovative applications of declarative languages * Declarative domain-specific languages and applications * Practical applications of theoretical results * New language developments and their impact on applications * Declarative languages and software engineering * Evaluation of implementation techniques on practical applications * Practical experiences and industrial applications * Novel uses of declarative languages in the classroom * Practical extensions such as constraint-based, probabilistic, and reactive languages. PADL 2015 welcomes new ideas and approaches pertaining to applications and implementation of declarative languages. PADL 2015 will be co-located with the ACM Federated Computing Research Conferences, in Portland, Oregon. CONFERENCE REGISTRATION ===================== Please visit the conference web site for information about registration and travel accommodations. From asdm at fi.upm.es Thu May 7 11:50:17 2015 From: asdm at fi.upm.es (asdm at fi.upm.es) Date: Thu, 7 May 2015 11:50:17 +0200 (CEST) Subject: Tenth Madrid UPM Advanced Statistics and Data Mining Summer School - Early registration reminder Message-ID: <1521118594.2.1430992017548.JavaMail.Bojan@neurolab> Dear colleagues, We would like to remind you that early registration for the tenth Madrid UPM Advanced Statistics and Data Mining Summer School is open until June 7th. The summer school will be held in Boadilla del Monte, near Madrid, from June 29th to July 10th. As in previous years, the school comprises 12 week-long courses, of 15 lecture hours each, which are given during two weeks (i.e., with six courses given each week). Students are free to choose the courses according to their interests, with the only restriction being that courses which are given in parallel are mutualy exclusive. We would also like to announce that INOMICS has selected our summer school as one of the world's top ten summer schools in mathematics and statistics. You can read more at https://blog.inomics.com/top-10-summer-schools-in-math-stats/ Extended information on course programmes, price, venue, accommodation and transport is available at the school's website: http://www.dia.fi.upm.es/ASDM Please, send this information to your colleagues, students, and whoever you think may find it interesting. Best regards, Pedro Larranaga, Concha Bielza, Bojan Mihaljevic and Laura Anton-Sanchez. -- School coordinators. *** List of courses and brief description *** * Week 1 (June 29th - July 3rd, 2015) * 1st session: 9:45-12:45 Course 1: Bayesian Networks (15 h) Basics of Bayesian networks. Inference in Bayesian networks. Learning Bayesian networks from data. Real applications. Practical demonstration: GeNIe, Weka, Bayesia, R. Course 2: Time Series(15 h) Basic concepts in time series. Descriptive methods for time series. Linear models for time series. Extensions. Practical demonstration: R. 2nd session: 13:45-16:45 Course 3: Supervised Pattern Recognition (15 h) Introduction. Assessing the performance of supervised classification algorithms. Preprocessing. Classification techniques. Combining multiple classifiers. Comparing supervised classification algorithms. Course 4: Bayesian Inference (15 h) Introduction: Bayesian basics. Conjugate models. MCMC and other simulation methods. Regression and Hierarchical models. Model selection. Practical demonstration: R and WinBugs. 3rd session: 17:00 - 20:00 Course 5: Neural Networks and Deep Learning (15 h) Introduction. Training algorithms. Learning and Optimization. MLPs in practice. Deep Networks. Course 6: Unsupervised Pattern Recognition (15 h) Introduction to clustering. Data exploration and preparation. Prototype-based clustering. Density-based clustering. Graph-based clustering. Cluster evaluation. Miscellanea. Conclusions and final advise. Practical session: R. * Week 2 (July 6th - July 10th, 2015) * 1st session: 9:45-12:45 Course 7: Statistical Inference(15 h) Introduction. Some basic statistical test. Multiple testing. Introduction to bootstrap methods. Introduction to Robust Statistics. Practical demonstration: R. Course 8: Bayesian Classifiers (15 h) Discrete predictors. Gaussian Bayesian networks-based classifiers. Other Bayesian classifiers. Bayesian classifiers for: positive and unlabeled data, semi-supervised learning, data streams, temporal data. Practical session: R. 2nd session: 13:45-16:45 Course 9: Text Mining (15 h) Introduction. Fundamentals. Language Modeling. String Processing. Text Classification. Information Extraction. Practical session: GATE (optionally, python). Course 10: Feature Subset Selection (15 h) Introduction. Filter approaches. Embedded methods. Wrapper methods. Advanced topics. Practical session: R and Weka. 3rd session: 17:00-20:00 Course 11: Support Vector Machines and Convex Optimization (15 h) Introduction. SVM models. SVM learning algorithms. Convex non differentiable optimization. Course 12: Hidden Markov Models (15 h) Introduction. Discrete Hidden Markov Models. Basic algorithms for Hidden Markov Models. Semicontinuous Hidden Markov Models. Continuous Hidden Markov Models. Unit selection and clustering. Speaker and Environment Adaptation for HMMs. Other applications of HMMs. Practical session: HTK. From dietmar.jannach at tu-dortmund.de Fri May 8 08:41:31 2015 From: dietmar.jannach at tu-dortmund.de (Dietmar Jannach) Date: Fri, 8 May 2015 08:41:31 +0200 Subject: EC-Web 2015: Call for papers (Submission Deadline: 1 June 2015) Message-ID: <000301d0895a$06d8d540$148a7fc0$@tu-dortmund.de> ======================================================= CALL FOR PAPERS 16th International Conference on ELECTRONIC COMMERCE AND WEB TECHNOLOGIES (EC-Web 2015) 1-2 September, 2015 Valencia, Spain http://www.dexa.org/ecweb2015 *** Deadline (Papers and Extended Abstracts): June 1st *** ======================================================= BACKGROUND, AIMS AND SCOPE ========================== EC-Web is an international scientific conference series devoted to technology related aspects of e-Commerce and e-Business. The 16th edition of the conference, EC-Web 2015, will take place in Valencia, Spain in September 2015 and will serve as a forum to bring together researchers and practitioners to present and discuss recent advances in their fields. We solicit original scientific contributions in the following areas: * Search, Comparison and Recommender Systems * Semantic-based Systems, Ontologies and Linked Data * Agent-based Systems, Negotiation and Auctions * Social Web and Social Media in E-Commerce * Computational Advertising * E-commerce Infrastructures and Cloud-based Services * Business Processes, Web Services and Service-Oriented Architectures * E-Business Architectures * Emerging Business Models, Software as a Service, Mobile Services * Security, Privacy and Trust * Case Studies SPECIAL TRACKS ============== Beside the general track, EC-Web 2015 will feature a set of special tracks on selected topics: T1) Search, Comparison and Recommender Systems (Track chair: Tommaso Di Noia, Politecnico di Bari, Italy) T2) Semantic Web (Track chair: Asunción Gómez Pérez, UPM Madrid, Spain) T3) E-commerce Infrastructures (Track chair: Jorge Cardoso, University of Coimbra, Portugal) T4) Social Web (Track chair: Conor Hayes, DERI, Ireland) T5) Agents (Track chair: Helder Coelho, University of Lisbon, Portugal) T6) Open Track T7) PhD Track PAPER SUBMISSION, SELECTION AND PUBLICATION =========================================== Authors are invited to submit original and unpublished research papers at http://confdriver.ifs.tuwien.ac.at/dexa2015 The manuscripts are limited to 12 pages using the Springer LNBIP style sheet: http://www.springer.com/computer/lncs?SGWID=0-164-6-791344-0 Authors may also submit extended abstracts of full papers with a length of 4-6 pages. Authors of accepted extended abstracts will be asked to provide full papers for final review and inclusion in the proceedings in autumn 2015. The selection of papers will be based on a peer-review process by selected international experts. Each paper will be peer-reviewed by at least 3 reviewers. The proceedings will be published as post-conference proceedings in the Springer Lecture Notes in Business Information Processing (LNBIP) series in autumn 2015. Selected papers will get the opportunity to submit to a fast track review process in the Journal on Data Semantics. IMPORTANT DATES =============================== 1 Jun 2015: Paper submission 15 Jul 2015: Notification of acceptance 1-2 September 2015: Conference held ORGANIZATION =============================== Program chairs: * Heiner Stuckenschmidt, University of Mannheim, Germany * Dietmar Jannach, TU Dortmund, Germany -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From lpulina at uniss.it Fri May 8 16:04:28 2015 From: lpulina at uniss.it (Luca Pulina) Date: Fri, 08 May 2015 16:04:28 +0200 Subject: CALL FOR APPLICATIONS -- The 11th Reasoning Web Summer School (RW 2015) Message-ID: <554CC26C.80505@uniss.it> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ijcai2015.publicity at gmail.com Fri May 8 19:00:42 2015 From: ijcai2015.publicity at gmail.com (IJCAI 2015 Publicity Chairs) Date: Fri, 8 May 2015 14:00:42 -0300 Subject: IJCAI 2015 Video Competition - EXTENDED DEADLINE Message-ID: [Apology for cross-postings] ************************************************************************************************* ================================================================= ********** EXTENDED DEADLINE ********** Third Call: IJCAI 2015 Video Competition Held at the International Joint Conference on Artificial Intelligence 2015 (IJCAI-15), July 25-27 2015 Buenos Aires, Argentina ================================================================= We are pleased to present the third call for videos to the upcoming IJCAI 2015 Video Competition. Notice this new extends the deadline to submit videos for the competition. In the spirit of earlier AI Video Competitions, the intention is to provide researchers with a forum for demonstrating how exciting and interesting Artificial Intelligence can be. The results of the competition will be presented at the IJCAI 2015 conference (July 25-31, 2015, in Buenos Aires, Argentina), where the best videos will be revealed. All videos will also be made available online. Key dates are as follows: * Submission of videos: May 17, 2015 (****EXTENDED DEADLINE****) * Notification of acceptance and award nominations: June 8, 2015 * Final version due: June 21, 2015 ****Note that attending the IJCAI conference is not mandatory.**** Video Contents -------------- A wide range of videos related to artificial intelligence can be submitted to the competition, varying along a number of distinct dimensions. The topic of a video might for example be a general or specific area of AI, the work of a particular researcher or group (yourselves or others), or a concrete application that depends on one or several AI techniques and that may be based entirely on software or partly on hardware. A video may concern work with different levels of maturity, from introducing something new and interesting, through describing known but ongoing research, to summarizing a mature area or application and showing its impact on society. The intended audience of a video can be students learning about a topic in a classroom, researchers interested in learning more about subfields outside their own, or the general public. Specific Awards --------------- In keeping with the above, several distinct awards will be given. The following categories are envisioned, but may change depending on the submissions received. * Best long video (up to 5 minutes) * Best short video (up to 1 minute) * Best application video (demonstrating a particular use of AI) * Most entertaining video (illustrating AI in an amusing or interesting way) * Most educational video (for students learning about a topic) * Most societally beneficial video (showing the public what AI can do and does for them) In all cases, keeping the viewer interested and engaged is essential. The best videos of earlier AI video competitions have often achieved this through the use of humor, background music, and movies / animations. To ensure that the videos are comprehensible to a wide audience, they must be narrated or subtitled in English. Requirements ------------ The following criteria must be satisfied by all participating videos. * The video must be relevant to the area of Artificial Intelligence. * The video must be submitted in a widely supported encoding and container format. For example, MPEG-2, Xvid or H.264 encoding in an AVI or MKV container could be used. We reserve the right to recode videos before placing them online. * The authors must hold the copyright for all materials used, such as music, video, sounds and images, or have explicit written permission from the copyright holders to use and distribute this material. * The video must not be offensive or advertise/promote commercial products. Review Process -------------- After the submission deadline, all submitted videos satisfying the requirements stated above will be reviewed by the video competition program committee according to the following criteria. * Excitement: How interesting and exciting is the actual technology, research area, application, or other work being presented? * Educational content: To what extent can other AI researchers, students, or the general public can learn about artificial intelligence from the video? * Entertainment value: How entertaining and captivating is the video to watch? * Presentation quality: How well is the video produced, what is the quality of the narration and soundtrack, etc.? The best videos will be nominated for awards, and the winners decided by the committee will be revealed during IJCAI 2015. Submissions ----------- All submissions to the video competition will be handled through ConfMaster at http://ijcai2015-video.confmaster.net/. In addition to standard information such as the entry’s title, the names of the authors and their contact information, the following information must be submitted as a .txt file: 1. A link (URL) to a location where video the file can be downloaded by the program committee. This location should preferably be protected by a password, which should then be submitted here as well. 2. A one- or two-paragraph description of the submission. Program Committee ----------------- The program committee for the ICJAI 2015 video competition currently includes the following members: Alessandro Saffiotti Alex Rogers Ana Paiva Andreas Herzig Anthony G Cohn Brandon Bennett Carlos Chesnevar Charles Ortiz Daniele Nardi Dave Robertson Elisabeth Andre Enrico Giunchiglia Esra Erdem Eyal Amir Gerhard Lakemeyer Hector Geffner Holger Hoos Jesus Cerquides Jianwei Zhang Karen Myers Malik Ghallab Malte Helmert Mark Boddy Michael Littman Milind Tambe Paul Scerri Peter Stone Ramon Lopez de Mantaras Sven Koenig Xinyu Wu Further information ------------------- For further information about participation, please contact the chairs, Jonas Kvarnstrom and Juan-Antonio Rodriguez Aguilar, at videos at ijcai-15.org. 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 tsingliangchen at gmail.com Sat May 9 04:44:13 2015 From: tsingliangchen at gmail.com (Qingliang Chen) Date: Sat, 9 May 2015 10:44:13 +0800 Subject: CFP: the 18th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA-2015) Message-ID: *Call for Papers: PRIMA 2015 - 18th International Conference on Principles and Practice of Multi-Agent Systems* Dates: 26th-30th October 2015 Location: Bertinoro, Italy http://prima2015.apice.unibo.it ================ Important Dates: Abstract Submissions Due: 17th, June 2015 Full Paper Submissions Due: 19th, June 2015 Notifications: 31st July 2015 Conference: 26th-30th October 2015 ================ Agent-based Computing addresses the challenges in managing distributed computing systems and networks through monitoring, communication, consensus-based decision-making and coordinated actuation. As a result, intelligent agents and multi-agent systems have demonstrated the capability to use intelligence, knowledge representation and reasoning, and other social metaphors like 'trust', 'game' and 'institution', not only to address real-world problems in a human-like way but also to transcend human performance. This has had a transformative impact in many application domains, particularly in e-commerce, and also in planning, logistics, manufacturing, robotics, decision support, transportation, entertainment, emergency relief & disaster management, and data mining & analytics. As one of the largest and still growing research fields of Computer Science, agent-based computing today remains a unique enabler of inter-, multi- and trans-disciplinary research. The PRIMA 2015 Program Committee invites submissions of original, unpublished, theoretical and applied work on any such topic, and encourages reports on the development of prototype and deployed agent systems, and of experiments that demonstrate novel agent system capabilities, which include the topics given below. There will be a best paper award. Award winner(s) will be invited to submit extended versions of their work to the Journal of Autonomous Agents and Multi-Agent Systems, where they will enter a fast publication track if the extended version of the paper is considered of the adequate quality. Other topical special issues are also being planned with well-known journals in the AI and MAS domain. ======================================= Topics (not limited to the following): - Foundations of Agents and Multi-Agent Systems - Agent and Multi-Agent System Architectures - Agent-Oriented Software Engineering - Agent-Based Modeling and Simulation - Cooperation/Collaboration, Coordination/Communication - Hybrid Technologies for Multi-Agent Systems - Application Domains for Multi-Agent Systems - Applications of Agents and Multi-Agent Systems ======================================= Paper Submission: Two types of contributions are solicited: - Full papers, up to 16 pages in LNCS format, should present original theoretical and/or experimental research in any of the areas listed above that has not been previously published, accepted for publication, or is not currently under review by another conference or journal. - Short papers (early innovation papers), up to 8 pages in LNCS format showcasing works-in-progress (will be reviewed with an emphasis on novelty/originality of the idea). Papers are to be submitted through the Easychair Conference Management System: https://easychair.org/conferences/?conf=prima2015 Both full and short papers will be included in the conference proceedings by Springer in the Lecture Notes in Artificial Intelligence series (LNCS/LNAI). Authors of both types of papers are required to present their work at the conference. The authors of a selection of best papers will be invited to submit a revised and extended version of their papers for publication consideration in special issues on international journals. Best paper award winners will be invited to submit an extended version to a fast publication track with JAAMAS. More details about the selected journals will be provided soon. ======================================= Organizing Committee: General Chairs: Jane Hsu (National Taiwan University, Taiwan) Andrea Omicini (Bologna University, Italy) Program Chairs: Qingliang Chen (Jinan University, China) Paolo Torroni (Bologna University, Italy) Serena Villata (INRIA, France) Workshop Chairs: Matteo Baldoni (Torino University, Italy) Mohammad Namazi (Wollongong University, Australia) Tutorial Chair: Cristina Baroglio (Torino University, Italy) ======================================= -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From announce at cs.ucy.ac.cy Sun May 10 12:12:07 2015 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 10 May 2015 13:12:07 +0300 Subject: Last Mile for New CFP: 5th International Conference on Web Intelligence, Mining and Semantics (WIMS 2015) Message-ID: *** Last Mile for New Call for Papers *** 5th International Conference on Web Intelligence, Mining and Semantics WIMS 2015 July 13-15, 2015, St. Raphael Resort, Limassol, Cyprus http://cyprusconferences.org/wims2015/ *** Final Submission Deadline (firm!): 16th May 2015 *** (Due to continuous submissions and many requests for additional time we have given a further extension to the submission deadline. Furthermore, this updated call includes new information about financial assistance to students, a special issue in a reputable journal with the best papers accepted at the conference, and invited speakers.) Conference Purpose and Scope WIMS is a series of peer-reviewed International Computer Science conferences. It is a forum for researchers and practitioners to present their state-of-the-art results in building Intelligent Web, to examine performance characteristics of various approaches in Web-based intelligent information technology, and to cross-fertilize their ideas on the development of Web -based intelligent information management solutions across different domains. The purpose of the WIMS series is to: * Provide a forum for established researchers and practitioners to present their contributions to the state of the art research and development in Web technology and applications. * Give doctoral students an opportunity to present their research to a friendly and knowledgeable audience and receive valuable feedback. * Provide an informal social event where Web technology researchers and practitioners can meet. WIMS traditionally hosts a small number of short tutorials on the topics related to the scope of the conference series. The role of a WIMS tutorial is to be a theme-oriented comprehensive survey. The call for WIMS 2015 tutorials is published separately. WIMS also offers its infrastructure and facilities for the organizers of satellite workshops that complement the scope of the conference. The call for WIMS 2015 workshops is also published separately. Companies or individuals interested in presenting their industrial products or methodologies are invited to contact the conference chairs. Keynote Speakers * Dr. Diana Mayfield, University of Sheffield, UK "What you Tweet is What You Get: challenges and opportunities for social media analysis in industry". * Professor Nikolay Mehandjiev, University of Manchester, UK "Understanding the Tribal Web". Best Papers Selection of the best papers from the conference will be recommended for publication at the Elsevier Journal of Web Semantics, http://www.journals.elsevier.com/journal-of-web-semantics/. Financial Assistance WIMS 2015 is offering up to $4000 as financial assistance for students whose papers are accepted at the conference. Conference Scope WIMS solicits regular and work-in-progress research, discussion papers and industry experience report papers in related fields. Papers exploring new directions or areas are also welcome. In particular but not exclusively the submissions within the following areas are relevant: * Scalable Web and Data Architectures and Infrastructures - Crawling, caching and querying Linked (Semantic) Data - Dataset dynamics and synchronization - Big Data computing - User Interfaces and visualization for the Web of (Linked Semantic) Data at scale - Indexing and information extraction from the (Semantic) Deep Web - 3D media and content - Sensing Web and the Web of Things - Web-based Health- and Bio- Information Systems - Web security, integrity, privacy, and trust - Nature-inspired models and approaches in Web and data processing infrastructures * Web Intelligence (WI) - Semantic Agent Systems for WI - Advanced Interaction and Communication Paradigms with WI - Natural Language / Ontology-/Taxonomy-based / Hybrid Interfaces - Intelligence for Visualizing (Linked Semantic) Web Data at scale - Intelligence for Big Data Analytics - Ubiquitous Intelligence and the Internet of Things - WI in Social Media - WI in Human Computation and Social Games - Opinion Mining / Sentiment Analysis on the Social Web - Social Monetization and Computational Advertising - Visualising social network data - WI for services, grids, and middleware - Nature-inspired Models and approaches for WI * Web Mining, Information and Knowledge Extraction - Text, data stream, web and multimedia content mining - Contextualization and clustering in web mining and information extraction - Knowledge extraction and ontology learning from the Web - Linked Data mining - Information Extraction and Knowledge Discovery from Big Data - Mining and Information Extraction from the Deep Web - Semantic Deep Web data fusion * Web Semantics and Reasoning - Knowledge Representation for the Web - Ontology specification: expressivity versus usability - Ontologies and Linked Semantic Data - Development and re-use of ontologies for the Web - Crowdsourcing for ontology engineering and management on the Social Web - Lifecycle, management, and evolution of Web ontologies - Ontology merging and alignment - Rule markup languages and systems - Semantic annotation - Reasoning: scalability, expressivity, incompleteness, vagueness, and/or uncertainty * WIMS Applications - Web applications of semantic agent systems - Semantics-driven information retrieval - Semantic search - Intelligent e-Technology and the Semantic Web - Intelligence and semantics for business information management and integration - Intelligence and semantic technologies in Digital Media - Semantic technologies in e-Business, e-Commerce, e-Finance, e-Health, e-Science, e-Government, e-Learning - WI for multimedia, sensors, and situational awareness - WI for software and systems engineering - Quality of Life Technology for Web Access - Nature-inspired models and approaches in WIMS applications * Evaluation and Validation of WIMS Technologies and Applications - Evaluation and validation Methodologies - Datasets and Benchmarks for cross-evaluations and competitions - Evaluation and validation Infrastructures - Evaluation and validation metrics (e.g. fitness, quality, completeness, correctness, etc.) Submission Guidelines Four types of submissions are solicited for the main conference: i. Regular research papers ii. Short research papers iii. Case Studies and Applications papers iv. Posters The papers in all the categories should describe original results that have not been accepted or submitted for publication elsewhere. All submissions will be evaluated by at least three members of the international program committee. Regular Research Papers The papers in this category are the reports on accomplished research work or in-depth discussions and analysis of a certain problem. The first type of papers can present a novel method, technique or analysis with appropriate empirical or other type of evaluation as a proof of validity. The main evaluation criteria for this category are originality, technical soundness, and the soundness of evaluation. For the second type within the genre we expect receiving reasonable overviews placing a problem onto the state-of-the-art landscape and analyzing how far current solutions fall short. We also expect in-depth discussions and analysis of a certain problem, with clear definitions and argumentation in terms of qualitative or quantitative representation of the main characteristics of the problem. Page limit: 12 ACM pages Short Research Papers The papers in this category are the short reports of the preliminary results or describing the work in progress. The main evaluation criteria for this category are originality, technical correctness, and possible value of the planned results in a short to mid-term perspective. Short papers can be also presented in a form of a poster. Page limit: 6 ACM pages Case Studies and Applications Papers The papers in this category describe case studies of deployed applications, lessons learnt, and examples of measurable benefits. This category also includes papers that reports innovative applications of WIMS in areas of industry and government, as well as industrial experience and demonstrations of innovative systems. Page limit: 12 ACM pages Posters WIMS poster track is a venue for late-breaking results, ongoing research activities, and speculative or innovative work in progress. This track is intended to provide authors and participants with the ability to connect with each other and to engage in discussions about the work. Posters provide authors with a unique opportunity to draw attention to their work during the conference. Page limit: 4 ACM pages Submissions should be made electronically in PDF or DOC/DOCX (MS/Open Word) format via the electronic submission system of the WIMS2015 Conference Management system at: https://www.easychair.org/conferences/?conf=wims15 Publication Accepted papers/tutorials/posters will be published by ACM and disseminated through the ACM Digital Library through the International Conference Proceedings Series (ICPS). Important Dates 16.05.2015 Submission of papers/posters (final and firm submission deadline) 06.06.2015 Notification of acceptance for papers/posters (new date) 13.06.2015 Camera ready versions of the accepted papers and posters (new date) 16.06.2015 Author registration deadline (new date) 13-15.07.2015 Conference All the above deadlines are 23:59 Hawaii Time. WIMS Conferences Chair Rajendra Akerkar, Western Norway Research Institute, Norway General Chair Marios D. Dikaiakos, University of Cyprus, Cyprus Program Committee Co-Chairs Achilleas P. Achilleos, University of Cyprus, Cyprus Tope Omitola, University of Southampton, United Kingdom Advisory Committee Grigoris Antoniou, University of Huddersfield, UK Harold Boley, Faculty of Computer Science, University of New Brunswick, Fredericton, Canada James Hendler, Rensselaer Polytechnic Institute, Troy, NY, USA Guus Schreiber, VU University, Amsterdam, the Netherlands Amit Sheth, Ohio Center of Excellence on Knowledge-enabled Computing, Ohio, USA Industrial Track Chair John Davies, BT Research & Innovation, UK Publicity Chair Christos Mettouris, University of Cyprus, Cyprus Local Organization Chair George A. Papadopoulos, University of Cyprus, Cyprus Web Chair Kyriakos Georgiadis, EasyConferences LTD, Cyprus The proceedings of the previous WIMS conferences are available at: - WIMS2011: https://dl.acm.org/citation.cfm?id=1988688 - WIMS?2012: https://dl.acm.org/citation.cfm?id=2254129 - WIMS?2013: https://dl.acm.org/citation.cfm?id=2479787 - WIMS?2014: https://dl.acm.org/citation.cfm?id=2611040 Look for updates and more details at: http://cyprusconferences.org/wims2015/ http://www.linkedin.com/groups?gid=3933343 https://www.facebook.com/groups/WIMSCon/ https://twitter.com/wims2015 -------------------------------------------------------------------- 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 wti.simbig2015 at gmail.com Sun May 10 23:19:06 2015 From: wti.simbig2015 at gmail.com (wti.simbig2015) Date: Sun, 10 May 2015 22:19:06 +0100 Subject: Call For Papers: WTI as special track of SIMBig 2015 Message-ID: <002d01d08b66$f7768890$e66399b0$@gmail.com> Call for Papers Track on Web and Text Intelligence (WTI 2015) http://simbig.org/SIMBig2015/en/special-track September 2nd to 4th 2015, Cusco, Peru Web and text intelligence are related areas that have been used to improve human computer interaction both in general and in particular to explore and analyze information that is available on the Internet. With the advent of social networks and the emergence of services such as Facebook, Twitter, and others, research in these areas has been greatly enhanced. In recent years, shared knowledge and experiences have established new and different types of personal and communal relationships which have been leveraged by social networks scientists to produce new insights. In addition there has been a huge increase in community activities on social networks. The Web and Text Intelligence (WTI) track of SIMBig will provide a forum that brings together researchers and practitioners for exploring technologies, issues, experiences and applications that help us to understand the Web and to build automatic tools to better exploit this complex environment. The WTI track will foster collaborations, exchange of ideas and experiences among people working in a variety of highly cross-disciplinary research fields such as computer science, linguistics, statistics, sociology, economics, and business. The WTI track is a follow up of the 4th International Workshop on Web and Text Intelligence ( http://www.labic.icmc.usp.br/wti2012), which took place in Curitiba, Brazil, October 2012, as a workshop of BRACIS 2012; the 3rd International Workshop on Web and Text Intelligence ( http://www.labic.icmc.usp.br/wti2010), which took place in São Bernardo, Brazil, October 2010, as a workshop of SBIA10; the 2nd International Workshop on Web and Text Intelligence( http://www.labic.icmc.usp.br/wti2009), which took place in São Carlos, Brazil, September 2009, as a workshop of STIL09; the 1st Web and Network Intelligence ( http://epia2009.web.ua.pt/wni), which took place in Aveiro, Portugal, October 2009, as a thematic track of EPIA09; and the 1st International Workshop on Web and Text Intelligence, which took place in Salvador, Brazil, October 2008, as a workshop of SBIA08. We solicit original and unpublished papers for this track. Submissions must describe work related to any aspect of Web and Text Intelligence including relevant and novel work on methods and theories (and their applications). Relevant topics include, but are not limited to: * Web and Text Mining * Link Mining * Web usability * Web automation and adaptation * Graph and complex network mining * Communities analysis in social networks * Relationships analysis in social networks * Applications of social networks and social media * Data modeling for social networks and social media * Location-based social networks analysis * Big data issues in social network and media analysis * Modeling of user behavior and interactions * Temporal analysis of social networks and social media * Pattern analysis in social networks and social media * Privacy and security in social networks * Propagation and diffusion of information in social network * Social information applied to recommender systems * Search and Web Mining * Multimedia Web Mining * Visualization of social information Submission instructions: Paper registration and submissions to WTI 2015 will be handled using the EasyChair system. The address is: https://easychair.org/conferences/?conf=simbig2015wti All the submissions will be refereed by experts in the field based on originality, significance, relevance, quality and clarity. Every submitted paper will be reviewed by at least two members of the Program Committee. The paper length should be between 5 to 10 pages (including references and figures). Papers should be written in English and submissions must be in PDF format following the instructions in Word document and Latex templates (ACL templates). The accepted papers will be included in the SIMBig proceedings. At least one author of each accepted paper must register for and attend SIMBig (more information here: http://simbig.org/SIMBig2015/en/inscriptions). Important Dates: Paper submission: May 31 2015. Accepted paper notification: June 30 2015. Camera-ready paper uploading: July 15 2015. Track Organizers: * Alneu de Andrade Lopes, ICMC – University of São Paulo, São Carlos – SP, Brazil * Ricardo Bastos Cavalcante Prudêncio, CIn – Federal University of Pernambuco, Recife – PE, Brazil * Estevam Hruschka, Federal University of São Carlos, São Carlos – SP, Brazil * Ricardo Campos, Polytechnic Institute of Tomar and LIAAD/INESC TEC – INESC Technology and Science, Portugal Organizing: PhD(c) Jorge Valverde-Rebaza, University of São Paulo, São Carlos – SP, Brazil Venue: The conference will be held on the Auditorium of the Faculty of Law at the Andina University of Cusco. The University is located in the Urbanización Ingeniería Larapa Grande A-5 - San Jerónimo (more information here: http://simbig.org/SIMBig2015/en/venue) Follow us in Facebook ( https://www.facebook.com/SIMBig2015?fref=ts) and Twitter ( https://twitter.com/SIMBig2015). Hope to see you all soon in Cusco, Peru!!! --- Jorge Valverde-Rebaza The WTI track organizer in SIMBig 2015 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From lpulina at uniss.it Mon May 11 13:46:45 2015 From: lpulina at uniss.it (Luca Pulina) Date: Mon, 11 May 2015 13:46:45 +0200 Subject: RR 2015 Doctoral Consortium - CfP with ***extended deadline*** Message-ID: <555096A5.1080304@uniss.it> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From tsingliangchen at gmail.com Mon May 11 16:44:05 2015 From: tsingliangchen at gmail.com (Qingliang Chen) Date: Mon, 11 May 2015 22:44:05 +0800 Subject: CFP: PRIMA-2015 (the 18th International Conference on Principles and Practice of Multi- Agent Systems) Message-ID: ============================================================================================================= Call for Papers: PRIMA 2015 - 18th International Conference on Principles and Practice of Multi-Agent Systems ============================================================================================================= Dates: 26th-30th October 2015 Location: Bertinoro, Italy Website: http://prima2015.apice.unibo.it Agent-based Computing addresses the challenges in managing distributed computing systems and networks through monitoring, communication, consensus-based decision-making and coordinated actuation. As a result, intelligent agents and multi-agent systems have demonstrated the capability to use intelligence, knowledge representation and reasoning, and other social metaphors like 'trust', 'game' and 'institution', not only to address real-world problems in a human-like way but also to transcend human performance. This has had a transformative impact in many application domains, particularly in e-commerce, and also in planning, logistics, manufacturing, robotics, decision support, transportation, entertainment, emergency relief & disaster management, and data mining & analytics. Information for authors: PRIMA 2015 invites submissions of original, unpublished, theoretical and applied work on any such topic, and encourages reports on the development of prototype and deployed agent systems, and of experiments that demonstrate novel agent system capabilities. There will be a special track on applications of multi-agent systems. The papers for this track would report experiences on using agents in an application domain and also discuss the challenges in deploying them. Publication, awards, and special issues: All accepted papers will be published in Springer’s LNAI series. There will be a best paper award sponsored by Springer-LNAI. Award winner(s) will also be invited to submit an extended version to a fast track of the Journal of Autonomous Agents and Multi-Agent Systems. There will be two special issues: one with Fundamenta Informaticae and one with the Knowledge Engineering Review. Topics (not limited to the following): ======================================= - Foundations of Agents and Multi-Agent Systems - Agent and Multi-Agent System Architectures - Agent-Oriented Software Engineering - Agent-Based Modeling and Simulation - Cooperation/Collaboration, Coordination/Communication - Hybrid Technologies for Multi-Agent Systems - Application Domains for Multi-Agent Systems - Applications of Agents and Multi-Agent Systems Paper Submission ================= Two types of contributions are solicited: - Full papers, up to 16 pages in LNCS format, should present original theoretical and/or experimental research in any of the areas listed above that has not been previously published, accepted for publication, or is not currently under review by another conference or journal. - Short papers (early innovation papers), up to 8 pages in LNCS format showcasing works-in-progress (will be reviewed with an emphasis on novelty/originality of the idea). Papers are to be submitted through the Easychair Conference Management System: https://easychair.org/conferences/?conf=prima2015 Important Dates [>> EXTENDED <<] ================ Abstract: 17th June 2015 Submission: 19th June 2015 Notification: 24th July 2015 Camera-ready: 7th August 2015 Conference: 26th-30th October 2015 --- The PRIMA2015 Chairs -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From pmt6sbc at maths.leeds.ac.uk Mon May 11 20:00:31 2015 From: pmt6sbc at maths.leeds.ac.uk (S B Cooper) Date: Mon, 11 May 2015 19:00:31 +0100 (BST) Subject: CiE 2015 in Bucharest - Call for Participation Message-ID: <201505111800.t4BI0VwZ001304@maths.leeds.ac.uk> -------------------------------------------------------------------------- CiE 2015: Call for Participation and Registration -------------------------------------------------------------------------- COMPUTABILITY IN EUROPE 2015: Evolving Computability Bucharest, Romania June 29 - July 3 http://fmi.unibuc.ro/CiE2015/ IMPORTANT DATES: EARLY REGISTRATION DEADLINE: May 20, 2015 Details on the registration: http://fmi.unibuc.ro/CiE2015/registration.html Details on accommodation possibilities: http://fmi.unibuc.ro/CiE2015/accommodation.html (please note the individual deadlines for each variant) CiE 2015 is the 11-th conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings have taken place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponta Delgada (2010), Sofia (2011), Cambridge (2012), Milan (2013) and Budapest (2014) Evolution of the universe, and us within it, invite a parallel evolution in understanding. The CiE agenda - fundamental and engaged - targets the extracting and developing of computational models basic to current challenges. From the origins of life, to the understanding of human mentality, to the characterising of quantum randomness - computability theoretic questions arise in many guises. The CiE community, meeting this year for the first time in Bucharest, carries forward the search for coherence, depth and new thinking across this rich and vital field of research. In line with other conferences in this series, CiE 2015 has a broad scope and provides a forum for the discussion of theoretical and practical issues in Computability with an emphasis on new paradigms of computation and the development of their mathematical theory. We invite everyone who is interested in the topics and program of CiE 2015 to register for the conference. Details on the program of the conference are given below. The details regarding the registration procedure are given at: http://fmi.unibuc.ro/CiE2015/registration.html PROGRAM: The papers accepted for CiE 2015 can be seen here: http://fmi.unibuc.ro/CiE2015/accepted.html The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag, and there will be a best student paper award presented to the best paper written solely by students, sponsored by Springer. TUTORIAL SPEAKERS * John Reif (Duke Unversity) * Steve Simpson (Pennsylvania State University) PLENARY SPEAKERS * Ann Copestake (University of Cambridge) * Mircea Dumitru (University of Bucharest, Public Lecture) * Pawel Gawrychowski (University of Warsaw) * Julia Knight (University of Notre Dame) * Anca Muscholl (Universite Bordeaux) * Gheorghe Paun (Romanian Academy) * Alexander Razborov (University of Chicago and Steklov Mathematical Institute) * Vlatko Vedral (University of Oxford) SPECIAL SESSIONS on * Representing streams (Organizers: Joerg Endrullis and Dimtri Hendriks) * Automata, logic and infinite games (Organizers: Dietmar Berwanger and Ioana Leustean) * Reverse mathematics (Organizers: Damir Dzhafarov and Alberto Marcone) * Classical computability theory (Organizers: Marat Arslanov and Steffen Lempp) * Bio-inspired computation (Organizers: Andrei Paun and Petr Sosik) * History and philosophy of computing (Organizers: Christine Proust and Marco Benini) The speakers of the special sessions are listed at http://fmi.unibuc.ro/CiE2015/sessions.html INFORMAL PRESENTATIONS: While computer science conferences usually host formal presentations based on papers published in a proceedings volume, mathematics conferences allow for informal presentations that are prepared very shortly before the conference and inform the participants about current research and work in progress. So, continuing the tradition of past CiE conferences, CiE 2015 hosts a series of informal presentations, in addition to the presentations based on the papers in the LNCS proceedings volume. These will be soon published on the CiE 2015 website. ASSOCIATED WORKSHOPS, JUNE 26-28: http://fmi.unibuc.ro/CiE2015/workshops.html The Turing Centenary Research Project: Mind, Mechanism and Mathematics (MMM 2015), 3rd Workshop - joint with Workshop on Computability Theory (WCT 2015), June 27-28, 2015 (free registration) Days of Computer Science (DACS 2015), 2nd Workshop, June 26-27, 2015 STILL AVAILABLE FUNDING OPPORTUNITIES: CiE 2015 has received funding from EATCS (European Association for Theoretical Computer Science) that allows students who are members of EATCS and want to attend CiE 2015 to apply for travel funds or a reduction of the early registration fee. Applications for EATCS travel grants have to be sent to prior to the early registration deadline. The CONFERENCE POSTER can be downloaded from http://fmi.unibuc.ro/CiE2015/images/CiE_Poster.jpg ___________________________________________________________________ CiE 2015 http://fmi.unibuc.ro/CiE2015/ ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk CiE Conference Series http://www.illc.uva.nl/CiE CiE Membership Application Form http://www.lix.polytechnique.fr/CIE Computability (Journal of CiE) http://www.computability.de/journal/ CiE on FaceBook https://www.facebook.com/AssnCiE Association CiE on Twitter https://twitter.com/AssociationCiE From publicity at ecmlpkdd2015.org Mon May 11 23:49:49 2015 From: publicity at ecmlpkdd2015.org (ECMLPKDD 2015) Date: Mon, 11 May 2015 22:49:49 +0100 Subject: ECMLPKDD 2015: Summer School on Data Sciences for Big Data - Resource Aware Data Mining Message-ID: <02ab01d08c34$69e70440$3db50cc0$@ecmlpkdd2015.org> >From 2nd to 5th of September 2015, the TU Dortmund University and LIAAD-INESC TEC will organize a Summer School on Data Sciences for Big Data - Resource Aware Data Mining. The School will be hosted at Faculty of Sciences, University of Porto and is collocated with ECMLPKDD 2015 - European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (http://www.ecmlpkdd2015.org/). For the summer school, world leading researchers in machine learning and data mining will give lectures on recent techniques dealing with huge amounts of data, spatio-temporal streaming data, distributed and graph data, sensors and embedded systems. The summer school is designed for Master and PhD students, and professionals who wanted to learn cutting edge techniques for data mining with constrained computational resources. For further details go to: http://www.ecmlpkdd2015.org/summer-school/about -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fabrizio.riguzzi at unife.it Tue May 12 17:47:30 2015 From: fabrizio.riguzzi at unife.it (Fabrizio Riguzzi) Date: Tue, 12 May 2015 17:47:30 +0200 Subject: CFP PLP-2015: The Second Workshop on Probabilistic Logic Programming Message-ID: PLP-2015: The Second Workshop on Probabilistic Logic Programming ---------------------------------------------------------------- A workshop of the 2015 International Conference on Logic Programming 31 August 2015 Cork, Ireland http://stoics.org.uk/plp/plp2015/ Deadline for submissions: 10 June 2015 Overview ----- Probabilistic logic programming (PLP) approaches have received much attention in this century. They address the need to reason about relational domains under uncertainty arising in a variety of application domains, such as bioinformatics, the semantic web, robotics, and many more. Developments in PLP include new languages that combine logic programming with probability theory, as well as algorithms that operate over programs in these formalisms. PLP is part of a wider current interest in probabilistic programming. By promoting probabilities as explicit programming constructs, inference, parameter estimation and learning algorithms can be ran over programs which represent highly structured probability spaces. Due to logic programming's strong theoretical underpinnings, PLP is one of the more disciplined areas of probabilistic programming. It builds upon and benefits from the large body of existing work in logic programming, both in semantics and implementation, but also presents new challenges to the field. PLP reasoning often requires the evaluation of large number of possible states before any answers can be produced thus braking the sequential search model of traditional logic programs. While PLP has already contributed a number of formalisms, systems and well understood and established results in: parameter estimation, tabling, marginal probabilities and Bayesian learning, many questions remain open in this exciting, expanding field in the intersection of AI, machine learning and statistics. This workshop provides a forum for the exchange of ideas, presentation of results and preliminary work, in the following areas * probabilistic logic programming formalisms * parameter estimation * statistical inference * implementations * structure learning * reasoning with uncertainty * constraint store approaches * stochastic and randomised algorithms * probabilistic knowledge representation and reasoning * constraints in statistical inference * applications, such as * * bioinformatics * * semantic web * * robotics * probabilistic graphical models * Bayesian learning * tabling for learning and stochastic inference * MCMC * stochastic search * labelled logic programs * integration of statistical software The above list should be interpreted broadly and is by no means exhaustive. Purpose ----- After a successful first edition of this workshop at ICLP 2014 in Vienna, the second edition hopes to continue to foster collaboration between between the ICLP and PLP communities. We hope that both (a) more LP researchers will become interested in inference and learning with PLP and (b) PLP researchers will get important feedback on their work from logic programmers. Submissions ----- Submissions will be managed via EasyChair. Contributions should be prepared in the LLNCS style. A mixture of papers are sought including: new results, work in progress as well as technical summaries of recent substantial contributions. Papers presenting new results should be 6-12 pages in length. Work in progress and technical summaries can be shorter. The workshop proceedings will clearly indicate the type of each paper. At least one author of each accepted paper will be required to attend the workshop to present the contribution. Publication ----- Informal proceedings will be made available electronically to attendees. They will also be for stored permanently in the form on CEUR Workshop Proceedings (http://ceur-ws.org/). The proceedings will consist of clearly marked sections corresponding to the different types of submissions accepted. Extended versions of selected workshop papers will be published in the International Journal of Approximate Reasoning (Elsevier). Deadlines ----- Papers due: Wed, 10th June 2015 Notification to authors: Fri, 10th July 2015 Camera ready version due: Fri, 24th July 2015 Workshop data: Mon, 31st August 2015 (the deadline for all dates is 23:59 BST) Invited Speaker(s) ----- To be announced Programme Committee ----- Fabrizio Riguzzi (Universita' di Ferrara, Italy) [co-chair] Joost Vennekens (KU Leuven, Belgium) [co-chair] Elena Bellodi (ENDIF-University of Ferrara) Nicos Angelopoulos (Imperial College, London) Arjen Hommersom (University of Nijmegen) Nicola Di Mauro (Università di Bari) Christian Theil Have (Copenhagen University) Angelika Kimmig (KU Leuven) Wannes Meert (KU Leuven) Aline Paes (Institute of Computing, Universidade Federal Fluminense) David Poole (University of British Columbia) C. R. Ramakrishnan (University at Stony Brook) Herbert Wiklicky (Imperial College London) Terrance Swift (CENTRIA, Universidade Nova de Lisboa) James Cussens (University of York) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ruy at cin.ufpe.br Wed May 13 12:40:07 2015 From: ruy at cin.ufpe.br (Ruy de Queiroz) Date: Wed, 13 May 2015 07:40:07 -0300 Subject: WoLLIC 2015 - CALL FOR PARTICIPATION Message-ID: [Please circulate. Apologies for cross-postings.] CALL FOR PARTICIPATION WoLLIC 2015 22nd Workshop on Logic, Language, Information and Computation July 20-23, 2015 Bloomington, IN, USA CO-LOCATED WITH Conference on Computing Natural Reasoning (CoCoNat'15 ) July 19-20, 2015 SCIENTIFIC SPONSORSHIP Interest Group in Pure and Applied Logics (IGPL) The Association for Logic, Language and Information (FoLLI) Association for Symbolic Logic (ASL) European Association for Theoretical Computer Science (EATCS) European Association for Computer Science Logic (EACSL) Sociedade Brasileira de Computação (SBC) Sociedade Brasileira de Lógica (SBL) ORGANISATION Department of Computer Science, Indiana University, USA Program in Pure and Applied Logic, Indiana University, USA Centro de Informática, Universidade Federal de Pernambuco, Brazil HOSTED BY Department of Computer Science, Indiana University, USA CALL FOR PARTICIPATION WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-second WoLLIC will be held at the Department of Computer Science, Indiana University, Bloomington, from July 20th to 23rd, 2015. It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL). PROCEEDINGS The proceedings of WoLLIC 2015, including both invited and contributed papers, will be published in advance of the meeting as volume 9160 in Springer's LNCS series. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published as a special post-conference WoLLIC 2015 issue of Mathematical Structures in Computer Science, CUP (tbc). INVITED TALKS . Adriana Compagnoni (Stevens Institute, USA) *Modeling Language Design for Complex Systems Simulation* . Nina Gierasimczuk (University of Amsterdam) *Learning in the Limit, General Topology and Modal Logic* . John Harrison (Intel, USA) *Formalization of Mathematics for Fun and Profit* . Peter Jipsen (Chapman U, USA) *From Residuated Lattices via GBI-algebras to BAOs* . André Joyal (U du Québec Montreal, Canada) *Categories of Games* . Mehrnoosh Sadrzadeh (Queen Mary, UK) *Multi-Linear Algebraic Semantics for Natural Language * . Chung-chieh Shan (Indiana U, USA) (tba) . Alexandra Silva (Radboud U Nijmegen, The Netherlands) *Towards a Nominal Chomsky Hierarchy.* TUTORIALS Nina Gierasimczuk (University of Amsterdam) John Harrison (Intel, USA) André Joyal (U du Québec Montreal, Canada) Alexandra Silva (Radboud U Nijmegen, The Netherlands) SPECIAL SESSION: SCREENING OF MOVIES ABOUT MATHEMATICIANS In remembrance of the 30th anniversary of the passing away of Julia Hall Bowman Robinson (December 8, 1919 – July 30, 1985), an American mathematician best known for her work on decision problems and Hilbert's Tenth Problem, the program of the meeting will include a screening of George Csicsery's documentary "Julia Robinson and Hilbert's Tenth Problem" (2008). As a tribute to a recent breakthrough in mathematics, there will also be a screening of Csicsery's "Counting from Infinity: Yitang Zhang and the Twin Prime Conjecture" (2015) which centers on a very exciting string of mathematical discoveries that occurred during 2013, started when Yitang Zhang, a virtually unknown mathematician working as adjunct professor at the University of New Hampshire, submitted a paper to the Annals of Mathematics in April 2013. PROGRAMME COMMITTEE Juliana Küster Filipe Bowles (U St Andrews, Scotland) Robin Cooper (U Gothenburg, Sweden) Martín Escardó (U Birmingham, UK) Nikos Galatos (U Denver, USA) Achim Jung (U Birmingham, UK) Sara Kalvala (U Warwick, UK) Elham Kashefi (Edinburgh U, Scotland) Peter Lefanu Lumsdaine (Institute for Advanced Study, USA) Ian Mackie (U Sussex, UK) Gerard de Melo (Tsinghua U, China) Vivek Nigam (Federal U of Paraíba, Brazil) Catarina Dutilh Novaes (U Groningen, The Netherlands) Valeria de Paiva (Nuance Comm, USA) (CHAIR) Luiz Carlos Pereira (PUC-Rio, Brazil) Elaine Pimentel (Federal U of Rio Grande do Norte, Brazil) Alexandra Silva (Radboud Nijmegen U, The Netherlands) Carolyn Talcott (SRI International, USA) Josef Urban (Radboud Nijmegen U, The Netherlands) Laure Vieu (IRIT-Toulouse, France) Renata Wasserman (U São Paulo, Brazil) Anna Zamansky (U Haifa, Israel) STEERING COMMITTEE Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Angus Macintyre, Luke Ong, Hiroakira Ono, Ruy de Queiroz. ORGANISING COMMITTEE Daniel Leivant (Indiana U) (Local co-chair) Larry Moss (Indiana U) (Local co-chair) Anjolina G. de Oliveira (U Fed Pernambuco) Ruy de Queiroz (U Fed Pernambuco) (co-chair) REGISTRATION Now open at http://www.indiana.edu/~iulg/wollic/registration.html ACCOMODATION Please visit http://www.indiana.edu/~iulg/wollic/venue.html FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE www.indiana.edu/~iulg/wollic -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sn.mailing.lists at gmail.com Fri May 15 14:54:00 2015 From: sn.mailing.lists at gmail.com (Slawomir Nowaczyk) Date: Fri, 15 May 2015 14:54:00 +0200 Subject: Second Call for Papers SCAI 2015 (Halmstad, Sweden) Message-ID: <20150515145350.B892.A505E19D@gmail.com> ******************************************************************************** Second Call for Papers SCAI 2015 The Thirteenth Scandinavian Conference on Artificial Intelligence November 5-6, 2015 Halmstad, Sweden http://www.hh.se/scai2015 Paper submission deadline is 31st of May 2015 ******************************************************************************** The 13th Scandinavian AI conference, SCAI 2015, will be held in Halmstad, Sweden, on 5th and 6th of November, 2015. The conference is co-organised by Center for Applied Intelligent Systems Research at Halmstad University, and SAIS, the Swedish Artificial Intelligence Society. For the main conference, submissions from all areas of Artificial Intelligence are invited. This includes, but is not limited to: Machine Learning, Data Mining, Knowledge Representation and Reasoning, Planning and Scheduling, Natural Language, Computer Vision, Search Algorithms, Multi-Agent Systems, Big Data, Artificial Life, Cognitive Robotics, Probabilistic Graphical Models, Industrial Applications, and Philosophical Foundations. Papers must contain original, previously unpublished contributions on AI theory, methods, or applications. Submitted papers will be reviewed by at least two members of the program committee, and can be accepted either for plenary or poster presentation. Keynote speakers for SCAI 2015 include Christopher Nugent, Professor of Biomedical Engineering and the head of Smart Environments Research Group at University of Ulster, who will give a talk about analysis of data from smart environments and wearable sensors; and Christine Chevallereau, Research Director at Institut de Recherche en Communications et Cybernétique de Nantes, who will give a talk about modelling and control of bipedal robots. As a part of the conference, on 4th of November 2015, we will organise a Doctoral Symposium, as well as two thematic workshops: "Intelligent and connected vehicles" and "Intelligent environments supporting health and well-being". The 2015 edition of SCAI will also debut a dedicated networking event to facilitate cooperation, both on the EU level as well as targeting funding opportunities specific to individual Scandinavian countries. All accepted papers will be included in the conference proceedings, published by IOS press as part of the Frontiers in Artificial Intelligence and Applications series. Paper submission will be handled through the EasyChair system at https://easychair.org/conferences/?conf=scai2015 Important Dates --------------- Paper submission: 31st of May 2015 Author notification: 10th of August 2015 Camera-ready copy due: 1st of September 2015 Conference: 5th and 6th of November 2015 Contact ---------- scai2015 at hh.se ******************************************************************************** -- Best wishes, Slawomir Nowaczyk ( Slawomir.Nowaczyk at hh.se ), Associate Professor Center for Applied Intelligent Systems Research, Halmstad University, Sweden http://islab.hh.se/mediawiki/index.php/Slawomir_Nowaczyk You can't have your cake and eat it? Sure you can... just buy two! From adrian.paschke at gmx.de Sat May 16 16:22:11 2015 From: adrian.paschke at gmx.de (Adrian Paschke) Date: Sat, 16 May 2015 16:22:11 +0200 Subject: CfP: 9th Rule Challenge, 11th Reasoning Web Summer School, 5th Doctoral Consortium - Submission Deadline in One Week Message-ID: <005f01d08fe3$c300ebb0$4902c310$@gmx.de> Dear Colleagues, Submit your rule-based solutions, demos, results and rule bases to the 9th International Rule Challenge and learn more about "Web Logic Rules" at the 11th Reasoning Web Summer School.Phd students can also discuss their research at the joint RuleML and RR Doctoral Consortium. The open deadlines for your submissions are as follows: * 9th International Rule Challenge (http://2015.ruleml.org/challenge.html) - deadline May 23rd * RuleML Rulebase Competition (http://2015.ruleml.org/challenge.html) - deadline May 23rd * Challenge on Recommender Systems for the Web of Data (http://2015.ruleml.org/recsysrules-2015.html) - deadline May 23rd * 5th RuleML Doctoral Consortium (http://2015.ruleml.org/DoctoralConsortium.html) - deadline May 23rd * 11th Reasoning Web Summer School (http://reasoningweb.org/2015) - deadline May 26th * RuleML / RR Poster Session (http://2015.ruleml.org/poster-session.html) - deadline May 23rd RuleML 2015 (http://2015.ruleml.org) will be held in Berlin, Germany, August 2-5, co-located with the Conference on Automated Deduction (CADE), the Workshop on Formal Ontologies meet Industry (FOMI), the Conference on Web Reasoning and Rule Systems (RR) and the Reasoning Web Summer School (RW). The International Web Rule Symposium (RuleML) has been a leading international conference on research, applications, languages and standards for rule technologies. Since 2002 the RuleML event series has built bridges between academia and industry in the field of rules and its applications, especially as part of the semantic technology stack. We are looking forward to meeting you in Berlin in August! ====================== Website: http://2015.ruleml.org/ LinkedIn: https://www.linkedin.com/groups/RuleML-Group-2190838 Facebook: https://www.facebook.com/RuleML Twitter hashtag: #ruleml2015 Blog: http://blog.ruleml.org Wiki: http://ruleml.org -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From m.vijayaraghava at gmail.com Sun May 17 03:29:39 2015 From: m.vijayaraghava at gmail.com (Raghava Mutharaju) Date: Sat, 16 May 2015 21:29:39 -0400 Subject: CFP: Diversity++ diversity workshop @ ISWC 2015 Message-ID: Diversity++ workshop co-located with the 14th International Semantic Web Conference, ISWC 2015 in Bethlehem, Pennsylvania, USA Workshop website: http://dase.cs.wright.edu/activities/diversity2015 Submission deadline: July 1, 2015 Objectives ----------- Semantic Web technologies are used in many diverse domains. Mainstream applications of Semantic Technologies now include Bioinformatics and healthcare with Smart cities an up and coming domain. Domains such as oceanography, astronomy, finance, and law utilize Semantic Technologies, but are generally under-represented in the broader Semantic Web community. This workshop aims at bridging this gap and leading to more widespread adoption of Semantic Web principles. Topics of Interest -------------------- The primary aim of the workshop is to discuss non-regular, underrepresented and diverse topics related to the Semantic Web domain including work-in-progress, feasible ideas, failures and lessons learned. This covers a broad spectrum of topics across multiple disciplines. Some examples include, but are definitely not limited to the following. 1) Inter-disciplinary research (combination of Semantic Web technologies and other Science) in unconventional domains. a) Experimental, non-traditional application of mathematics, machine learning, or information retrieval in Semantic Web context. b) Semantic Web applications in non-regular fields such as astronomy, geosciences, music, law, finance etc. 2) Development of vocabulary and models in the context of Semantic Web for unconventional domains. a) Quantitative measurements and statistical analysis of Semantic Web systems and models including Markov Chain models, UML etc. b) Integration of probabilistic and ontological models for knowledge discovery 3) Position papers and research agendas for the injection of Semantic Web technologies in other domains (e.g. soft sciences and the liberal arts) Submission Information ----------------------- Contributions are solicited in the form of short papers (4 pages) and long papers (12 pages) in LNCS format. All contributions should be prepared in PDF format and should be submitted through the workshop submission site at https://www.easychair.org/conferences/?conf=diversity2015. Important dates ---------------- Paper submission deadline: July 1, 2015 Paper notification: August 5, 2015 Camera ready copy: August 19, 2015 Workshop: October 11th or 12th, 2015 Organization ------------- Claudia d'Amato, University of Bari, Italy Freddy Lécué, IBM Research, Ireland Raghava Mutharaju, Wright State University, USA Thomas Narock, Marymount University, USA Fabien Wirth, University of Passau, Germany Program Committee (to be completed) ------------------------------------ Marshall Ma, Rensselaer Polytechnic Institute, USA Adam Shepherd, Woods Hole Oceanographic Institution, USA Stefan Brüggemann, EADS Astrium, Germany Srikanth Cherla, City University, UK Vinay Chaudhri, SRI International, USA Derek Doran, Wright State University, USA Ramakanth Kavuluru, University of Kentucky, USA Randy Cogill, IBM Research, Ireland Jeff Z. Pan, The University of Aberdeen, UK Natalia Díaz Rodríguez, Åbo Akademi University, Finland Pompeu Casanovas, Universitat Autònoma de Barcelona and Royal Melbourne Institute of Technology Andreas Thalhammer, Karlsruhe Institute of Technology, Germany Regards, Raghava. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at urv.cat Sun May 17 08:26:23 2015 From: grlmc at urv.cat (GRLMC) Date: Sun, 17 May 2015 08:26:23 +0200 Subject: SLSP 2015: 2nd call for papers Message-ID: *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************************** 3rd INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING SLSP 2015 Budapest, Hungary November 24-26, 2015 Organised by: Laboratory of Speech Acoustics Department of Telecommunications and Telematics Budapest University of Technology and Economics http://alpha.tmit.bme.hu/speech/ Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/SLSP2015/ ********************************************************************************** AIMS: SLSP is a yearly conference series aimed at promoting and displaying excellent research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large, well-known conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between subdomains and people will hopefully happen. In SLSP 2015, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology. VENUE: SLSP 2015 will take place in Budapest, on the banks of the Danube and an extensive UNESCO World Heritage site. The venue will be the Faculty of Electrical Engineering and Informatics of the Budapest University of Technology and Economics. SCOPE: The conference invites submissions discussing the employment of statistical models (including machine learning) within language and speech processing. Topics of either theoretical or applied interest include, but are not limited to: anaphora and coreference resolution authorship identification, plagiarism and spam filtering computer-aided translation corpora and language resources data mining and semantic web information extraction information retrieval knowledge representation and ontologies lexicons and dictionaries machine translation multimodal technologies natural language understanding neural representation of speech and language opinion mining and sentiment analysis parsing part-of-speech tagging question-answering systems semantic role labelling speaker identification and verification speech and language generation speech recognition speech synthesis speech transcription spelling correction spoken dialogue systems term extraction text categorisation text summarisation user modeling STRUCTURE: SLSP 2015 will consist of: invited talks invited tutorials peer-reviewed contributions INVITED SPEAKERS: Xavier Carreras (Xerox Research Centre Europe, Meylan, FR), tba Sebastian Riedel (University College London, UK), Embedding Probabilistic Logic for Machine Reading Steve Young (University of Cambridge, UK), Open-domain Statistical Spoken Dialogue Systems PROGRAMME COMMITTEE: Steven Abney (University of Michigan, Ann Arbor, USA) Roberto Basili (University of Rome Tor Vergata, Italy) Jean-François Bonastre (University of Avignon, France) Jill Burstein (Educational Testing Service, Princeton, USA) Nicoletta Calzolari (National Research Council, Pisa, Italy) Kevin Bretonnel Cohen (University of Colorado, Denver, USA) W. Bruce Croft (University of Massachusetts, Amherst, USA) Marc Dymetman (Xerox Research Centre Europe, Meylan, France) Guillaume Gravier (IRISA, Rennes, France) Kadri Hacioglu (Sensory Inc., Santa Clara, USA) Udo Hahn (University of Jena, Germany) Thomas Hain (University of Sheffield, UK) Mark Hasegawa-Johnson (University of Illinois, Urbana, USA) Jing Jiang (Singapore Management University, Singapore) Tracy Holloway King (A9.com, Palo Alto, USA) Sadao Kurohashi (Kyoto University, Japan) Claudia Leacock (McGraw-Hill Education CTB, Monterey, USA) Mark Liberman (University of Pennsylvania, Philadelphia, USA) Carlos Martín‐Vide (Rovira i Virgili University, Tarragona, Spain, chair) Alessandro Moschitti (University of Trento, Italy) Jian-Yun Nie (University of Montréal, Canada) Maria Teresa Pazienza (University of Rome Tor Vergata, Italy) Adam Pease (IPsoft Inc., New York, USA) Fuchun Peng (Google Inc., Mountain View, USA) Bhiksha Raj (Carnegie Mellon University, Pittsburgh, USA) Javier Ramírez (University of Granada, Spain) Paul Rayson (Lancaster University, UK) Dietrich Rebholz-Schuhmann (University of Zurich, Switzerland) Douglas A. Reynolds (Massachusetts Institute of Technology, Lexington, USA) Michael Riley (Google Inc., Mountain View, USA) Laurent Romary (INRIA, Saclay, France) Horacio Saggion (Pompeu Fabra University, Barcelona, Spain) David Sánchez (Rovira i Virgili University, Tarragona, Spain) Roser Saurí (Oxford University Press, Oxford, UK) Stefan Schulz (Medical University of Graz, Austria) Efstathios Stamatatos (University of the Aegean, Karlovassi, Greece) Yannis Stylianou (Toshiba Research Europe Ltd., Cambridge, UK) Maosong Sun (Tsinghua University, Beijing, China) Tomoki Toda (Nara Institute of Science and Technology, Japan) Yoshimasa Tsuruoka (University of Tokyo, Japan) Klára Vicsi (Budapest University of Technology and Economics, Hungary) Enrique Vidal (Technical University of Valencia, Spain) Atro Voutilainen (University of Helsinki, Finland) Andy Way (Dublin City University, Ireland) Junichi Yamagishi (University of Edinburgh, UK) Luke Zettlemoyer (University of Washington, Seattle, USA) Pierre Zweigenbaum (LIMSI-CNRS, Orsay, France) ORGANISING COMMITTEE: Adrian Horia Dediu (Tarragona) Carlos Martín-Vide (Tarragona, co-chair) György Szaszák (Budapest) Klára Vicsi (Budapest, 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=slsp2015 PUBLICATIONS: A volume of proceedings published by Springer in the LNCS/LNAI 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/SLSP2015/Registration.php DEADLINES: Paper submission: June 23, 2015 (23:59 CET) Notification of paper acceptance or rejection: July 28, 2015 Final version of the paper for the LNCS/LNAI proceedings: August 11, 2015 Early registration: August 11, 2015 Late registration: November 10, 2015 Submission to the journal special issue: February 26, 2016 QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat POSTAL ADDRESS: SLSP 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: Budapesti Műszaki és Gazdaságtudományi Egyetem 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 lbellatreche at gmail.com Sun May 17 18:09:51 2015 From: lbellatreche at gmail.com (Ladjel Bellatreche) Date: Sun, 17 May 2015 18:09:51 +0200 Subject: Last mile for MEDI'2015 @ Rhodes Island, Greece Message-ID: Sorry for multipe postings 5th International Conference on Model and Data Engineering (MEDI'2015) September 26-28, 2015, Rhodes Island, Greece http://delab.csd.auth.gr/medi2015/ The main objective of the conference is to provide a forum for the dissemination of research accomplishments and to promote the interaction and collaboration between the models and data research communities. This international scientific event, initiated by researchers from Euro-Mediterranean countries, aims also at promoting the creation of north-south scientific networks, projects and faculty/student exchanges. Authors are invited to submit original unpublished work that is not currently under consideration for publication elsewhere. Invited Speakers: Christian Jensen, Aalborg University, Denmark Oscar Pastor Lopez, Polytechnical University of Valencia, Spain General Chairs Yamine Ait Ameur, ENSEEIHT/IRIT, France Athena Vakali, Aristotle University of Thessaloniki, Greece Program Committee Chairs Yannis Manolopoulos, Aristotle University of Thessaloniki, Greece Ladjel Bellatreche, University of Poitiers, France Proceedings Springer Verlag, Lecture Notes in Computer Science Special issues International Journal of Intelligent Information and Database Systems International Journal on Software Tools for Technology Transfer Venue Set against the historic backdrop of Rhodes Island is the elegant and picturesque low-rise architecture of Aldemar Amalia Mare, an all-inclusive seaside resort. Important Dates Full paper submission deadline: May 20th 2015 Notification to authors: June 23rd 2015 Camera ready submissions: July 13th 2015 List of topics (indicative, not exclusive) Modelling and Models Engineering * Design of general-purpose modelling languages and related standards * Model driven engineering, modelling languages, meta-modelling, model transformation, model evolution * Formal modelling, verification and validation, analysis, testing * Ontology based modelling, role of ontologies in modelling activities * Model manipulation and models as first objects * Heterogeneous modelling, model integration, interoperability * Applications and case studies Data Engineering * Heterogeneous data, data Integration and Interoperability * Distributed, parallel, grid, p2p, cloud databases * Data warehouses and OLAP, data mining * Database system Internals, performance, self-tuning benchmarking and testing * Database security, personalization, recommendation * Web databases, ontology based databases * Applications and case studies Modeling for Data Management * New models and architectures for databases and data warehouses * Modeling and quality of data * Modeling for enhancing sharing data * Models for explicit and implicit semantics based data optimization * Model reification, model repositories * Modeling nonfunctional properties of systems * Data as models and models as data * Service based data management, service oriented applications * Models for data monitoring * Urbanization of database applications Applications and tooling * Industry transfer, experiences * Data and model manipulation and tooling * Modelling tools and experimentation Program committee * Alberto Abello, Universitat Politecnica de Catalunya, Spain * Idir Ait Sadoune, E3S - SUPELEC, France * Abdelmalek Amine, Tahar Moulay University of Saida, Algeria * Kamel Barkaoui, Cedric-Cnam, France * Alberto Belussi, Verona University, Italy * Sadok Ben Yahia, Universite De Tunis El Manar, Tunisia * Alexander Borusan, Technische Universitat Berlin, Germany * Frederic Boulanger, Supelec, France * Nieves R. Brisaboa, Universidade da Corua, Spain * Francesco Buccafurri, Universite Mediterranea di Reggio Calabria, Italy * Antonio Corral, University of Almeria, Spain * Alfredo Cuzzocrea, University of Calabria, Italy * Florian Daniel, University of Trento, Italy * Remi Delmas, ONERA, France * Nikos Dimokas, Aristotle University of Thessaloniki, Greece * Anastasios Gounaris, Aristotle University of Thessaloniki, Greece * Brahim Hamid, University of Toulouse, France * Akram Idani, Laboratoire d'Informatique de Grenoble, France * Mirjana Ivanovic, University of Novi Sad, Serbia * Dimitrios Katsaros, University of Thessaly, Greece * Admantios Koumpis, National University of Ireland, Ireland * Regine Laleau, Paris Est Creteil University, France * Olivier Le Goaer, Universite de Pau et des Pays de l'Adour, France * Yves Ledru, University Joseph Fourier, France * Carson K. Leung, University of Manitoba, Canada * Zhiming Liu, Birmingham City University, UK * Sofian Maabout, University of Bordeaux, France * Dominique Mery, Universite de Lorraine, France * Mukesh Mohania, IBM India Research Lab, India * Aicha Mokhtari, USTHB, Algeria * Mario Nascimento, University of Alberta, Canada * Ali Ouni, Osaka University, Japan * George Pallis, University of Cyprus, Cyprus * Marc Pantel, IRIT/INPT, Universite de Toulouse, France * George Papadopoulos, University of Cyprus, Cyprus * Apostolos N. Papadopoulos, Aristotle University of Thessaloniki, Greece * Oscar Pastor Lopez, Universitat Politecnica de Valencia, Spain * Elvinia Riccobene, DTI - University of Milan, Italy * Oscar Romero, Universitat Politecnica de Catalunya, Spain * Dimitris Sacharidis, Institute for the Management of Information Systems - Athena R.C., Greece * Houari Sahraoui, Universite De Montreal, Canada * Patrizia Scandurra, University of Bergamo, Italy * Klaus-dieter Schewe, Software Competence Center , Austria * Timos Sellis, RMIT University, Australia * Spyros Sioutas, Ionian University, Greece * Manolis Terrovitis, Institute for the Management of Information Systems - Athena R.C., Greece * Riccardo Torlone, Roma Tre University, Italy * Goce Trajcevski, Northwestern University, USA * Efthymia Tsamoura, Oxford University, UK * Theodoros Tzouramanis, University of the Aegean, Greece * Ozgur Ulusoy, Bilkent University, Turkey * Michael Vassilakopoulos, University of Thessaly, Greece * Panos Vassiliadis, University of Ioannina, Greece * Virginie Wiels, ONERA/DTIM, France * Robert Wrembel, Poznan University of Technology, Poland * Demetrios Zeinalipour-yazti, University of Cyprus, Cyprus * Bin Zhou, University of Maryland, USA -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From invitation at iariaprogram.org Mon May 18 11:16:09 2015 From: invitation at iariaprogram.org (INTERNET 2015) Date: Mon, 18 May 2015 05:16:09 -0400 Subject: Last Mile: INTERNET 2015 || October 11 - 16, 2015 - St. Julians, Malta Message-ID: <1431940569181.595@iariaprogram.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 INTERNET 2015. The submission deadline of June 1, 2015 is approaching. Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org ================= ============== INTERNET 2015 | Call for Papers =============== CALL FOR PAPERS, TUTORIALS, PANELS INTERNET 2015, The Seventh International Conference on Evolving Internet October 11 - 16, 2015 - St. Julians, Malta General page: http://www.iaria.org/conferences2015/INTERNET15.html Call for Papers: http://www.iaria.org/conferences2015/CfPINTERNET15.html Submission page: http://www.iaria.org/conferences2015/SubmitINTERNET15.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 1, 2015 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 INTERNET 2015 Topics (topics and submission details: see CfP on the site) Future Internet Architecture Architectures for the Internet of Things; Web of Things; Web of Things and Semantic; Internet of Things and Clouds internetworking; Network media, content and service orientation; Embedded Web Services (CoAP / Lightweight SOAP); Mobility and Future Internet; Pervasive Internet of Things; User-oriented, context-aware Internet of Things services; Location and discovery of things on the Internet; Crowd-sourcing and things; Trust, security and privacy in Internet of Things; Lightweight implementations of cryptographic stacks; Experiences with Open Platforms and hardware within Internet of Things; Internet of Vehicle (IOV) Advanced Internet mechanisms Access: call admission control vs. QoE vs. structural QoS / capability-based access control vs. role-based access control vs. attribute-based access control; Routing and pricing models: BGP, pricing peering agreements using microeconomics, topological routing vs. table-based routing vs. network coding, power-efficient routing; Optimization in P2P/CDN networks: peer placement for streaming P2P, analysis of P2P networks; Traffic engineering: estimating traffic matrices, constrained routing, exponentially bounded burstness; Behavioral traffic recognition: identifying applications from traffic behavior; Traffic analysis: methods for analysis and visualization of multidimensional measurements, characterizing protocols; Software defined radio networks: low power signal processing methods, applications of machine learning; Cognitive radio: medium access, spatiotemporality, complexity, spectrum sharing and leasing, channel selection, multi-stage pricing, cyclostationary signatures, frame synchronization; Streaming video: learning from video, techniques for in-network modulation; Location: statistical location, partial measurements, delay estimation Graph theory/topology/routing Internet support Information theory: distributed network coding, Shannon's entropy, Nash equilibrium; Optimization: LP, NLP, NeuroP, quadratic, convex programming, compressed sensing; Graph theory: random graphs, spectra graph theory, percolations and phase transitions, methods from statistical physics, geometric random graphs; Algebraic techniques: tensor analysis, matrix decomposition; Processing: signal processing techniques, equalization, point-process, source coding vs. network coding, recoverability; Statistical machine learning: probabilistic graphical models, classification, clustering, regression, classification, neural networks, support vector machines, decision forests; Game Theory/Microeconomic theory: social choice theory, equilibria, arbitrage and incentive oriented distributed mechanism design, cooperative games, and games on graphs; Stochastic network calculus; Fractal behavior and stability mechanisms; Kolmogorov complexity for performance evaluation; Complexity theory Internet security mechanisms Cryptography: design and analysis of cryptographic algorithms, applied cryptography, cryptographic protocols and functions; Specification, validation design of security and dependability: security and trust models, semantics and computational models for security and trust, business models in security management, security policies models, security architectures, formal methods for verification and certification, multi-level security specification; Vulnerabilities, attacks and risks: methods of detection, analysis, prevention, intrusion detection, tolerance, response and prevention, attacks and prevention of on-line fraud, denial of services attacks and prevention methods; Access Control: authentication and non-repudiation, accounting and audit, anonymity and pseudonymity; identity and trust management, biometric methods; Anti-malware techniques: detection, analysis, prevention; Cyber-crime response: anti-phishing, anti-spam, anti-fraud methods Internet trust, security, and dependability levels Network and transport level security; Network edge security controls: firewalls, packet filters, application gateways; Wireless and mobile network security: risks of wireless insecurity, wireless vulnerabilities and intrusion detection, WLAN and WMAN MAC layer security technologies, key management mechanisms and protocols, security in ad hoc, sensor, mesh and personal communication networks; Security of Internet protocols: routing security, naming, network management, signaling security, transport layer security; Network security policies: specification, implementation, deployment and management; Security of P2P and overlay/middleware systems; Security for multiple domains, large-scale systems and critical infrastructures; Applications and high level services security: Web-based applications and services, VoIP, multimedia streaming services, VoD and IPTV, collaborative applications (conferencing), electronic commerce and eBusiness, eVoting, grid computing, security of eGovern ment; Intellectual property protection: digital rights management, licensing, metering, watermarking, information hiding, implementations; Security services integration in complex architectures; Tradeoffs between security and efficiency, usability, reliability and cost. Internet performance Performance degradation and anomaly detection mechanisms; User-oriented performance metrics; Network and service provider-oriented performance metrics; Hybrid (chip and network) performance calculi; Intrusive and non-intrusive performance measurement mechanisms; Mechanisms for performance degradation-tolerant applications; Mechanisms for application performance and network performance; Performance enhancement mechanisms; Performance and traffic entropy algorithms; Performance prediction algorithms Internet AQM/QoS Buffer sizing, majorization, QoS routing, finite buffer queue vs. infinite buffer queue and performance; Control theoretic framework for modeling of TCP and AQM schemes; Discrete mathematics to model buffer occupancy at queues of a network (given workloads); Game theoretic modeling of AQMs (mathematics to model selfish traffic); Fairness models (proportional fairness, max-min fairness, low state global fairness); Optimization framework for congestion control, fairness and utility maximization; Modeling and simulation of large network scenarios using queuing theory Internet monitoring and control Visualization mechanisms; Sub-network/device isolation mechanisms; Control feedback mechanisms (limited feedback, delay and disruption tolerance, optimal and adaptive feedback); Optimal control; Adaptive behavior control; Network resiliency; Self-adaptable and tunable performance; Mechanisms for anticipative measurements and control Internet and wireless Capacity of wireless networks; Potential based routing; Algebraic techniques to mine patterns from wireless networks; QoS/QoE translation; Wireless ad hoc / mesh networks: MAC protocols, routing, congestion control, P2P CDNs on wireless meshes Internet and data streaming/mining algorithms Mathematics for clustering massive data streams; Randomized algorithms etc and impossibility results; Dimension reduction in metric spaces; Tensor and multidimensional algebraic techniques; Non linear dimension reduction; Optimal collector positioning; Data fusion and correlation algorithms Internet and sensor-oriented networks/algorithms Optimal sensor placement; Inference models for sensing; Congestion control; Resource allocation; Mathematics to model different diffusion processes and applications to routing; Algorithms for data fusion; Algorithms for computing dormant/active sending periods; Energy-driven adaptive communication protocols Internet challenges Future Internet architecture and design; Next generation Internet infrastructure; Internet cross-layer design and optimization; Internet security enforcement and validation; Future cross-Internet computing; Configurable Internet protocols; Internet-scale overlay content hosting; Internet citizen-centric services; End-user customizable Internet; Mobile Internet; Internet imaging; Internet coding; Internet resilience; Internet QoS/QoE; Context-aware, ambient, and adaptive Internet; Virtualization and Internet; Privacy Enhancing Technologies - PETs Access networks Next generation access technologies; Femtocells-based access; Broadband wireless; nternet access; Optical access networks; Mobile wireless access; Dynamic and cognitive access; Hybrid optical and wireless access networks; Copper Access; Giga/Tera Access; Access Control; Neutral Access Networks; Legal aspects on network and service access Committee: http://www.iaria.org/conferences2015/ComINTERNET15.html ================================================ To stop receiving notices about INTERNET, please reply with "DROP INTERNET 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 announce at cs.ucy.ac.cy Mon May 18 17:13:28 2015 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Mon, 18 May 2015 18:13:28 +0300 Subject: CFP: 6th Workshop on Semantics for Smarter Cities (SASC 2015) Message-ID: The 6th Workshop on Semantics for Smarter Cities (S4SC 2015) collocated with the 14th International Semantic Web Conference (ISWC2015) Bethlehem, PA, USA October 11-12, 2015 http://kat.ee.surrey.ac.uk/wssc/index.html Important Dates (All deadlines are Hawaii time) - full paper submission: July 1, 2015 - notification of acceptance: July 31, 2015 - submission of camera ready version: August 7, 2015 - Workshop date: October 11/12, 2015 Scope and Objectives This workshop will explore the interfaces between the Web, the Web of Data, and the City Smart environment. It will further explore how the Web, and the intelligences built on top of, and around the Web, can make the notion of the Smart Connected City possible and realizable. The workshop aims to gather researchers, city departments, service providers, application developers, entrepreneurs, and citizens to present and debate Semantic Web technologies, Linked Data and data analytics and evaluations for smart city applications as well as impact of user engagements and social networks. The workshop will also focus on related standardisation activities in W3C, IEEE and ETSI. It continues on from the successful earlier workshops on the same theme at: The 5th Workshop on Semantics for Smarter Cities (http://blog.soton.ac.uk/s4sc/) SemCity13 (http://aida.ii.uam.es/wims13/semcity.php) AAAI 14 (http://research.ihost.com/semanticcities14/) AAAI 12 (http://research.ihost.com/semanticcities12/) IJCAI 13 (http://research.ihost.com/semanticcities13/) Topics of Interest Topics of interest include but are not limited to: 1. Semantic platforms to integrate, manage and publish government data Provenance, access control and privacy-preserving issues in open data Collaborative and evolving semantic models for cities. Challenges and lessons learned Semantic data integration and organization in cities: social media feeds, sensor data, simulation models and Internet of things in city models Big data and scaling out in semantic cities. Managing big data using knowledge representation models Knowledge acquisition, evolution and maintenance of city data Challenges in managing and integrating real-time and historical city data Big Data in Dynamic Smart City Environments 2. Process and standards for defining, publishing and sharing open city (government) data Platforms and best practices for city data interoperability Foundational and applied ontologies for semantic cities Publishing Public and Government Data and Open Data 3. Robust inference models for semantic cities Large-scale / stream-based reasoning Semantic event detection and classification Spatio-temporal reasoning, analysis and visualization Machine Learning and Semantics 4. City applications involving semantic models Intelligent user interfaces and contextual user exploration of semantic data relating to cities Use cases, including, but not limited to, transportation (traffic prediction, personal travel optimization, carpool and feet scheduling), public safety (suspicious activity detection, disaster management), healthcare (disease diagnosis and prognosis, pandemic management), water management (flood prevision, quality monitoring, fault diagnosis), food (food traceability, carbon-footprint tracking), energy (smart grid, carbon footprint tracking, electricity consumption forecasting) and buildings (energy conservation, fault detections) 5. City as a Smart Utility Internet of Things Interaction Paradigms in the Smart City Smart City operating systems Semantic Complex Event Reasoning City services discovery Service Ranking, Provenance, and Semantic Web Discovery Sustainability issues in developing Smart City Applications Impact of Smart City services and applications Discovery of Data and Sensors Submission Types and Publication For providing a forum for sharing novel ideas, S4SC'15 welcomes a broad spectrum of contributions, including: Full research papers Position papers Case studies Descriptions of experiments Evaluations How to submit Authors of accepted works are expected to attend the conference to present their work. The maximum length of: Short papers, up to 6 pages Full Research papers, up to 16 pages Position papers, up to 4 pages Case Studies papers, up to 16 pages Demo papers, and descriptions of experiments, including evaluation reports (up to 16 pages) Submissions to the Demo track should describe what will be demonstrated (this may include screenshots and sample script for the demo). Authors are encouraged to include a link to where the demo (live or recorded video) can be found. Authors are advised to make clear in their submission: What is the research background and application context of the demonstration? What are the key technologies used, and how does the demonstrated system, application or infrastructure relate to pre-existing work? What will be the key concepts learnt by participants of the demonstration? Submissions must be in PDF formatted in the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS). For details of the LNCS style, see Springer's Author Instructions. Paper submissions to be made electronically through the EasyChair submission system at: https://easychair.org/conferences/?conf=s4sc2015 Important Dates (All deadlines are Hawaii time) - full paper submission: July 1, 2015 - notification of acceptance: July 31, 2015 - submission of camera ready version: August 7, 2015 - Workshop date: October 11 or 12, 2015 (exact date will be confirmed) Organising Committee - Tope Omitola, University of Southampton, UK - John Breslin, National University of Ireland, Galway, Ireland - Payam Barnaghi, University of Surrey, UK - Jan Holler, Ericsson, Sweden - Biplav Srivastava, IBM Research, India - John Davies, BT, UK Advisors - Manfred Hauswirth, Technical University of Berlin/Fraunhofer FOKUS - Amit Sheth, Wright State University, USA - Ralf Toenjes, University of Applied Science Osnabrück, Germany Program Committee - Herwig Schreiner, Siemens, Austria - Spyros Kotoulas, IBM Research, Smarter Cities Technology Centre, Dublin, Ireland - Monika Solanki, University of Oxford - Septimiu Nechifor, Siemens, Romania - Pramod Anantharam, Kno.e.sis, Wright State University - Rosario Uceda-Sosa, IBM - Mirko Presser, Alexandra Institute, Denmark - Konstantinos Vandikas, Ericsson, Sweden - Andreas Emrich, DFKI/University of Saarbrucken, Germany - Alessandra Mileo, Insight Centre, National University of Ireland, Galway, Ireland - Taha Osman, Nottingham Trent University, UK - Sebastian Rios, University of Chile - Jose Gomez-Perez, Expert System, Spain - Maria Bermudez, University of Surrey, UK - Sarah Gallacher, ICRI-Cities, UCL, UK - Frieder Ganz, Adobe, Germany -------------------------------------------------------------------- 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 invitation at iariaannounce.org Tue May 19 00:18:41 2015 From: invitation at iariaannounce.org (ICWMC 2015) Date: Mon, 18 May 2015 18:18:41 -0400 Subject: Last Mile: ICWMC 2015 || October 11 - 16, 2015 - St. Julians, Malta Message-ID: <1431987521817.1575@iariaannounce.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 ICWMC 2015. The submission deadline of June 1, 2015 is approaching. Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org ================= ============== ICWMC 2015 | Call for Papers =============== CALL FOR PAPERS, TUTORIALS, PANELS ICWMC 2015, The Eleventh International Conference on Wireless and Mobile Communications October 11 - 16, 2015 - St. Julians, Malta General page: http://www.iaria.org/conferences2015/ICWMC15.html Call for Papers: http://www.iaria.org/conferences2015/CfPICWMC15.html Submission page: http://www.iaria.org/conferences2015/SubmitICWMC15.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 1, 2015 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 ICWMC 2015 Topics (topics and submission details: see CfP on the site) Wireless Communications Basics Coding & modulation & equalization; Channel modeling and characterization; Equalization/Synchronization; Transform-domain communication; Multiple access algorithms and schemes; Antenna and RF subsystems; Smart antennas, adaptive antennas, MIMO and beam forming; MIMO and OFDM Based PHY Layer technologies; CDMA Systems Radio Interfaces and Systems Radio communications systems; Radio resource management; Radio transmission technologies; Power and interference control; Interference Cancellation for Wireless Mobile Systems; Power management for small terminals; Energy map; Channel Measurement and Characterization Spectrum Allocation and Management Spectrum efficiency analyses; Dynamic spectrum access networks; Spectrum management; Interference mitigation and management techniques Circuits for Wireless Communications Wireless ASICs; Wireless technologies; RF Design issues Wireless and Mobility Mobility management; Location-based services and positioning; Micro and macro-mobility; Mobility, location and handoff management; Mobile and wireless IP; Wireless broadband mobile access; Routing in multihop, ad hoc and sensor networks; Wireless multicasting; Wireless mesh networks; Topology control in wireless Protocols for wireless and mobility Wireless protocols, architectural and design concepts; Protocols for air interfaces and networks; Wireless MAC protocols: Design and analysis; Transport layer issues in mobile and wireless networks; Middleware for handhelds and mobile services nodes; Proxies and middleware for wireless networks Traffic and congestion control, QoS, Resource Management Traffic Modeling and Analysis; 3G/4G Bandwidth on Demand; QoS and mobility; End-to-end QoS; QoS profiling and pricing; Traffic Engineering; Congestion and admission control Wireless and mobile technologies Micro-mobility and macro-mobility; Wireless LANs; Home and Personal Area Networks: Bluetooth, ZigBeee, etc; Wireless MANs:802.16, 802.20; Wireless WANs: 2G/3G/4G; Mobile ad hoc networks and multi-hop wireless; Sensor networks and applications; Ultra-wideband and short-range networks; High altitude platforms and satellites; Emergency wireless communications; Wireless real-time communications; RFID systems (including readers and transponders in LF, HF and UHF bands) Performance Evaluation, Simulation and Modeling of wireless networks and systems Performance and QoS in wireless networks; Radio channel modeling (wave propagation and measurements); Mobile/wireless networks modeling and simulation; Performance of end-to-end protocols over wireless networks Management of wireless and mobile networks Mobility and QoS management; Billing technologies and tools; Policy Based Management in wireless LANS and MANs; Wireless and Mobile Network Planning; Mobile Database Access and Design Security in wireless and mobile environment Security and robustness in wireless networks; Privacy, Authentication Authorization and Accounting (AAA); Encryption and Cryptography; Key Management Protocols; Digital Rights Management and Multimedia Protection Networks convergence and integration 2G/3G/4G integration; Convergence of 3G wireless and Internet cross-layer design in wireless networks; WLAN/3G/4G integration; Wireless-wireline convergence; Heterogeneous Networks (WAN, Wireless MAN, WLAN); IP Multimedia subsystems (IMS); Next Generation Network Architecture- mobility issues; Coexistence of mobile radio networks; End to End QoS in Heterogeneous environment; Signaling for integrated wireline/wireless networks Applications and services based on wireless infrastructures Mobile & Wireless applications & services; Service discovery: protocols and frameworks; Personalized services and applications; Audio-visual and mobile multimedia applications; Media and content distribution over wireless networks Standardization and regulations Position on standards & fora on wireless and mobile networks; Wireless Networks Standards and Protocols; Communications regulations; 802.11 WLAN Standards; 802.16 WMAN Standards; 3GPP and 3GPP2 standards; HSDPA Technology and Standards; Next Generation Network standards Design and implementation Emerging wireless technologies; Cross-layer optimizations in wireless networks; Design and implementation of mobile information systems; Software defined radio and re-configurability; Joint PHY/MAC design Wireless and mobile network deployment Business models on wireless networks; Market trends and regional developments; M-commerce; Lessons learnt for wireless deployment in schools Lessons learnt for wireless deployment in special regions; Specialized wireless networks; Heterogeneous wireless network deployment (e.g., combining 802.11, 802.16 and 3G networks) Cooperative and Cognitive Vehicular Networks Architectures and platforms of cognitive vehicular network; Distributed artificial intelligence techniques for cognitive networks; Cognitive vehicular routing metrics and supporting protocols; Reduced complexity cognitive networks; Physical and MAC layer issues; Protocols design for cognitive vehicular networks; Cross-layer optimization in cognitive networks; Security issues for vehicular and cognitive networks; Testbed experiment, applications and new advances; Cooperative vehicular networks; QoS provisioning in heterogeneous networks ; Managing vertical handover; Multihoming; IPv6 GeoNetworking; Vehicular network architectures and protocols ; Cross-layer design and optimization for vehicular networks and cognitive networks; Mobility management and topology control; Standardization and Development of vehicular networks Convergence and social mobility Convergence of mobile networks with the Web 2.0; Convergence on architecture and services; Open service capabilities; Open exposure of telco capabilities; Open Web APIs, SOA and SDP); Interworking strategies; Mobile terminals as sources for User-generated content; Architecture and services for user-generated content; Auto-description and metadata synthesis for telecom-generated for user-generated content; Social mobile networks; User behavior profiling; Social connections (social graphs, contacts, etc); Services and architectures/solutions for social mobile services Committee: http://www.iaria.org/conferences2015/ComICWMC15.html ================================================ To stop receiving notices about ICWMC, please reply with "DROP ICWMC 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 thomas.lukasiewicz at gmail.com Tue May 19 13:44:30 2015 From: thomas.lukasiewicz at gmail.com (Thomas Lukasiewicz) Date: Tue, 19 May 2015 12:44:30 +0100 Subject: URSW 2015 CFP Message-ID: <555B221E.6040300@cs.ox.ac.uk> URSW 2015 CALL FOR PAPERS 11th International Workshop on Uncertainty Reasoning for the Semantic Web http://c4i.gmu.edu/ursw/2015 In conjunction with the 14th International Semantic Web Conference Bethlehem, PA - US October 11 or 12, 2015 You are invited to participate in the upcoming workshop on Uncertainty Reasoning for the Semantic Web (URSW), to be held as part of the 14th International Semantic Web Conference (ISWC) in October 11-15, 2015 Bethlehem, PA - US . ISWC is a major international forum for presenting visionary research on all aspects of the Semantic Web. The Uncertainty Reasoning workshop is an exciting opportunity for collaboration and cross-fertilization between the uncertainty reasoning community and the Semantic Web / Linked Data community. Effective methods for reasoning under uncertainty are vital for realizing many aspects of the Semantic Web vision, but the ability of current-generation web technology to handle uncertainty remains extremely limited. Thus, there is a continuing demand for uncertainty reasoning technology among Semantic Web researchers and developers, and the URSW workshop creates a unique opening to bring together two communities with a clear commonality of interest but limited history of interaction. By capitalizing on this opportunity, URSW could spark dramatic progress toward realizing the Semantic Web vision. AUDIENCE The intended audience for this workshop includes the following * Researchers in uncertain reasoning technologies with interest in the Semantic Web and Linked Data * Semantic Web and Linked Data developers and researchers * People in the knowledge representation community with interest in the Semantic Web and Linked Data * Ontology researchers and ontological engineers * Web services researchers and developers with interest in the Semantic Web * Developers of tools designed to support semantic web implementation, e.g., Jena developers, Protégé developers, OWL-API developers... TOPIC LIST We intend to have an open discussion on any topic relevant to the general subject of uncertainty in the Semantic Web and Linked Data (including fuzzy theory, probability theory, and other approaches). Therefore, the following list should be just an initial guide. * Syntax and semantics for extensions to Semantic Web / Linked Data languages to enable representation of uncertainty * Logical formalisms to support uncertainty in Semantic Web / Linked Data languages * Probability theory as a means of assessing the likelihood that terms in different ontologies refer to the same or similar concepts * Architectures for applying plausible reasoning to the problem of ontology mapping * Using fuzzy approaches to deal with imprecise concepts within ontologies * The concept of a probabilistic ontology and its relevance to the Semantic Web * Best practices for representing uncertain, incomplete, ambiguous, or controversial information in the Semantic Web / Linked Data * The role of uncertainty as it relates to web services and cloud computing * Interface protocols with support for uncertainty as a means to improve interoperability among web services * Uncertainty reasoning techniques applied to trust issues in the Semantic Web and Linked Data * Existing implementations of uncertainty reasoning tools in the context of the Semantic Web and Linked Data * Issues and techniques for integrating tools for representing and reasoning with uncertainty; * The future of uncertainty reasoning for the Semantic Web and Linked Data IMPORTANT DATES * July 1: Paper submissions due * July 30: Paper acceptance notification * August 16: Camera-ready papers due * Oct 11 or 12: 11th Workshop on Uncertainty Reasoning for the Semantic Web SUBMISSION DETAILS The URSW will be accepting submissions of technical papers and position papers. Each submission will be evaluated for acceptability by at least three members of the Program Committee. Decisions about acceptance will be based on relevance to the above topic list, originality, potential significance, topicality and clarity. Since all accepted papers will be presented at the workshop, we require that at least one of the submitting authors must be a registered participant at the ISWC 2015 Conference, and committed to attend the URSW Workshop. Submissions to the workshop are only accepted in electronic format and should be sent via the workshop’s EasyChair submission site: http://www.easychair.org/conferences/?conf=ursw2015 Papers must be formatted in the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS). This is the very same format adopted by the ISWC 2015. For complete details, see Springer’s Author Instructions (http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Technical papers submitted to the URSW Workshop must not exceed 12 pages, including figures and references. Submissions exceeding this limit will not be reviewed. Position papers consist of a summary of ideas, projects, or any research efforts that are relevant to the URSW Workshop and must not exceed 4 pages. Following the general acceptance rules of the ISWC 2015 conference, papers that, at the time of submission, are under review for or have already been published in or accepted for publication in a journal or another conference will not be accepted to the URSW workshop. PRESENTATION AND PUBLICATION URSW 2015 will be a half-day workshop. All papers accepted to the URSW will be presented during the workshop and published in the workshop proceedings. Authors of accepted technical papers will have 20 minutes to present their work, while authors of accepted position papers will have a 10-minute slot to share their ideas. After each presentation, 5 minutes will be allocated to questions from the audience. Both technical and position papers will be published in the URSW workshop proceedings, to be available after the ISWC 2015 conference. ORGANIZING COMMITTEE * Fernando Bobillo - University of Zaragoza, Spain * Rommel N. Carvalho - Brazil's Office of the Comptroller General / University of Brasília, Brazil * Davide Ceolin - VU University Amsterdam, The Netherlands * Paulo C. G. Costa - George Mason University, USA * Claudia d’Amato - University of Bari, Italy * Nicola Fanizzi - University of Bari, Italy * Kathryn Laskey - George Mason University, USA * Kenneth J. Laskey – MITRE Corporation, USA * Thomas Lukasiewicz – University of Oxford, UK * Trevor Martin - University of Bristol, UK * Matthias Nickles – INSIGHT Centre for Data Analytics, National University of Ireland, Galway, Ireland * Michael Pool - Vertical Search Works, Inc., USA From nicola.olivetti at univ-amu.fr Tue May 19 15:13:26 2015 From: nicola.olivetti at univ-amu.fr (Nicola OLIVETTI) Date: Tue, 19 May 2015 15:13:26 +0200 (CEST) Subject: PH. D PH.D POSITION IN MARSEILLES: 2nd CALL Message-ID: <789847840.11998.1432041206645.JavaMail.root@bureau-frontal3.univ-amu.fr> PH.D POSITION IN MARSEILLES: 2nd CALL GENERAL AREA: Logic, Automated Deduction TITLE : PROOF-THEORY OF CONDITIONAL AND NON NORMAL MODAL LOGICS ABSTRACT The topic of this thesis is to investigate the proof theory and automated deduction of conditional and non-normal modal logics. Both families of logics fall into the realm of modal logics and are characterized by variants of Kripke semantics, including neighborhood semantics. These logics find their interest in the formalisation of several kind of reasoning, namely hypothetical and counterfactual reasoning,  reasoning about agents' belief change, reasoning about prototypical properties (plausible and non-monotonic reasoning), deontic reasoning,  strategic reasoning in games, and causal reasoning. The expected research activity comprises: 1. study of new  calculi of different kinds (tableaux, sequent calculi) for the respective logics ; 2. make use of the calculi for investigating meta-logical properties of logics, for example constructive proof of decidability,  finite model property, interpolation, new or tighter complexity bounds; 3. realisation of prototype theorem provers implementing the studied calculi.   KEYWORDS: modal logic, conditional logic, proof-theory, knowledge representation ADDITIONAL INFORMATION The research will be carried on at the LSIS Laboratory (UMR CNRS 7296) in Marseilles, France (http://www.lsis.org). The applicant will be member of the INCA team of LSIS. This research team has been ranked A+ (the best possible ranking) by the French National Agency for Evaluation of Research (AERES). LOCATION: University of Aix-Marseille,  LSIS, Site of Saint-Jérôme (Faculty of Science), Marseilles FUNDING: The Ph.D. fellowship is funded for 3 years, amounting approximately to 1600 € per month (addiitonal teaching allowances are possible). CANDIDATE PROFILE: Applicants should have (or being in the process of obtaining) a M.Sc. in Computer Science, Mathematics or Philosophy, they are required to have: - a strong background in logic and knowledge representation, - an acquaintance with complexity theory, formal methods, and artificial intelligence, - some programming skills in logic or functional programming. STARTING DATE: the position starts preferably in October 2015 but not later than 31 December APPLICATION AND CONTACT: Candidates must send their application *before May 31* 2015: - A detailed Curriculum vitae, - A transcript of the grades of  Bachelor and Master Degrees, - A letter of intent, - Reference letters, - A short description of master thesis. Applications must be sent by email with attached pdf files to nicola.olivetti at univ-amu.fr -- Prof. Nicola Olivetti Faculté d'Economie et Gestion (FEG), Aix-Marseille Université LSIS - UMR CNRS 7296 Adresse FEG: Espace Forbin, 15-19 Allée Claude Forbin, 13627 Aix-en-provence, (France) Adresse LSIS: Domaine Universitaire de Saint-Jérôme Avenue Escadrille Normandie-Niemen, 13397 Marseille Cedex 20 (France) email: nicola.olivetti at univ-amu.fr, nicola.olivetti at lsis.org phone: +33 (0)49128 9094, fax: +33 (0) 49128 8334 http://www.lsis.org/olivetti/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fabio.zanasi at ens-lyon.fr Tue May 19 15:15:56 2015 From: fabio.zanasi at ens-lyon.fr (fabio.zanasi at ens-lyon.fr) Date: Tue, 19 May 2015 15:15:56 +0200 (CEST) Subject: MFPS XXXI/CALCO 2015 : Call for Participation Message-ID: <20150519131556.DAD96A3B82@jabiru.ens-lyon.fr> >From June 22, in a galaxy far, far away... https://coalg.org/calco15/images/poster.jpg ========================================================= JOINT CALL FOR PARTICIPATION MFPS XXXI 31st Conference on the Mathematical Foundations of Programming Semantics June 22 - 25, 2015 http://events.cs.bham.ac.uk/mfps31/ CALCO 2015 6th International Conference on Algebra and Coalgebra in Computer Science June 24 - 26, 2015 http://coalg.org/calco15/ In cooperation with ACM SIGLOG Nijmegen, Netherlands ========================================================== Early registration deadline: June 14, 2015 ========================================================== -- SCOPE -- MFPS conferences are devoted to those areas of mathematics, logic, and computer science that are related to models of computation, in general, and to the semantics of programming languages, in particular. The series has particularly stressed providing a forum where researchers in mathematics and computer science can meet and exchange ideas about problems of common interest. As the series also strives to maintain breadth in its scope, the conference strongly encourages participation by researchers in neighbouring areas. 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). -- INVITED SPEAKERS -- Invited speaker of MFPS and CALCO * Andy Pitts - University of Cambridge, UK MFPS invited speakers * Thierry Coquand - Chalmers University of Technology, Sweden * Paul B. Levy - University of Birmingham, UK * Guy McCusker - University of Bath, UK * Sam Staton - Radboud University, Nijmegen, NL CALCO invited speakers * Chris Heunen - University of Oxford, UK * Matteo Mio - CNRS, ENS Lyon, FR * Daniela Petrisan - Radboud University, Nijmegen, NL -- PROGRAMME AND SATELLITE EVENTS -- The detailed programme will appear soon on the conference web sites: http://events.cs.bham.ac.uk/mfps31/ (MFPS) https://coalg.org/calco15/ (CALCO) *MFPS special sessions* MFPS will host four special sessions: * Game semantics, organised by Andrzej Murawski, Warwick * Concurrent separation logic, organised by Philippa Gardner, Imperial College * Nominal techniques, organised by Daniela Petrisan, Radboud * Algebraic effects, organised by Matija Pretnar, Ljubljana The special session will include an invited tutorial talk, delivered by the session organiser. *CALCO Early Ideas workshop* CALCO 2015 will run together with the CALCO Early Ideas Workshop, with dedicated Early Ideas sessions at the end of each conference day. Additional information is available at https://coalg.org/calco15/ei.html . -- REGISTRATION -- To register for MFPS/CALCO, please fill out the registration form available at https://limesurvey.science.ru.nl/index.php/118286/lang-en . The following registration Fees are applied. Normal Late Both MFPS and Calco Non-Students €230 €250 Students €160 €180 MFPS only or Calco only Non-Students €160 €180 Students €100 €120 SIGLOG members attending MFPS and/or Calco receive a discount on the registration fee: €20 for student members, and €30 for professional members. The yearly rate for SIGLOG membership is $15 for students, and $25 for professionals. The deadline for normal registration is Sunday, June 14. After this date, the late registration fee will be applied. The registration fee can be paid by bank transfer or by credit card (Visa or Mastercard). Payment by bank transfer is strongly encouraged. Within the SEPA area, bank transfers are free of change. We will be sponsoring 5 free student registrations. Anyone interested please contact alexandra at cs.ru.nl. We are also proud to be a family-friendly conference: any participant who requires support for childcare to be able to attend the conference should contact us. Additional information on registration and hotel information can be found at http://mfpscalco2015.cs.ru.nl/ . -- 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. Conference venue for MFPS/CALCO is the majestic *Art Cinema Lux* (http://lux-nijmegen.nl/), located in the city center of Nijmegen. -- SIGLOG Anti-harassment Policy -- The open exchange of ideas and the freedom of thought and expression are central to the values and goals of SIGLOG. They require an environment that recognizes the inherent worth of every person and group. They flourish in communities that foster mutual understanding and embrace diversity. For these reasons, SIGLOG is committed to providing a harassment-free conference experience, and implements the ACM policy against harassment (see http://www.acm.org/sigs/volunteer_resources/officers_manual/anti-harassment-policy). Conference participants violating these standards may be sanctioned or expelled from the meeting, at the discretion of the conference organizers. Conference organizers are requested to report serious incidents to the SIGLOG Chair. ========================================================= From geoff at cs.miami.edu Tue May 19 15:57:54 2015 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Tue, 19 May 2015 09:57:54 -0400 (EDT) Subject: LPAR-20 in Fiji - Call for Papers and Workshops Message-ID: <20150519135754.3AC071214FE@mcclellan.cs.miami.edu> The 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning LPAR-20 University of the Pacific, Suva, Fiji http://www.LPAR-20.org CALL FOR PAPERS AND WORKSHOPS The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 20th LPAR will be held at the University of the South Pacific, Suva, Fiji in 2015 (see dates below). == Topics New results in the fields of computational logic and applications are welcome. Also welcome are more exploratory presentations, which may examine open questions and raise fundamental concerns about existing theories and practices. Topics of interest include, but are not limited to: + Abduction and interpolation methods + Automated reasoning + Constraint programming + Decision procedures + Description logics + Foundations of security + Hardware verification + Implementations of logic + Interactive theorem proving + Knowledge representation and reasoning + Logic and computational complexity + Logic and databases + Logic and games + Logic and machine learning + Logic and the web + Logic and types + Logic in artificial intelligence + Logic of distributed systems + Logic programming + Logical aspects of concurrency + Logical foundations of programming + Modal and temporal logics + Model checking + Non-monotonic reasoning + Ontologies and large knowledge bases + Probabilistic and fuzzy reasoning + Program analysis + Rewriting + Satisfiability checking + Satisfiability modulo theories + Software verification + Specification using logic + Unification theory == Submission Details Submissions of two kinds are welcome: - Regular papers that describe solid new research results. They can be up to 15 pages long in LNCS style, including figures and references, but excluding appendices (that reviewers are not required to read). - Experimental and tool papers that describe implementations of systems, report experiments with implemented systems, or compare implemented systems. They can be up to 8 pages long in the LNCS style. Both types of papers must be electronically submitted in PDF via EasyChair: https://easychair.org/conferences/?conf=lpar20 == Participation Prospective authors are required to register a title and an abstract a week before the paper submission deadline (see below). Authors of accepted papers are required to ensure that at least one of them will be present at the conference. More details about the venue and organisation can be found on the conference website. == Important Dates Abstract Submission: 30 June Paper Submission: 7 July Notification: 23 August Workshops: 23 November Conference: 24-28 November == Programme Committee Cyrille Valentin Artho AIST, Japan Franz Baader TU Dresden, Germany Christel Baier TU Dresden, Germany Peter Baumgartner NICTA, Australia Armin Biere Johannes Kepler University, Austria Nikolaj Bjorner Microsoft Research, USA Lei Bu Nanjing University, China Franck Cassez Macquarie University, Australia Ansgar Fehnker University of the South Pacific Rajeev Gore Australian National University, Australia Tim Griffin University of Cambridge, UK Ralf Huuck NICTA and UNSW, Australia Kim Guldstrand Larsen Aalborg University, Denmark Dejan Jovanovic SRI International, USA Gerwin Klein NICTA and UNSW, Australia Dexter Kozen Cornell University, USA Rustan Leino Microsoft Research, USA Joe Leslie-Hurd Intel Corporation, USA Annabelle McIver Macquarie University, USA Kenneth McMillan Microsoft Research, USA Marius Minea Politehnica University of Timisoara, Romania Matteo Mio CNRS, ENS Lyon, France Prakash Panangaden McGill University, Canada Christine Paulin-Mohring Universit=C3=A9 Paris-Sud, France Andreas Podelski University of Freiburg, Germany Geoff Sutcliffe University of Miami, USA Gancho Vachkov The University of the south Pacific (USP), Fiji Ron Van Der Meyden UNSW, Australia Tomas Vojnar Brno University of Technology, Czech Republic Andrei Voronkov University of Manchester, UK Toby Walsh NICTA and UNSW, Australia More to be announced ... CALL FOR WORKSHOPS LPAR-20 workshops will be held either as one-day or half-day events. If you would like to propose a workshop for LPAR-20, please contact the workshop chair via email (Peter.Baumgartner at nicta.com.au), by the proposal deadline. == Proposals To help planning, workshop proposals should contain the following data: - Name of the workshop. - Brief description of the workshop, including workshop topics. - Valid web address of the workshop. - Contact information of the workshop organizers. - An estimate of the audience size. - Proposed format of the workshop (for example, regular talks, tool demos, poster presentations, etc.). - Duration of the workshop (one-day or half-day). - Potential invited speakers (if any). - Procedures for selecting papers and participants. - Special technical or AV needs. == Important dates Workshop proposals submission deadline: May 15, 2015 Notification of acceptance: June 1, 2015 Workshops: November 23, 2015 From wti.simbig2015 at gmail.com Tue May 19 16:05:39 2015 From: wti.simbig2015 at gmail.com (wti.simbig2015) Date: Tue, 19 May 2015 15:05:39 +0100 Subject: Call For Papers: WTI as special track of SIMBig 2015 Message-ID: <018501d0923c$e89f4730$b9ddd590$@gmail.com> Call for Papers Track on Web and Text Intelligence (WTI 2015) http://simbig.org/SIMBig2015/en/special-track September 2nd to 4th 2015, Cusco, Peru Web and text intelligence are related areas that have been used to improve human computer interaction both in general and in particular to explore and analyze information that is available on the Internet. With the advent of social networks and the emergence of services such as Facebook, Twitter, and others, research in these areas has been greatly enhanced. In recent years, shared knowledge and experiences have established new and different types of personal and communal relationships which have been leveraged by social networks scientists to produce new insights. In addition there has been a huge increase in community activities on social networks. The Web and Text Intelligence (WTI) track of SIMBig will provide a forum that brings together researchers and practitioners for exploring technologies, issues, experiences and applications that help us to understand the Web and to build automatic tools to better exploit this complex environment. The WTI track will foster collaborations, exchange of ideas and experiences among people working in a variety of highly cross-disciplinary research fields such as computer science, linguistics, statistics, sociology, economics, and business. The WTI track is a follow up of the 4th International Workshop on Web and Text Intelligence ( http://www.labic.icmc.usp.br/wti2012), which took place in Curitiba, Brazil, October 2012, as a workshop of BRACIS 2012; the 3rd International Workshop on Web and Text Intelligence ( http://www.labic.icmc.usp.br/wti2010), which took place in São Bernardo, Brazil, October 2010, as a workshop of SBIA10; the 2nd International Workshop on Web and Text Intelligence( http://www.labic.icmc.usp.br/wti2009), which took place in São Carlos, Brazil, September 2009, as a workshop of STIL09; the 1st Web and Network Intelligence ( http://epia2009.web.ua.pt/wni), which took place in Aveiro, Portugal, October 2009, as a thematic track of EPIA09; and the 1st International Workshop on Web and Text Intelligence, which took place in Salvador, Brazil, October 2008, as a workshop of SBIA08. We solicit original and unpublished papers for this track. Submissions must describe work related to any aspect of Web and Text Intelligence including relevant and novel work on methods and theories (and their applications). Relevant topics include, but are not limited to: * Web and Text Mining * Link Mining * Web usability * Web automation and adaptation * Graph and complex network mining * Communities analysis in social networks * Relationships analysis in social networks * Applications of social networks and social media * Data modeling for social networks and social media * Location-based social networks analysis * Big data issues in social network and media analysis * Modeling of user behavior and interactions * Temporal analysis of social networks and social media * Pattern analysis in social networks and social media * Privacy and security in social networks * Propagation and diffusion of information in social network * Social information applied to recommender systems * Search and Web Mining * Multimedia Web Mining * Visualization of social information Submission instructions: Paper registration and submissions to WTI 2015 will be handled using the EasyChair system. The address is: https://easychair.org/conferences/?conf=simbig2015wti All the submissions will be refereed by experts in the field based on originality, significance, relevance, quality and clarity. Every submitted paper will be reviewed by at least two members of the Program Committee. The paper length should be between 5 to 10 pages (including references and figures). Papers should be written in English and submissions must be in PDF format following the instructions in Word document and Latex templates (ACL templates). The accepted papers will be included in the SIMBig proceedings. At least one author of each accepted paper must register for and attend SIMBig (more information here: http://simbig.org/SIMBig2015/en/inscriptions). Important Dates: Paper submission: May 31 2015. Accepted paper notification: June 30 2015. Camera-ready paper uploading: July 15 2015. Track Organizers: * Alneu de Andrade Lopes, ICMC – University of São Paulo, São Carlos – SP, Brazil * Ricardo Bastos Cavalcante Prudêncio, CIn – Federal University of Pernambuco, Recife – PE, Brazil * Estevam Hruschka, Federal University of São Carlos, São Carlos – SP, Brazil * Ricardo Campos, Polytechnic Institute of Tomar and LIAAD/INESC TEC – INESC Technology and Science, Portugal Organizing: PhD(c) Jorge Valverde-Rebaza, University of São Paulo, São Carlos – SP, Brazil Venue: The conference will be held on the Auditorium of the Faculty of Law at the Andina University of Cusco. The University is located in the Urbanización Ingeniería Larapa Grande A-5 - San Jerónimo (more information here: http://simbig.org/SIMBig2015/en/venue) Follow us in Facebook ( https://www.facebook.com/SIMBig2015?fref=ts) and Twitter ( https://twitter.com/SIMBig2015). Hope to see you all soon in Cusco, Peru!!! --- Jorge Valverde-Rebaza The WTI track organizer in SIMBig 2015 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From publicity at ecmlpkdd2015.org Wed May 20 10:42:52 2015 From: publicity at ecmlpkdd2015.org (ECMLPKDD 2015) Date: Wed, 20 May 2015 09:42:52 +0100 Subject: ECMLPKDD 2015 : PhD Session Message-ID: <004301d092d8$f7dab080$e7901180$@ecmlpkdd2015.org> The European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECMLPKDD 2015) will take place on September 7 of 2015, in Porto Portugal ( http://www.ecmlpkdd2015.org/). The conference includes a PhD session that provides an environment for students to exchange their ideas and experiences with peers and senior researchers in machine learning, data mining, and related areas. We invite PhD students (PhD in progress or defended not earlier than 31st December 2014) to submit papers on all aspects of machine learning, knowledge discovery and data mining, including real-world applications. Papers submitted to ECML/PKDD 2015 PhD session will be peer-reviewed. Accepted papers will be presented in the special PhD session at ECMLPKDD 2015 and will be published in the session proceedings which will be available through the conference website. Important Dates Paper submission deadline: June 10 2015 Author notification: July 15 2015 Camera-ready: August 5 2015 Doctoral consortium session: September 7 2015 Detailed information about the PhD Session is available on: http://www.ecmlpkdd2015.org/submission/doctoral-consortium For further information please contact the ECMLPKDD 2015 PhD Chairs: Jaakko Hollmen (Aalto University) Panagiotis Papapetrou (Stockholm University) Hope to see you all soon in Porto, Portugal!!! The publicity chairs of the ECMLPKDD 2015, Carlos Abreu Ferreira Ricardo Campos -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From claire.gardent at loria.fr Wed May 20 18:00:22 2015 From: claire.gardent at loria.fr (Claire Gardent) Date: 20 May 2015 18:00:22 +0200 Subject: Call for Course and Workshop Proposals: ESSLLI 2016 Message-ID: Call for Course and Workshop Proposals 28th European Summer School in Logic, Language and Information - ESSLLI 2016 15-26 August, 2016 Faculty of Computer Science, Free University of Bozen-Bolzano, Italy in collaboration with University of Trento, Italy http://esslli2016.unibz.it/ IMPORTANT DATES 1 June 2015: Proposal submission deadline 23 September 2015: Notification 20 July 2016: Course material due TOPICS AND FORMAT Proposals for courses and workshops at ESSLLI 2016 are invited in all areas of Logic, Linguistics and Computing Sciences. Cross-disciplinary and innovative topics are particularly encouraged. Each course and workshop will consist of five 90 minute sessions, offered daily (Monday-Friday) in a single week. Proposals for two-week courses should be structured and submitted as two independent one-week courses, e.g. as an introductory course followed by an advanced one. In such cases, the ESSLLI programme committee reserves the right to accept just one of the two proposals. All instructional and organizational work at ESSLLI is performed completely on a voluntary basis, so as to keep participation fees to a minimum. However, organizers and instructors have their registration fees waived, and are reimbursed for travel and accommodation expenses up to a level to be determined and communicated with the proposal notification. ESSLLI can only guarantee reimbursement for at most one course/workshop organizer, and can not guarantee full reimbursement of travel costs for lecturers or organizers from outside of Europe. The ESSLLI organizers would appreciate any help in controlling the School's expenses by seeking complete coverage of travel and accommodation expenses from other sources. CATEGORIES Each proposal should fall under one of the following categories. * FOUNDATIONAL COURSES * Such courses are designed to present the basics of a research area, to people with no prior knowledge in that area. They should be of elementary level, without prerequisites in the course's topic, though possibly assuming a level of general scientific maturity in the relevant discipline. They should enable researchers from related disciplines to develop a level of comfort with the fundamental concepts and techniques of the course's topic, thereby contributing to the interdisciplinary nature of our research community. * INTRODUCTORY COURSES * Introductory courses are central to ESSLLI's mission. They are intended to introduce a research field to students, young researchers, and other non-specialists, and to foster a sound understanding of its basic methods and techniques. Such courses should enable researchers from related disciplines to develop some comfort and competence in the topic considered. Introductory courses in a cross-disciplinary area may presuppose general knowledge of the related disciplines. * ADVANCED COURSES * Advanced courses are targeted primarily to graduate students who wish to acquire a level of comfort and understanding in the current research of a field. * WORKSHOPS * Workshops focus on specialized topics, usually of current interest. Workshops organizers are responsible for soliciting papers and selecting the workshop programme. They are also responsible for publishing proceedings if they decide to have proceedings. PROPOSAL GUIDELINES Course and workshop proposals should follow closely the following guidelines to ensure full consideration. Each course may have no more than two instructors, and each workshop no more than two organizers. All instructors and organizers must possess a PhD or equivalent degree by the submission deadline. Course proposals should mention explicitly the intended course category. Proposals for introductory courses should indicate the intended level, for example as it relates to standard textbooks and monographs in the area. Proposals for advanced courses should specify the prerequisites in detail. Proposals must be submitted in PDF format via: https://www.easychair.org/conferences/?conf=esslli2016 and include all of the following: a. Personal information for each proposer: Name, affiliation, contact address, email, homepage (optional) b. General proposal information: Title, category c. Contents information: Abstract of up to 150 words Motivation and description (up to two pages) Tentative outline Expected level and prerequisites Appropriate references (e.g. textbooks, monographs, proceedings, surveys) d. Practical information: Relevant preceding meetings and events, if applicable Potential external funding for participants PROGRAMME COMMITTEE Chair: Claire Gardent (LORIA, CNRS & Université de Lorraine, Nancy, France) Local co-chair: Raffaella Bernardi (DISI, Trento) Language and Computation: Katrin Erk (University of Texas, Austin) Alexander Koller (University of Potsdam) Language and Logic: Chris Barker (Linguistics, NYU) Stephanie Solt (ZAS Berlin) Logic and Computation: Dietmar Berwanger (LSV, CNRS & ENS de Cachan) Luciano Serafini (DKM Trento) ORGANIZING COMMITTEE CHAIR: Diego Calvanese (Free Univ. of Bozen-Bolzano) FURTHER INFORMATION: Please send any queries you may have to claire.gardent at loria.fr From n.bulling at tudelft.nl Wed May 20 22:38:09 2015 From: n.bulling at tudelft.nl (Nils Bulling) Date: Wed, 20 May 2015 21:38:09 +0100 Subject: MATES Doctoral Consortium: Extended Deadline Message-ID: Final Call for Papers for the (Extended Submission Deadline) DOCTORAL CONSORTIUM of MATES 2015 (13th German Conference on Multiagent System Technologies) Held in conjunction with INFORMATIK'2015 Cottbus, Germany, September 28 - October 2, 2015 Day of Doctoral Consortium: September 28, 2015 http://www.mates2015.de ======================== About the MATES Doctoral Consortium ======================== The MATES conference series aims at the promotion of and the cross-fertilization between theory and application of intelligent agents and multiagent systems. It provides an interdisciplinary forum for researchers and members of business and industry to present and discuss latest advances in multiagent systems and agent-based computing with prototyped or fielded systems in various application domains. The event will also host a Doctoral Consortium which is meant to support PhD students working in the area of intelligent agents or multi-agent systems. The doctoral consortium offers a platform to researchers in all stages of their PhD studies to present and discuss their ideas in an academic professional environment. The program provides an opportunity to PhD students to interact with their peers as well as with experienced researchers in the field, and to receive valuable feedback on their work and advice for their future careers. In particular, each student will be assigned a mentor, an experienced researcher in the field, who will be available for personal interactions during the day of the doctoral consortium. The main goals of the doctoral consortium are: - to give PhD researchers an opportunity to get feedback and suggestion on their work from experienced researchers and their peers. - to interact with other PhD researchers and to get an overview of the field of multi-agent systems. - to get advice for their (academic) career. - to provide networking opportunities. For further information, please visit: http://www.mates2015.de/?q=content/doctoral-consortium ======================== Submission and Application Requirements ======================== The application consist of two parts. 1. An extended abstract of the student's PhD project of up to 4 pages, following the MATES submission guidelines. 2. A short application document of at most 2 pages which should include the following: * a motivation why you think the doctoral consortium is useful for you; * the area of your PhD, including keywords describing your research; * you affiliation and contact details of your supervisor; * an outline of your plans after completion of your PhD; and * a short CV. The selection process takes into account the quality of the submitted abstract (which will be peer-reviewed) and of the application document. Extended abstracts must be submitted electronically via Easychair: https://easychair.org/conferences/?conf=dcmates2015 The application documents must be send as a single PDF file to Nils Bulling. ======================== Presentation and Publication ======================== - All accepted papers will be assigned a slot for oral presentation during the doctoral consortium. - Selected extended abstracts describing original, unpublished work mature enough for publication will be included in the MATES Springer LNCS proceedings. ======================== Important Dates ======================== Submissions due (extended): June 1, 2015 (abstract and application documents) Acceptance notification: June 25, 2015 Final Versions: July 16, 2015 Doctoral Consortium: September 28, 2015 ======================== Organization ======================== CHAIR Nils Bulling, Delft University of Technology PROGRAM COMMITTEE Lars Braubach, University of Hamburg Juergen Dix, Clausthal University of Technology Christian Guttmann, Institute of Value Based Reimbursement System (IVBAR), Sweden Wolfgang Ketter, Rotterdam School of Management - Erasmus University Franziska Klügl, Örebro University Brian Logan, University of Nottingham Felipe Meneguzzi, Pontifical Catholic University of Rio Grande do Sul John-Jules Meyer, Utrecht University Jörg P. Müller, TU Clausthal Sascha Ossowski, University Rey Juan Carlos Jordi Sabater Mir, IIIA-CSIC Michael Thielscher, The University of New South Wales Matthias Thimm, Universität Koblenz-Landau Ingo J. Timm, University of Trier Rainer Unland, University of Duisburg-Essen, ICB Leon van der Torre, University of Luxembourg Cees Witteveen, Delft University of Technology ======================== Further Questions ======================== For further questions, please contact Nils Bulling (n DOT bulling AT tudelft DOT nl). — PD Dr. rer. nat. habil. Nils Bulling Interactive Intelligence Group Delft University of Technology Netherlands http://www.nilsbulling.com -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From announce at cs.ucy.ac.cy Thu May 21 16:32:20 2015 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Thu, 21 May 2015 17:32:20 +0300 Subject: CONTEXT 2015: Final Call for Papers and Posters (extended deadline!) Message-ID: *** Final Call for Papers and Posters *** The 9th International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT 2015) 2-6 November 2015, Lordos Beach Hotel, Larnaca, Cyprus http://cyprusconferences.org/context2015 *** Extended Deadline: June 15, 2015 *** 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. Keynote talks · Emma Borg, University of Reading, UK Linguistic Meaning, Context and Assertion · Enrico Rukzio, Universität Ulm, Germany Mobile Interaction with Pervasive User Interfaces 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. Three workshops are confirmed so far: · Smart University 3.0 · CATI - Context Awareness & Tactile design for mobile Interaction · SHAPES 3.0 -- THE SHAPE OF THINGS Important dates Full papers and posters: · Submission deadline: June 15, 2015 (extended) · Notification: July 13, 2015 · Final version: August 17, 2015 Workshops and Doctoral Symposium Papers: · Submission deadline: August 1, 2015 · Notification: September 1, 2015 · Final version: October 1, 2015 Doctoral Consortium The Context 2015 Doctoral Symposium is an opportunity for doctoral researchers to showcase their work and discuss problems, challenges, and ideas in an open and collegial environment with expert feedback. The Doctoral Symposium is a workshop for doctoral researchers from all over the world who are in the early and middle phases of their research work (i.e., the Symposium is not intended for those who are finished or nearly finished their research). 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 announce at cs.ucy.ac.cy Fri May 22 16:42:28 2015 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 22 May 2015 17:42:28 +0300 Subject: Second IEEE/ACM International Conference on Big Data Computing (BDC 2015): Second Call for Papers Message-ID: *** Second Call for Papers *** Second IEEE/ACM International Conference on Big Data Computing (BDC 2015) December 07-10, 2015, St. Raphael Resort, Limassol, Cyprus Co-located with the 8th IEEE/ACM International Conference on Utility and Cloud Computing (UCC 2015) http://datasys.cs.iit.edu/events/BDC2015/ CONTEXT AND SCOPE Rapid advances in digital sensors, networks, storage, and computation along with their availability at low cost is leading to the creation of huge collections of data -- dubbed as Big Data. This data has the potential for enabling new insights that can change the way business, science, and governments deliver services to their consumers and can impact society as a whole. This has led to the emergence of the Big Data Computing paradigm focusing on sensing, collection, storage, management and analysis of data from variety of sources to enable new value and insights. To realize the full potential of Big Data Computing, we need to address several challenges and develop suitable conceptual and technological solutions for dealing them. These include life-cycle management of data, large-scale storage, flexible processing infrastructure, data modeling, scalable machine learning and data analysis algorithms, techniques for sampling and making trade-off between data processing time and accuracy, and dealing with privacy and ethical issues involved in data sensing, storage, processing, and actions. The International Symposium on Big Data Computing (BDC) 2015 -- held in conjunction with 8th IEEE/ACM International Conference on Utility and Cloud Computing (UCC) 2015, December 7-10, 2015, St. Raphael Resort, Limassol, Cyprus, aims at bringing together international researchers, developers, policy makers, and users and to provide an international forum to present leading research activities, technical solutions, and results on a broad range of topics related to Big Data Computing paradigms, platforms and their applications. The conference features keynotes, technical presentations, posters, and workshops. TOPICS Authors are invited to submit original unpublished research manuscripts that demonstrate current research in all areas of Big Data Computing. Topics of interest include but are not limited to: I. Big Data Science · Analytics · Algorithms for Big Data · Energy-efficient Algorithms · Big Data Search · Big Data Acquisition, Integration, Cleaning, and Best Practices · Visualization of Big Data II. Big Data Infrastructures and Platforms · Programming Systems · Cyber-Infrastructure · Performance evaluation · Fault tolerance and reliability · I/O and Data management · Storage Systems (including file systems, NoSQL, and RDBMS) · Resource management · Many-Task Computing · Many-core computing and accelerators III. Big Data Security and Policy · Management Policies · Data Privacy · Data Security · Big Data Archival and Preservation · Big Data Provenance IV. Big Data Applications · Scientific application cases studies on Cloud infrastructure · Big Data Applications at Scale · Experience Papers with Big Data Application Deployments · Data streaming applications · Big Data in Social Networks · Healthcare Applications · Enterprise Applications One or more best paper awards will be given for outstanding contributed papers. PAPER SUBMISSION Authors are invited to submit papers electronically. Submitted manuscripts should be structured as technical papers and may not exceed 10 letter size (8.5 x 11) pages including figures, tables and references. Authors should submit the manuscript in PDF format and make sure that the file will print on a printer that uses letter size (8.5 x 11) paper. The official language of the meeting is English. All manuscripts will be reviewed and will be judged on correctness, originality, technical strength, significance, quality of presentation, and interest and relevance to the conference attendees. Papers conforming to the above guidelines can be submitted through the BDC 2015 paper submission system: https://www.easychair.org/conferences/?conf=bdc2015). Submitted papers must represent original unpublished research that is not currently under review for any other conference or journal. Papers not following these guidelines will be rejected without review and further action may be taken, including (but not limited to) notifications sent to the heads of the institutions of the authors and sponsors of the conference. Submissions received after the due date, exceeding length limit, or not appropriately structured may also not be considered. Authors may contact the conference PC Chair for more information. At least one author of each paper must be registered for the conference in order for the paper to be published in the proceedings. Presentation of an accepted paper at the conference is a requirement of publication. Any paper that is not presented at the conference will not be included in IEEE Xplore. SPECIAL ISSUES Selected papers from BDC 2015 will be invited to extend and submit to the Special Issue on Big Data Computing in the IEEE Transaction on Cloud Computing. IMPORTANT DATES · Paper submissions due: 03 July, 2015 · Notification of acceptance: 21 August, 2015 · Camera ready papers due: 21 September, 2015 · Early and author registration deadline: 21 September, 2015 · Proceedings-published posters due: 28 August, 2015 · Notification of acceptance: 18 September, 2015 · Camera ready posters due: 21 September, 2015 ORGANIZATION General Chairs · Rajkumar Buyya, University of Melbourne, Australia · George Papadopoulos, University of Cyprus Program Committee Chairs (bdc15-chairs at datasys.cs.iit.edu) · Amy Apon, National Science Foundation, USA · Ioan Raicu, Illinois Institute of Technology & Argonne National Laboratory, USA · Manish Parashar, Rutgers University, USA Program Committee Vice Chairs · Ilkay Altintas, University of California, San Diego, USA · Omer Rana, Cardiff University, UK Program Committee Members · Alexander Rasin, DePaul University, USA · Alok Choudhary, Northwestern University, USA · Abhishek Chandra, University of Minnesota, USA · Andre Luckow, BMW IT Research Center, USA · Daniel Katz, University of Chicago and Argonne National Lab, USA · Dongfang Zhao, Illinois Institute of Technology, USA · Douglas Thain, University of Notre Dame, USA · Florian Schintke, Zuse Institute Berlin, Germany · Giuliano Casale, Imperial College London, UK · Jaliya Ekanayake, Microsoft, USA · Jessica Chen-Burger, Heriot-Watt University, UK · Judy Qiu, Indiana University, USA · Justin Wozniak, Argonne National Lab, USA · Ke Wang, Illinois Institute of Technology, USA · Kesheng (John) Wu, Lawrence Berkeley National Lab, USA · Kyle Chard, University of Chicago and Argonne National Lab, USA · Lavanya Ramakrishnan, Lawrence Berkeley National Laboratory, USA · Marco Netto, IBM Research, Brazil · Matei Ripeanu, University of British Columbia, Canada · Matei Stroila, HERE, USA · Nagiza Samatova, North Carolina State University, USA · Paolo Missier, Newcastle University, UK · Paul Watson, NewCastle University, UK · Peter Burnap, Cardiff University, UK · Rahul Potharaju, Microsoft, USA · Rajkumar Kettimuthu, Argonne National Lab and University of Chicago, USA · Robert Ross, Argonne National Lab, USA · Samer Al-Kiswany, University of British Columbia, Canada · Scott Klasky, Oak Ridge National Lab, USA · Wei Tang, Argonne National Lab, USA · Weidong Shi, University of Houston, USA · Xiaolin (Andy) Li, University of Florida, USA · Yanlong Yin, Bloomberg, USA · Yong Chen, Texas Tech University, USA · Yong Zhao, University of Electronic Science and Technology, China · Zhao Zhang, University of California, Berkeley, USA Cyber Chair · Dongfang Zhao, Illinois Institute of Technology, USA Local Organizing Committee Chair · George Angelos Papadopoulos, University of Cyprus, Cyprus -------------------------------------------------------------------- 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 May 23 16:25:29 2015 From: grlmc at urv.cat (GRLMC) Date: Sat, 23 May 2015 16:25:29 +0200 Subject: InfoSec 2015: registration deadline 3 June Message-ID: *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************** INTERNATIONAL SUMMER SCHOOL ON INFORMATION SECURITY InfoSec 2015 Bilbao, Spain July 6-10, 2015 Organized by Deusto University Rovira i Virgili University http://grammars.grlmc.com/InfoSec2015/ ********************************************************************** --- 6th registration deadline: June 3, 2015 --- ********************************************************************** AIM: InfoSec 2015 will be a major research training event addressed to graduates and postgraduates in the first steps of their academic career. With a global scope, it aims at updating them about the most recent advances in the critical and fast developing area of information security, which covers a large spectrum of current exciting academic research and industrial innovation. It refers to procedures to defend information from unauthorized access, use, modification, recording or destruction, with a critical role to play in order to avoid or minimize risks in the digital world. Renowned academics and industry pioneers will lecture and share their views with the audience. Most information security subareas will be displayed, namely: computer security, cryptography, privacy, cyber security, mobile security, network security, world wide web security, fraud prevention, data protection, etc. Main challenges of information security will be identified through 4 keynote lectures, 28 six-hour courses, and 1 round table, which will tackle the most active 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. An open session will give participants the opportunity to present their own work in progress in 5 minutes. ADDRESSED TO: Graduates 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 background knowledge may be required for some of them. InfoSec 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-4 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: InfoSec 2015 will take place in Bilbao, the capital of the Basque Country region, famous for its gastronomy and the seat of the Guggenheim Museum. The venue will be: DeustoTech, School of Engineering Deusto University Avda. Universidades, 24 48014 Bilbao KEYNOTE SPEAKERS: Jan Camenisch (IBM Research, Zurich), Privacy in a Digital World: a Lost Cause? Hao Chen (University of California, Davis), (In)security of Mobile Apps in Untrusted Networks Jennifer Seberry (University of Wollongong), The Global Village: the Beginning of the Need for Computer Security [via videoconference] Gene Tsudik (University of California, Irvine), Off-line Proximity-based Social Networking PROFESSORS AND COURSES: N. Asokan (Aalto University), [intermediate] Mobile Security: Overview of Hardware Platform Security and Considerations of Usability Jan Camenisch (IBM Research, Zurich), [introductory/intermediate] Technologies to Protect Online Privacy Hao Chen (University of California, Davis), [intermediate/advanced] Security of the Mobile App Ecosystem Nicolas T. Courtois (University College London), [introductory/intermediate] Security of ECDSA in Bitcoin and Crypto Currency Claude Crépeau (McGill University, Montréal), [introductory/intermediate] Quantum Computation, Cryptography and Cryptanalysis Joan Daemen (ST Microelectronics Belgium, Diegem), [introductory/intermediate] Sponge Functions, Keccak and SHA-3 Sajal K. Das (Missouri University of Science and Technology, Rolla), [intermediate/advanced] Securing Cyber-Physical Systems: Challenges and Opportunities Sabrina De Capitani di Vimercati (University of Milan), [introductory/intermediate] Security and Privacy in the Cloud Hervé Debar (Télécom SudParis), [introductory/intermediate] Detection and Reaction to Attacks: from Intrusion Detection to Cyber-Defense Rosario Gennaro (City University of New York), [intermediate/advanced] A Survey of Verifiable Delegation of Computation Trent Jaeger (Pennsylvania State University, University Park), [intermediate/advanced] How to Add Security Enforcement to Legacy Programs Antoine Joux (Pierre et Marie Curie University, Paris), [introductory/intermediate] Discrete Logarithms in Finite Fields Lars R. Knudsen (Technical University of Denmark, Lyngby), [introductory/intermediate] Block Ciphers: the Workhorses in Cryptography Songwu Lu (University of California, Los Angeles), [introductory/intermediate] Cellular Network Security: Issues and Defenses Catherine Meadows (Naval Research Laboratory, Washington DC), [introductory/intermediate] Formal Analysis of Cryptographic Protocols Nasir Memon (New York University), [introductory/intermediate] User Authentication Ethan L. Miller (University of California, Santa Cruz), [intermediate/advanced] Securing Stored Data in a Connected World Stefano Paraboschi (University of Bergamo), [introductory/intermediate] Data Protection in Network-enabled Systems Bart Preneel (KU Leuven), [introductory/intermediate] Cryptology: State of the Art and Research Challenges Jean-Jacques Quisquater (Catholic University of Louvain), [introductory/intermediate] The History of RSA: from Babylon to Smart Cards Shantanu Rane (Palo Alto Research Center), [introductory/intermediate] Privacy-preserving Data Analytics: Problems, Solutions and Challenges Mark Ryan (University of Birmingham), [introductory/intermediate] Designing Security Protocols: Electronic Voting, and Electronic Mail Stefan Saroiu (Microsoft Research, Redmond), [advanced] Protecting Data on Smartphones and Tablets Using Trusted Computing Milind Tambe (University of Southern California, Los Angeles), [introductory/intermediate] Introduction to the Emerging Science of Security Games Gene Tsudik (University of California, Irvine), [intermediate/advanced] Security and Privacy in Candidate Future Internet Architectures Yang Xiao (University of Alabama, Tuscaloosa), [introductory/advanced] Security in Smart Grids Wenyuan Xu (University of South Carolina, Columbia), [intermediate] Security and Privacy Analysis of Embedded Systems Yuliang Zheng (University of North Carolina, Charlotte), [introductory] Cryptography and the Future of Money OPEN SESSION An open session will collect 5-minute presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to adrian.dediu at urv.cat by June 29 at the latest. ORGANIZING COMMITTEE: Adrian Horia Dediu Carlos Martín-Vide (co-chair) Borja Sanz (co-chair) Florentina Lilica Voicu REGISTRATION: The registration form can be found at: http://grammars.grlmc.com/InfoSec2015/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: 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: Accommodation for participants is available at the Colegio Mayor Deusto (student hostel). Since there may exist problems to find accommodation in Bilbao at a reasonable price during the week of the event, the organizers' advice is to book as soon as possible, and anyway by May 27. To do it, write to Carlson Wagonlit Travel at estudiantesud at carlsonwagonlit.es CERTIFICATE: Participants will be delivered a certificate of attendance. QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat ACKNOWLEDGEMENTS: Deusto University 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 nsmattei at gmail.com Mon May 25 09:33:05 2015 From: nsmattei at gmail.com (Nick Mattei) Date: Mon, 25 May 2015 17:33:05 +1000 Subject: Final CFP: 1st Joint Doctoral Consortium held as part of Algorithmic Decision Theory 2015 and Logic Programming and Non-Monotonic Reasoning 2015 Message-ID: Please encourage your students who are considering attending ADT or LPNMR to apply for the first joint doctoral consortium! Details below. *1st Joint Doctoral Consortium held as part of Algorithmic Decision Theory 2015 and Logic Programming and Non-Monotonic Reasoning 2015.* *Program Website: *http://www.adt-lpnmr-dc.preflib.org/ *Program Highlights:* This will represent the first doctoral consortium to be held jointly between ADT and LPNMR. There will be significant time for students from both fields to present their work, meet mentors from their own and closely related fields, and hear interesting panels related to their research careers. We hope to accept equal numbers of students from ADT and LPNMR in order to keep the group balanced and diverse. The joint program will give students the opportunity to interact with students and researchers within and outside their own focus. We feel that the closeness of ADT and LPNMR means that there are additional opportunities for students to potential future collaborators and important mentors from the other fields. More information about ADT can be found at: http://cs.uky.edu/~srsa224/ADT2015/ More information about LPNMR can be found at: http://lpnmr2015.mat.unical.it/ *Important Dates For Authors:* Application Due: June 1st, 2015 Notification: June 10th, 2015 Camera Ready Copies Due: June 20th, 2015 Date of Doctoral Consortium: Sept. 27, 2015 *Key Events:* * Student Oral Presentations and Discussion * Individual Lunches with Mentors from ADT and LPNMR * Two Invited Speakers and a Panel Discussion with leaders from both academia and industry * Dinner in Small Groups with Senior Researchers * Poster at the ADT/LPNMR Joint Poster Session * Option to have 6 page abstract published in the conference proceedings of your choice. *Application:* Please see the main website at http://www.adt-lpnmr-dc.preflib.org/application-instructions/ for application instructions. *Student Selection and Review Process:* Students will be selected based on the assessment of the organizing committee. We will give preference to students who have settled on a research topic or direction but still have some way to go in their studies. Students at both the PhD and masters level are encouraged to apply, however, preference will be given to PhD students. Applications will be reviewed based on several factors including the quality of the work submitted, stage of research, evidence of research progress, the committee’s assessment of the student’s contribution to and benefit from participating in the DC, and input from the student’s advisor. *Student Support:* We will be able to support some travel as well as the cost of attendance to the either ADT or LPNMR for accepted students. The DC will include coffee breaks, a provided lunch, and a dinner organized around Lexington with a mentor or senior research of the student’s choosing. *Organizing Committee:* LPNMR DC Chair Ersa Erdem, Sabanci University ADT DC Chair: Nicholas Mattei, NICTA and the University of New South Wales *Program Committee:* Gábor Erdélyi, University of Siegen Pedro Cabalar Fernández, Corunna University Tomi Janhunen, Aalto University School of Science Joohyung Lee, Arizona State University Reshef Meir, Harvard University Francesca Rossi, University of Padova Son Tran, New Mexico State University Paul Weng, Sun Yat-Sen University-Carniege Mellon University Joint Institute of Engineering -- --------------------------- Nicholas Mattei Researcher NICTA and UNSW www.nickmattei.net -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From tsingliangchen at gmail.com Tue May 26 09:59:40 2015 From: tsingliangchen at gmail.com (Qingliang Chen) Date: Tue, 26 May 2015 15:59:40 +0800 Subject: CFP: PRIMA-2015 (the 18th International Conference on Principles and Practice of Multi-Agent Systems) Message-ID: ============================================================================================================= Call for Papers: PRIMA 2015 - 18th International Conference on Principles and Practice of Multi-Agent Systems ============================================================================================================= Dates: 26th-30th October 2015 Location: Bertinoro, Italy Website: http://prima2015.apice.unibo.it Agent-based Computing addresses the challenges in managing distributed computing systems and networks through monitoring, communication, consensus-based decision-making and coordinated actuation. As a result, intelligent agents and multi-agent systems have demonstrated the capability to use intelligence, knowledge representation and reasoning, and other social metaphors like 'trust', 'game' and 'institution', not only to address real-world problems in a human-like way but also to transcend human performance. This has had a transformative impact in many application domains, particularly in e-commerce, and also in planning, logistics, manufacturing, robotics, decision support, transportation, entertainment, emergency relief & disaster management, and data mining & analytics. Information for authors: PRIMA 2015 invites submissions of original, unpublished, theoretical and applied work on any such topic, and encourages reports on the development of prototype and deployed agent systems, and of experiments that demonstrate novel agent system capabilities. There will be a special track on applications of multi-agent systems. The papers for this track would report experiences on using agents in an application domain and also discuss the challenges in deploying them. Publication, awards, and special issues: All accepted papers will be published in Springer’s LNAI series. There will be a best paper award sponsored by Springer-LNAI. Award winner(s) will also be invited to submit an extended version to a fast track of the Journal of Autonomous Agents and Multi-Agent Systems. There will be two special issues: one with Fundamenta Informaticae and one with the Knowledge Engineering Review. Topics (not limited to the following): ======================================= - Foundations of Agents and Multi-Agent Systems - Agent and Multi-Agent System Architectures - Agent-Oriented Software Engineering - Agent-Based Modeling and Simulation - Cooperation/Collaboration, Coordination/Communication - Hybrid Technologies for Multi-Agent Systems - Application Domains for Multi-Agent Systems - Applications of Agents and Multi-Agent Systems Paper Submission ================= Two types of contributions are solicited: - Full papers, up to 16 pages in LNCS format, should present original theoretical and/or experimental research in any of the areas listed above that has not been previously published, accepted for publication, or is not currently under review by another conference or journal. - Short papers (early innovation papers), up to 8 pages in LNCS format showcasing works-in-progress (will be reviewed with an emphasis on novelty/originality of the idea). Papers are to be submitted through the Easychair Conference Management System: https://easychair.org/conferences/?conf=prima2015 Important Dates [>> EXTENDED <<] ================ Abstract: 17th June 2015 Submission: 19th June 2015 Notification: 24th July 2015 Camera-ready: 7th August 2015 Conference: 26th-30th October 2015 --- The PRIMA2015 Chairs -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sn.mailing.lists at gmail.com Wed May 27 23:06:42 2015 From: sn.mailing.lists at gmail.com (Slawomir Nowaczyk) Date: Wed, 27 May 2015 23:06:42 +0200 Subject: Deadline Extension and Final Call for Papers SCAI 2015 (Halmstad, Sweden) Message-ID: <20150527230432.8983.A505E19D@gmail.com> ******************************************************************************** Final Call for Papers (and deadline extension) SCAI 2015 The Thirteenth Scandinavian Conference on Artificial Intelligence November 5-6, 2015 Halmstad, Sweden http://www.hh.se/scai2015 Paper submission deadline (extended) is 9th of June 2015 ******************************************************************************** The 13th Scandinavian AI conference, SCAI 2015, will be held in Halmstad, Sweden, on 5th and 6th of November, 2015. The conference is co-organised by Center for Applied Intelligent Systems Research at Halmstad University, and SAIS, the Swedish Artificial Intelligence Society. Due to multiple requests, the deadline for paper submissions have been extended. The final deadline is Tuesday, 9th of June 2015. For the main conference, submissions from all areas of Artificial Intelligence are invited. This includes, but is not limited to: Machine Learning, Data Mining, Knowledge Representation and Reasoning, Planning and Scheduling, Natural Language, Computer Vision, Search Algorithms, Multi-Agent Systems, Big Data, Artificial Life, Cognitive Robotics, Probabilistic Graphical Models, Industrial Applications, and Philosophical Foundations. Papers must contain original, previously unpublished contributions on AI theory, methods, or applications. Submitted papers will be reviewed by at least two members of the program committee, and can be accepted either for plenary or poster presentation. Keynote speakers for SCAI 2015 include Christopher Nugent, Professor of Biomedical Engineering and the head of Smart Environments Research Group at University of Ulster, who will give a talk about analysis of data from smart environments and wearable sensors; and Christine Chevallereau, Research Director at Institut de Recherche en Communications et Cybernétique de Nantes, who will give a talk about modelling and control of bipedal robots. As a part of the conference, on 4th of November 2015, we will organise a Doctoral Symposium, as well as two thematic workshops: "Intelligent and connected vehicles" and "Intelligent environments supporting health and well-being". The 2015 edition of SCAI will also debut a dedicated networking event to facilitate cooperation, both on the EU level as well as targeting funding opportunities specific to individual Scandinavian countries. All accepted papers will be included in the conference proceedings, published by IOS press as part of the Frontiers in Artificial Intelligence and Applications series. Paper submission (maximum 10 pages, single column, details concerning formatting are available on the conference web page) is handled through the EasyChair system at https://easychair.org/conferences/?conf=scai2015 Important Dates --------------- Paper submission: 9th of June 2015 Author notification: 15th of August 2015 Camera-ready copy due: 1st of September 2015 Conference: 5th and 6th of November 2015 Contact ---------- scai2015 at hh.se ******************************************************************************** -- Best wishes, Slawomir Nowaczyk ( Slawomir.Nowaczyk at hh.se ), Associate Professor Center for Applied Intelligent Systems Research, Halmstad University, Sweden http://islab.hh.se/mediawiki/index.php/Slawomir_Nowaczyk It is amazing what you can accomplish if you do not care who gets the credit. From claire.gardent at loria.fr Thu May 28 16:46:46 2015 From: claire.gardent at loria.fr (Claire Gardent) Date: 28 May 2015 16:46:46 +0200 Subject: CFP ESSLLI 2016: Deadline Extension and EACSL Sponsorship Message-ID: <29379d$3qbq3k@mail3-relais-sop.national.inria.fr> Call for Course and Workshop Proposals 28th European Summer School in Logic, Language and Information - ESSLLI 2016 15-26 August, 2016 Faculty of Computer Science, Free University of Bozen-Bolzano, Italy in collaboration with University of Trento, Italy http://esslli2016.unibz.it/ IMPORTANT DATES (with extended deadline) 8 June 2015: Proposal submission deadline 23 September 2015: Notification 20 July 2016: Course material due TOPICS AND FORMAT Proposals for courses and workshops at ESSLLI 2016 are invited in all areas of Logic, Linguistics and Computing Sciences. Cross-disciplinary and innovative topics are particularly encouraged. Each course and workshop will consist of five 90 minute sessions, offered daily (Monday-Friday) in a single week. Proposals for two-week courses should be structured and submitted as two independent one-week courses, e.g. as an introductory course followed by an advanced one. In such cases, the ESSLLI programme committee reserves the right to accept just one of the two proposals. All instructional and organizational work at ESSLLI is performed completely on a voluntary basis, so as to keep participation fees to a minimum. However, organizers and instructors have their registration fees waived, and are reimbursed for travel and accommodation expenses up to a level to be determined and communicated with the proposal notification. ESSLLI can only guarantee reimbursement for at most one course/workshop organizer, and can not guarantee full reimbursement of travel costs for lecturers or organizers from outside of Europe. The ESSLLI organizers would appreciate any help in controlling the School's expenses by seeking complete coverage of travel and accommodation expenses from other sources. The organizers want to point at the possibility of an EACSL sponsorship, mentioned at the end of this call CATEGORIES Each proposal should fall under one of the following categories. * FOUNDATIONAL COURSES * Such courses are designed to present the basics of a research area, to people with no prior knowledge in that area. They should be of elementary level, without prerequisites in the course's topic, though possibly assuming a level of general scientific maturity in the relevant discipline. They should enable researchers from related disciplines to develop a level of comfort with the fundamental concepts and techniques of the course's topic, thereby contributing to the interdisciplinary nature of our research community. * INTRODUCTORY COURSES * Introductory courses are central to ESSLLI's mission. They are intended to introduce a research field to students, young researchers, and other non-specialists, and to foster a sound understanding of its basic methods and techniques. Such courses should enable researchers from related disciplines to develop some comfort and competence in the topic considered. Introductory courses in a cross-disciplinary area may presuppose general knowledge of the related disciplines. * ADVANCED COURSES * Advanced courses are targeted primarily to graduate students who wish to acquire a level of comfort and understanding in the current research of a field. * WORKSHOPS * Workshops focus on specialized topics, usually of current interest. Workshops organizers are responsible for soliciting papers and selecting the workshop programme. They are also responsible for publishing proceedings if they decide to have proceedings. PROPOSAL GUIDELINES Course and workshop proposals should follow closely the following guidelines to ensure full consideration. Each course proposal can be submitted by no more than two instructors, and each workshop by no more than two organizers. All instructors and organizers must possess a PhD or equivalent degree by the submission deadline. Course proposals should mention explicitly the intended course category. Proposals for introductory courses should indicate the intended level, for example as it relates to standard textbooks and monographs in the area. Proposals for advanced courses should specify the prerequisites in detail. Proposals must be submitted in PDF format via: https://www.easychair.org/conferences/?conf=esslli2016 and include all of the following: a. Personal information for each proposer: Name, affiliation, contact address, email, homepage (optional) b. General proposal information: Title, category c. Contents information: Abstract of up to 150 words Motivation and description (up to two pages) Tentative outline Expected level and prerequisites Appropriate references (e.g. textbooks, monographs, proceedings, surveys) d. Practical information: Relevant preceding meetings and events, if applicable Potential external funding for participants EACSL SPONSORSHIP The EACSL offers to act as a sponsor for one course or workshop in the areas of Logic and Computation covered by the Computer Science Logic (CSL) conferences. This course or workshop will be designated an EACSL course/workshop. If you wish to be considered for this, please indicate so on your proposal. PROGRAMME COMMITTEE Chair: Claire Gardent (LORIA, CNRS & Université de Lorraine, Nancy, France) Local co-chair: Raffaella Bernardi (DISI, Trento) Language and Computation: Katrin Erk (University of Texas, Austin) Alexander Koller (University of Potsdam) Language and Logic: Chris Barker (Linguistics, NYU) Stephanie Solt (ZAS Berlin) Logic and Computation: Dietmar Berwanger (LSV, CNRS & ENS de Cachan) Luciano Serafini (DKM Trento) ORGANIZING COMMITTEE CHAIR: Diego Calvanese (Free Univ. of Bozen-Bolzano) FURTHER INFORMATION: Please send any queries you may have to claire.gardent at loria.fr From leon.vandertorre at uni.lu Thu May 28 22:08:04 2015 From: leon.vandertorre at uni.lu (Leon VAN DER TORRE) Date: Thu, 28 May 2015 22:08:04 +0200 Subject: Postdoc in Deontic Logic and Normative Systems Message-ID: <556775A4.1030000@uni.lu> The University of Luxembourg has the following vacancy in the CSC Research Unit of its Faculty of Science, Technology and Communication (FSTC) *Postdoctoral position in Deontic Logic and Normative Systems* * 2-year contract, 40 hours/week renewable up to 5 years in total after positive evaluation, starting in September 2015 (or later) *Your Role *The University of Luxembourg seeks to hire a postdoctoral researcher for the Individual and Collective Reasoning Group of Prof. Leon van der Torre (icr.uni.lu). The research of the ICR group concerns: * Normative multi-agent systems and deontic reasoning * Autonomous intelligent agents and their cognitive dynamics * Logic-based knowledge representation * Nonmonotonic and probabilistic reasoning * Argument and norm mining *Tasks/Mission:* Your main responsibility will be to advance the state of the art in deontic logic and normative systems. In addition, you will assist in teaching courses on deontic logic in the master of computer science and in the doctorate school, assist in the supervision of PhD and master students, and assist the editors of various handbooks. For further information, please contact Prof. Leon van der Torre (leon.vandertorre at uni.lu) *Your Profile*: * PhD in Computer Science, Logic, Mathematics, or similar. * Strong background in deontic logic and knowledge representation. * Fluent written and verbal communication skills in English are mandatory. * Experience in formal argumentation or norm mining will be considered an advantage. * We expect commitment, creativity, team working and a critical mind. *We offer:* The University offers a 2+2 year employment with a highly competitive salary. You will work in an exciting international environment and will have the opportunity to participate in the development of a young university. Further Information Applications (in English) should contain the following documents: * Curriculum Vitae (contact address, work experience, publication list) * Cover letter indicating the research interests and the motivation. * A research statement addressing specifically the position (300 words). * Transcript listing all the university-level courses and the achieved results. * A short description of your PhD thesis (max 1 page). * Contact information for 3 referees. Please apply online by June 30th, 2015 http://emea3.mrted.ly/op52 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From stefano at loa.istc.cnr.it Fri May 29 12:24:09 2015 From: stefano at loa.istc.cnr.it (Stefano Borgo) Date: Fri, 29 May 2015 12:24:09 +0200 Subject: AIDE 2015 - 1st Workshop on AI & Design (deadline approaching!) In-Reply-To: <55683CF1.5010004@loa.istc.cnr.it> References: <55683CF1.5010004@loa.istc.cnr.it> Message-ID: <55683E49.2020307@loa.istc.cnr.it> Apologies for multiple postings --------------------------------------------------------------------- AIDE 2015 Call for Papers ********************************************************************* 1st Workshop on Artificial Intelligence & Design www.di.uniba.it/~lisi/AIDE2015/ September 22nd, 2015 - Ferrara, Italy co-located with AI*IA 2015 ********************************************************************* >>> Deadline approaching: June 12th, 2015 <<< ********************************************************************* SCOPE Design is a fundamental activity in disciplines like engineering and architecture as well as in emerging areas of the social and life sciences. The need for design rests on an assumption: We can improve (positively or negatively) our products, environment, personal or social life by consciously modifying different things like objects, processes, relationships. Modern design approaches, i.e., the methodological planning of what to change and how in order to obtain a certain result turned out to be successful and, as a consequence, the world that we inhabit is increasingly a designed rather than a natural one. In this sense, we could even say that we live an "artificial" world. Design is a fundamental step preceding most of our manipulation activities like manufacturing, production, construction and implementation. Design research aims to develop an understanding of designing both as a theory and as an activity, and to produce models that can be used to aid design and to improve its efficacy. Design research can be carried out in a variety of ways. For instance, it can be viewed largely as an empirical endeavor in which experiments are designed and performed in order to test some hypothesis about some phenomenon or behavior. This is the approach adopted in cognitive science. The results of such research can form the basis of a computational model. In a second view, design research is carried out by positing principles (perhaps in terms of formal axioms) and then deriving consequences from them. If the axioms can be mapped onto design situations then the consequences will also characterize those situations. This is the approach adopted in mathematics and logic. A third view, and the most common one in the computational domain, is that design research can be carried out by conjecturing design processes, constructing computational models of those processes and then examining the behaviors of the resulting computational systems. These are just three important approaches for design research and, it is well known, Artificial Intelligence (AI) extensively exploits all three of them. We believe it is time to understand better the links between design and AI, what are today's successful stories of their integration, and what one research area can further offer to the other. The AIDE workshop aims at providing a forum for researchers and practitioners interested in the interplay between AI and design via the presentation and discussion of state-of-the-art and cutting edge research and developments of material that integrate these two areas. TOPICS OF INTEREST Contributions of interest to the workshop are those describing AI approaches that are needed, under development or being explored for design activities in a variety of domains such as: * Architecture design * Engineering design * Geodesign * Environmental design * Product design * Software design * Urban and regional planning * Design for visual and auditory digital media (e.g., music, film, animation, entertainment) The organizers encourage also the submission of interdisciplinary research across these and related domains where design plays a central role. SUBMISSION INSTRUCTIONS We solicit three kinds of contributions: * full papers (max 12 pages) * short papers (max 6 pages) * demo papers (max 3 pages). Full papers are intended to describe original research. Short papers are suitable for presenting work in progress, even if not yet mature for publication, summaries of PhD Theses, overviews of research projects, positions on some topic, and already published work. Demo papers are intended to describe software systems and prototypes developed as part of academic or industrial projects, using AI tools and/or techniques, which will be presented at the workshop. Papers of the three kinds will be peer-reviewed by at least 3 members of the program committee. Selection will be based on relevance, clarity, and technical quality. Papers should be formatted according to the LNCS format (please refer to http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 for instructions) and submitted as PDF files via EasyChair at the following page https://easychair.org/conferences/?conf=aide2015 Accepted papers will be published online as a volume of the CEUR-WS workshop proceeding series. We also intend to organize a journal special issue with a selection of the best papers presented at the workshop. IMPORTANT DATES Submission Deadline: June 12th, 2015 Acceptance Notification: July 19th, 2015 Camera Ready: July 26th, 2015 Early Registration: July 31st, 2015 Workshop Day: September 22nd, 2015 ORGANIZING COMMITTEE Stefano Borgo Laboratory for Applied Ontology, ISTC CNR, Trento Domenico Camarda Department of Civil Engineering, Politecnico of Bari Francesca A. Lisi (contact person: francesca.lisi at uniba.it) Department of Computer Science, University of Bari “Aldo Moro” RESOURCES Further information is available on the AIDE 2015 homepage: www.di.uniba.it/~lisi/AIDE2015/ From pascal.hitzler at wright.edu Fri May 29 15:55:51 2015 From: pascal.hitzler at wright.edu (Pascal Hitzler) Date: Fri, 29 May 2015 09:55:51 -0400 Subject: Semantic Web Journal Special Call for Papers on Linked Data and Ontology Reuse Message-ID: <55686FE7.7090903@wright.edu> Semantic Web Journal Special Call for Papers on LINKED DATA AND ONTOLOGY REUSE http://www.semantic-web-journal.net/blog/special-call-papers-linked-data-and-ontology-reuse The enabling of easy reuse and repurposing of data and metadata has been one of the central themes of the Semantic Web field since its inception. Ever-increasing data volumes and the need for scalable solutions for information sharing, discovery, and reuse make this Semantic Web topic even more important today. The Semantic Web journal invites submissions of papers on the topic of Linked Data and Ontology Reuse. Submissions can report on original research which enables or simplifies reuse, on tools and systems which support it, on ontologies or linked datasets which have found significant reuse, on deployed applications which are based on reuse, or can be surveys of important and timely aspects of reuse. Submissions are possible in all standing paper categories of the journal, they are described at http://www.semantic-web-journal.net/authors. Please take particular note of the listed review criteria for each paper type, and make sure that your submission adequately addresses these aspects. Extended versions of suitable conference papers are welcome, see FAQ9 at http://www.semantic-web-journal.net/faq#q9. Submission deadline: September 15, 2015. Extensions are possible on request. We will process early submissions immediately upon receipt. For questions please contact the editors-in-chief, Pascal Hitzler and Krzysztof Janowicz, at contact at semantic-web-journal.net. -- Prof. Dr. Pascal Hitzler Dept. of Computer Science, Wright State University, Dayton, OH pascal at pascal-hitzler.de http://www.pascal-hitzler.de Semantic Web Textbook: http://www.semantic-web-book.org Semantic Web Journal: http://www.semantic-web-journal.net From invitation at iariaevent.org Sun May 31 11:47:07 2015 From: invitation at iariaevent.org (INTERNET 2015) Date: Sun, 31 May 2015 05:47:07 -0400 Subject: Last Submission Days: INTERNET 2015 || October 11 - 16, 2015 - St. Julians, Malta Message-ID: <1433065627046.2217@iariaevent.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 INTERNET 2015. We are entering the last few days before the deadline of June 4, 2015. Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org ================= ============== INTERNET 2015 | Call for Papers =============== CALL FOR PAPERS, TUTORIALS, PANELS INTERNET 2015, The Seventh International Conference on Evolving Internet October 11 - 16, 2015 - St. Julians, Malta General page: http://www.iaria.org/conferences2015/INTERNET15.html Call for Papers: http://www.iaria.org/conferences2015/CfPINTERNET15.html Submission page: http://www.iaria.org/conferences2015/SubmitINTERNET15.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 4, 2015 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 INTERNET 2015 Topics (topics and submission details: see CfP on the site) Future Internet Architecture Architectures for the Internet of Things; Web of Things; Web of Things and Semantic; Internet of Things and Clouds internetworking; Network media, content and service orientation; Embedded Web Services (CoAP / Lightweight SOAP); Mobility and Future Internet; Pervasive Internet of Things; User-oriented, context-aware Internet of Things services; Location and discovery of things on the Internet; Crowd-sourcing and things; Trust, security and privacy in Internet of Things; Lightweight implementations of cryptographic stacks; Experiences with Open Platforms and hardware within Internet of Things; Internet of Vehicle (IOV) Advanced Internet mechanisms Access: call admission control vs. QoE vs. structural QoS / capability-based access control vs. role-based access control vs. attribute-based access control; Routing and pricing models: BGP, pricing peering agreements using microeconomics, topological routing vs. table-based routing vs. network coding, power-efficient routing; Optimization in P2P/CDN networks: peer placement for streaming P2P, analysis of P2P networks; Traffic engineering: estimating traffic matrices, constrained routing, exponentially bounded burstness; Behavioral traffic recognition: identifying applications from traffic behavior; Traffic analysis: methods for analysis and visualization of multidimensional measurements, characterizing protocols; Software defined radio networks: low power signal processing methods, applications of machine learning; Cognitive radio: medium access, spatiotemporality, complexity, spectrum sharing and leasing, channel selection, multi-stage pricing, cyclostationary signatures, frame synchronization; Streaming video: learning from video, techniques for in-network modulation; Location: statistical location, partial measurements, delay estimation Graph theory/topology/routing Internet support Information theory: distributed network coding, Shannon's entropy, Nash equilibrium; Optimization: LP, NLP, NeuroP, quadratic, convex programming, compressed sensing; Graph theory: random graphs, spectra graph theory, percolations and phase transitions, methods from statistical physics, geometric random graphs; Algebraic techniques: tensor analysis, matrix decomposition; Processing: signal processing techniques, equalization, point-process, source coding vs. network coding, recoverability; Statistical machine learning: probabilistic graphical models, classification, clustering, regression, classification, neural networks, support vector machines, decision forests; Game Theory/Microeconomic theory: social choice theory, equilibria, arbitrage and incentive oriented distributed mechanism design, cooperative games, and games on graphs; Stochastic network calculus; Fractal behavior and stability mechanisms; Kolmogorov complexity for performance evaluation; Complexity theory Internet security mechanisms Cryptography: design and analysis of cryptographic algorithms, applied cryptography, cryptographic protocols and functions; Specification, validation design of security and dependability: security and trust models, semantics and computational models for security and trust, business models in security management, security policies models, security architectures, formal methods for verification and certification, multi-level security specification; Vulnerabilities, attacks and risks: methods of detection, analysis, prevention, intrusion detection, tolerance, response and prevention, attacks and prevention of on-line fraud, denial of services attacks and prevention methods; Access Control: authentication and non-repudiation, accounting and audit, anonymity and pseudonymity; identity and trust management, biometric methods; Anti-malware techniques: detection, analysis, prevention; Cyber-crime response: anti-phishing, anti-spam, anti-fraud methods Internet trust, security, and dependability levels Network and transport level security; Network edge security controls: firewalls, packet filters, application gateways; Wireless and mobile network security: risks of wireless insecurity, wireless vulnerabilities and intrusion detection, WLAN and WMAN MAC layer security technologies, key management mechanisms and protocols, security in ad hoc, sensor, mesh and personal communication networks; Security of Internet protocols: routing security, naming, network management, signaling security, transport layer security; Network security policies: specification, implementation, deployment and management; Security of P2P and overlay/middleware systems; Security for multiple domains, large-scale systems and critical infrastructures; Applications and high level services security: Web-based applications and services, VoIP, multimedia streaming services, VoD and IPTV, collaborative applications (conferencing), electronic commerce and eBusiness, eVoting, grid computing, security of eGovern ment; Intellectual property protection: digital rights management, licensing, metering, watermarking, information hiding, implementations; Security services integration in complex architectures; Tradeoffs between security and efficiency, usability, reliability and cost. Internet performance Performance degradation and anomaly detection mechanisms; User-oriented performance metrics; Network and service provider-oriented performance metrics; Hybrid (chip and network) performance calculi; Intrusive and non-intrusive performance measurement mechanisms; Mechanisms for performance degradation-tolerant applications; Mechanisms for application performance and network performance; Performance enhancement mechanisms; Performance and traffic entropy algorithms; Performance prediction algorithms Internet AQM/QoS Buffer sizing, majorization, QoS routing, finite buffer queue vs. infinite buffer queue and performance; Control theoretic framework for modeling of TCP and AQM schemes; Discrete mathematics to model buffer occupancy at queues of a network (given workloads); Game theoretic modeling of AQMs (mathematics to model selfish traffic); Fairness models (proportional fairness, max-min fairness, low state global fairness); Optimization framework for congestion control, fairness and utility maximization; Modeling and simulation of large network scenarios using queuing theory Internet monitoring and control Visualization mechanisms; Sub-network/device isolation mechanisms; Control feedback mechanisms (limited feedback, delay and disruption tolerance, optimal and adaptive feedback); Optimal control; Adaptive behavior control; Network resiliency; Self-adaptable and tunable performance; Mechanisms for anticipative measurements and control Internet and wireless Capacity of wireless networks; Potential based routing; Algebraic techniques to mine patterns from wireless networks; QoS/QoE translation; Wireless ad hoc / mesh networks: MAC protocols, routing, congestion control, P2P CDNs on wireless meshes Internet and data streaming/mining algorithms Mathematics for clustering massive data streams; Randomized algorithms etc and impossibility results; Dimension reduction in metric spaces; Tensor and multidimensional algebraic techniques; Non linear dimension reduction; Optimal collector positioning; Data fusion and correlation algorithms Internet and sensor-oriented networks/algorithms Optimal sensor placement; Inference models for sensing; Congestion control; Resource allocation; Mathematics to model different diffusion processes and applications to routing; Algorithms for data fusion; Algorithms for computing dormant/active sending periods; Energy-driven adaptive communication protocols Internet challenges Future Internet architecture and design; Next generation Internet infrastructure; Internet cross-layer design and optimization; Internet security enforcement and validation; Future cross-Internet computing; Configurable Internet protocols; Internet-scale overlay content hosting; Internet citizen-centric services; End-user customizable Internet; Mobile Internet; Internet imaging; Internet coding; Internet resilience; Internet QoS/QoE; Context-aware, ambient, and adaptive Internet; Virtualization and Internet; Privacy Enhancing Technologies - PETs Access networks Next generation access technologies; Femtocells-based access; Broadband wireless; nternet access; Optical access networks; Mobile wireless access; Dynamic and cognitive access; Hybrid optical and wireless access networks; Copper Access; Giga/Tera Access; Access Control; Neutral Access Networks; Legal aspects on network and service access Committee: http://www.iaria.org/conferences2015/ComINTERNET15.html ================================================ To stop receiving notices about INTERNET, please reply with "DROP INTERNET 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 wti.simbig2015 at gmail.com Sun May 31 13:28:37 2015 From: wti.simbig2015 at gmail.com (wti.simbig2015) Date: Sun, 31 May 2015 12:28:37 +0100 Subject: [CFP] WTI 2015: EXTENDED DEADLINE Message-ID: <002901d09b94$f55b70a0$e01251e0$@gmail.com> Call for Papers ****EXTENDED DEADLINE **** Track on Web and Text Intelligence (WTI 2015) http://simbig.org/SIMBig2015/en/special-track September 2nd to 4th 2015, Cusco, Peru Web and text intelligence are related areas that have been used to improve human computer interaction both in general and in particular to explore and analyze information that is available on the Internet. With the advent of social networks and the emergence of services such as Facebook, Twitter, and others, research in these areas has been greatly enhanced. In recent years, shared knowledge and experiences have established new and different types of personal and communal relationships which have been leveraged by social networks scientists to produce new insights. In addition there has been a huge increase in community activities on social networks. The Web and Text Intelligence (WTI) track of SIMBig will provide a forum that brings together researchers and practitioners for exploring technologies, issues, experiences and applications that help us to understand the Web and to build automatic tools to better exploit this complex environment. The WTI track will foster collaborations, exchange of ideas and experiences among people working in a variety of highly cross-disciplinary research fields such as computer science, linguistics, statistics, sociology, economics, and business. The WTI track is a follow up of the 4th International Workshop on Web and Text Intelligence ( http://www.labic.icmc.usp.br/wti2012), which took place in Curitiba, Brazil, October 2012, as a workshop of BRACIS 2012; the 3rd International Workshop on Web and Text Intelligence ( http://www.labic.icmc.usp.br/wti2010), which took place in São Bernardo, Brazil, October 2010, as a workshop of SBIA10; the 2nd International Workshop on Web and Text Intelligence( http://www.labic.icmc.usp.br/wti2009), which took place in São Carlos, Brazil, September 2009, as a workshop of STIL09; the 1st Web and Network Intelligence ( http://epia2009.web.ua.pt/wni), which took place in Aveiro, Portugal, October 2009, as a thematic track of EPIA09; and the 1st International Workshop on Web and Text Intelligence, which took place in Salvador, Brazil, October 2008, as a workshop of SBIA08. We solicit original and unpublished papers for this track. Submissions must describe work related to any aspect of Web and Text Intelligence including relevant and novel work on methods and theories (and their applications). Relevant topics include, but are not limited to: * Web and Text Mining * Link Mining * Web usability * Web automation and adaptation * Graph and complex network mining * Communities analysis in social networks * Relationships analysis in social networks * Applications of social networks and social media * Data modeling for social networks and social media * Location-based social networks analysis * Big data issues in social network and media analysis * Modeling of user behavior and interactions * Temporal analysis of social networks and social media * Pattern analysis in social networks and social media * Privacy and security in social networks * Propagation and diffusion of information in social network * Social information applied to recommender systems * Search and Web Mining * Multimedia Web Mining * Visualization of social information Submission instructions: Paper registration and submissions to WTI 2015 will be handled using the EasyChair system. The address is: https://easychair.org/conferences/?conf=simbig2015wti All the submissions will be refereed by experts in the field based on originality, significance, relevance, quality and clarity. Every submitted paper will be reviewed by at least two members of the Program Committee. The paper length should be between 5 to 10 pages (including references and figures). Papers should be written in English and submissions must be in PDF format following the instructions in Word document and Latex templates (ACL templates). The accepted papers will be included in the SIMBig proceedings. At least one author of each accepted paper must register for and attend SIMBig (more information here: http://simbig.org/SIMBig2015/en/inscriptions). Important Dates: *Extended* Paper submission: June 7 2015. Accepted paper notification: July 15 2015. Camera-ready paper uploading: July 15 2015. Track Organizers: * Alneu de Andrade Lopes, ICMC – University of São Paulo, São Carlos – SP, Brazil * Ricardo Bastos Cavalcante Prudêncio, CIn – Federal University of Pernambuco, Recife – PE, Brazil * Estevam Hruschka, Federal University of São Carlos, São Carlos – SP, Brazil * Ricardo Campos, Polytechnic Institute of Tomar and LIAAD/INESC TEC – INESC Technology and Science, Portugal Organizing: PhD(c) Jorge Valverde-Rebaza, University of São Paulo, São Carlos – SP, Brazil Venue: The conference will be held on the Auditorium of the Faculty of Law at the Andina University of Cusco. The University is located in the Urbanización Ingeniería Larapa Grande A-5 - San Jerónimo (more information here: http://simbig.org/SIMBig2015/en/venue) Follow us in Facebook ( https://www.facebook.com/SIMBig2015?fref=ts) and Twitter ( https://twitter.com/SIMBig2015). Hope to see you all soon in Cusco, Peru!!! --- Jorge Valverde-Rebaza The WTI track organizer in SIMBig 2015 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: