From publicity at ecmlpkdd2015.org Thu Apr 2 11:53:08 2015
From: publicity at ecmlpkdd2015.org (ECMLPKDD 2015)
Date: Thu, 2 Apr 2015 10:53:08 +0100
Subject: ECMLPKDD 2015 : PhD Session
Message-ID: <007c01d06d2a$d756ac20$86040460$@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 marco.gavanelli at unife.it Thu Apr 2 12:14:44 2015
From: marco.gavanelli at unife.it (Marco Gavanelli)
Date: Thu, 02 Apr 2015 12:14:44 +0200
Subject: AI*IA2015 Last call for papers (with news!)
Message-ID: <551D1694.3020906@unife.it>
============= LAST CALL FOR PAPERS, INCLUDING NEWS ==============
- BEST PAPER AWARD
- NEW TRACK ON AI APPLICATIONS
=================================================================
AI*IA 2015
XIV Conference of the Italian Association
for Artificial Intelligence, Ferrara September 23-25, 2015
-----------------------------------------------------------------
-----------------------------------------------------------------
AI*IA 2015 is the fourteenth International Conference on Advances
in Artificial Intelligence held bi-annually by the Italian
Association for Artificial Intelligence (AI*IA).
-----------------------------------------------------------------
Topics of Interest
-----------------------------------------------------------------
The conference covers broadly the many aspects of theoretical and
applied Artificial Intelligence. A series of workshops dedicated
to specific topics will complement the main conference program.
Contributions are invited on original, and unpublished research
on all aspects of artificial intelligence, including, but 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
The conference welcomes papers on AI applications, that will have a
special track.
-----------------------------------------------------------------
Submission Instructions
-----------------------------------------------------------------
We welcome and encourage the submission of high-quality, original
papers, which are not being submitted simultaneously for publica-
tion elsewhere. Papers should be written in English, formatted
according to the Springer LNCS style, and not exceed 12 pages
plus bibliography.
Paper submission is electronic via easychair at the address
https://easychair.org/conferences/?conf=aixia2015
When you submit your paper, please indicate if it is an applications
paper by checking the relative box.
The proceedings will appear in Springer LNAI.
-----------------------------------------------------------------
Important Dates
-----------------------------------------------------------------
Abstract submission deadline: April 13th, 2015
Paper submission deadline: April 19th, 2015
Notification to authors: June 15th, 2015
Camera-ready copies due: July 15th, 2015
Early registration deadline for at least one of the authors of
accepted papers: July 5th, 2015
Early registration deadline (for everybody else): July 31st, 2015
Late registration deadline: September 5th, 2015 (after that, only on
site registration will be available)
Conference dates: September 23-25, 2015
-----------------------------------------------------------------
Conference Web Site
-----------------------------------------------------------------
For the most up to date information, please visit:
http://aixia2015.unife.it
-----------------------------------------------------------------
Best Paper Award
-----------------------------------------------------------------
The best paper drawn from the papers presented at the AI*IA 2015
Conference will be awarded the AI*IA 2015 Best Paper Award.
-----------------------------------------------------------------
Conference Chairs
-----------------------------------------------------------------
Marco Gavanelli, Università degli Studi di Ferrara
Fabrizio Riguzzi, Università degli Studi di Ferrara
Evelina Lamma, Università degli Studi di Ferrara
-----------------------------------------------------------------
Program committee
-----------------------------------------------------------------
Matteo Baldoni
Stefania Bandini
Roberto Basili
Nicola Basilico
Elena Bellodi
Federico Bergenti
Stefano Bistarelli
Luciana Bordoni
Francesco Buccafurri
Stefano Cagnoni
Diego Calvanese
Amedeo Cappelli
Luigia Carlucci Aiello
Amedeo Cesta
Antonio Chella
Carlo Combi
Gabriella Cortellessa
Stefania Costantini
Giuseppe De Giacomo
Francesco Donini
Agostino Dovier
Floriana Esposito
Stefano Ferilli
Nicola Guarino
Luca Iocchi
Nicola Leone
Chendong Li
Francesca Alessandra Lisi
Bernardo Magnini
Sara Manzoni
Alberto Martelli
Paola Mello
Alessio Micheli
Alfredo Milani
Michela Milano
Stefania Montani
Alessandro Moschitti
Roberto Navigli
Angelo Oddi
Andrea Omicini
Maria Teresa Pazienza
Roberto Pirrone
Piero Poccianti
Gian Luca Pozzato
Luca Pulina
Daniele P. Radicioni
Francesco Ricca
Andrea Roli
Salvatore Ruggieri
Fabio Sartori
Ken Satoh
Andrea Schaerf
Floriano Scioscia
Giovanni Semeraro
Roberto Serra
Francesca Toni
Pietro Torasso
Eloisa Vargiu
Marco Villani
Giuseppe Vizzari
--
Marco Gavanelli, Ph.D. in Computer Science
Dept of Engineering
University of Ferrara
Tel/Fax +39-0532-97-4833
http://docente.unife.it/marco.gavanelli
From blllne2 at unife.it Thu Apr 2 18:10:28 2015
From: blllne2 at unife.it (Elena Bellodi)
Date: Thu, 2 Apr 2015 18:10:28 +0200
Subject: AI*IA 2015 Doctoral Consortium Call for Papers
Message-ID:
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. programme.
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 ijcai2015.publicity at gmail.com Thu Apr 2 20:22:56 2015
From: ijcai2015.publicity at gmail.com (IJCAI 2015 Publicity Chairs)
Date: Thu, 2 Apr 2015 15:22:56 -0300
Subject: IJCAI 2015 Repeat Buyers Prediction Competition - CALL FOR PARTICIPANTS
Message-ID:
[Apology for cross-postings]
*************************************************************************************************
Repeat Buyers Prediction Competition
IJCAI COMPETITION 2015 CALL FOR PARTICIPANTS
Repeat Buyers Prediction after Sales Promotion
Introduction
IJCAI is pleased to announce a large-scale machine learning
competition, hosted by Alibaba Group, a gold sponsor. This competition
aims to promote applications of advanced techniques from AI research
to real-world problems. Contestants will have access to vast amount of
data provided by Tmall.com, the largest B2C platform in China. Top
three winners will be invited to present their results at an IJCAI
workshop and get a chance to test their algorithms online.
In April 2015, participants all over the world will be invited to play
with real transaction data from Tmall.com. The goal is to apply
advanced and sophisticated machine learning and data mining techniques
to predict which shoppers would become repeat buyers after sales
promotion. The main differences from most other AI competitions in the
past are listed below:
1. A large sales promotion data set for public usage
2. A free distributed computation platform for top teams
3. A great opportunity to deploy algorithms online for winners
It is the time to demonstrate your brilliant ideas in the real world!
Problem Definition
Merchants sometimes run big promotions (e.g., discounts or cash
coupons) on particular dates (e.g., Boxing-day Sales, "Black Friday"
or "Double 11 (Nov 11th)" , in order to attract a large number of new
buyers. Unfortunately, many of the attracted buyers are one-time deal
hunters, and these promotions may have little long lasting impact on
sales. To alleviate this problem, it is important for merchants to
identify who can be converted into repeated buyers. By targeting on
these potential loyal customers, merchants can greatly reduce the
promotion cost and enhance the return on investment (ROI). It is well
known that in the field of online advertising, customer targeting is
extremely challenging, especially for fresh buyers. However, with the
long-term user behavior log accumulated by Tmall.com, we may be able
to solve this problem.
In this challenge, we provide a set of merchants and their
corresponding new buyers acquired during the promotion on the "Double
11" day. Your task is to predict which new buyers for given merchants
will become loyal customers in the future. In other words, you need to
predict the probability that these new buyers would purchase items
from the same merchants again within 6 months.
The competition consists of two stages:
In the first stage, a data set containing around 200k users is given
for training, while the other of similar size for testing. Similar to
other competitions, you may extract any features, then perform
training with additional tools. You need to only submit the prediction
results for evaluation.
In the second stage, the top 50 teams from the first stage will have
the opportunity to work on a much larger data set on Alibaba's cloud
platform. You will need to submit your code in JAVA, then the
distributed computation will be handled by the cloud platform.
Data Description
The data set contains anonymized users' shopping logs in the past 6
months before and on the "Double 11" day, and the label information
indicating whether they are repeated buyers. Due to privacy issue,
data is sampled in a biased way, so the statistical result on this
data set would deviate from the actual of Tmall.com. Nevertheless, it
will not affect the applicability of the algorithm. In the first
stage, the data set is available for downloading, while it is not in
the second one. Details of the data can be found in the table below.
Data Fields
Definition
user_id
A unique id for the shopper.
age_range
User's age range: 0 for <18; 1 for [18,24]; 2 for [25,34]; 3 for
[35,54]; 4 for >=55.
gender
User's gender: 0 for female, 1 for male.
merchant_id
A unique id for the merchant.
label
Value from {0, 1, -1, NULL}. '1' denotes 'user_id' is a repeat buyer
for 'merchant_id', while '0' is the opposite. '-1' represents that
'user_id' is not a new customer of the given merchant, thus out of our
prediction. However, such records may provide additional information.
'NULL' occurs only in the testing data, indicating it is a pair to
predict.
activity_log
A set of interaction records between {user_id, merchant_id}, where
each record is an action represented as
'item_id:category_id:brand_id:time_stamp:action_type'. '#' is used to
separate two neighbouring elements. Records are not sorted in any
particular order.
Evaluation Metric
The Area Under the ROC Curve (AUC), true positive versus false
positive is employed as evaluation metric. It can be calculated as
(1-e), where 'e' denotes the portion of incorrect pairs (i.e. a
negative sample is ranked ahead a positive one). More information can
be found at "wikipedia".
Important Dates:
April 1, 2015: Competition announcement
April 15, 2015: Competition begins
May 15, 2015: First Stage Competition ends
May 18, 2015: Second Stage Competition begins
June 20, 2015:Second Stage Competition ends
June 30, 2015: Final result announcement
Awards
- First Stage
First Prize: 4,000USD
Second Prize: 3,000USD
Third Prize: 2,000USD
- Second Stage
Only the top 50 teams at the first stage are qualified for the second stage.
First Prize: 6,000USD
Second Prize: 4,000USD
Third Prize: 2,000USD
The top 3 teams may present their solutions at the IJCAI workshop
"Social Inference Analysis", with additional 3,000USD as registration
and travelling allowance.
Extra Online Competition
The top 3 teams at the second stage will have the opportuntiy to
deploy their algorithms on Tmall.com for the ''Double-11'' promotion,
2015. And the winner will be awarded by 50,000USD.
Remark1: The problem would be related but different from the first two
competitions. Detail will be announced before September 2015.
Remark2: Participants at this stage would work onsite as interns for
around two months. Besides the award, salary and housing allowances
will be also provided.
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 aamas2014publicity at gmail.com Sat Apr 4 13:19:26 2015
From: aamas2014publicity at gmail.com (Amit Chopra)
Date: Sat, 4 Apr 2015 12:19:26 +0100
Subject: 2014 IFAAMAS Victor Lesser Distinguished Dissertation Award
Message-ID:
IFAAMAS Victor Lesser Distinguished Dissertation Award
This award was started for dissertations defended in 2006 and is named
for Professor Victor Lesser, a long standing member of the AAMAS
community who has graduated a large number of outstanding PhD students
in the area. To be eligible for the 2014 award, a dissertation had to
have been written as part of a PhD defended during the year 2014, and
had to be nominated by the supervisor with three supporting
references. Selection is based on originality, depth, impact and
written quality, supported by quality publications. Previous winners
of this award were Manish Jain (2013), Birgit Endrass (2012), Daniel
Villatoro (2011), Bo An (2010), Andrew Gilpin (2009), Ariel Procaccia
(2008), Radu Jurca (2007), and Vincent Conitzer (2006).
The 2014 IFAAMAS Victor Lesser Distinguished Dissertation Award
recipient is Dr. Yair Zick, whose thesis titled "Arbitration, Fairness
and Stability: Revenue Division in Collaborative Settings" was
supervised by Dr. Edith Elkind. The committee also wanted to recognise
two other nominees (unordered): Dr. Tim Baarslag, whose thesis titled
"What to Bid and When to Stop" was supervised by Prof. Catholijn
Jonker and Dr. Koen Hindriks; and Dr. Xi (Alice) Gao, whose thesis
titled "Eliciting and Aggregating Truthful and Noisy Information" was
supervised by Assoc. Prof. Yiling Chen.
From idsistworkshops at gmail.com Mon Apr 6 09:37:39 2015
From: idsistworkshops at gmail.com (HSP@HCIST'2015)
Date: Mon, 06 Apr 2015 08:37:39 +0100
Subject: HSP@HCIST'2015 - Healthy and Secure People | Extended Deadline for
paper submission: April 17, 2015
In-Reply-To: <551ED23B.2010209@gmail.com>
References: <551ED23B.2010209@gmail.com>
Message-ID: <552237C3.3040100@gmail.com>
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL:
From sigkdd at uts.edu.au Tue Apr 7 03:30:00 2015
From: sigkdd at uts.edu.au (sigkdd)
Date: Tue, 7 Apr 2015 11:30:00 +1000
Subject: CFP: 2015 International Conference on Behavior, Economic and
Socio-Cultural Computing (BESC 2015)
Message-ID: <120F786F4E640A409D1D727D6D99B2DE019D3BA18CFD@MAILBOXCLUSTER.adsroot.uts.edu.au>
[Apologies if you receive this more than once]
==================================================================
Call for Papers
2015 International Conference on Behavior, Economic and Socio-Cultural Computing (BESC 2015)
October 30 -- November 1, 2015, Nanjing, China
Website: http://besc2015.njue.edu.cn/
==================================================================
The 2015 International Conference on Behavioral, Economic, and Socio-Cultural Computing (BESC2015) will take place in Nanjing, October 30 - November 1, 2015. BESC aims to become a premier forum in which academic researchers and industry practitioners from data mining, statistics and analytics, business and marketing, finance and politics, and behavioral, economic, social and psychological sciences could present updated research efforts and progresses on foundational and emerging interdisciplinary topics of BESC, exchange new ideas and identify future research directions. BESC is technically sponsored by IEEE CIS and SIGKDD.
All accepted conference papers will be published by IEEE and included in the IEEE Xplore Digital Library and EI Compendex. Authors of high-quality papers will be invited to submit revised and expanded version of their papers to be considered for publication in a special issues on World Wide Web Journal (SCI-indexed), Journal of Systems Science and Systems Engineering (SCI-indexed), Social Network Analysis and Mining (Springer), Data Science and Deep Analytics (Springer, forthcoming) and Evolutionary and Institutional Economics Review (Springer).
We call for papers on any topics of advanced data mining and applications, including but not limited to:
- Social Computing and Applications: social behavior; social network analysis and mining; semantic web; social intelligence; security, privacy, trust and cryptography in social contexts; social commerce and related applications; social recommendation; data mining.
- Behavioral and Economic Computing: agent-based modeling; artificial/experimental markets; asset pricing; computational finance; financial crises; monetary policy; optimization; volatility modeling; evolutionary economics.
- Information Management and Systems: decision analytics; e-business; societal impacts of IS; human behavior and IS; IS in healthcare; IS security and privacy; IS strategy, structure and organizational impacts; service science and IS.
- Digital Humanities: digital media; digital humanities; digital games and learning; digital footprints and privacy; Twitter histories creation; crowd dynamics; digital arts; mobile technologies; activity streams and experience design.
Submissions and Important Dates
- Research Paper Abstract Submission: 10 June 2015
- Research Paper Submission: 17 June 2015
- Paper Notification of Acceptance: 12 August 2015
- Special Session Proposal Submission: 4 April 2015
- Special Session Proposal Notification: 25 April 2015
Organizing Committee
Honorary Chairs:
Masaru Kitsuregawa, University of Tokyo, Japan
Longbing Cao, University of Technology, Australia
General Chairs:
Irwin King, Chinese University of Hong Kong, China
Jie Cao, Nanjing University of Finance & Economics, China
Program Committee Chairs:
Shu-Heng Chen, National Chengchi University, Taiwan
Yves Demazeau, CNRS, France
Junjie Wu, Beihang University, China
Michael Gavin, University of South Carolina, USA
Special Session Chairs:
Xiaohui Tao, University of Southern Queensland, Australia
Antoaneta Serguieva, University College London, UK
Tutorial & Panel Chairs:
Gang Li, Deakin University, Australia
Geun-Sik Jo, Inha University, South Korea
Industry Forum Chair:
Jie Wang, Stanford University, USA
Sponsorship Chair:
Guandong Xu, University of Technology, Australia
BESC Liaison:
Jian Cao, Shanghai Jiaotong University, China
Local Arrangement Chair:
Zhiang Wu, Nanjing University of Finance & Economics, China
Publicity Chairs:
Frank Jiang, University of Technology, Sydney, Australia
Fang Dong, Southeast University, China
Lin Li, Wuhan University of Technology, China
Registration Chair:
Changjian Fang, Nanjing University of Finance & Economics, China
Publication Chair:
Zhan Bu, Nanjing University of Finance & Economics, China
Advisory Committee:
Usama Fayyad, Barclays Bank, UK
Philip S. Yu, University of Illinois at Chicago, USA
Masaru Kitsuregawa, University of Tokyo, Japan
Vipin Kumar, University of Minnesota, USA
Rao Kotagiri, University of Melbourne, Australia
Beng Chin Ooi, National University of Singapore, Singapore
Xin Yao, University of Birmingham, UK
Steering Committee:
Huan Liu, Arizona State University, USA
Irwin King, Chinese University of Hong Kong, China
Wolfgang Nejdl, Leibniz Universitat Hannover, Germany
V.S. Subrahmanian, University of Maryland, USA
Shu-Heng Chen, National Chengchi University, Taiwan
Yong Shi, Chinese Academy of Sciences, China
Feiyue Wang, Chinese Academy of Sciences, China
Geun-Sik Jo, Inha University, South Korea
Longbing Cao, University of Technology, Australia
Ee-Peng Lim, Singapore Management University, Singapore
Guandong Xu, University of Technology, Australia
Jian Cao, Shanghai Jiaotong University, China
Jie Wang, Stanford University, USA
Web Management and Conference Secretary:
Dr. Zhan Bu, Nanjing University of Finance & Economics, China
Email: besc2015 at 163.com
Tel: +86-25-8349-3900
UTS CRICOS Provider Code: 00099F
DISCLAIMER: This email message and any accompanying attachments may contain confidential information.
If you are not the intended recipient, do not read, use, disseminate, distribute or copy this message or
attachments. If you have received this message in error, please notify the sender immediately and delete
this message. Any views expressed in this message are those of the individual sender, except where the
sender expressly, and with authority, states them to be the views of the University of Technology Sydney.
Before opening any attachments, please check them for viruses and defects.
Think. Green. Do.
Please consider the environment before printing this email.
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL:
From giacomo.cabri at unimore.it Tue Apr 7 15:12:15 2015
From: giacomo.cabri at unimore.it (Giacomo Cabri)
Date: Tue, 07 Apr 2015 15:12:15 +0200
Subject: LAST CfP: Distributed Adaptive Systems (DAS) @ ICAC 2015
Message-ID: <5523D7AF.8080706@unimore.it>
1st Workshop on Distributed Adaptive Systems
Tuesday 7th July 2015 @ ICAC 2015, Grenoble, F
Paper Submission April 13, 2015
Notification May 15, 2015
Camera Ready May 22, 2015
Workshops July 07, 2015
Workshop website: http://www.agentgroup.unimore.it/DAS2015/
Conference website: http://icac2015.imag.fr
CFP
On the account of the recent advances in technology, computational
systems have to be thought as ever growing distributed artificial
environments in which requirements, constituent components and user
needs dynamically change in unpredictable ways. Coping with such
uncertainties represents an interesting challenge for the designer of
these systems, specifically regarding how to guarantee adaptivity
towards both functional and non-functional requirements, as well as
autonomously handling coordination and collaboration aspects among
constituent units that have to act as autonomous and heterogeneous
agents. These agents more often rely on incomplete information regarding
the whole system in which they are integrated, but yet, in order to
foster their Self-* properties, they need to discover, learn and evolve
their behavior by taking into account how other agents are performing
within the considered environment. The purpose of this workshop is
therefore to create an useful forum of discussion on how Self-*
properties and design & implementation concepts that are nowadays
considered in Autonomic Computing literature can be extended and
exploited in case of distributed autonomous systems , hence how to
create adaptivity as a whole by starting from single autonomous units.
Practitioners and researchers are therefore invited to submit
interesting contributions both in theoretical work and real world
applications so to create a fruitful discussion regarding the presented
challenges and the following related topics:
* Distributed learning and experience sharing among agents
* Advances in Multi-Agent System coordination
* Formal methods and languages for distributed adaptive systems
* Modelling distributed adaptive systems
* Collectivism in distributed adaptive systems
* Optimization in distributed adaptive systems
* Framework and design patterns for distributed adaptive systems
* Bio-inspired and evolutionary approaches to distributed adaptive systems
* Tools and simulation software for distributed adaptive systems
* Case studies and real world applications.
All papers must represent original and unpublished work that is not
currently under review. Papers will be judged on originality,
significance, interest, correctness, clarity, and relevance to the
broader community. Papers are strongly encouraged to report on
experiences, measurements, user studies, and provide an appropriate
quantitative evaluation if at all possible.
The maximum number of allowed pages is 6.
Author Kit/Submission Instructions can be found at:
http://www.ieee.org/conferences_events/conferences/publishing/templates.html
The submission of paper can be done by EasyChair at:
https://easychair.org/conferences/?conf=dasicac2015
Accepted papers will be included in the ICAC Workshop 2015 Proceedings,
which will be published in IEEE Xplore.
At least one author of each accepted paper is expected to attend the
workshop.
Program Chairs
Antonio Bucchiarone, Fondazione Bruno Kessler, Trento, Italy
bucchiarone at fbk.eu
Giacomo Cabri, Università di Modena e Reggio Emilia, Modena, Italy
giacomo.cabri at unimore.it
Nicola Capodieci, Università di Modena e Reggio Emilia, Modena, Italy
nicola.capodieci at unimore.it
Haibin Zhu, Nipissing University, Canada haibinz at nipissingu.ca
--
|----------------------------------------------------|
| Prof. Giacomo Cabri - Ph.D., Associate Professor
| Dip. di Scienze Fisiche, Informatiche e Matematiche
| Universita' di Modena e Reggio Emilia - Italia
| e-mail giacomo.cabri at unimore.it
| tel. +39-059-2058320 fax +39-059-2055216
|----------------------------------------------------|
From Rim.Faiz at ihec.rnu.tn Tue Apr 7 18:42:09 2015
From: Rim.Faiz at ihec.rnu.tn (Rim FAIZ)
Date: Tue, 7 Apr 2015 17:42:09 +0100
Subject: Deadline extended-CFP BigDMS 2015 (ICCCI 2015): Special Session on Big Data Mining and Searching, Madrid, Spain, September 21-23, 2015
Message-ID: <003701d07151$db0daaa0$9128ffe0$@Faiz@ihec.rnu.tn>
Apologies for multiple diffusion
CALL FOR PAPERS
New submission deadline : April 12, 2015
======================================================================
BigDMS 2015
Special Session on Big Data Mining and Searching
At the 7th International Conference on Computational Collective Intelligence
Technologies and Applications (ICCCI 2015)
Madrid, Spain, September 21-23, 2015
Conference website:
http://antares.sip.ucm.es/iccci2015/
======================================================================
The exceptional growth of data sizes available on the Web, especially with
the wide use of social networks has changed data processing. Then,
traditional technologies are unable to handle this massive data. They
presented often multidimensional constraints; Data come from different
sources with diverse formats, should be treated in real time, and may be
subject to different interpretations depending on the status of the end
user. This is what has led to the emergence of Big Data.
The main challenge of Big Data management lies in both an increasing volume
of streaming data having petabytes size, heterogeneous, structured (from
data warehouse and graph database) or unstructured (for Web 2 contents, text
documents and social networks).It is in the context of unstructured data
that fits the Big Text Mining proposes new approaches and techniques to
transform this massive data into useful data.
Big Data Mining is part of the effort to improve the process of seeking new
knowledge from large volumes of data. It has become ubiquitous in
understanding and solving complex problems in different fields such as
engineering, healthcare, social networks, commerce, government, education,
medicine, security, computational biology, all Search-based applications...
The objective of this session is to give an overview of the main lines of
this interesting area with its various opportunities and challenges.
The scope of the BigDMS2015 includes, but is not limited to the following
topics:
* Foundations and computation (Models and Frameworks for Big Data,
Graph Algorithms and Big Data, Computational Intelligence)
* Algorithms for Big data (Simulation and Modeling, Natural Language
Processing, Multidimensional Big Data ...)
* Infrastructure and platforms
* Cloud Computing/ Stream Computing for Big Data
* Big Data Management
* Big Text Mining and Information Extraction
* Big Data Analytics and Information Retrieval
* Application of Big data
* Big data Visualization
* Data Science
* Recommendation System with Big data
* Machine leraning for Big data
* Open data and unstructured data
* Data preservation and provenance
* Search and Mining
* Computational Modeling and Data Integration
* Link and Graph Mining
* Mobility
* Multimedia and Multi-structured Data
* Big Data and Social Media
* Big Data Privacy and Security
* Big Data Analytics in e-Government and Society
. Big Data Applications
Submission and publication
All contributions should be original and not published elsewhere or intended
to be published during the review period. Authors are invited to submit
their papers electronically in pdf format, through EasyChair. All the
special sessions are centralized as tracks in the same conference management
system as the regular papers. Therefore, to submit a paper, please activate
the following link and select the track: BigDMS2015: Special Session on Big
Data Mining and Searching.
https://www.easychair.org/conferences/?conf=iccci2015
Authors are invited to submit original previously unpublished research
papers written in English, of up to 10 pages, strictly following the
LNCS/LNAI format guidelines. Authors can download the Latex (recommended) or
Word templates available at Springer's web site. Submissions not following
the format guidelines will be rejected without review. To ensure high
quality, all papers will be thoroughly reviewed by the BigDMS2015 Program
Committee. All accepted papers must be presented by one of the authors who
must register for the conference and pay the fee. The conference proceedings
will be published by Springer in the prestigious series LNCS/LNAI (indexed
by ISI CPCI-S, included in ISI Web of Science, EI, ACM Digital Library,
dblp, Google Scholar, Scopus, etc.).
Important dates
Submission of papers: April 12, 2015 (extended)
Notification of acceptance: 15 May 2015
Camera-ready papers: 15 June 2015
Conference date: 21-23September 2015
Special Session Organizers
Prof. Rim Faiz
Department of Computer Science
IHEC, University of Carthage, Tunisia
Laboratory LARODEC
E-mail: Rim.Faiz at ihec.rnu.tn
Dr. Aymen Elkhlifi
Department of Computer Science
University of Paris Sorbonne, France
Laboratory STH and LARODEC
E-mail: aymen.elkhlifi at gmail.com
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL:
From ijcai2015.publicity at gmail.com Tue Apr 7 18:57:43 2015
From: ijcai2015.publicity at gmail.com (IJCAI 2015 Publicity Chairs)
Date: Tue, 7 Apr 2015 13:57:43 -0300
Subject: IJCAI 2015 Video Competition - SECOND CALL FOR VIDEOS
Message-ID:
[Apology for cross-postings]
*************************************************************************************************
===================================================================================
Second 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 second call for videos to the upcoming
IJCAI 2015 Video 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 10, 2015
* 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 Kvarnström 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 calimeri at mat.unical.it Tue Apr 7 19:08:20 2015
From: calimeri at mat.unical.it (Francesco Calimeri)
Date: Tue, 7 Apr 2015 19:08:20 +0200
Subject: CfP LPNMR 2015 Announcement: SUBMISSIONS NOW OPEN!
Message-ID:
[apologies for any cross-posting]
*** SUBMISSIONS ARE NOW OPEN ***
Call for Papers
---------------------------------------------------------------------------
13th International Conference on
Logic Programming and Non-monotonic Reasoning
LPNMR 2015
http://lpnmr2015.mat.unical.it/
Lexington, KY, USA
September 27-30, 2015
(Collocated with the 4th Conference on Algorithmic Decision Theory 2015)
---------------------------------------------------------------------------
AIMS AND SCOPE
LPNMR 2015 is the thirteenth in the series of international meetings on
logic programming and non-monotonic reasoning. LPNMR is a forum for
exchanging ideas on declarative logic programming, non-monotonic reasoning,
and knowledge representation. The aim of the conference is to facilitate
interactions between researchers and practitioners interested in the
design and implementation of logic-based programming languages and
database systems, and those working in knowledge representation and
nonmonotonic reasoning. LPNMR strives to encompass theoretical and
experimental studies that have led or will lead to the construction of
systems for declarative programming and knowledge representation, as well
as their use in practical applications. This edition of LPNMR will feature
several workshops, a special session dedicated to the 6th ASP Systems
Competition, and will be collocated with the 4th Algorithmic Decision
Theory Conference, ADT 2015. Joint LPNMR-ADT Doctoral Consortium will be
a part of the program.
Authors are invited to submit papers presenting original and unpublished
research on all aspects of non-monotonic approaches in logic programming
and knowledge representation. We invite submissions of both long and
short papers.
TOPICS
Conference topics include, but are not limited to:
1. Foundations of LPNMR Systems:
* Semantics of new and existing languages;
* Action languages, causality;
* Relationships among formalisms;
* Complexity and expressive power;
* Inference algorithms and heuristics for LPNMR systems;
* Extensions of traditional LPNMR languages such as new logical
connectives or new inference capabilities;
* Updates, revision, and other operations on LPNMR systems;
* Uncertainty in LPNMR systems.
2. Implementation of LPNMR systems:
* System descriptions, comparisons, evaluations;
* Algorithms and novel techniques for efficient evaluation;
* LPNMR benchmarks.
3. Applications of LPNMR:
* Use of LPNMR in formalization of Commonsense Reasoning and other
areas of KR;
* LPNMR languages and algorithms in planning, diagnosis, argumentation,
reasoning with preferences, decision making and policies;
* Applications of LPNMR languages in data integration and exchange
systems, software engineering and model checking;
* Applications of LPNMR to linguistics, psychology, and other sciences
* Integration of LPNMR systems with other computational paradigms;
* Embedded LPNMR: Systems using LPNMR subsystems.
SUBMISSION
LPNMR 2015 welcomes submissions of long papers (13 pages) or short papers
(6 pages) in the following categories:
* Technical papers
* System descriptions
* Application descriptions
The indicated number of pages includes title page, references and
figures. All submissions will be peer-reviewed and accepted papers will
appear in the conference proceedings published in the Springer-Verlag
Lecture Notes in Artificial Intelligence (LNAI/LNCS) series. At least one
author of each accepted paper is expected to register for the conference
to present the work. Submissions must be formatted according to the
Springer LNCS author instructions,
http://www.springer.com/comp/lncs/Authors.html
must be written in English, and present original research. Paper
submission will be electronic through the LPNMR-15 Easychair site:
https://www.easychair.org/conferences/?conf=lpnmr2015
Two best papers of general AI interest will be invited for rapid
publication in the journal Artificial Intelligence - Journal - Elsevier.
Two best papers with narrower logic programming focus will be invited
for a rapid publication in the journal Theory and Practice of Logic
Programming.
MULTIPLE SUBMISSION POLICY
LPNMR 2015 will not accept any paper which, at the time of submission, is
under review or has already been published or accepted for publication in
a journal or another conference. Authors are also required not to submit
their papers elsewhere during LPNMR's review period. However, these
restrictions do not apply to previous workshops with a limited audience
and without archival proceedings.
ASSOCIATED EVENTS
WORKSHOPS - LPNMR 2015 will include specialized workshops to be held on
September 27 prior to the main conference. Currently planned workshops
include:
- Grounding, Transforming, and Modularizing Theories with Variables
Organizers: Marc Denecker, Tomi Janhunen
Website: https://sites.google.com/site/gttv2015/
- Action Languages, Process Modeling, and Policy Reasoning
Organizer: Joohyung Lee
Website: https://sites.google.com/site/alpp2015/
- Natural Language Processing and Automated Reasoning
Organizers: Marcello Balduccini, Ekaterina Ovchinnikova, Peter Schueller
Website: https://sites.google.com/site/nlpar2015/
- Learning and Nonmonotonic Reasoning
Organizers: Alessandra Russo and Alessandra Mileo
Website: http://lnmr2015.insight-centre.org/
ASP COMPETITION - A special session dedicated to a discussion of the
6th ASP System Competition, including the methodology of the competition,
benchmarks used, lessons learned and, most importantly, the results and
the announcement of the winners.
ALGORITHMIC DECISION THEORY (ADT) 2015 (collocated - same time and place)
Algorithmic Decision Theory is a vibrant and growing area of research
concerned with algorithmic aspects of problems arising in social choice
and economics that involve optimal ways to aggregate preferences. The
area abounds in hard computational problems and may be an axciting area
of applications for ASP. The two conferences will seek ways to identify
and promote synergies between their respective areas of focus.
JOINT LPNMR-ADT DOCTORAL CONSORTIUM:
co-Chairs:
- Esra Erdem (LPNMR), Sabanci University, Turkey
- Nick Mattei (ADT), NICTA, Australia
More info:
http://lpnmr2015.mat.unical.it/associated-events/adt-lpnmr-2015-doctoral-consortium
COMPLIMENTARY MEMBERSHIP OFFER FOR CONFERENCE REGISTRANTS NEW TO AAAI
LPNMR 2015 is pleased to acknowledge its cooperation with the Association
for the Advancement of Artificial Intelligence (AAAI)
[http://www.aaai.org], which will be publicizing the conference to its
membership. Of special interest to conference attendees is an introductory
membership offer from AAAI, which provides a complimentary 1-year online
membership to conference participants who are new to AAAI. Please send a
message to membership15 at aaai.org for further details.
IMPORTANT DATES
* Paper registration: April 19th, 2015
* Paper submission: April 24th, 2015
* Notification: June 1st, 2015
* Final versions due: June 15th, 2015
VENUE
Lexington is a medium size, pleasant and quiet university town. It is
located in the heart of the so-called Bluegrass Region in Central Kentucky.
The city is surrounded by beautiful horse farms on green pastures dotted
with ponds and traditional architecture stables, and small race tracks, and
bordered by white or black fences. The Horse Museum is as beautifully
located as it is interesting. Overall, the city has a nice feel that mixes
well old and new. The conference will be held in the Hilton Lexington
Downtown hotel.
GENERAL CHAIR
Victor Marek, University of Kentucky, KY, USA
PROGRAM CHAIRS
Giovambattista Ianni, University of Calabria, Italy
Mirek Truszczynski, University of Kentucky, KY, USA
WORKSHOPS CHAIR
Yuliya Lierler, University of Nebrska at Omaha, NE, USA
PUBLICITY CHAIR
Francesco Calimeri, University of Calabria, Italy
PROGRAM COMMITTEE
Agostino Dovier, Università di Udine, Italy
Agustín Valverde, Universidad de Màlaga, Spain
Alessandra Mileo, National University of Ireland, Galway, INSIGHT
Centre for Data Analytics, Ireland
Andrea Formisano, Dip. di Matematica e Informatica, Università di
Perugia, Italy
Axel Polleres, Vienna University of Economics and Business, Austria
Bart Bogaerts, Department of Computer Science, KU Leuven, Belgium
Chiaki Sakama, Wakayama University, Japan
Chitta Baral, Arizona State University, USA
Christoph Redl, Vienna University of Technology, Austria
Daniela Inclezan, Miami University, USA
David Pearce, Universidad Politécnica de Madrid, Spain
Emilia Oikarinen, Aalto University, Finland
Enrico Pontelli, New Mexico State University, USA
Esra Erdem, Sabanci University, Istanbul, Turkey
Eugenia Ternovska, Simon Fraser University, Canada
Fangkai Yang, Schlumberger Ltd
Fangzhen Lin, Hong Kong University of Science and Technology, Hong Kong
Francesco Calimeri, Università della Calabria, Italy
Gerhard Brewka, Leipzig University, Germany
Giovanni Grasso, Oxford University, UK
Hannes Strass, Leipzig University, Germany
Hans Tompits, Vienna University of Technology, Austria
James Delgrande, Simon Fraser University, Canada
Jia-Huai You, University of Alberta, Canada
Joohyung Lee, Arizona State University, USA
Jose Julio Alferes, Universidade Nova de Lisboa, Portugal
Kewen Wang, Griffith University, Australia
Marc Denecker, K.U.Leuven, Belgium
Marcello Balduccini, Drexel University, USA
Marina De Vos, University of Bath, UK
Martin Gebser, Aalto University, Finland
Matthias Knorr, NOVA-LINCS, Universidade Nova de Lisboa, Portugal
Mauricio Osorio, Fundacion de la Universidad de las Americas, Puebla, Mexico
Michael Fink, Vienna University of Technology, Austria
Michael Gelfond, Texas Tech University, USA
Orkunt Sabuncu, University of Potsdam, Germany
Paul Fodor, Stony Brook University, USA
Pedro Cabalar, University of Corunna, Spain
Saadat Anwar, Arizona State University, USA
Stefan Woltran, Vienna University of Technology
Stefania Costantini, Dipartimento di Ingegneria e Scienze
dell'Informazione, e Matematica, Univ. di L'Aquila, Italy
Terrance Swift, CENTRIA, Universidade Nova de Lisboa, Portugal
Thomas Eiter, Vienna University of Technology, Austria
Tomi Janhunen, Aalto University, Finland
Torsten Schaub, University of Potsdam, Germany
Tran Cao Son, New Mexico State University, USA
Vladimir Lifschitz, University of Texas at Austin, USA
Wolfgang Faber, University of Huddersfield, UK
Yi Zhou, University of Western Sydney, Australia
Yisong Wang, Guizhou University, China
Yuliya Lierler, University of Nebraska at Omaha, USA
CONTACT
lpnmr2015 at mat.unical.it
From asdm at fi.upm.es Thu Apr 9 21:07:40 2015
From: asdm at fi.upm.es (asdm at fi.upm.es)
Date: Thu, 9 Apr 2015 21:07:40 +0200 (CEST)
Subject: Tenth Advanced Statistics and Data Mining Summer School (Madrid) -
Early registration reminder
Message-ID: <1151593579.46.1428606307830.JavaMail.Bojan@neurolab>
Dear colleagues,
We would like to remind you that the early registration period for the 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 (15 lecture hours each), given during two weeks (six courses per week). Attendees may register in each course independently. No restrictions, besides those imposed by timetables, apply on the number or choice of courses.
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 publicity at ecmlpkdd2015.org Fri Apr 10 09:35:04 2015
From: publicity at ecmlpkdd2015.org (ECMLPKDD 2015)
Date: Fri, 10 Apr 2015 08:35:04 +0100
Subject: ECMLPKDD 2015: Summer School on Data Sciences for Big Data - Resource Aware Data Mining
Message-ID: <007901d07360$de60b9c0$9b222d40$@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 t.dinoia at poliba.it Fri Apr 10 16:20:51 2015
From: t.dinoia at poliba.it (Tommaso Di Noia)
Date: Fri, 10 Apr 2015 16:20:51 +0200
Subject: LAST MILE: EC-Web 2015 - Special Track on Search, Comparison and
Recommender Systems
Message-ID: <5527DC43.9070900@poliba.it>
** apologies for cross-posting **
Special Track on Search, Comparison and Recommender Systems
16th International Conference on Electronic Commerce and Web
Technologies - EC-Web 2015
Valencia, Spain
September 1 - 2, 2015
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.
SPECIAL TRACK on Search, Comparison and Recommender Systems
In the Web era, resource retrieval techniques play a fundamental role in
helping the users to deal with the issues related to information
overload. Today's search engines as well as matchmaking systems are no
more working solely on pure text/keyword analysis. Their results are
computed and enriched by putting together, e.g., link-based data, user
preferences as well as information encoded into the so called knowledge
graphs. The same happens for personalized information filtering systems,
such as recommender systems, where pure collaborative and content-based
approaches are hybridized with each other, combined and fed by many
different and diverse data sources in order to improve not only the
accuracy of results but also their novelty, diversity, and serendipity.
This track will mainly focus on:
- Search
- Knowledge graphs
- Matchmaking
- Recommender systems
- User modeling
- Preference representation and reasoning
- Similarity metrics
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
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 in the Springer
Lecture Notes in Business Information Processing (LNBIP) series.
IMPORTANT DATES
Submission of full papers: April 15, 2015
Notification of acceptance: May 20, 2015
Camera-ready copies due: June 06, 2015
PROGRAM CHAIRS
Heiner Stuckenschmidt - University of Mannheim [Germany]
Dietmar Jannach - TU Dortmund [Germany]
TRACK CHAIR
Tommaso Di Noia - Politecnico di Bari [Italy]
PROGRAMME COMMITTEE
Liliana Ardissono - University of Torino [Italy]
Pierpaolo Basile - University of Bari Aldo Moro [Italy]
Alejandro Bellogín - Universidad Autonoma de Madrid [Spain]
Robin Burke - De Paul University [USA]
Federica Cena - University of Turin [Italy]
Paolo Cremonesi - Politecnico di Milano [Italy]
Marco de Gemmis - University of Bari, Aldo Moro [Italy]
Ernesto William De Luca - FH Potsdam [Germany]
Alexander Felfernig - Graz University of Technology [Austria]
Fabio Gasparetti - Roma Tre University [Italy]
Stuart E. Middleton - University of Southampton [UK]
Cataldo Musto - University of Bari Aldo Moro [Italy]
Fedelucio Narducci - University of Bari Aldo Moro [Italy]
Vito Claudio Ostuni - Mandora Media, Inc. [USA]
Umberto Panniello - Polytechnic University of Bari [Italy]
Francesco Ricci - Free University of Bozen-Bolzano [Italy]
Matthew Rowe - University of Lancaster [UK]
Markus Zanker - Alpen-Adria Universität Klagenfurt [Austria]
From universal.logic at ufc.br Fri Apr 10 17:27:53 2015
From: universal.logic at ufc.br (Universal Logic)
Date: Fri, 10 Apr 2015 12:27:53 -0300 (BRT)
Subject: Is there any future for logic?
Message-ID: <279fbb25639d091186b4074174fc3387.squirrel@correio1.ufc.br>
Call for Papers
The Future Logic - Contest at the 5th World Congress on Universal Logic -
Istanbul, June 2015
http://www.uni-log.org/future-of-logic
Deadline extension: May 4, 2015
Modern logic (starting with George Boole at the mid of the XIX century)
changed the world: it led to new understanding of reasoning, language,
mathematics. It gave new directions in philosophy and gave birth to
computation. After 150 years we may wonder what is the future of so
successful a science, nowadays much of the time in the shadow of its
multifaceted offsprings This contest wants to promote a reflexion on what
can be the future of logic considering its 150-years history. Here are a
few questions:
1) Will or can logic give a better understanding to sciences / fields such
as physics, biology, economics, music, information?
2) How will evolve the internal life of logic, its objectives and tools?
3) How will develop the interactions between logic and philosophy, logic
and mathematics, logic and computation?
To take part to the contest submit a paper of 10 to 15 pages by May 4,
2015 to:
unilog.contest2015 at gmail.com
The best papers will be selected for presentation in a special session
during the event and a jury will decide during the event who are the
winners: gold, silver and bronze medals.
Members of the Jury are Patrick Blackburn, Walter Carnielli (president)
and John Corcoran. The prize is offered by Birkhäuser Science Basel,
Switzerland.
A special issue of Logica Universalis will be published with the best
papers related to this contest
as was published after the previous contest at UNILOG'2013 in Rio de Janeiro
Logica Universalis - Scope of Logic Theorems - Volume 8, issue 3-4- 2014
http://link.springer.com/journal/11787/8/3/page/1
World Congress and School on Universal Logic
Montreux 2005, Xi'an 2007, Lisbon 2010, Rio de Janeiro 2013, Istanbul 2015
http://www.uni-log.org
From grlmc at urv.cat Sat Apr 11 19:03:45 2015
From: grlmc at urv.cat (GRLMC)
Date: Sat, 11 Apr 2015 19:03:45 +0200
Subject: SLSP 2015: 1st call for papers
Message-ID: <73207413BF524496A2915B4FE5D69CA8@Carlos1>
*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
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:
to be announced
PROGRAMME COMMITTEE:
Steven Abney (University of Michigan, Ann Arbor, USA)
Jean-François Bonastre (University of Avignon, France)
Nicoletta Calzolari (National Research Council, Pisa, Italy)
Kevin Bretonnel Cohen (University of Colorado, Denver, USA)
W. Bruce Croft (University of Massachusetts, Amherst, USA)
Udo Hahn (University of Jena, Germany)
Mark Hasegawa-Johnson (University of Illinois, Urbana, USA)
Jing Jiang (Singapore Management University, Singapore)
Tracy Holloway King (A9.com, Palo Alto, USA)
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)
Bhiksha Raj (Carnegie Mellon University, Pittsburgh, USA)
Javier Ramírez (University of Granada, Spain)
Dietrich Rebholz-Schuhmann (University of Zurich, Switzerland)
Douglas A. Reynolds (Massachusetts Institute of Technology, Lexington, USA)
Michael Riley (Google Inc., Mountain View, USA)
Stefan Schulz (Medical University of Graz, Austria)
Tomoki Toda (Nara Institute of Science and Technology, Japan)
Klára Vicsi (Budapest University of Technology and Economics, Hungary)
Enrique Vidal (Technical University of Valencia, Spain)
Junichi Yamagishi (University of Edinburgh, UK)
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 mpavone at dmi.unict.it Tue Apr 14 12:20:15 2015
From: mpavone at dmi.unict.it (Mario Pavone)
Date: Tue, 14 Apr 2015 12:20:15 +0200
Subject: Int. Congress on Systems Immunology, Immunoinformatics &
Immune-Computation - CfP ICSI^3 2015 - submission deadline: April 28, 2015
Message-ID: <20150414122015.Horde.1GXDb_ph4B9VLOnf4jaWz-A@mbox.dmi.unict.it>
[Apologies if you receive multiple copies of this announcement]
[Please kindly help forward it to potentially interested attendees]
International Congress on Systems Immunology, Immunoinformatics &
Immune-Computation
ICSI^3 2015 - Immunology without Borders -
July 17-18, 2015 - Taormina, Italy
http://www.dmi.unict.it/ais2015/
ais2015 at ieee-cis-ais.org
*************************
CALL FOR PAPERS
*************************
SUBMISSION DEADLINE: April 28, 2015
http://www.dmi.unict.it/ais2015/index.php/submission
**** PLENARY SPEAKERS:
+ Alessandro Sette, La Jolla Institute for Allergy & Immunology, La
Jolla, USA
?Bioinformatic & Immunological Approaches to Map Immune Reactivity in Humans?
+ Hugues Bersini, IRIDIA, Universite Libre de Bruxelles, Belgium
?A Qualitative Language for Computer Simulations of immune Systems?
http://www.dmi.unict.it/ais2015/index.php/plenary-speakers
**** TWO SPECIAL ISSUES:
+ BMC Immunology
+ Engineering Applications of Artificial Intelligence
http://www.dmi.unict.it/ais2015/index.php/calls
**** POST-PROCEEDINGS in IEEE Volume
**** ICSI^3 2015 accepts three different submissions:
(i) long paper (8-pages max);
(ii) short paper (2-pages length);
(iii) abstract for oral/poster presentation (no pages restriction).
The first two is required the IEEE style, and will be published as
post-proceedings in IEEE Volume; the last one may be in any format and
it must discuss works in progress; new research ideas; works
previously published elsewhere, and all that can be challenging for
the attendees.
All submissions will be subject to peer review by the program
committee (more than 175 members), and all accepted submissions are
allocated either an oral presentation slot or a poster slot with no
distinction being made between the submission options.
For more information see http://www.dmi.unict.it/ais2015/index.php/calls
**** ICSI^3 2015 Submission System
The link to submit papers is the following:
http://www.dmi.unict.it/ais2015/index.php/submission
The deadline is April 28, 2015
**** Important Dates
- Long & Short Paper submission: 28th April 2015
- Abstract submission: 28th April 2015
- Long & Short Paper notification: 13rd May 2015
- Abstract Notification: 13rd May 2015
- Camera-ready submission: 28th May 2015
- Early Registration: 28th May 2015
**** ICSI^3 2015 Program Committee
The current Program Committee includes more than 175 confirmed members:
http://www.dmi.unict.it/ais2015/index.php/program-committee
Looking forward to welcoming you to Taormina in July 2015!
ICSI^3 2015 Organizing Team.
---
http://www.dmi.unict.it/ais2015/
ais2015 at ieee-cis-ais.org
From schon at uni-koblenz.de Tue Apr 14 12:59:03 2015
From: schon at uni-koblenz.de (Claudia Schon)
Date: Tue, 14 Apr 2015 12:59:03 +0200
Subject: CFP Bridging 2015
Message-ID: <793A283D-AF4B-49F2-BCF3-C7000F310FA1@uni-koblenz.de>
CALL FOR PAPERS
[Apologies if you receive multiple copies of this announcement]
[Please kindly help forward it to potentially interested attendees]
Workshop on:
Bridging the Gap between Human and Automated Reasoning
located at CADE-25, Berlin, Germany, Aug 1, 2015
http://ratiolog.uni-koblenz.de/bridging.html
Human reasoning or the psychology of deduction is well researched in cognitive psychology and in cognitive science. There are a lot of findings which are based on experimental data about reasoning tasks, among others models for the Wason selection task or the suppression task discussed by Byrne and others. This research is supported also by brain researchers, who aim at localizing reasoning processes within the brain. Automated deduction, on the other hand, is mainly focusing on the automated proof search in logical calculi. And indeed there is tremendous success during the last decades. Recently a coupling of the areas of cognitive science and automated reasoning is addressed in several approaches. For example there is increasing interest in modeling human reasoning within automated reasoning systems including modeling with answer set programming, deontic logic or abductive logic programming. There are also various approaches within AI research.
This workshop is intended to get an overview of existing approaches and make a step towards a cooperation between computational logic and cognitive science. Topics of interest include, but are not limited to the following:
- limits and differences between automated and human reasoning
- psychology of deduction
- common sense reasoning
- logics modeling human cognition
- modeling human reasoning using automated reasoning systems
- non-monotonic, defeasible, and classical reasoning and possible explanations for human reasoning
- application fields of automated reasoning in the interaction with human reasoners
The workshop will be held in conjunction with CADE-25.
IMPORTANT DATES
Submission deadline: May 1, 2015
Notification: May 22, 2015
Final Submission: June 5, 2015
Workshop: Aug 1, 2015
SUBMISSION AND CONTRIBUTION FORMAT
Papers, including the description of work in progress are welcome and should be formatted according to the Springer LNCS guidelines. The length should not exceed 15 pages. All papers must be submitted in PDF. Formatting instructions and the LNCS style files can be obtained at http://www.springer.de/comp/lncs/authors.htm.
The EasyChair submission site is available at:
https://easychair.org/conferences/?conf=bridging15.
PROGRAM COMMITTEE/ORGANIZERS
Ulrich Furbach, University of Koblenz
Steffen Hölldobler, University of Dresden
Gabriele Kern-Isberner, TU Dortmund University
Markus Knauff, University of Giessen
Kai-Uwe Kuehnberger, University of Osnabrück
Marco Ragni, University of Freiburg
Claudia Schon, University of Koblenz
Natarajan Shankar, SRI International
Keith Stenning, Edinburgh University
Frieder Stolzenburg, Harz University of Applied Sciences
Contact: Claudia Schon schon at uni-koblenz.de
From C.Orasan at wlv.ac.uk Tue Apr 14 16:47:41 2015
From: C.Orasan at wlv.ac.uk (Orasan, Constantin)
Date: Tue, 14 Apr 2015 14:47:41 +0000
Subject: NLP4TM: 1st Call for papers
Message-ID: <1429022868.28867.6.camel@wlv.ac.uk>
[apologies for cross-posting]
1st Workshop on Natural Language Processing for Translation Memories
(NLP4TM)
collocated with RANLP 2015, Hissar, Bulgaria
Home page: http://rgcl.wlv.ac.uk/nlp4tm/
Submission deadline: 26th June 2015
Workshop date: 11th Sept 2015
1. Introduction
Translation Memories (TM) are amongst the most used tools by
professional translators. The underlying idea of TMs is that a
translator should benefit as much as possible from previous
translations by being able to retrieve how a similar sentence was
translated before. Despite the fact that the core idea of these
systems relies on comparing segments (typically of sentence length)
from the document to be translated with segments from previous
translations, most of the existing TM systems hardly use any language
processing for this. Instead of addressing this issue, most of the
work on translation memories focused on improving the user experience
by allowing processing of a variety of document formats, intuitive
user interfaces, etc.
The term second generation translation memories has been around for
more than ten years and it promises translation memory software that
integrates linguistic processing in order to improve the translation
process. This linguistic processing can involve matching of
subsentential chunks, edit distance operations between syntactic
trees, incorporation of semantic and discourse information in the
matching process. This workshop invites papers presenting second
generation translation memories and related initiatives.
Terminologies, glossaries and ontologies are also very useful for
translation memories, by facilitating the task of the translator and
ensuring a consistent translation. The field of Natural Language
Processing (NLP) has proposed numerous methods for terminology
extraction and ontology extraction. Researchers are encouraged to
submit papers to the workshop which show how these methods are being
successfully applied to Translation Memories. In addition, papers
discussing the integration of Machine Translation and Translation
Memories or studies about automatic building of translation memories
from corpora are also welcomed.
2. Topic covered
This workshop invites original papers which show how language
processing can help translation memories. Topics of interest include
but are not limited to:
- improving matching and retrieval of segments by using morphological,
- syntactic, semantic and discourse information
- automatic extraction of terminologies and ontologies for translation
memories
- integration of named entity recognition and terminologies in
matching and retrieval
- using natural language processing for automatic construction of
translation memories
- extracting and aligning TM segments from a parallel or comparable
corpus
- construction of translation memories using the Internet
- corpus based studies about the usefulness of TM for specific domains
- development of hybrid TM and MT translation systems
- study of NLP techniques used by TM tools available in the market
Authors can submit full papers describing original completed research,
short papers presenting on going research ideas and demos of working
systems.
3. Important dates
Submission deadline: 26 June 2015
Acceptance notification: 25 July 2015
Camera-ready versions: 9 August 2015
Workshop date: 11 September 2015, in conjunction with RANLP 2015
4. Submission
Papers should be submitted using the START system. More details can be
found at http://rgcl.wlv.ac.uk/nlp4tm/nlp4tm-submit-paper/
5. Programme committee
- Manuel Arcedillo, Hermes, Spain
- Juanjo Arevalillo, Hermes, Spain
- Eduard Barbu, Translated, Italy
- Gloria Corpas, University of Malaga, Spain
- Maud Ehrmann, University of Lausanne, Switzerland
- Kevin Flanagan, Swansea University, UK
- Gabriela Gonzalez, eTrad, Argentina
- Manuel Herranz, Pangeanic, Spain
- Qun Liu, DCU, Ireland
- Ruslan Mitkov, University of Wolverhampton, UK
- Gabor Proszeky, Morphologic, Hungary
- Uwe Reinke, Cologne University of Applied Sciences, Germany
- Michel Simard, NRC, Canada
- Mark Shuttleworth, UCL, UK
- Masao Utiyama, NICT, Japan
- Andy Way, DCU, Ireland
- Marcos Zampieri, Saarland University and DFKI, Germany
- Ventsislav Zhechev, Autodesk
6. Organising committee
- Constantin Orasan, University of Wolverhampton, UK
- Rohit Gupta, University of Wolverhampton, UK
This workshop is partially supported by the EXPERT project (
http://expert-itn.eu).
--
Dr. Constantin Orasan
Reader in Computational Linguistics
Deputy Head of the Research Group in Computational Linguistics
Research Group in Computational Linguistics
http://www.wlv.ac.uk/~in6093/
University of Wolverhampton
From mvm at cs.uns.edu.ar Tue Apr 14 20:18:11 2015
From: mvm at cs.uns.edu.ar (Vanina Martinez)
Date: Tue, 14 Apr 2015 15:18:11 -0300
Subject: CfP: FoIKS 2016 || March 7-11, 2016 - Linz, Austria
Message-ID:
**Apologies for cross-postings***
Please consider to contribute to and/or forward to the appropriate groups
the following opportunity to submit and publish original scientific results
to FoIKS 2016.
Abstract submission deadline is October 04, 2015.
============== 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 athttps://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 dehaan at kr.tuwien.ac.at Wed Apr 15 17:41:06 2015
From: dehaan at kr.tuwien.ac.at (Ronald de Haan)
Date: Wed, 15 Apr 2015 17:41:06 +0200
Subject: PhDs in Logic VII (May 14-16, 2015), Call for participation
Message-ID:
PhDs in Logic VII
May 14-16th, 2015
VIENNA, AUSTRIA
http://phdsinlogic.logic-cs.at
CALL FOR PARTICIPATION
PhDs in Logic is an annual graduate conference in logic. Each year we
invite four established researchers in various branches of logic to do a
tutorial on their work in two 45-minute sessions. We also give PhD
students the opportunity to do a twenty-minute presentation on their
own work or an overview of some topic in their field.
The conference includes the following tutorial speakers.
Thomas Eiter (Vienna University of Technology)
Michael Moortgat (Universiteit Utrecht)
Revantha Ramanayake (Vienna University of Technology)
Uli Sattler (University of Manchester)
Torsten Schaub (University Potsdam)
PhD students in logic with a background in philosophy, computer science,
mathematics or linguistics are the intended audience for these
tutorials. We welcome students to participate in PhDs in Logic VII. We also
invite master students in logic, first year postdocs, and logicians from
disciplines other than philosophy, computer science, mathematics and
linguistics to apply.
Registration is free of charge. Participants can register on our website at
http://phdsinlogic.logic-cs.at, until April 24, 2015. In case you have any
questions, please do not hesitate to contact us via phdsinlogic at gmail.com.
Organizing Committee: Ronald de Haan, Martin Kronegger.
Scientific Committee: Agata Ciabattoni, Jan van Eijck, Chris Fermüller,
Nina Gierasimczuk, Martin Goldstern, Thomas Icard, Eric Pacuit,
Jakub Szymanik, Anna Zamansky.
Advisory Board: Stefan Szeider, Helmut Veith.
Sponsors: Vienna Center for Logic and Algorithms, Doctoral Program
Logical Methods in Computer Science.
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL:
From strass at informatik.uni-leipzig.de Wed Apr 15 18:27:28 2015
From: strass at informatik.uni-leipzig.de (=?UTF-8?B?SGFubmVzIFN0cmHDnw==?=)
Date: Wed, 15 Apr 2015 18:27:28 +0200
Subject: CfP: The First International Workshop on Argumentation and Logic
Programming (ArgLP 2015)
Message-ID: <552E9170.2080204@informatik.uni-leipzig.de>
Call for Papers: The First International Workshop on Argumentation and
Logic Programming (ArgLP 2015)
Cork, Ireland, 31 August, 2015
(co-located with ICLP 2015)
Workshop webpage:
https://ddll.inf.tu-dresden.de/web/Sarah_Alice_Gaggl/ArgLP2015
Selected papers will be considered for a special issue of Fundamenta
Informaticae (http://www.iospress.nl/journal/fundamenta-informaticae/)
----------
MOTIVATION
----------
Argumentation has been more and more an active research field in areas
as Multi-Agent Systems, Knowledge Representation and Reasoning,
Artificial Intelligence, Philosophy, Law, etc. From the computational
point of view, logic programming has been influencing fundamental roots
of argumentation. Indeed, since Dung formalized a family of
argumentation inferences in terms of the so called argumentation
semantics, he showed that these argumentation semantics have strong
roots in logic-based theories.
The relationship between logic programming and argumentation has
attracted increased attention in the last years. Studies range from
translating one into the other and back, using argumentation to explain
logic programming models, and using logic programming systems to
implement argumentation-based languages (ASPARTIX, DIAMOND). Influences
go both ways and we believe that both fields can benefit from learning
about each other.
This year the presentation of the results of the First International
Competition on Computational Models of Argumentation (ICCMA) will be
done at TAFA 2015 (co-located with IJCAI 2015). Since some of the most
widely known argumentation solvers are based on logic programming
methodologies, e.g., ASPARTIX, it is expected that new argumentation
solvers based on logic programming could appear. In this setting, ArgLP
is aiming at catching the attention of the logic programming community
to increase the influence of logic programming in the new theoretical
and practical developments of argumentation.
------
TOPICS
------
Topics of interest include but are not limited to:
- New developments of argumentation systems based on logic programming
- New studies between argumentation semantics and logic programming
semantics
- New studies of non-monotonic reasoning properties of argumentation
semantics
- The relationship of defeasible logic programming and argumentation
- Studying the relationship between logic programs and various
argumentation formalisms (e.g. Dung frameworks, extended AFs, bipolar
AFs, value-based AFs, abstract dialectical frameworks, ...)
- Applications related to argumentation and logic programming
---------------
IMPORTANT DATES
---------------
15 June, 2015: Paper submission deadline
13 July, 2015: Notification of acceptance
27 July, 2015: Final manuscripts due
31 August, 2015: Workshop date
----------------------------
PAPER SUBMISSION INFORMATION
----------------------------
All papers must present original and innovative work. (Double submission
is allowed if the work is not yet formally published at the time of
submission.) Papers will be evaluated according to their significance,
originality, technical content and relevance to the workshop.
Papers must not exceed 15 pages in length and should be formatted using
the guidelines of Fundamenta Informaticae:
http://fi.mimuw.edu.pl/fundam.zip
Please submit your contributions electronically in PDF format to EasyChair:
https://easychair.org/conferences/?conf=arglp2015
-----------
PROCEEDINGS
-----------
Accepted papers will be included in the workshop on-line proceedings.
At least one author of each accepted paper is expected to register to
the workshop and attend the workshop to present the paper.
-------------
SPECIAL ISSUE
-------------
A selection of the best papers of ArgLP will be published as a special
issue in the Fundamenta Informaticae Journal
(http://www.iospress.nl/journal/fundamenta-informaticae/) after a second
evaluation.
-----------------------------
ORGANIZATION
-----------------------------
Sarah Gaggl, TU Dresden, Germany
Juan Carlos Nieves, Umeå University, Sweden
Hannes Strass, Leipzig University, Germany
-----------------
PROGRAM COMMITTEE
-----------------
- Gerhard Brewka
- Sylvie Doutre
- Phan Minh Dung
- Dov Gabbay
- Gabriele Kern-Isberner
- Mauricio Osorio
- Ken Satoh
- Jan Sefranek
- Guillermo Simari
- Francesca Toni
- Paolo Torroni
- Marina De Vos
- Stefan Woltran
- Toshiko Wakaki
---------------------------------
ANTI-HARASSMENT POLICY
---------------------------------
The open exchange of ideas and the freedom of thought and expression are
central to the values and goals of ArgLP. 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, ArgLP is committed to providing a
harassment-free conference experience, and implements the ACM policy
against harassment
(http://www.acm.org/sigs/volunteer_resources/officers_manual/anti-harassment-policy).
ArgLP 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 ICLP General Chair.
From martin.lange at uni-kassel.de Wed Apr 15 19:41:32 2015
From: martin.lange at uni-kassel.de (Martin Lange)
Date: Wed, 15 Apr 2015 19:41:32 +0200
Subject: TIME 2015 Last Call for Papers - the 22nd Int. Symp. on Temporal
Representation and Reasoning, Kassel, Germany
In-Reply-To: <54CB4173.6090504@uni-kassel.de>
References: <54CB4173.6090504@uni-kassel.de>
Message-ID: <552EA2CC.7080209@uni-kassel.de>
*** Apologies for multiple copies ***
22nd International Symposium on Temporal Representation and Reasoning,
TIME 2015
http://time2015.uni-kassel.de
Last call for papers - submission deadline on April 30th
TIME 2015 aims to bring together researchers interested in reasoning
about temporal aspects of information in any area of Computer Science.
The symposium, currently in its 22nd edition, has a wide remit and
intends to cater both for theoretical aspects and well-founded
applications. One of the key aspects of the time symposium is its
interdisciplinarity with attendees from distinct areas such as
artificial intelligence, database management, logic and verification,
and beyond.
Submissions of high quality papers describing research results are
solicited. Submitted papers should contain original, previously
unpublished content, should be written in English, and must not be
simultaneously submitted for publication elsewhere. Submitted papers
will be refereed for quality, correctness, originality, and relevance.
The symposium will encompass three tracks on temporal representation and
reasoning in AI, Databases, as well as Logic and Verification.
Temporal Representation and Reasoning in AI includes, but is not limited
to:
- temporal aspects of agent- and policy-based systems
- spatial and temporal reasoning
- reasoning about actions and change
- planning and planning languages
- ontologies of time and space-time
- belief and uncertainty in temporal knowledge
- temporal learning and discovery
- time in problem solving (e.g. diagnosis, scheduling)
- time in human-machine interaction
- temporal information extraction
- time in natural language processing
- spatio-temporal knowledge representation systems
- spatio-temporal ontologies for the semantic web
- constraint-based temporal reasoning
- temporal preferences
Temporal Database Management includes, but is not limited to:
- temporal data models and query languages
- temporal query processing and indexing
- temporal data mining
- time series data management
- stream data management
- spatio-temporal data management, including moving objects
- data currency and expiration
- indeterminate and imprecise temporal data
- temporal constraints
- temporal aspects of business processes and ECA systems
- real-time databases
- time-dependent security policies
- privacy in temporal and spatio-temporal data
- temporal aspects of multimedia databases
- temporal aspects of e-services and web applications
- temporal aspects of distributed systems
- temporal aspects and big data
- temporal aspects in NoSQL databases
- temporal data warehouses
- temporal healthcare databases and warehouses
- time series analysis and mining
- semistructured temporal data
- novel applications of temporal database management
- experiences with real applications
Temporal Logic and Verification in Computer Science includes, but is not
limited to:
- specification and verification of systems
- verification of web applications
- synthesis and execution
- model checking algorithms and implementations
- verification of infinite-state systems
- reasoning about transition systems
- temporal architectures
- temporal logics for distributed systems
- temporal logics for games and open systems
- temporal logics of knowledge
- hybrid systems and real-time logics
- tools and practical systems
- temporal issues in security
Important Dates
****************
- Submission deadline: April 30th
- Notification: June 30th
- Final version due: July 17th
- Early registration deadline: July 31st
- Symposium: September 23rd-25th
Invited Speakers
****************
- Giuseppe de Giacomo, Sapienza Università di Roma
- Carlo Zaniolo, UCLA
- Benedikt Bollig, ENS Cachan
Program Committee
********************
Thomas Ågotnes, Univ. of Bergen
Alessandro Artale, Free Univ. of Bolzano-Bozen
Sourav S. Bhowmick, Nanyang Technical Univ.
Michael Böhlen, Univ. of Zurich
Amedeo Cesta, ISTC-CNR, Rome
Carlo Combi, Univ. of Verona
Stephane Démri, CNRS, Cachan
Clare Dixon, Univ. of Liverpool
Curtis Dyreson, Utah State University
Johann Eder, Alpen Adria Univ. Klagenfurt
Shashi K. Gadia, Iowa State Univ.
Rajeev Goré, Australian National Univ., Canberra
Fabio Grandi, Univ. of Bologna (PC co-chair)
Keijo Heljanko, Aalto Univ.
Wojciech Jamroga, Polish Academy of Sciences, Warsaw
Felix Klaedtke, NEC Research, Heidelberg
Martin Lange, Univ. of Kassel (PC co-chair)
Francois Laroussinie, Univ. of Paris 7
Martin Leucker, Univ. of Lübeck
Alessio Lomuscio, Imperial College (PC co-chair)
Étienne Lozes, ENS Cachan
Federica Mandreoli, Univ. of Modena and Reggio Emilia
Jerzy Marcinkowski, Univ. of Wroclaw
Angelo Montanari, Univ. of Udine
Ben Moszkowski, Univ. of Newcastle
Aniello Murano, Univ. of Napoli "Federico II"
Kjetil Nørvåg, Norwegian Univ. of Science and Technology, Trondheim
Dirk Pattinson, Australian National Univ., Canberra
Ram Ramanujam, IMS Chennai
Sven Schewe, Univ. of Liverpool
Paolo Terenziani, Univ. of Turin
Mahesh Viswanathan, Univ. of Illinois at Urbana-Champaign
James Worrell, Univ. of Oxford
Robert Wrembel, Poznan Univ. of Technology
Submissions
************
Submissions should be in PDF format (with the necessary fonts embedded).
They must be formatted according to the IEEE guidelines and must not
exceed 10 pages (US letter format); over-length submissions may be
rejected without review. Submissions will be handled electronically by
Easychair.
Proceedings
************
Accepted papers will be presented at the symposium and included in the
proceedings, which will be published by the IEEE Conference Publishing
Services (CPS), as usual within the TIME series. Acceptance of a paper
is contingent on one author registering for and presenting the paper at
the symposium.
Journal Special Issue
********************
As in previous years, the authors of the best papers of the conference
will be invited to submit an extended version of their contribution to a
special issue on TIME 2015, to appear in the journal Information &
Computation.
Venue
******
TIME2015 will be held at the University of Kassel. The city of Kassel is
situated in the center of Germany with convenient train connections to
major cities and airports, including Frankfurt. Kassel is a center of
culture and art, once home to the famous Brothers Grimm, now hosting an
art school of high reputation and the documenta - regarded to be
Europe’s most important modern art exhibition taking place every fifth
year only. The 300-year-old “Bergpark”, a large park-like area with a
castle and monuments at Kassel’s western boundaries, has recently been
given the status of a UNESCO heritage site and become a major tourist
attraction since. For more information please consult
http://www.kassel.de/englisch/.
From michal.zawidzki at gmail.com Mon Apr 13 16:51:34 2015
From: michal.zawidzki at gmail.com (=?UTF-8?Q?Micha=C5=82_Zawidzki?=)
Date: Mon, 13 Apr 2015 16:51:34 +0200
Subject: 2nd Call for Papers: LQMR'15
Message-ID:
**Appologies for cross-posting**
*1st Workshop on Logics for Qualitative Modelling and Reasoning (LQMR'15)*
as a part of
FedCSIS - Federated Conference on Computer Science and Information Systems
13-16 September, 2015
Lodz, Poland
https://www.fedcsis.org/2015/lqmr
*2nd CALL FOR PAPERS*
*Deadline*: 24 April 2015
*INTRODUCTION*
LQMR'15 aims at bringing together researchers from various fields interested
in qualitative modelling and reasoning. In particular, the workshop will
focus on the formal approaches to qualitative reasoning, its philosophical
aspects and practical applications of QR methods in engineering and
computer science.
*INVITED SPEAKERS*
*Thomas Bittner*, Department of Philosophy, State University of New
York at Buffalo,
USA
(director of the Qualitative Spatial Reasoning unit of the Ontology Research
Group, leading expert in amongst others: formal ontology, qualitative
spatial reasoning and geographic information science)
*Ivan Bratko*, head of Artificial Intelligence Laboratory, Faculty of Computer
and Information Science of the University of Ljubljana
(author of over 200 scientific papers and numerous books, his research
interests
include machine learning, qualitative modelling and heuristic programming)
*Kenneth D. Forbus*, Walter P. Murphy Professor of Computer Science
and Professor
of Education, Northwestern University, USA
(head of the Cognitive Systems Area, prominent expert in qualitative reasoning,
analogical reasoning and learning, inference engine design)
*Ian Pratt-Hartmann*, School of Computer Science, The University of Manchester,
United Kingdom / Institute of Mathematics and Informatics, University of
Opole, Poland
(leading researcher in the fields of logic, AI and cognitive science. His main
interests include interfaces between logic and complexity theory, logic and
geometry and logic and natural language)
*AIMS AND SCOPE*
We invite submissions on all aspects of qualtitative modelling and reasoning
including but not limited to:
- logics for qualitative reasoning
- mixed qualitative–quantitative reasoning,
- formal (e.g., logical, relational) representations of qualitative
reasoning
- geometric, spatial, and temporal reasoning
- declarative spatial reasoning
- logical formalisations of qualitative motion
- knowledge representation and reasoning under incomplete, vague or
inconsistent
information
- qualitative decision theory
- qualitative reasoning in decision–support systems
- complexity of qualitative reasoning
- automated theorem proving for qualitative reasoning
- qualitative physics, and simulation
- qualitative methods in cognitive vision and robotics
- qualitative reasoning for product, mechanical, and architecture design
*IMPORTANT DATES*
- Paper submission: Friday Apr 24 2015 12:00:00 pm HST
- Acceptance decision: June 15, 2015
- Final version of paper submission: July 01, 2015
- Conference dates: September 13-16, 2015
*SUBMISSIONS DETAILS*
Instruction on paper submission, including style templates, are available at
the workshop's webpage:
https://www.fedcsis.org/2015/lqmr
Workshop proceedings will be published as a SEPARATE ELECTRONIC VOLUME, WITH
ISBN, ISSN AND DOI NUMBERS and will be made available at the conference WWW
site. These papers will be indexed in the BazEcon database, and submitted
for indexing to: Thomson Reuters Web of Science, SciVerse Scopus, Inspec,
DBLP Computer Science Bibliography and Google Scholar.
*PROGRAM COMMITTEE*
- Philippe Balbiani (University of Toulouse, France)
- Mohua Banerjee (Indian Institute of Technology, India)
- Mehul Bhatt, Co-Chair (University of Bremen, Germany)
- Ivan Bratko (University of Ljubljana, Slovenia)
- Domenico Cantone (University of Catania, Italy)
- Cezary Cieśliński (University of Warsaw, Poland)
- Davide Ciucci (University of Milano-Bicocca, Italy)
- Ivo Duentsch (Brock University, Canada)
- Alessandro Facchini (Dalle Molle Institute for Artificial
Intelligence, Switzerland)
- Nina Gierasimczuk (University of Amsterdam, The Netherlands)
- Joanna Golińska-Pilarek, Co-Chair (University of Warsaw, Poland)
- Valentin Goranko (Stockholm University, Sweden)
- Jarek Gryz (University of York, Canada)
- Taneli Huuskonen (University of Helsinki, Finland)
- Linh Nguyen (University of Warsaw, Poland)
- Marianna Nicolosi Asmundo (University of Catania, Italy)
- Manuel Ojeda-Aciego (University of Malaga, Spain)
- Ewa Orłowska (National Institute of Telecommunications, Poland)
- Ian Pratt-Hartmann (The University of Manchester, United Kingdom)
- Torsten Schaub (University Potsdam, Germany)
- Renate Schmidt (University of Manchester, United Kingdom)
- Carl Schultz (University of Bremen, Germany)
- Jakub Szymanik (University of Amsterdam, The Netherlands)
- Johan van Benthem (University of Amsterdam, The Netherlands)
*WORKSHOP CHAIRS*
- Tomasz Lechowski (University of Warsaw, Poland)
- Przemysław Wałęga (University of Warsaw, Poland)
- Michał Zawidzki (University of Lodz / University of Warsaw, Poland)
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL:
From ijcai2015.publicity at gmail.com Thu Apr 16 11:48:10 2015
From: ijcai2015.publicity at gmail.com (IJCAI 2015 Publicity Chairs)
Date: Thu, 16 Apr 2015 06:48:10 -0300
Subject: IJCAI 2015 Repeat Buyers Prediction Competition
Message-ID:
[Apology for cross-postings]
*************************************************************************************************
Repeat Buyers Prediction after Sales Promotion
IJCAI will inaugurate an exciting machine learning contest sponsored
by Alibaba Corp at the 2015 IJCAI Conference. This contest aims to
apply state of the art machine learning and data mining techniques to
predict which shoppers would become repeat buyers after sales
promotions. Click here (http://t.cn/RACykms) to find out more, and
please join and win the awards as well as travel grants to Argentina!
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 dietmar.jannach at tu-dortmund.de Thu Apr 16 12:45:14 2015
From: dietmar.jannach at tu-dortmund.de (Dietmar Jannach)
Date: Thu, 16 Apr 2015 12:45:14 +0200
Subject: EC-Web 2015: Call for papers (Submission Deadline: 1 June 2015)
Message-ID: <01c301d07832$6c5daa00$4518fe00$@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
*** New 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
From muh_sidd at encs.concordia.ca Fri Apr 17 07:38:24 2015
From: muh_sidd at encs.concordia.ca (Muhammad Umair Siddique)
Date: Fri, 17 Apr 2015 01:38:24 -0400
Subject: CICM 2015 Doctoral Programme [2nd Call for Applications]
Message-ID: <20150417013824.pnddfrow040w8880@mail.encs.concordia.ca>
CALL FOR APPLICATIONS
CICM 2015 Doctoral Programme
13-17 July 2015
Washington DC, USA
http://www.cicm-conference.org/2015/cicm.php
The CICM conferences Calculemus, DML, and MKM bring together
researchers from the areas of Artificial Intelligence, computer
algebra, automated deduction, and mathematical publishing who are
interested in intelligent mathematical computation. It provides
students an excellent opportunity to get an overview of ongoing
research, challenges and meet established researchers.
The Doctoral Programme provides a dedicated forum for PhD students to
present and discuss their ideas, ongoing or planned research, and
achieved results in an open atmosphere. It will consist of
presentations by the PhD students to get constructive feedback,
advice, and suggestions from the research advisory board, researchers,
and other PhD students. Each PhD student will be assigned to an
experienced researcher from the research advisory board who will act
as a mentor and who will provide detailed feedback and advice on their
intended and ongoing research.
APPLICATIONS
Students at any stage of their PhD can apply and should submit the
following documents:
* A two-page abstract of your thesis describing your research
questions, research plans, completed and remaining research,
evaluation plans and publication plans;
* A two-page CV that includes background information (name,
university, supervisor), education (degree sought, year/status of
degree, previous degrees), employments, relevant research experience
(publications, presentations, attended conferences or workshops,
etc.)
Acceptance of applications will be based on relevance with respect to
the topics of the CICM conference.
A limited number of student grants will be available for the
conference. To apply, please indicate this when submitting your
proposal including a short explanation why you need a grant. The
decision for the grants will be based on necessity and merit.
IMPORTANT DATES
Submission of applications: May 4, 2015
Notification of acceptance: May 25, 2015
For any further questions please contact Umair Siddique
(muh_sidd at ece.concordia.ca)
----- End forwarded message -----
From tobias.philipp at tu-dresden.de Fri Apr 17 10:30:13 2015
From: tobias.philipp at tu-dresden.de (Tobias Philipp)
Date: Fri, 17 Apr 2015 10:30:13 +0200
Subject: The European Master's Program in Computational Logic: Application until 31 May 2015
Message-ID:
Dear all,
I'd like to draw your attention to the fact that applications for the
European Master's Program in Computational Logic are still possible
UNTIL 31 May 2015.
More details are given below.
Please spread this information as wide as possible among friends and
colleagues, at your old universities and the places, where you currently
live and work.
Many thanks -- Steffen
*******************************************************************************************************
The European Master's Program in Computational Logic
We are glad to announce to you the possibility to join our European
Master's Program of Computational Logic. This program is offered jointly
at the Free-University of Bozen-Bolzano in Italy, the Technische
Universität Dresden in Germany, the Universidade Nova de Lisboa in
Portugal and the Technische Universität Wien in Austria. Within this
program you have the choice to study at two /three of the four European
universities. In addition, you can do your project work at the National
ICT of Australia (NICTA). You will graduate with a MSc in Computer
Science and obtain a joint degree. Information on the universities and
the program including the application procedure is provided here:
http://www.emcl-study.eu/home.html
Language of instruction is English. Tuition fees are 3.000 EUR (for
non-European students) and 1.000 (for European students) per year.
Do not hesitate to contact us if you have any further questions.
Kind regards -- Steffen Hölldobler
Prof. Dr. Steffen Hoelldobler
International Center for Computational Logic
Technische Universität Dresden
01062 Dresden, Germany
phone: [+49](351)46 33 83 40
fax: [+49](351)46 33 83 42
email: sh at iccl.tu-dresden.de
--
TU Dresden
Department of Computer Science
International Center for Computational Logic
01062 Dresden,Germany
Tel.: +49 (0)351 463 38341
--
In the case, you do not want to receive this email, please write an email to
tobias.philipp at tu-dresden.de, subject: UNSUBSCRIBE
From ajanthadahanayake at yahoo.com Fri Apr 17 15:27:26 2015
From: ajanthadahanayake at yahoo.com (Ajantha Dahanayake)
Date: Fri, 17 Apr 2015 13:27:26 +0000 (UTC)
Subject: Extended Deadline [CFP] DCSA2015 @ ADBIS2015
In-Reply-To: <1788547147.6185977.1429277019188.JavaMail.yahoo@mail.yahoo.com>
References: <1099410131.3120031.1429276463810.JavaMail.yahoo@mail.yahoo.com> <920559759.6186913.1429276816340.JavaMail.yahoo@mail.yahoo.com> <1788547147.6185977.1429277019188.JavaMail.yahoo@mail.yahoo.com>
Message-ID: <2082105293.6197390.1429277246464.JavaMail.yahoo@mail.yahoo.com>
Dear colleagues,
The extended deadline for papers submission is _*April 30, 2015. *_
The details are included in Call for Papers available at:
Data CenteredSmart Applications
DCSA website: http://www.is.informatik.uni-kiel.de/en/is/events/dcsa2015adbis/ Workshop incollaboration with The 19thinternational conference of Advanced Data Bases and Information Systems 2015(http://adbis2015.ensma.fr) ADBID 2015Futuroscope, Poitiers - France, September 8-11, 2015
Please encourage your colleagues/friends to submit papers to DCSA 2015.
We count on your contribution.
With Best Regards.
Ajantha Dahanayake & Bernhard Thalheim
DCSA 2015 Co-Chairs
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL:
From calimeri at mat.unical.it Fri Apr 17 22:40:02 2015
From: calimeri at mat.unical.it (Francesco Calimeri)
Date: Fri, 17 Apr 2015 22:40:02 +0200
Subject: CfP LPNMR 2015: DEADLINES UPDATE
Message-ID:
[apologies for any cross-posting]
Call for Papers
---------------------------------------------------------------------------
13th International Conference on
Logic Programming and Non-monotonic Reasoning
LPNMR 2015
http://lpnmr2015.mat.unical.it/
Lexington, KY, USA
September 27-30, 2015
(Collocated with the 4th Conference on Algorithmic Decision Theory 2015)
---------------------------------------------------------------------------
AIMS AND SCOPE
LPNMR 2015 is the thirteenth in the series of international meetings on
logic programming and non-monotonic reasoning. LPNMR is a forum for
exchanging ideas on declarative logic programming, non-monotonic reasoning,
and knowledge representation. The aim of the conference is to facilitate
interactions between researchers and practitioners interested in the
design and implementation of logic-based programming languages and
database systems, and those working in knowledge representation and
nonmonotonic reasoning. LPNMR strives to encompass theoretical and
experimental studies that have led or will lead to the construction of
systems for declarative programming and knowledge representation, as well
as their use in practical applications. This edition of LPNMR will feature
several workshops, a special session dedicated to the 6th ASP Systems
Competition, and will be collocated with the 4th Algorithmic Decision
Theory Conference, ADT 2015. Joint LPNMR-ADT Doctoral Consortium will be
a part of the program.
Authors are invited to submit papers presenting original and unpublished
research on all aspects of non-monotonic approaches in logic programming
and knowledge representation. We invite submissions of both long and
short papers.
TOPICS
Conference topics include, but are not limited to:
1. Foundations of LPNMR Systems:
* Semantics of new and existing languages;
* Action languages, causality;
* Relationships among formalisms;
* Complexity and expressive power;
* Inference algorithms and heuristics for LPNMR systems;
* Extensions of traditional LPNMR languages such as new logical
connectives or new inference capabilities;
* Updates, revision, and other operations on LPNMR systems;
* Uncertainty in LPNMR systems.
2. Implementation of LPNMR systems:
* System descriptions, comparisons, evaluations;
* Algorithms and novel techniques for efficient evaluation;
* LPNMR benchmarks.
3. Applications of LPNMR:
* Use of LPNMR in formalization of Commonsense Reasoning and other
areas of KR;
* LPNMR languages and algorithms in planning, diagnosis, argumentation,
reasoning with preferences, decision making and policies;
* Applications of LPNMR languages in data integration and exchange
systems, software engineering and model checking;
* Applications of LPNMR to linguistics, psychology, and other sciences
* Integration of LPNMR systems with other computational paradigms;
* Embedded LPNMR: Systems using LPNMR subsystems.
SUBMISSION
LPNMR 2015 welcomes submissions of long papers (13 pages) or short papers
(6 pages) in the following categories:
* Technical papers
* System descriptions
* Application descriptions
The indicated number of pages includes title page, references and
figures. All submissions will be peer-reviewed and accepted papers will
appear in the conference proceedings published in the Springer-Verlag
Lecture Notes in Artificial Intelligence (LNAI/LNCS) series. At least one
author of each accepted paper is expected to register for the conference
to present the work. Submissions must be formatted according to the
Springer LNCS author instructions,
http://www.springer.com/comp/lncs/Authors.html
must be written in English, and present original research. Paper
submission will be electronic through the LPNMR-15 Easychair site:
https://www.easychair.org/conferences/?conf=lpnmr2015
Two best papers of general AI interest will be invited for rapid
publication in the journal Artificial Intelligence - Journal - Elsevier.
Two best papers with narrower logic programming focus will be invited
for a rapid publication in the journal Theory and Practice of Logic
Programming.
MULTIPLE SUBMISSION POLICY
LPNMR 2015 will not accept any paper which, at the time of submission, is
under review or has already been published or accepted for publication in
a journal or another conference. Authors are also required not to submit
their papers elsewhere during LPNMR's review period. However, these
restrictions do not apply to previous workshops with a limited audience
and without archival proceedings.
ASSOCIATED EVENTS
WORKSHOPS - LPNMR 2015 will include specialized workshops to be held on
September 27 prior to the main conference. Currently planned workshops
include:
- Grounding, Transforming, and Modularizing Theories with Variables
Organizers: Marc Denecker, Tomi Janhunen
Website: https://sites.google.com/site/gttv2015/
- Action Languages, Process Modeling, and Policy Reasoning
Organizer: Joohyung Lee
Website: https://sites.google.com/site/alpp2015/
- Natural Language Processing and Automated Reasoning
Organizers: Marcello Balduccini, Ekaterina Ovchinnikova, Peter Schueller
Website: https://sites.google.com/site/nlpar2015/
- Learning and Nonmonotonic Reasoning
Organizers: Alessandra Russo and Alessandra Mileo
Website: http://lnmr2015.insight-centre.org/
ASP COMPETITION - A special session dedicated to a discussion of the
6th ASP System Competition, including the methodology of the competition,
benchmarks used, lessons learned and, most importantly, the results and
the announcement of the winners.
ALGORITHMIC DECISION THEORY (ADT) 2015 (collocated - same time and place)
Algorithmic Decision Theory is a vibrant and growing area of research
concerned with algorithmic aspects of problems arising in social choice
and economics that involve optimal ways to aggregate preferences. The
area abounds in hard computational problems and may be an axciting area
of applications for ASP. The two conferences will seek ways to identify
and promote synergies between their respective areas of focus.
JOINT LPNMR-ADT DOCTORAL CONSORTIUM:
co-Chairs:
- Esra Erdem (LPNMR), Sabanci University, Turkey
- Nick Mattei (ADT), NICTA, Australia
More info:
http://lpnmr2015.mat.unical.it/associated-events/adt-lpnmr-2015-doctoral-consortium
COMPLIMENTARY MEMBERSHIP OFFER FOR CONFERENCE REGISTRANTS NEW TO AAAI
LPNMR 2015 is pleased to acknowledge its cooperation with the Association
for the Advancement of Artificial Intelligence (AAAI)
[http://www.aaai.org], which will be publicizing the conference to its
membership. Of special interest to conference attendees is an introductory
membership offer from AAAI, which provides a complimentary 1-year online
membership to conference participants who are new to AAAI. Please send a
message to membership15 at aaai.org for further details.
IMPORTANT DATES
* Paper registration: April 24th, 2015 (*UPDATED*)
* Paper submission: April 30th, 2015 (*UPDATED*)
* Notification: June 1st, 2015
* Final versions due: June 15th, 2015
VENUE
Lexington is a medium size, pleasant and quiet university town. It is
located in the heart of the so-called Bluegrass Region in Central Kentucky.
The city is surrounded by beautiful horse farms on green pastures dotted
with ponds and traditional architecture stables, and small race tracks, and
bordered by white or black fences. The Horse Museum is as beautifully
located as it is interesting. Overall, the city has a nice feel that mixes
well old and new. The conference will be held in the Hilton Lexington
Downtown hotel.
GENERAL CHAIR
Victor Marek, University of Kentucky, KY, USA
PROGRAM CHAIRS
Giovambattista Ianni, University of Calabria, Italy
Mirek Truszczynski, University of Kentucky, KY, USA
WORKSHOPS CHAIR
Yuliya Lierler, University of Nebrska at Omaha, NE, USA
PUBLICITY CHAIR
Francesco Calimeri, University of Calabria, Italy
PROGRAM COMMITTEE
Agostino Dovier, Università di Udine, Italy
Agustín Valverde, Universidad de Màlaga, Spain
Alessandra Mileo, National University of Ireland, Galway, INSIGHT
Centre for Data Analytics, Ireland
Andrea Formisano, Dip. di Matematica e Informatica, Università di
Perugia, Italy
Axel Polleres, Vienna University of Economics and Business, Austria
Bart Bogaerts, Department of Computer Science, KU Leuven, Belgium
Chiaki Sakama, Wakayama University, Japan
Chitta Baral, Arizona State University, USA
Christoph Redl, Vienna University of Technology, Austria
Daniela Inclezan, Miami University, USA
David Pearce, Universidad Politécnica de Madrid, Spain
Emilia Oikarinen, Aalto University, Finland
Enrico Pontelli, New Mexico State University, USA
Esra Erdem, Sabanci University, Istanbul, Turkey
Eugenia Ternovska, Simon Fraser University, Canada
Fangkai Yang, Schlumberger Ltd
Fangzhen Lin, Hong Kong University of Science and Technology, Hong Kong
Francesco Calimeri, Università della Calabria, Italy
Gerhard Brewka, Leipzig University, Germany
Giovanni Grasso, Oxford University, UK
Hannes Strass, Leipzig University, Germany
Hans Tompits, Vienna University of Technology, Austria
James Delgrande, Simon Fraser University, Canada
Jia-Huai You, University of Alberta, Canada
Joohyung Lee, Arizona State University, USA
Jose Julio Alferes, Universidade Nova de Lisboa, Portugal
Kewen Wang, Griffith University, Australia
Marc Denecker, K.U.Leuven, Belgium
Marcello Balduccini, Drexel University, USA
Marina De Vos, University of Bath, UK
Martin Gebser, Aalto University, Finland
Matthias Knorr, NOVA-LINCS, Universidade Nova de Lisboa, Portugal
Mauricio Osorio, Fundacion de la Universidad de las Americas, Puebla, Mexico
Michael Fink, Vienna University of Technology, Austria
Michael Gelfond, Texas Tech University, USA
Orkunt Sabuncu, University of Potsdam, Germany
Paul Fodor, Stony Brook University, USA
Pedro Cabalar, University of Corunna, Spain
Saadat Anwar, Arizona State University, USA
Stefan Woltran, Vienna University of Technology
Stefania Costantini, Dipartimento di Ingegneria e Scienze
dell'Informazione, e Matematica, Univ. di L'Aquila, Italy
Terrance Swift, CENTRIA, Universidade Nova de Lisboa, Portugal
Thomas Eiter, Vienna University of Technology, Austria
Tomi Janhunen, Aalto University, Finland
Torsten Schaub, University of Potsdam, Germany
Tran Cao Son, New Mexico State University, USA
Vladimir Lifschitz, University of Texas at Austin, USA
Wolfgang Faber, University of Huddersfield, UK
Yi Zhou, University of Western Sydney, Australia
Yisong Wang, Guizhou University, China
Yuliya Lierler, University of Nebraska at Omaha, USA
CONTACT
lpnmr2015 at mat.unical.it
From M.Maher at adfa.edu.au Sat Apr 18 17:23:12 2015
From: M.Maher at adfa.edu.au (Michael Joseph Maher)
Date: Sat, 18 Apr 2015 15:23:12 +0000
Subject: CfP: 28th Australasian Joint Conference on Artificial Intelligence
Message-ID: <07DCDF9F05864847943292A73987AE6F871A3188@ADFAPWEXMBX01.ad.adfa.edu.au>
28th AUSTRALASIAN JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE
Canberra, Australia, 30 November - 4 December 2015
http://ai2015.unsw.adfa.edu.au/
Call for Papers
Since the first AI Conference took place in Sydney in 1987, the series of annual Australasian Joint Conferences on Artificial Intelligence has become the premier event for Artificial Intelligence researchers in Australasia and one of the major international forums on AI worldwide. In 2015, the 28th Australasian Joint Conference on Artificial Intelligence will be held in Canberra, Australia.
Important Dates:
Main conference papers due: July 1, 2015
http://ai2015.unsw.adfa.edu.au/calls.html
Workshop proposals due: June 1, 2015
http://ai2015.unsw.adfa.edu.au/call-for-workshop-proposals.html
Tutorial proposals due: June 1, 2015
http://ai2015.unsw.adfa.edu.au/call-for-tutorials-proposals.html
Student Symposium submissions due: September 30, 2015
http://ai2015.unsw.adfa.edu.au/call-for-sc-participation.html
Prospective authors are invited to submit original research and application papers in any area of Artificial Intelligence including, but not limited to, the following:
Agent-based and multiagent systems
AI applications and innovations
Cognitive modelling and computer human interaction
Commonsense reasoning
Computer vision
Constraint satisfaction, search, and optimisation
Evolutionary computation
Game playing and interactive entertainment
Information retrieval, integration, and extraction
Knowledge acquisition and ontologies
Knowledge representation and reasoning
Machine learning and data mining
Model-based systems
Multidisciplinary AI
Natural language processing
Planning and scheduling
Robotics
Social choice
Uncertainty in AI
Web and information systems
Paper Submission
All papers should be submitted electronically in PDF format and formatted using Springer's manuscript submission guidelines
http://www.springer.de/comp/lncs/authors.html
Submitted papers should not exceed 12 pages and should not be under review or submitted for publication elsewhere during the review period. All papers will be peer reviewed by at least three independent referees. Reviews will be double blind; authors must avoid including anything that can be used to identify them.
Submission will be through the Easychair conference management system at the following URL:
https://easychair.org/conferences/?conf=ai20150
All papers accepted for the Conference will be published by Springer in the Lecture Notes in Artificial Intelligence (LNAI) series. At least one author of each accepted paper is required to register for the conference and to present the paper.
Conference Organization
Jochen Renz, ANU, Program Co-Chair
Bernhard Pfahringer, Univ. Waikato, Program Co-Chair
Michael J Maher, UNSW Canberra, Conference Co-Chair
Sylvie Thiebaux, ANU/NICTA, Conference Co-Chair
________________________________
UNSW AUSTRALIA
UNSW CANBERRA AT THE AUSTRALIAN DEFENCE FORCE ACADEMY
PO Box 7916, CANBERRA BC 2610, Australia
Web: http://unsw.adfa.edu.au
CRICOS Provider no. 00098G
This message is intended for the addressee named and may contain confidential information. If you are not the intended recipient, please delete it and notify the sender. Views expressed in this message are those of the individual sender and are not necessarily the views of UNSW.
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL:
From grlmc at urv.cat Sat Apr 18 22:14:17 2015
From: grlmc at urv.cat (GRLMC)
Date: Sat, 18 Apr 2015 22:14:17 +0200
Subject: AlCoB 2015: presentation of work in progress
Message-ID:
*To be removed from our mailing list, please respond to this message with
UNSUBSCRIBE in the subject line*
*************************************************************************
The 2nd International Conference on Algorithms for Computational Biology
(AlCoB 2015) invites authors to submit work in progress for presentation.
AlCoB 2015 will be held in Mexico City on August 4-6, 2015. See
http://grammars.grlmc.com/alcob2015/
Presentations are intended to enhance informal interactions with conference
participants, at the same time permitting in-depth discussion.
TOPICS
Authors can submit presentations describing novel work in progress on any of
the topics within the scope of the conference. They do not need to contain
final results, but research that may lead to future interesting developments
is welcome.
KEY DATES
Submission deadline: June 26, 2015
Notification of acceptance or rejection: 7 days after submission
SUBMISSION
Please submit a .pdf abstract through:
https://www.easychair.org/conferences/?conf=alcob2015
It should contain the title, author(s) and affiliation, and should not
exceed 500 words.
PRESENTATION
Each presentation will be allocated 15 minutes in the programme.
PUBLICATION
The presented work will not appear in the LNCS/LNBI proceedings volume of
AlCoB 2015. However, it will be eligible for submission to the
post-conference Journal of Computational Biology special issue.
REGISTRATION
Authors of work in progress have to register to the conference. They will
pay a reduced fare. This comprises access to all sessions, one copy of the
proceedings volume, coffee breaks and lunches.
---
Este mensaje no contiene virus ni malware porque la protección de avast! Antivirus está activa.
http://www.avast.com
From announce at cs.ucy.ac.cy Sun Apr 19 15:13:04 2015
From: announce at cs.ucy.ac.cy (Announce Announcements)
Date: Sun, 19 Apr 2015 16:13:04 +0300
Subject: New CFP: 5th International Conference on Web Intelligence, Mining and Semantics (WIMS 2015)
Message-ID:
*** 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/
*** New Submission Deadline: 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 (new 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 schueller.p at gmail.com Mon Apr 20 09:36:53 2015
From: schueller.p at gmail.com (schueller.p at gmail.com)
Date: Mon, 20 Apr 2015 10:36:53 +0300 (EEST)
Subject: CFP: 2nd Workshop on Natural Language Processing and Automated Reasoning (NLPAR 2015)@LPNMR
Message-ID: <20150420073653.824522C00AB@omsievews>
(Apologies for cross-posting.)
CALL FOR PAPERS
2nd Workshop on Natural Language Processing and Automated Reasoning (NLPAR 2015)
https://sites.google.com/site/nlpar2015/
Collocated with the 13th International Conference on Logic Programming and
Nonmonotonic Reasoning 2015 in Lexington, Kentucky, USA, September 27-30, 2015.
AIMS AND SCOPE
Natural Language Processing (NLP) has been of interest for a long time; to the
Artificial Intelligence community in general and to the Logic Programming and
Automated Reasoning community in particular. NLP approaches that are based on
logical inference promise a deeper understanding of natural language than
possible with purely statistics-based methods. A deep understanding is
beneficial and necessary in most areas of NLP, for example word and entity
recognition; word sense disambiguation; parsing and syntactical disambiguation;
and reasoning over the semantics and pragmatics of words, phrases, sentences,
and whole discourses.
This workshop aims to bring together researchers with a common interest in
addressing the challenges of natural language processing using automated
reasoning methods. This edition will feature an invited talk by Jerry Hobbs,
the winner of the 2013 Lifetime Achievement Award of the Association of
Computational Linguistics, who has been doing pioneering research on the
interface between natural language, logical inference, and common sense
knowledge over the past 40 years.
As submissions to this workshop, theoretical results, reports about systems
and experiments, and work that combines logical inference and statistical
methods, are welcome.
Topics include but are not limited to:
* Morphology
* Named Entity Recognition
* Syntax
* Coreference Resolution
* Semantics
* Discourse
* Pragmatics
* Ontologies for NLP
* Controlled Natural Language
* Question Answering
* Recognizing Textual Entailment
* Natural Language Generation
* Text Summarization
* Machine Translation
INSTRUCTIONS FOR AUTHORS
NLPAR 2015 aims to present original scientific research, and 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.
Submissions must be written in English and formatted according to the
Springer LNCS/LNAI author instructions.
http://www.springer.com/comp/lncs/Authors.html
Papers must present original research and not exceed 12 pages including
title page, references and figures. Paper submission and peer review is
electronic and managed through the following easychair webpage.
https://easychair.org/conferences/?conf=nlpar2015
Proceedings will be published online after the workshop, we intend to
publish them as CEUR workshop proceedings on CEUR-WS.org.
IMPORTANT DATES
* Paper submission: June 22, 2015
* Notification: July 27, 2015
* Final version: August 17, 2015
* Workshop: September 27, 2015
ORGANIZING COMMITTEE
Marcello Balduccini (Drexel University, USA)
Katya Ovchinnikova (KIT, Karlsruhe & ICT, Uni Heidelberg, Germany)
Peter Schueller (Marmara University, Turkey)
Email Contact: nlpar2015 at easychair.org
PROGRAM COMMITTEE
Chitta Baral (Arizona State University, USA)
Johan Bos (University of Groningen, Netherlands)
Vinay Chaudhri (SRI International, USA)
Esra Erdem (Sabanci University, Turkey)
Katrin Erk (University of Texas at Austin, USA)
Christian Ferm�ller (TU Wien, Austria)
Michael Gelfond (Texas Tech University, USA)
Kentaro Inui (Tohoku University, Japan)
Yuliya Lierler (University of Nebraska at Omaha, USA)
Lenhart Schubert (University of Rochester, USA)
Rolf Schwitter (Marcquarie University, Australia)
Mark Steedman (University of Edinburgh, UK)
Luis Tari (GE Global Research, USA)
INVITED SPEAKERS
Jerry Hobbs (UCS/ISI, USA)
From tobo at dtu.dk Mon Apr 20 12:03:37 2015
From: tobo at dtu.dk (Thomas Bolander)
Date: Mon, 20 Apr 2015 10:03:37 +0000
Subject: Call for Papers: SCAI 2015
Message-ID: <4103C3E1-2415-4AC1-87B4-A7EDDD0BE38C@dtu.dk>
********************************************************************************
First Call for Papers
SCAI 2015
The Thirteenth Scandinavian Conference on Artificial Intelligence
November 5-6, 2015
Halmstad, Sweden
http://www.hh.se/scai2015
********************************************************************************
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.
As a part of the conference, on 4th of November 2015, we will organise
a Doctoral Symposium, for which a separate call for contributions will
be issued. We will also hold thematic workshops (we invite submissions
of topics) and we especially encourage initiatives that promote closer
cooperation between the academia and industry in the region (we hope
to hold a special industry track and/or a demo session). We plan a
dedicated networking event to facilitate cooperation, both on the EU
level as well as targeting funding opportunities specific to
individual Scandinavian countries.
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, Data
Streams, 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 oral
or poster presentation.
All accepted papers will be included in the conference proceedings. In
the last editions of the conference proceedings have been published by
IOS press.
Paper submission will be handled through the EasyChair system at
https://easychair.org/conferences/?conf=scai2015
Important Dates
---------------
Submission site open: April 2015
Paper submission: 31st of May 2015
Author notification: August 2015
Camera-ready copy due: September 2015
Contact
----------
scai2015 at hh.se
********************************************************************************
From marco.gavanelli at unife.it Mon Apr 20 17:34:03 2015
From: marco.gavanelli at unife.it (Marco Gavanelli)
Date: Mon, 20 Apr 2015 17:34:03 +0200
Subject: AI*IA2015: deadline extended to May 4th
Message-ID: <55351C6B.8030000@unife.it>
AI*IA 2015
XIV Conference of the Italian Association
for Artificial Intelligence, Ferrara September 23-25, 2015
-----------------------------------------------------------------
-----------------------------------------------------------------
AI*IA 2015 is the fourteenth International Conference on Advances
in Artificial Intelligence held bi-annually by the Italian
Association for Artificial Intelligence (AI*IA).
-----------------------------------------------------------------
Topics of Interest
-----------------------------------------------------------------
The conference covers broadly the many aspects of theoretical and
applied Artificial Intelligence. A series of workshops dedicated
to specific topics will complement the main conference program.
Contributions are invited on original, and unpublished research
on all aspects of artificial intelligence, including, but 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
The conference welcomes papers on AI applications, that will have a
special track.
-----------------------------------------------------------------
Submission Instructions
-----------------------------------------------------------------
We welcome and encourage the submission of high-quality, original
papers, which are not being submitted simultaneously for publica-
tion elsewhere. Papers should be written in English, formatted
according to the Springer LNCS style, and not exceed 12 pages
plus bibliography.
Paper submission is electronic via easychair at the address
https://easychair.org/conferences/?conf=aixia2015
When you submit your paper, please indicate if it is an application
paper by checking the relative box.
The proceedings will appear in Springer LNAI.
-----------------------------------------------------------------
Important Dates
-----------------------------------------------------------------
Paper submission deadline: May 4th, 2015
Notification to authors: June 15th, 2015
Camera-ready copies due: July 15th, 2015
Early registration deadline for at least one of the authors of
accepted papers: July 5th, 2015
Early registration deadline (for everybody else): July 31st, 2015
Late registration deadline: September 5th, 2015 (after that, only on
site registration will be available)
Conference dates: September 23-25, 2015
-----------------------------------------------------------------
Conference Web Site
-----------------------------------------------------------------
For the most up to date information, please visit:
http://aixia2015.unife.it
-----------------------------------------------------------------
Best Paper Award
-----------------------------------------------------------------
The best paper drawn from the papers presented at the AI*IA 2015
Conference will be awarded the AI*IA 2015 Best Paper Award.
-----------------------------------------------------------------
Conference Chairs
-----------------------------------------------------------------
Marco Gavanelli, Università degli Studi di Ferrara
Fabrizio Riguzzi, Università degli Studi di Ferrara
Evelina Lamma, Università degli Studi di Ferrara
-----------------------------------------------------------------
Program committee
-----------------------------------------------------------------
Matteo Baldoni
Stefania Bandini
Roberto Basili
Nicola Basilico
Elena Bellodi
Federico Bergenti
Stefano Bistarelli
Luciana Bordoni
Francesco Buccafurri
Stefano Cagnoni
Diego Calvanese
Amedeo Cappelli
Luigia Carlucci Aiello
Amedeo Cesta
Antonio Chella
Carlo Combi
Gabriella Cortellessa
Stefania Costantini
Giuseppe De Giacomo
Francesco Donini
Agostino Dovier
Floriana Esposito
Stefano Ferilli
Nicola Guarino
Luca Iocchi
Nicola Leone
Chendong Li
Francesca Alessandra Lisi
Bernardo Magnini
Sara Manzoni
Alberto Martelli
Paola Mello
Alessio Micheli
Alfredo Milani
Michela Milano
Stefania Montani
Alessandro Moschitti
Roberto Navigli
Angelo Oddi
Andrea Omicini
Maria Teresa Pazienza
Roberto Pirrone
Piero Poccianti
Gian Luca Pozzato
Luca Pulina
Daniele P. Radicioni
Francesco Ricca
Andrea Roli
Salvatore Ruggieri
Fabio Sartori
Ken Satoh
Andrea Schaerf
Floriano Scioscia
Giovanni Semeraro
Roberto Serra
Francesca Toni
Pietro Torasso
Eloisa Vargiu
Marco Villani
Giuseppe Vizzari
--
Marco Gavanelli, Ph.D. in Computer Science
Dept of Engineering
University of Ferrara
Tel/Fax +39-0532-97-4833
http://docente.unife.it/marco.gavanelli
From announce at cs.ucy.ac.cy Mon Apr 20 17:26:14 2015
From: announce at cs.ucy.ac.cy (Announce Announcements)
Date: Mon, 20 Apr 2015 18:26:14 +0300
Subject: Call for Papers: 2nd IEEE/ACM International Conference on Big Data Computing (BDC 2015)
Message-ID:
*** Call for Papers ***
2nd 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. There is NO student
rate for the author who is responsible for registration for his/her published
paper. If you have more than one accepted paper, you have to register for
each one individually. There is no discount if you have two or more papers
accepted. 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 thomas.lukasiewicz at gmail.com Tue Apr 21 00:32:37 2015
From: thomas.lukasiewicz at gmail.com (Thomas Lukasiewicz)
Date: Mon, 20 Apr 2015 23:32:37 +0100
Subject: CfP: Special Issue on Logics for Preferences, Uncertainty and Vagueness
Message-ID: <55357E85.6020300@cs.ox.ac.uk>
******************************************************************
CALL FOR PAPERS
* IfCoLog Journal of Logics and their Applications *
Special Issue on Logics for Reasoning about
Preferences, Uncertainty and Vagueness
http://lat.inf.tu-dresden.de/PRUV-SI15/
******************************************************************
PRUV 2014 was the first Workshop on Logics for Reasoning about
Preferences, Uncertainty, and Vagueness. This workshop was
associated to the Vienna Summer of Logic.
The aim of PRUV is to bring together people from different
communities (such as the Artificial Intelligence and the Semantic
Web community, among others), including theorists and practitioners,
working on logics for reasoning about preferences, uncertainty, and
vagueness.
Making researchers aware of and fruitfully discuss the most recent
application areas, new challenges and the existing body of work on
logics for reasoning about preferences, uncertainty, and vagueness,
respectively is the main goal of the meeting.
After a successful workshop, the IfCoLog Journal of Logics and their
Applications now invites submissions to a special issue on the
topics of PRUV.
== Submission Deadline ==
** June 21st, 2015 **
== TOPICS ==
We welcome submissions relating logic with preferences,
uncertainty and vagueness.
Some logics of interest are:
- first order logic,
- propositional logic,
- logic programming,
- answer set programming,
- description logics,
- modal logic,
- dynamic logic,
- temporal logics,
- defeasible logics,
- agent logics.
Formalisms for handling preferences, uncertainty and vagueness
include, but are not limited to
- probability measures,
- Bayesian networks,
- possibility measures,
- preference networks,
- CP-networks,
- rough sets,
- fuzzy set theory.
== PUBLICATION ==
All accepted papers will be published in a special issue of
the IFCOLOG Journal of Logics and their Applications
(http://www.collegepublications.co.uk/journals/ifcolog/).
== SUBMISSION GUIDELINES ==
Submissions must be prepared in LaTeX using the IfCoLog style
(http://lat.inf.tu-dresden.de/PRUV-SI15/ifcolog.cls).
All submitted manuscripts must contain original material not
previously published or currently under review in any other
journal. Submissions extending results previously published
at a conference or workshop are welcome.
Submissions will be made via EasyChair:
https://www.easychair.org/conferences/?conf=pruvsi15
More information is available at the special issue webpage
http://lat.inf.tu-dresden.de/PRUV-SI15/
From vstte15 at gmail.com Tue Apr 21 04:52:30 2015
From: vstte15 at gmail.com (VSTTE Conference)
Date: Mon, 20 Apr 2015 19:52:30 -0700
Subject: VSTTE 2015 Final Call For Papers
Message-ID:
**********************************************************************
7th Working Conference on Verified Software: Theories, Tools, and
Experiments
July 18 - 19, 2015
San Francisco, California, USA
http://www.eecs.berkeley.edu/vstte15
Co-located with 25th Conference on Computer Aided Verification
(http://i-cav.org/2015)
**********************************************************************
Full Paper Submission Deadline: April 27, 2015
SCOPE:
The Seventh Working Conference on Verified Software: Theories, Tools,
and Experiments follows a successful inaugural working conference at
Zurich in 2005 followed by conferences in Toronto (2008), Edinburgh
(2010), Philadelphia (2012), Atherton (2013), and Vienna (2014). The
goal of this conference is to advance the state of the art in the
science and technology of software verification, through the
interaction of theory development, tool evolution, and experimental
validation.
We welcome submissions describing significant advances in the
production of verified software, i.e., software that has been
proved to meet its functional specifications. We are
especially interested in submissions describing large-scale
verification efforts that involve collaboration, theory unification,
tool integration, and formalized domain knowledge. We welcome papers
describing novel experiments and case studies evaluating verification
techniques and technologies. Topics of interest include education,
requirements modeling, specification languages,
specification/verification case-studies, formal calculi, software
design methods, automatic code generation, refinement methodologies,
compositional analysis, verification tools (e.g., static analysis, dynamic
analysis, model checking, theorem proving, satisfiability), tool
integration, benchmarks, challenge problems, and integrated
verification environments.
PAPER SUBMISSION
Papers will be evaluated by at least three members of the
Program Committee. We are accepting both long (limited to 16 pages)
and short (limited to 10 pages) paper submissions, written in English.
Short submissions also cover Verification Pearls describing an
elegant proof or proof technique. Submitted research papers and
system descriptions must be original and not submitted for publication
elsewhere.
Research paper submissions must be in LNCS format and must
include a cogent and self-contained description of the ideas, methods,
results, and comparison to existing work. Submissions of theoretical,
practical, and experimental contributions are equally encouraged,
including those that focus on specific problems or problem domains.
Papers should be submitted through:
https://www.easychair.org/conferences/?conf=vstte2015.
Submissions that arrive late, are not in the proper format, or are too
long will not be considered. The post-conference proceedings of VSTTE
2015 will be published by Springer-Verlag in the LNCS series. Authors
of accepted papers will be requested to sign a form transferring
copyright of their contribution to Springer-Verlag. The use of LaTeX
and the Springer LNCS class files, obtainable
fromhttp://www.springer.de/comp/lncs/authors.html, is strongly
encouraged.
PUBLICATION
Accepted papers will be published as post-Proceedings, to
appear in Springer's Lectures Notes in Computer Science.
IMPORTANT DATES:
Abstract submission: April 20, 2015
Full paper submission: April 27, 2015
Notification: June 8, 2015
ORGANIZATION:
General Chair:
Martin Schaef (SRI International)
Program Chairs:
Arie Gurfinkel (Software Engineering Institute, Carnegie Mellon University)
Sanjit A. Seshia (University of California, Berkeley)
Publicity Chair:
Daniel Bundala (UC Berkeley)
PROGRAM COMMITTEE:
Elvira Albert (Complutense University of Madrid)
Nikolaj Bjorner (Microsoft Research)
Evan Chang (University of Colorado, Boulder)
Ernie Cohen (University of Pennsylvania)
Jyotirmoy Deshmukh (Toyota)
Jin Song Dong (National University of Singapore)
Vijay D'Silva (Google)
Vijay Ganesh (University of Waterloo)
Alex Groce (Oregon State)
Arie Gurfinkel (Software Engineering Institute, Carnegie Mellon University)
(co-chair)
Bill Harris (Georgia Institute of Technology)
Chris Hawblitzel (Microsoft Research)
Bart Jacobs (Katholieke Universiteit Leuven, Belgium)
Susmit Jha (United Technologies)
Rajeev Joshi (Laboratory for Reliable Software, Jet Propulsion Laboratory)
Vladimir Klebanov, Karlsruhe Institute of Technology, DE
Akash Lal (Microsoft Research India)
Ruzica Piskac (Yale)
Zvonimir Rakamaric (University of Utah)
Kristin Yvonne Rozier (University of Cincinnati)
Sanjit A. Seshia (UC Berkeley) (co-chair)
Natarajan Shankar (SRI)
Carsten Sinz (KIT)
Nishant Sinha (IBM Research Labs)
Alexander Summers (ETH Zurich)
Zachary Tatlock (University of Washington)
Sergey Tverdyshev (Sysgo AG)
Arnaud Venet (CMU / NASA Ames Research Center)
Karen Yorav (IBM Haifa Research Lab)
**********************************************************************
Please contact vstte2015 at easychair.org for further information
**********************************************************************
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL:
From nardine at iiia.csic.es Tue Apr 21 08:49:59 2015
From: nardine at iiia.csic.es (Nardine Osman)
Date: Tue, 21 Apr 2015 08:49:59 +0200
Subject: IJCAI 2015 Workshop on AI and Feedback - Last CFP
Message-ID:
[Apologies for cross-postings]
Please consider to contribute to and/or forward to interested colleagues and students. (Call for papers is attached to this email.)
Extended submission deadline is May 4, 2015 (& extended abstract deadline is April 27, 2015).
Selected papers in the education domain will be invited as book chapters in a book entitled “Learning about music in the age of MOOCS", to be published by Academic Press, Amsterdam by the end of 2015.
Original work (published or unpublished), as well as visionary papers and roadmaps are strongly encouraged.
Topics of interest cover different strands of AI, and focus on feedback-related issues, such as mining and extracting feedback, generating feedback, understanding feedback, and assessing feedback.
=============================
Last Call for Papers
AInF @ IJCAI 2015
IJCAI 2015 Workshop on AI and Feedback
25-27 July 2015, Buenos Aires, Argentina
http://iiia.csic.es/ainf15/
=============================
Scope
=============================
AI and Feedback is the first international workshop on the topic and it is one of the IJCAI 2015 workshops
(http://ijcai-15.org). It focuses on applying AI techniques for addressing the challenges of mining and
extracting feedback, as well as assessing, analysing, and making use of feedback.
Feedback is key for both improvement and decision making. As humans, we are designed to constantly
seek feedback on how and what we are doing in life. Feedback can come from ourselves, from our peers,
from our teachers, from our collaborators, audiences, customers, public or press. Feedback provides
opportunities to learn about how we and our work are perceived by others. If we encounter someone
[something] new, we can examine previous feedback to learn how this new person [thing] is perceived by
others.
A key target of this workshop is to discuss how to build intelligent feedback agents that are capable of
autonomously providing feedback that equals or surpasses that of human beings in its usefulness. The
feedback of artificial feedback agents should have some desirable characteristics. It should be socially and
culturally appropriate, clearly expressed, sufficiently focused and contextualised, thoughtfully challenging
yet encouraging, compassionate, open to debate, justified and comparative, also, it should be trustworthy.
Giving and receiving feedback with these characteristics therefore is a challenging, creative process.
Aims and objectives. This workshop aims to bring together researchers from different strands of AI to
discuss various aspects of feedback. The following questions are examples for consideration:
- How can we build creative feedback agents that can generate feedback, especially on creative work?
- How can we provide a sufficient agency in AI systems so that feedback from such systems will be useful?
- How can we model feedback so that it can be generated by AI systems?
- How can we design intuitive environments in which groups of humans and AI systems can give each other
feedback?
- How can we design systems that can act as creative collaborators? That not only give feedback, but can
actually propose changes to a developing artefact?
- How can we mine and learn from large datasets of feedback, e.g. educational social networks?
- How can implicit feedback be extracted and interpreted?
- How can trust and reputation models help with the assessment of feedback?
- How can we process and use feedback?
- What are the possible applications for AI systems capable of giving creative feedback?
=============================
Topics of Interest
=============================
Topics of interest cover a variety of feedback-related issues, such as mining and extracting feedback,
generating feedback, understanding feedback, and assessing feedback.
Topics of interest cover different strands of AI, such as multiagent systems, machine learning, natural
language processing, and knowledge representation.
Topics include, but are not limited to:
- Ontologies of feedback
- Multimodal feedback
- Implicit feedback
- Opinion mining and sentiment analysis
- Automatic generation of feedback
- Modelling the impact of feedback
- Designing environments for feedback
- Feedback and machine learning
- Trust and reputation models for feedback analysis
- Applications: creative industries, music composition, online learning, etc.
=============================
Important Dates
=============================
- [Extended] Abstract submission: 27 April 2015
- [Extended] Paper submission: 4 May 2015
- Acceptance notification: 1 June 2015
- Camera-ready copy due: 10 June 2015
- Workshop dates: 25-27 July 2015
=============================
Submission
=============================
We welcome and strongly encourage the submission of high quality, original work (published or
unpublished), as well as visionary papers and roadmaps relevant to the scope of this workshop.
Submitted papers must be formatted according to IJCAI guidelines. Formatting guidelines and electronic
templates are available here: http://ijcai-15.org/downloads/FormattingGuidelinesIJCAI-15.zip
Submitted papers should not exceed 8 pages, excluding the bibliographic references.
Papers should be submitted electronically through the AInF2015 EasyChair site:
https://easychair.org/conferences/?conf=ainf2015
Papers will be subject to a single-blind peer review. So authors can keep their names and affiliations on
their submitted papers.
=============================
Proceedings
=============================
The workshop proceedings will be published as a CEUR Workshop Proceedings (ISSN: 1613-0073,
http://ceur-ws.org).
A selection of accepted workshop papers that are relevant to the education domain will be invited as book chapters in a book entitled “Learning about music in the age of MOOCS", to be published by Academic Press, Amsterdam by the end of 2015.
=============================
Chairs
=============================
- Nardine Osman [nardine at iiia.csic.es] Artificial Intelligence Research Institute (IIIA-CSIC), Barcelona, Spain
- Matthew Yee-King [m.yee-king at gold.ac.uk] Department of Computing, Goldsmiths, University of
London, London, UK
=============================
Additional Information
=============================
Please check the workshop's website: http://iiia.csic.es/ainf15/
For any questions, please email the workshop's chairs at:
- nardine at iiia.csic.es
- m.yee-king at gold.ac.uk
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL:
From serge.autexier at dfki.de Tue Apr 21 09:10:11 2015
From: serge.autexier at dfki.de (Serge Autexier)
Date: Tue, 21 Apr 2015 09:10:11 +0200 (CEST)
Subject: CICM 2015 - Call for Work-in-Progress Papers
Message-ID: <20150421071011.D5BFD268E3C8@mbp-autexier.informatik.uni-bremen.de>
Call for Work-in-Progress Papers
Conference on Intelligent Computer Mathematics
CICM 2015
13-17 July 2015
Washington DC, USA
Digital and computational solutions are becoming the prevalent means
for the generation, communication, processing, storage and curation of
mathematical information. Separate communities have developed to
investigate and build computer based systems for computer algebra,
automated deduction, and mathematical publishing as well as novel user
interfaces. While all of these systems excel in their own right, their
integration can lead to synergies offering significant added
value. The Conference on Intelligent Computer Mathematics (CICM)
offers a venue for discussing and developing solutions to the great
challenges posed by the integration of these diverse areas.
CICM has been held annually as a joint meeting since 2008, co-locating
related conferences and workshops to advance work in these
subjects. Previous meetings have been held in Birmingham (UK 2008),
Grand Bend (Canada 2009), Paris (France 2010), Bertinoro (Italy 2011),
Bremen (Germany 2012), Bath (UK 2013), and Coimbra (Portugal 2014).
This is a (short version of the) call for Work-in-Progress papers for
CICM 2015, which will be held in Washington, D.C., 13-17 July 2015.
We solicit for papers which describe work in progress, recent
developments, and other work of interest to our communities which does
not yet have the maturity for archival proceedings.
The full version of the CFP is available from the conference web page
at http://cicm-conference.org/2015/cicm.php
**********************************************************************
The principal tracks of the conference will be:
**********************************************************************
* Calculemus (Symbolic Computation and Mechanised Reasoning)
Chair: Jacques Carette
* DML (Digital Mathematical Libraries)
Chair: Volker Sorge
* MKM (Mathematical Knowledge Management)
Chair: Cezary Kaliszyk
* Systems and Data
Chair: Florian Rabe
Publicity chair is Serge Autexier. The local arrangements will be
coordinated by the Local Arrangements Chairs, Bruce R. Miller
(National Institute of Standards and Technology, USA) and Abdou
Youssef (The George Washington University, Washington, D.C.), and the
overall programme will be organized by the General Programme Chair,
Manfred Kerber (U. Birmingham, UK).
**********************************************************************
Important Dates
**********************************************************************
Work-in-progress and Doctoral Programme submissions:
Submission deadline:
Full Work-in-Progress submission* 4 May 2015
Notification of acceptance: 25 May 2015
Camera ready copies due: 1 June 2015
Conference: 13-17 July 2015
* or for the Doctoral Programme: Abstract+CV
More detailed information, e.g. on submission via EasyChair, can be
found on http://cicm-conference.org/2015/cicm.php
From Christian.Kuster at gt-arc.com Tue Apr 21 09:37:27 2015
From: Christian.Kuster at gt-arc.com (Christian Kuster)
Date: Tue, 21 Apr 2015 07:37:27 +0000
Subject: CfP: ICTH 2015
Message-ID: <7ab27d21c4b24e77b456fd93d9f45d08@birke.dai-lab.de>
===== 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: May 6, 2015
- 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 ijcai2015.publicity at gmail.com Tue Apr 21 10:11:10 2015
From: ijcai2015.publicity at gmail.com (IJCAI 2015 Publicity Chairs)
Date: Tue, 21 Apr 2015 05:11:10 -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 ijv at acm.org Wed Apr 22 02:13:58 2015
From: ijv at acm.org (=?utf-8?Q?Ivan_Jos=C3=A9_Varzinczak?=)
Date: Tue, 21 Apr 2015 21:13:58 -0300
Subject: Fifth call for papers: DARe at IJCAI 2015
Message-ID:
* Please accept our apologies if you receive multiple copies of this call *
** Please note the extension of the deadline to 4 May 2014 **
==============================
Call for Papers
DARe at IJCAI 2015
Date: TBC (one day between 25 and 27 July 2015)
Buenos Aires, Argentina
*** Deadline: 4 May 2015 ***
==============================
The Second International Workshop on
"Defeasible and Ampliative Reasoning" (DARe)
http://dare2015.yolasite.com
held at the International Joint Conference on Artificial Intelligence (IJCAI 2015)
-- Workshop Description and Aims --
Classical reasoning is not flexible enough when directly applied to the formalization of certain nuances of human quotidian decision making. These involve different kinds of reasoning such as reasoning with uncertainty, exceptions, similarity, vagueness, incomplete or contradictory information and many others.
It turns out that everyday reasoning usually shows the two salient intertwined aspects below:
* Ampliative aspect: augmenting the underlying reasoning by allowing more conclusions. In practical contexts, this amounts to the ability to make inferences that venture beyond the scope of the premises, somehow in an unsound but justifiable way. Prominent examples are (i) default reasoning: jumping to conclusions deemed as plausible 'by default', i.e., in the absence of information to the contrary, like applying negation as failure or adopting the closed-world assumption; (ii) inductive and abductive reasoning: taking chances in drawing conclusions that implicitly call for further scrutiny or tests by empirical observations, like in making inductive hypothesis in scientific theories or finding abductive explanations in forensics, and (iii) analogical reasoning: extrapolating from very few examples (in the worst case only one) on the basis of observable similarities or dissimilarities.
* Defeasible aspect: curtailing the underlying reasoning by either disregarding or disallowing some conclusions that somehow ought not to be sanctioned. In practice, this amounts to the ability to backtrack one's conclusions or to admit exceptions in reasoning. Some examples of this are (i) retractive reasoning: withdrawing conclusions that have already been derived, like in belief contraction or in negotiation, and (ii) preemptive reasoning: preventing or blocking the inference of some conclusions by disallowing their derivation in the first place, like in dealing with exceptional cases in multiple inheritance networks and in regulatory systems.
Several efforts have been put into the study and definition of formalisms within which the aforementioned aspects of everyday reasoning could adequately be captured at different levels. Despite the progress that has been achieved, a large avenue remains open for exploration. Indeed, the literature on nonmonotonic reasoning has focused almost exclusively on defeasibility of argument forms, whereas belief revision paradigms are restricted to an underlying classical (Tarskian) consequence relation. Moreover, even if some of the issues related to uncertainty in reasoning have been studied using probabilistic approaches and statistical methods, their integration with qualitative frameworks remain a challenge. Finally, well-established approaches are largely based on propositional languages or haunted by the undecidability of full first-order logic. Modern applications require formalisms with a good balance between expressive power and computational complexity.
DARe aims at bringing together researchers and practitioners from core areas of artificial intelligence, cognitive sciences, philosophy and related disciplines to discuss these kinds of problems and relevant results in a multi-disciplinary forum. The goal of the workshop is to present latest research developments, to discuss current directions in the field, and to collect first-hand feedback from the community.
-- Scope of the Workshop --
DARe welcomes contributions on all aspects of defeasible and ampliative reasoning such as (but not limited to):
- Abductive and inductive reasoning
- Explanation finding, diagnosis and causal reasoning
- Inconsistency handling and exception-tolerant reasoning
- Decision-making under uncertainty and incomplete information
- Default reasoning, nonmonotonic reasoning, nonmonotonic logics, conditional logics
- Specific instances and variations of ampliative and defeasible reasoning
- Probabilistic and statistical approaches to reasoning
- Vagueness, rough sets, granularity and fuzzy-logics
- Philosophical foundations of defeasibility
- Empirical studies of reasoning
- Relationship with cognition and language
- Contextual reasoning
- Preference-based reasoning
- Analogical reasoning
- Similarity-based reasoning
- Belief dynamics and merging
- Argumentation theory, negotiation and conflict resolution
- Heuristic and approximate reasoning
- Defeasible normative systems
- Reasoning about actions and change
- Reasoning about knowledge and belief, epistemic and doxastic logics
- Ampliative and defeasible temporal and spatial reasoning
- Computational aspects of reasoning with uncertainty
- Implementations and systems
- Applications of uncertainty in reasoning
-- Submission Requirements --
We invite submissions of papers presenting original research results or position statements. Submissions must be prepared using the IJCAI 2015 LaTeX style (which can be found at http://ijcai-15.org/index.php/call-for-papers) and should be no longer than 6 pages excluding references and in PDF format. The list of references is limited to one page.
Please submit to: https://easychair.org/conferences/?conf=dare15
-- Workshop Proceedings/Notes --
Accepted papers will be made available electronically in the CEUR Workshop Proceedings series (http://ceur-ws.org). Copyright of papers remain with the authors.
The 2014 proceedings are available at http://ceur-ws.org/Vol-1212/
-- Attendance --
The selection of accepted contributions will be based on relevance, significance and the work's potential to foster discussions and cross-pollination. Therefore submissions of ongoing work are also strongly encouraged.
Please check the IJCAI 2015 website for registration procedure, fees as well as cancellation policies.
-- Important Dates --
- Submission deadline: 4 May 2015
- Notification: 27 May 2015
- Camera ready: 6 June 2015
- Early registration: [TBA]
- Late registration: [TBA]
- Workshop date: [TBA]
-- Invited Speaker --
[TBA]
-- Workshop Co-Chairs --
- Richard Booth (Mahasarakham University, Thailand)
- Giovanni Casini (Centre for AI Research and University of Pretoria, South Africa)
- Szymon Klarman (Brunel University London, United Kingdom)
- Gilles Richard (Université Paul Sabatier, France)
- Ivan Varzinczak (Universidade Federal do Rio de Janeiro, Brazil)
-- Program Committee --
- Natasha Alechina (University of Nottingham, UK)
- Ofer Arieli (Academic College of Tel-Aviv, Israel)
- Guillaume Aucher (University of Rennes 1 - INRIA, France)
- Christoph Beierle (FernUniversitaet Hagen, Germany)
- Mario Benevides (Federal University of Rio de Janeiro, Brazil)
- Antonis Bikakis (University College London, UK)
- Alexander Bochman (Holon Institute of Technology, Israel)
- Katarina Britz (UKZN-CSIR Meraka Centre for Artificial Intelligence Research, South Africa)
- Jim Delgrande (Simon Fraser University, Canada)
- Marcelo Finger (Universidade de São Paulo, Brazil)
- Nina Gierasimczuk (University of Amsterdam, Netherlands)
- Patrick Girard (University of Auckland, New Zealand)
- Sven Ove Hansson (Royal Institute of Technology, Sweden)
- Andreas Herzig (IRIT CNRS, France)
- Aaron Hunter (British Columbia Institute of Technology, Canada)
- Souhila Kaci (Université Montpellier 2, France)
- Antonis Kakas (University of Cyprus)
- Gabriele Kern-Isberner (TU Dortmund, Germany)
- Simon Kramer (SK-R&D, Switzerland)
- Willem Labuschagne (University of Otago, New Zealand)
- Michael Maher (University of New South Wales, Australia)
- João Marcos (Universidade Federal do Rio Grande do Norte, Brazil)
- Thomas Meyer (UKZN-CSIR Meraka Centre for Artificial Intelligence Research, South Africa)
- François Schwarzentruber (ENS Rennes/IRISA)
- Sonja Smets (University of Amsterdam, Netherlands)
- Umberto Straccia (CNR, Italy)
- Mirek Truszczynski (University of Kentucky, USA)
- Joost Vennekens (K.U. Leuven, Belgium)
- Peter Verdée (Universiteit Gent, Belgium)
- Petrucio Viana (Universidade Federal Fluminense, Brazil)
- Heinrich Wansing (Ruhr-Universitaet Bochum, Germany)
- Renata Wassermann (Universidade de São Paulo, Brazil)
- Anna Zamansky (University of Haifa, Israel)
-- Further Information --
Please note that according to IJCAI policy all workshop participants are required to register for the workshop. IJCAI reserves the right to cancel a workshop if not enough participants register.
Please visit the workshop website (http://dare2015.yolasite.com) for further information and regular updates.
Enquiries should be sent to dare.to.contact.us at gmail.com
--
Ivan José Varzinczak
Department of Computer Science - Institute of Mathematics
Federal University of Rio de Janeiro, Brazil
Homepage: http://member.acm.org/~ijv
Google scholar profile: http://tinyurl.com/varzinczak
From Christian.Kuster at gt-arc.com Wed Apr 22 16:20:37 2015
From: Christian.Kuster at gt-arc.com (Christian Kuster)
Date: Wed, 22 Apr 2015 14:20:37 +0000
Subject: CfP: EUSPN-2015
Message-ID:
===== CFP =====
CALL FOR PAPERS
**********************************************************************************
The 6th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2015)
September 27-30, 2015
Berlin, Germany
http://euspn-15.dai-labor.de/
**********************************************************************************
Important Dates:
Submission Deadline: May 6, 2015
Author Notification: June 26, 2015
Final Manuscript Due: July 26, 2015
The 6th International Conference on Emerging Ubiquitous Systems and Pervasive
Networks (EUSPN) is a premier venue for bringing together multi-disciplinary
researchers, professionals and practitioners from both academia and industry,
who are engaged in different facets of ubiquitous systems and pervasive
networks. The conference encourages innovative research contributions providing
the recent significant developments and promising future trends of EUSPN based
applications, systems, tools, environments and infrastructures in the fields of
EUSPN and related areas.
All EUSPN-2015 accepted papers will be included in the conference proceedings
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
Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be
freely available worldwide. All papers in Procedia will also be indexed by
Scopus (www.scopus.com) and Engineering Village (Ei)
(www.engineeringvillage.com). This includes EI Compendex (www.ei.org/
compendex). 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
the special issues of:
- Journal of Mobile Information Systems, by IOS Press
- Journal of Ambient Intelligence and Humanized Computing, by Springer
- Journal of Web and Grid Services
Papers on either completed or ongoing research are invited in the following and
related tracks:
- Ad hoc and Pervasive Networks (Chair: Fikret Sivrikaya, German-Turkish Advanced ICT Research Centre, Germany)
- Adaptive Systems, Intelligent Computing and Applications (Chair: Ingrid Nunes, UFRGS, Brazil)
- Big Data and Big Data Science (Chair: Brijnesh-Johannes Jain, DAI-Lab, TU Berlin, Germany)
- Cloud, Cluster, Grid and Social Computing (Chairs: Kechar Bouabdellah, Oran University, Algeria; Shibo He, Zhejiang University, China)
- Pervasive / Ubiquitous Technologies - Emerging Tools and Applications (Chair: René Schumann, HES-SO, Switzerland)
- Intelligent Traffic and Transportation Systems (Chairs: Jamal Bentahar, Concordia University, Canada; K. K. Pattanaik, ABV-Indian Institute of Information Technology & Management, India)
- Internet of Things (Chair: Nik Bessis, University of Derby, UK)
- Mobile Computing and Wireless Communications (Chair: Hamid Mcheick,University of Quebec At Chicoutimi, Canada)
- Security, Privacy, and Trust (Chair: Karsten Bsufka, DAI-Lab, TU Berlin, Germany)
- Semantic Web Technologies (Chair: Nils Masuch, DAI-Lab, TU Berlin, Germany)
Paper Submission Guidelines:
Submitted technical 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. The submitted paper must be formatted according to the guidelines
of Procedia Computer Science, Elsevier. The EUSPN submission link can be found
at: http://easychair.org/conferences/?conf=euspn2015.
All accepted papers will be scheduled for oral presentations and will be printed
in the conference proceedings published by Elsevier Science in the open-access
Procedia Computer Science series on-line. At least one author of each accepted
paper is required to register and attend the conference to present the work.
Committee:
General Chairs
Marco Lützenberger, DAI-Lab, TU Berlin, Germany
Elhadi Shakshuki, Arcadia University, Canada
Program Chairs
Stéphane Galland, Université de Technologie de Belfort-Montbéliard, France
Ansar-Ul-Haque Yasar, IMOB, Hasselt University, Belgium
Advisory Committee
Ali Ghorbani, Univ. of New Brunswick, Canada
Hossam Hassanein, Queen's University, Canada
Vincenzo Loia, University of Salerno, Italy
Zakaria Maamar, Zayed University, UAE
Makoto Takizawa, Seikei University, Japan
David Taniar, Monash University, Australia
Albert Zomaya, The University of Sydney, Australia
Workshops Chairs
Zahoor Khan, Higher Colleges of Technology, UAE
Publicity Chairs
Nabeel Al Qirim, College of Information Technology, UAE
Christian Kuster, German-Turkish Advanced ICT Research Centre, Germany
Samir Ouchani, University of Luxembourg, Luxembourg
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL:
From geoff at cs.miami.edu Wed Apr 22 16:20:41 2015
From: geoff at cs.miami.edu (Geoff Sutcliffe)
Date: Wed, 22 Apr 2015 10:20:41 -0400 (EDT)
Subject: TABLEAUX - Call for Papers
Message-ID: <20150422142041.E645212154C@mcclellan.cs.miami.edu>
SECOND CALL FOR PAPERS
TABLEAUX 2015
24th International Conference on Automated Reasoning with
Analytic Tableaux and Related Methods
Wroclaw, Poland, September 21-24, 2015
http://tableaux2015.ii.uni.wroc.pl/
GENERAL INFORMATION
TABLEAUX 2015 is the 24th in the series of international meetings
on Automated Reasoning with Analytic Tableaux and Related Methods,
and will be held in Wroclaw, Poland, during September 21-24, 2015.
TABLEAUX 2015 will be co-located with the 10th International Symposium
on Frontiers of Combining Systems (FroCoS 2015).
The computer science institute of Wroclaw has a large experience
in hosting international conferences. It has hosted
the IEEE Symposium on Logic in Computer Science (LICS 2007),
the 24th International Conference on Automated Deduction
(CADE 2011), and the 22nd European Symposium on Algorithms (ALGO 2014).
TOPICS
Tableaux methods offer a convenient and flexible set of tools
for automated reasoning in classical logic, extensions of classical
logic, and a large number of non-classical logics. For large
groups of logics, tableaux methods can be generated automatically.
Areas of application include verification of software and computer
systems, deductive databases, knowledge representation and its required
inference engines, teaching, and system diagnosis.
The conference series aims to bring together researchers interested in all
aspects of tableaux - theoretical foundations, applications,
and implementation techniques.
* tableaux methods for classical and non-classical logics
(e.g. modal, temporal, description, intuitionistic, substructural,
fuzzy, paraconsistent logics) and their proof theoretic
foundations.
* related methods (model elimination, model checking, connection
methods, resolution, BDDs).
* sequent calculi for classical and non-classical logics,
as tools for proof search and proof representation.
* flexible, easily extendable, light weight methods for theorem proving.
* novel types of calculi for theorem proving and verification
in classical and non-classical logics.
* systems, tools, implementations and applications (provers,
logical frameworks, model checkers, ... ).
* implementation techniques (data structures, efficient algorithms,
performance measurement, extendibility, ... ).
* extensions of tableaux procedures with conflict-driven learning,
generation of proofs; compact (or humanly readable) representation
of proofs.
* decision procedures, theoretically optimal procedures.
* applications of automated deduction to mathematics, software
development, protocol verification, or teaching.
TABLEAUX 2015 also welcomes papers describing applications of tableaux
procedures to real world examples. Such papers should be tailored to
the tableaux community and should focus on the role of reasoning,
and logical aspects of the solution.
SUBMISSIONS
Submissions are invited in two categories:
A Research papers, which describe original theoretical research,
original algorithms, or applications, with length
up to 15 pages.
B System descriptions, with length up to 10 pages.
Submissions will be reviewed by the PC, possibly will help of
external reviewers, taking into account readability, relevance
and originality.
For category A, theoretical results and algorithms must be original,
and not submitted for publication elsewhere. Submissions will be reviewed
taking into account correctness, theoretical prettyness, and possible
implementability.
For category B submissions, a working implementation
must be available on the internet, which includes sources.
The aim of a system description is to make the system available
in such a way that users can use it, understand it, and build on it.
Accepted papers in both categories will be published in the conference
proceedings (within the LNAI series of Springer).
For accepted papers in both of the categories, at least one author
is required to attend the conference and present the paper.
Further information and instructions about submissions can be found
on the conference website http://tableaux2015.ii.uni.wroc.pl
IMPORTANT DATES
Abstract submission deadline: May 8th, 2015
Paper submission deadline: May 15th, 2015
Author Notification: July 1st, 2015
Final Version: July 17th 2015
Conference: September 21st-24th, 2015
PROGRAM COMMITTEE
-----------------
Marc Bezem, University of Bergen, Norway
Agata Ciabattoni, Vienna University of Technology, Austria
David Delahaye, National Conservatory of Arts and Professions, Paris, France
Ulrich Furbach, University of Koblenz, Germany
Didier Galmiche, Universite de Lorraine, Nancy, France
Silvio Ghilardi, Universita degli Studi di Milano, Italy
Rajeev Gore, Australian National University, Canberra, Australia
Stephane Graham-Lengrand, Ecole Polytechnique, Palaiseau, France
Reiner Haehnle, Darmstadt University of Technology, Germany
Konstantin Korovin, University of Manchester, UK
George Metcalfe, University of Bern, Switzerland
Dale Miller, INRIA Saclay-Ile-de-France, France
Barbara Morawska, Technische Universitaet Dresden, Germany
Boris Motik, University of Oxford, UK
Claudia Nalon, University of Brasilia, Brasil
Sara Negri, University of Helsinki, Finland
Linh Anh Nguyen, University of Warsaw, Poland
Hans de Nivelle (chair), University of Wroclaw, Poland
Jens Otten, University of Potsdam, Germany
Andrei Popescu, Middlesex University London, UK
Renate Schmidt, University of Manchester, UK
Luca Vigano, King's College, London, UK
Bruno Woltzenlogel-Paleo, Vienna University of Technology, Austria
WORKSHOPS AND TUTORIALS
------------------------
Workshops have been solicited in separate call, which can
be found on http://tableaux2015.ii.uni.wroc.pl or
http://frocos2015.ii.uni.wroc.pl
Tutorials for FroCoS/TABLEAUX will be solicited in a separate call, which
will be published later.
From vstte15 at gmail.com Thu Apr 23 11:20:01 2015
From: vstte15 at gmail.com (VSTTE Conference)
Date: Thu, 23 Apr 2015 02:20:01 -0700
Subject: Extended Deadline (May 1), VSTTE'15
Message-ID:
[apologies for cross posting]
**********************************************************************
7th Working Conference on Verified Software: Theories, Tools, and
Experiments
July 18 - 19, 2015
San Francisco, California, USA
http://www.eecs.berkeley.edu/vstte15
Co-located with 25th Conference on Computer Aided Verification
(http://i-cav.org/2015)
**********************************************************************
Abstract submission: Extended to April 27, 2015
Full Paper Submission Deadline: Extended to May 1, 2015
SCOPE:
The Seventh Working Conference on Verified Software: Theories, Tools,
and Experiments follows a successful inaugural working conference at
Zurich in 2005 followed by conferences in Toronto (2008), Edinburgh
(2010), Philadelphia (2012), Atherton (2013), and Vienna (2014). The
goal of this conference is to advance the state of the art in the
science and technology of software verification, through the
interaction of theory development, tool evolution, and experimental
validation.
We welcome submissions describing significant advances in the
production of verified software, i.e., software that has been
proved to meet its functional specifications. We are
especially interested in submissions describing large-scale
verification efforts that involve collaboration, theory unification,
tool integration, and formalized domain knowledge. We welcome papers
describing novel experiments and case studies evaluating verification
techniques and technologies. Topics of interest include education,
requirements modeling, specification languages,
specification/verification case-studies, formal calculi, software
design methods, automatic code generation, refinement methodologies,
compositional analysis, verification tools (e.g., static analysis, dynamic
analysis, model checking, theorem proving, satisfiability), tool
integration, benchmarks, challenge problems, and integrated
verification environments.
PAPER SUBMISSION
Papers will be evaluated by at least three members of the
Program Committee. We are accepting both long (limited to 16 pages)
and short (limited to 10 pages) paper submissions, written in English.
Short submissions also cover Verification Pearls describing an
elegant proof or proof technique. Submitted research papers and
system descriptions must be original and not submitted for publication
elsewhere.
Research paper submissions must be in LNCS format and must
include a cogent and self-contained description of the ideas, methods,
results, and comparison to existing work. Submissions of theoretical,
practical, and experimental contributions are equally encouraged,
including those that focus on specific problems or problem domains.
Papers should be submitted through:
https://www.easychair.org/conferences/?conf=vstte2015.
Submissions that arrive late, are not in the proper format, or are too
long will not be considered. The post-conference proceedings of VSTTE
2015 will be published by Springer-Verlag in the LNCS series. Authors
of accepted papers will be requested to sign a form transferring
copyright of their contribution to Springer-Verlag. The use of LaTeX
and the Springer LNCS class files, obtainable
fromhttp://www.springer.de/comp/lncs/authors.html, is strongly
encouraged.
PUBLICATION
Accepted papers will be published as post-Proceedings, to
appear in Springer's Lectures Notes in Computer Science.
IMPORTANT DATES:
Abstract submission: Extended to April 27, 2015
Full paper submission: Extended to May 1, 2015
Notification: June 8, 2015
ORGANIZATION:
General Chair:
Martin Schaef (SRI International)
Program Chairs:
Arie Gurfinkel (Software Engineering Institute, Carnegie Mellon University)
Sanjit A. Seshia (University of California, Berkeley)
Publicity Chair:
Daniel Bundala (University of California, Berkeley)
PROGRAM COMMITTEE:
Elvira Albert (Complutense University of Madrid)
Nikolaj Bjorner (Microsoft Research)
Evan Chang (University of Colorado, Boulder)
Ernie Cohen (University of Pennsylvania)
Jyotirmoy Deshmukh (Toyota)
Jin Song Dong (National University of Singapore)
Vijay D'Silva (Google)
Vijay Ganesh (University of Waterloo)
Alex Groce (Oregon State)
Arie Gurfinkel (Software Engineering Institute, Carnegie Mellon University)
(co-chair)
Bill Harris (Georgia Institute of Technology)
Chris Hawblitzel (Microsoft Research)
Bart Jacobs (Katholieke Universiteit Leuven, Belgium)
Susmit Jha (United Technologies)
Rajeev Joshi (Laboratory for Reliable Software, Jet Propulsion Laboratory)
Vladimir Klebanov, Karlsruhe Institute of Technology, DE
Akash Lal (Microsoft Research India)
Ruzica Piskac (Yale)
Zvonimir Rakamaric (University of Utah)
Kristin Yvonne Rozier (University of Cincinnati)
Sanjit A. Seshia (UC Berkeley) (co-chair)
Natarajan Shankar (SRI)
Carsten Sinz (KIT)
Nishant Sinha (IBM Research Labs)
Alexander Summers (ETH Zurich)
Zachary Tatlock (University of Washington)
Sergey Tverdyshev (Sysgo AG)
Arnaud Venet (CMU / NASA Ames Research Center)
Karen Yorav (IBM Haifa Research Lab)
**********************************************************************
Please contact vstte2015 at easychair.org for further information
**********************************************************************
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL:
From inoue at nii.ac.jp Thu Apr 23 12:23:39 2015
From: inoue at nii.ac.jp (Katsumi Inoue)
Date: Thu, 23 Apr 2015 19:23:39 +0900
Subject: Final Call for Long Papers: ILP 2015 Kyoto (Deadline Updated)
Message-ID:
ILP 2015 : The 25th International Conference on Inductive Logic Programming
Aug 20, 2015 - Aug 22, 2015
Kyoto, Japan
http://ilp2015.jp/
CALL FOR PAPERS
The 25th International Conference on Inductive Logic Programming (ILP
2015) will be held in Kyoto, Japan, August 20th - 22nd. The ILP
conference is the premier international forum on logic-based and
relational learning. Originally focused on induction of logic
programs, it has broadened its scope and attracted a lot of attention
and interest in recent years.
Authors are invited to submit papers presenting original results on
all aspects of learning in logic, multi-relational learning and data
mining, statistical relational learning, graph and tree mining,
relational reinforcement learning, connections with other learning
paradigms, and learning in other logic-based knowledge representation
frameworks.
Typical, but not exclusive, topics of interest for submissions include:
- Theoretical aspects: logical foundations, learning scenarios,
theories on abduction and discovery, data/model representation
frameworks, computational and/or statistical properties, etc.
- Algorithms: logical, probabilistic and statistical approaches,
distance and kernel-based methods, learning with (semi)structured
data, supervised/unsupervised/semi-supervised relational learning,
relational reinforcement learning, inductive databases, abductive
learning, link discovery, new propositionalization approaches,
multi-instance learning, predicate invention, learning dynamics of
systems, etc.
- Representations and languages for logic-based learning: including
datalog, first-order logic, description logics and ontologies,
higher-order logic, probabilistic logical representations, mapping
between alternative representations.
- Systems: systems that implement inductive logic programming
algorithms with special emphasis on issues like optimization,
parallelism, efficiency and scalability.
- Applications including, but not restricted to multi-relational
learning from structured (e.g., labeled graphs, tree patterns) and
semi-structured data (e.g., XML documents), learning from relational
data in areas of science (bioinformatics, cheminformatics, medical
informatics, social science, etc.), natural language processing
(computational linguistics, text/web mining etc.), engineering,
robotics, games, semantic web, social networks, the arts, etc.
We solicit three kinds of papers:
1) Long papers describing original mature work containing appropriate
experimental evaluation and/or representing a self-contained
theoretical contribution. Long papers will be reviewed by at least 3
members of the program committee. Each accepted paper will be given
either for long or short presentation. Authors of accepted papers for
long presentation will be assigned a standard time slot for
presentation, and will be invited to submit a final version to the
Springer LNAI post-conference proceedings without further reviews.
Authors of accepted papers for short presentation will be assigned a
reduced time slot for presentation, and can submit a revised version
to the Springer LNAI post-conference proceedings, which will be
reviewed again by PC members. [Updated]
2) Short papers describing original work in progress, brief accounts
of original ideas without conclusive experimental evaluation, and
other relevant work of potentially high scientific interest but not
yet qualifying for the long paper category. The PC chairs will
accept/reject short papers on the grounds of relevance. Authors of
accepted short papers will be assigned a reduced time slot for
presentation. Each short paper will be reviewed by at least 3 members
of the program committee on the basis of both the manuscript and its
presentation, and the authors of selected papers will be invited to
submit a long version for the Springer LNAI post-conference
proceedings; In this case, the long paper will be reviewed again by
the assigned PC members of the short paper and be finally accepted if
satisfactorily addressing the reviewer's requirements.
3) Papers relevant to the conference topics and recently published or
accepted for publication by a first-class conference such as ECML/
PKDD, ICML, KDD, ICDM, AAAI, IJCAI, etc. or journal such as MLJ, DMKD,
JMLR etc. The PC chairs will accept/reject such papers on the grounds
of relevance and quality of the original publication venue. Authors of
accepted papers will be assigned a reduced time slot for presentation.
These papers will not appear in the Springer LNAI post-conference
proceedings.
SUBMISSION:
Submissions in category 1 or 2 must not have been published or be
under review for a journal or for another conference with published
proceedings. They should be submitted in the Springer LNCS format.
Long (short) papers must not exceed 12 (6) pages. The indicated number
of pages includes the title page, references and figures. Submissions
must be formatted according to the Springer LNCS author instructions,
http://www.springer.com/comp/lncs/Authors.html
Papers in category 3 should be submitted in their original format and
the authors should indicate the original publication venue. All Paper
submissions will be electronic through the ILP 2015 easychair site:
https://www.easychair.org/conferences/?conf=ilp2015
A special issue of the Machine Learning journal is planned following
the conference, which is open for everyone. This special issue
welcomes conference submissions from all the three categories above,
which should be significantly revised and extended to meet the MLJ
criteria, for re-reviewing by the PC.
INVITED SPEAKERS:
Stephen Muggleton, Imperial College London
Taisuke Sato, Tokyo Institute of Technology
Luc De Raedt, Katholieke Universiteit Leuven
Stefanie Jegelka, UC Berkeley
ASSOCIATED EVENTS:
MLSS 2015 Kyoto - Machine Learning Summer School 2015 in Kyoto - will
be held on August 24 - September 5, 2015, in Kyoto University.
IMPORTANT DATES:
* Abstract registration: April 27, 2015 (updated)
* Long paper submission: May 4, 2015 (updated)
* Long Paper notification: June 1, 2015
* Short Paper submission: June 26, 2015
* Short Paper notification: July 1, 2015
CONFERENCE AND PROGRAM CO-CHAIRS:
Katsumi Inoue, NII
Hayato Ohwada, Tokyo University of Science
Akihiro Yamamoto, Kyoto University
PUBLICITY CHAIR:
Kotaro Okazaki, SONAR
PROGRAM COMMITTEE:
Erick Alphonse, LIPN - UMR CNRS 7030
Annalisa Appice, University Aldo Moro of Bari
Elena Bellodi, University of Ferrara
Hendrik Blockeel, K.U. Leuven
Rui Camacho, LIACC/FEUP University of Porto
James Cussens, University of York
Jesse Davis, KU Leuven
Luc De Raedt, Katholieke Universiteit Leuven
Inês Dutra, Universidade do Porto
Saso Dzeroski, Jozef Stefan Institute
Nicola Fanizzi, Università di Bari
Stefano Ferilli, Università di Bari
Peter Flach, University of Bristol
Nuno A. Fonseca, European Bioinformatics Institute
Tamas Horvath, University of Bonn and Fraunhofer IAIS
Katsumi Inoue, NII (co-chair)
Nobuhiro Inuzuka, Nagoya Institute of Technology
Andreas Karwath, University of Mainz
Kristian Kersting, TU Dortmund University
Ross King, University of Manchester
Ekaterina Komendantskaya, University of Dundee
Nada Lavrač, Jozef Stefan Institute
Francesca Alessandra Lisi, Università degli Studi di Bari "Aldo Moro"
Donato Malerba, Università degli Studi di Bari "Aldo Moro"
Stephen Muggleton, Imperial College London
Sriraam Natarajan, Indiana University
Hayato Ohwada, Tokyo University of Science (co-chair)
Aline Paes, Institute of Computing, Universidade Federal Fluminense
Bernhard Pfahringer, University of Waikato
Ganesh Ramakrishnan, IIT Bombay
Jan Ramon, K.U.Leuven
Oliver Ray, University of Bristol
Fabrizio Riguzzi, University of Ferrara
Celine Rouveirol, Université Paris 13
Alessandra Russo, Imperial College London
Chiaki Sakama, Wakayama University
Vítor Santos Costa, Universidade do Porto
Takayoshi Shoudai, Kyushu International University
Ashwin Srinivasan, Indraprastha Institute of Information Technology, New Delhi
Alireza Tamaddoni-Nezhad, Imperial College, London
Tomoyuki Uchida, Hiroshima City University
Guy Van den Broeck, KU Leuven
Jan Van Haaren, KU Leuven
Christel Vrain, university of Orléans
Stefan Wrobel, Fraunhofer IAIS & University of Bonn
Akihiro Yamamoto, Kyoto University (co-chair)
Gerson Zaverucha, PESC/COPPE - UFRJ
Filip Zelezny, Czech Technical University
From lpulina at uniss.it Thu Apr 23 18:56:52 2015
From: lpulina at uniss.it (Luca Pulina)
Date: Thu, 23 Apr 2015 18:56:52 +0200
Subject: RR 2015 Doctoral Consortium - Call for Papers
Message-ID: <55392454.5040708@uniss.it>
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL:
From lpulina at uniss.it Thu Apr 23 19:07:03 2015
From: lpulina at uniss.it (Luca Pulina)
Date: Thu, 23 Apr 2015 19:07:03 +0200
Subject: CALL FOR APPLICATIONS - The 11th Reasoning Web Summer School (RW
2015)
Message-ID: <553926B7.8060805@uniss.it>
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL:
From publicity at ecmlpkdd2015.org Fri Apr 24 19:58:33 2015
From: publicity at ecmlpkdd2015.org (ECMLPKDD 2015)
Date: Fri, 24 Apr 2015 18:58:33 +0100
Subject: ECMLPKDD 2015 : PhD Session
Message-ID: <004c01d07eb8$5addc530$10994f90$@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 przemek.walega at wp.pl Sat Apr 25 10:46:07 2015
From: przemek.walega at wp.pl (=?ISO-8859-2?Q?Przemys=B3aw_Wa=B3=EAga?=)
Date: Sat, 25 Apr 2015 10:46:07 +0200
Subject: 1st Workshop on Logics for Qualitative Modelling and Reasoning
(LQMR'15)
Message-ID: <553b544fa7f163.09616502@wp.pl>
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL:
From giacomo.cabri at unimore.it Sat Apr 25 15:17:30 2015
From: giacomo.cabri at unimore.it (Giacomo Cabri)
Date: Sat, 25 Apr 2015 15:17:30 +0200
Subject: Call for Participation: Coordination 2015
Message-ID: <553B93EA.1000508@unimore.it>
CALL FOR PARTICIPATION
Coordination 2015
17th IFIP International Conference on Coordination Models and Languages
A DisCoTec Member Conference
http://discotec2015.inria.fr/
June 2-4, 2015, Grenoble, France
=======================================================================
----------------
Important dates
Early registration: May 5, 2015
Conference: June 2-4, 2015
----------------
Invited speaker
- Alois FERSCHA (J. Kepler U., Linz, Austria)
----------------
Program
Day #1 (June 2)
14:00 - 15:30 Session 1 -- Tuple-based coordination
Marina Andric, Rocco De Nicola and Alberto Lluch Lafuente,
"Replica-based High-Performance Tuple Space Computing"
Diego Latella, Michele Loreti and Mieke Massink, "Investigating
Fluid-flow Semantics of Asynchronous Tuple-based Process Languages for
Collective Adaptive Systems"
Francesco Luca De Angelis and Giovanna Di Marzo Serugendo, "Logic
Fragments: a coordination model based on logic inference"
16:00 - 17:30 Session 2 -- Constraints
Sung-Shik T.Q. Jongmans and Farhad Arbab, "Take Command of Your
Constraints!"
Fabio Gadducci, Francesco Santini, Luis Pino and Frank Valencia, "A
Labelled Semantics for Soft Concurrent Constraint Programming"
Day #2 (June 3)
11:00 - 12:30 Session 3 -- Coordinating ensembles
Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese
and Jacopo Mauro, "Dynamic Choreographies: Safe Runtime Updates of
Distributed Applications"
Edmund Soon Lee Lam, Iliano Cervesato and Nabeeha Fatima, "Comingle:
Distributed Logic Programming for Decentralized Mobile Ensembles"
Luca Padovani, Tzu-Chun Chen and Andrea Tosatto, "Type Reconstruction
Algorithms for Deadlock-Free and Lock-Free Linear π − Calculi"
16:00 - 17:30 Session 4 -- Agent-oriented techniques
Francisco Cruz-Mencia, Antonio Espinosa, Juan Carlos Moure, Jesus
Cerquides and Juan Antonio Rodriguez-Aguilar, "Parallelisation and
application of AD3 as a method for solving large scale combinatorial
auctions"
Stephen Cranefield and Surangika Ranathunga, "Handling agent perception
in heterogeneous distributed systems: a policy-based approach"
Andrea Omicini, Giancarlo Fortino and Stefano Mariani, "Blending
Event-Based and Multi-Agent Systems around Coordination Abstractions
Day #3 (June 4)
11:00 - 12:30 Session 5 -- Shared spaces
Xi Wu, Ximeng Li, Alberto Lluch Lafuente, Flemming Nielson and Hanne
Riis Nielson, "Klaim-DB: A Modeling Language for Distributed Database
Applications"
Marino Miculan, Marco Peressotti and Andrea Toneguzzo, "Open
transactions on shared memory"
Malinda Kumarasinghe, Geeth Tharanga, Lasitha Weerasinghe, Ujitha
Wickramarathna and Surangika Ranathunga, "VISIRI - Distributed complex
event processing system for handling large number of queries"
-----------
Organization
Program Chairs
Tom Holvoet (KU Leuven, Belgium)
Mirko Viroli (University of Bologna, Italy)
Publicity Chair
Giacomo Cabri (University of Modena and Reggio Emilia, Italy)
Programme Committee
Gul Agha (University of Illinois at Urbana-Champaign, USA)
Farhad Arbab (CWI and Leiden University, The Netherlands)
Jacob Beal (Raytheon BBN Technologies, USA)
Olivier Boissier (Ecole Nationale Supérieure des Mines of Saint-Etienne,
France)
Ferruccio Damiani (Uniersità di Torino, Italy)
Wolfgang De Meuter (Vrije Universiteit Brussel, Belgium)
Rocco De Nicola (IMT - Institute for Advanced Studies, Italy)
Ed Durfee (University of Michigan, USA)
Schahram Dustdar (Vienna University of Technology, Austria)
Gianluigi Ferrari (University of Pisa, Italy)
José Luiz Fiadeiro (Royal Holloway University of London, UK)
Valérie Issarny (Inria, France)
Christine Julien (The University of Texas at Austin, USA)
Sarit Kraus (Bar-Ilan University, Israel)
Eva Kuhn (TU Wien, Austria)
Marino Miculan (Università di Udine, Italy)
Hanne Riis Nielson (Technical University of Denmark, Denmark)
Andrea Omicini (University of Bologna, Italy)
Sascha Ossowski (University Rey Juan Carlos, Spain)
Paolo Petta (OFAI - Austria Research Institute for Artificial
Intelligence, Austria)
Rosario Pugliese (Università degli Studi di Firenze, Italy)
Alessandro Ricci (Uniervsità di Bologna, Italy)
Juan Antonio Rodriguez Aguilar (IIIA-CSIC, Barcelona)
Carles Sierra (IIIA-CSIC, Barcelona)
Marjan Sirjani (Reykjavik University, Iceland)
Carolyn Talcott (SRI International, California, USA)
Emilio Tuosto (University of Leicester, UK)
Herbert Wiklicky (Imperial College London, UK)
Martin Wirsing (Ludwig-Maximilians-Universität München, Germany)
Franco Zambonelli (Università di Modena e Reggio Emilia, Italy)
Steering Committee
Gul Agha (University of Illinois at Urbana Champaign, USA)
Farhad Arbab (CWI and Leiden University, The Netherlands) (Chair)
Dave Clarke (Uppsala University, Sweden)
Tom Holvoet (KU Leuven, Belgium)
Jean-Marie Jacquet (University of Namur, Belgium)
Christine Julien (The University of Texas at Austin, USA)
Eva Kühn (Vienna University of Technology, Austria)
Wolfgang De Meuter (Vrije Universiteit Brussels, Belgium)
Rocco De Nicola (IMT - Institute for Advanced Studies Lucca, Italy)
Rosario Pugliese (Università di Firenze, Italy)
Marjan Sirjani (Reykjavik University, Iceland)
Carolyn Talcott (SRI International, California, USA)
Vasco T. Vasconcelos (University of Lisbon, Portugal)
Gianluigi Zavattaro (University of Bologna, Italy)
Mirko Viroli (University of Bologna, Italy)
--
|----------------------------------------------------|
| Prof. Giacomo Cabri - Ph.D., Associate Professor
| Dip. di Scienze Fisiche, Informatiche e Matematiche
| Universita' di Modena e Reggio Emilia - Italia
| e-mail giacomo.cabri at unimore.it
| tel. +39-059-2058320 fax +39-059-2055216
|----------------------------------------------------|
From grlmc at urv.cat Sat Apr 25 15:49:50 2015
From: grlmc at urv.cat (GRLMC)
Date: Sat, 25 Apr 2015 15:49:50 +0200
Subject: InfoSec 2015: registration deadline 3 May
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/
**********************************************************************
--- 5th registration deadline: May 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, 30 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, 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
Somesh Jha (University of Wisconsin, Madison), [intermediate/advanced]
Analysis Techniques in Information Security
Antoine Joux (Pierre et Marie Curie University, Paris),
[introductory/intermediate] Discrete Logarithms in Finite Fields
Marc Joye (Technicolor R&I, Los Altos), [introductory/intermediate] Secure
Public-Key Cryptosystems
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 feeds at sentic.net Sun Apr 26 18:36:43 2015
From: feeds at sentic.net (SenticNet)
Date: Sun, 26 Apr 2015 11:36:43 -0500 (EST)
Subject: [SenticNet] CFP: 4th KDD Workshop on Issues of Sentiment Discovery
and Opinion Mining (WISDOM), August 2015, Sydney
Message-ID: <1926665023.1856271.1430066203191.JavaMail.open-xchange@bosoxweb02.eigbox.net>
Apologies for cross-posting,
Submissions are invited to the 4th KDD Workshop on Issues of Sentiment Discovery
and Opinion Mining (WISDOM) to be held at KDD'15 this August in Sydney. For more
information, please visit http://sentic.net/wisdom
RATIONALE
WISDOM aims to explore how the wisdom of the crowds is affecting (and will
affect) the evolution of the Web and of businesses gravitating around it. In
particular, the workshop series explores two different stages of sentiment
analysis: the former focusing on the identification of opinionated text over the
Web, the latter focusing on the classification of such text either in terms of
polarity detection or emotion recognition.
TOPICS
WISDOM aims to provide an international forum for researchers in the field of
machine learning for opinion mining and sentiment analysis to share information
on their latest investigations in social information retrieval and their
applications both in academic research areas and industrial sectors. The broader
context of the workshop comprehends opinion mining, social media marketing,
information retrieval, and natural language processing. Topics of interest
include but are not limited to:
• Endogenous NLP for sentiment analysis
• Sentiment learning algorithms
• Semantic multi-dimensional scaling for sentiment analysis
• Big social data analysis
• Opinion retrieval, extraction, classification, tracking and summarization
• Domain adaptation for sentiment classification
• Time evolving sentiment analysis
• Emotion detection
• Concept-level sentiment analysis
• Topic modeling for aspect-based opinion mining
• Multimodal sentiment analysis
• Sentiment pattern mining
• Affective knowledge acquisition for sentiment analysis
• Biologically-inspired opinion mining
• Content-, concept-, and context-based sentiment analysis
TIMEFRAME
• June 5th, 2015: Submission deadline
• June 30th, 2015: Notification of acceptance
• July 15th, 2015: Final manuscripts due
• August 10th, 2015: Workshop date
ORGANIZERS
• Yongzheng Zhang, LinkedIn Inc. (USA)
• Erik Cambria, Nanyang Technological University (Singapore)
• Yunqing Xia, Microsoft Research Asia (China)
• Bing Liu, University of Illinois at Chicago (USA)
From cfp2015a at micai.org Mon Apr 27 12:34:19 2015
From: cfp2015a at micai.org (MICAI 2015)
Date: Mon, 27 Apr 2015 05:34:19 -0500
Subject: CFP: MICAI-2015: NLP & Artificial Intelligence - Springer LNAI - Mexico
Message-ID:
MICAI-2015
14th Mexican International Conference on ARTIFICIAL INTELLIGENCE
October 25 to 31, 2015, Cuernavaca (near Mexico City), Mexico
Publication: Springer LNAI (EI, ISI), IEEE CPS (anticipated), journals
Submission: June 23 draft abstract / 30 full text
www.micai.org/2015
== GENERAL INFORMATION
Topics: all areas of NLP and Artificial Intelligence, research or applications.
Workshops. Tutorials. Doctoral Consortium. Best papers awards.
== KEYNOTES
Alexander Gelbukh (Mexico), Paolo Rosso (Spain), Juan-Manuel Torres-Moreno
(France); three other world-class experts in AI; see the webpage.
== PROCEEDINGS
Springer LNAI (IE, ISI); IEEE CPS (anticipated),
special issues of journals (including ISI JCR / Scopus, anticipated).
Workshops: see the respective calls for papers.
== VENUE AND TOURS
Venue: Cuernavaca (near Mexico City), Mexico. Cultural program and tours:
Teotihuacan pyramids, Cacahuamilpa cave, Xochicalco archeological site.
== DEADLINE
June 23: draft abstract -- just a general idea of what your paper will
be about (why not submitting it now and change it later if needed?);
June 30: full text for blind review. Contact us for late submissions.
== CALL FOR WORKSHOPS and TUTORIALS
Submit your workshop or tutorial proposal, see the calls on the webpage.
PLEASE CIRCULATE this CFP among your colleagues and students.
We apologize if you receive multiple copies. Please reply to
this message if you were contacted by error.
From attard at iai.uni-bonn.de Mon Apr 27 14:58:37 2015
From: attard at iai.uni-bonn.de (Judie Attard)
Date: Mon, 27 Apr 2015 14:58:37 +0200
Subject: Data Literacy Workshop Call for Papers
Message-ID:
The 2015 Data Literacy workshop will run on the afternoon of the 30th of June at Web Sci 2015 in Oxford, UK. The aim of this workshop is to establish data literacy as a topic of academic study.
Important Dates
All deadlines are midnight UK time on the date specified.
Papers submitted by: 17th May
Notification to authors: 26th May
Workshop: 30th June
Topics
To this end we invite submissions of papers on the following topics:
What do we mean by data literacy? Is there one kind of data literacy or many? What skills, knowledge and attitudes does it include? How does it relate to other types of literacy (digital, numerical, statistical and linguistic)?
Why do we need data literacy? What are the social, political, economic, technical issues it can address?
How should data literacy be achieved? Is it best done through education, training, or behaviour change. What tools and support are required for data literacy?
What are the broader political, social and philosophical implications of data literacy?
For example:
Should technology be driving such fundamental skills?
How does this compare to other technologies such as the printing press that have created a need for new “literacies”?
Does data literacy compound the digital divide at another level?
Can it lead to open data having a more visible impact?
Who should be data literate? Should everyone become a data specialist by learning how to deal with raw data, or we assume that we need specialists in order to “translate” data to the society?
What are the practical implications of data literacy? What should private and public sector organisations do about data literacy? How should data literacy participate in education and research?
Submissions can be of two types:
Completed long papers (8-10pp)
Short papers experience related, position papers, research in progress (3-5pp)
In either case we encourage linking to other media such as video clips or software.
All accepted papers will be published on the workshop website. This will be done several days before the workshop in order to facilitate discussion in the plenary section of the workshop. The organizing committee will select the best papers to be presented at the workshop on the 30th of June. If papers reach the required standard but the authors are unable to attend the workshop, they will also be published.
Selection criteria for papers
The selection criteria are adapted from the Springer LNCS. Submissions should:
Be written in English;
Fit with the workshop theme;
Have a clear motivation (why the problem is interesting theoretically and/or practically);
Conceptual development and grounding in prior literature (given the nascent nature of the topic it is not expected that the prior literature is about data literacy);
Methodological adequacy (if relevant);
Adequate list of references to related work and grounding theories;
Interesting findings;
Well-structured and clearly written paper;
Maximum length of paper: 10 pages for full papers, 5 pages for short papers; and
Conform to Web Sci 2015 rules for formatting.
Papers will be subjected to double blind review by 2 reviewers for rigor, relevance, originality and clarity of presentation and then the accepted papers will be chosen by the organising committee based on the reviewers’ assessment. Papers should be anonymised, i.e. all information identifying the authors removed, and submitted via Easychair.
Contact: mark.frank at soton.ac.uk
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL:
From iswanghao at gmail.com Mon Apr 27 15:24:17 2015
From: iswanghao at gmail.com (Hao Wang)
Date: Mon, 27 Apr 2015 15:24:17 +0200
Subject: DataCom 2015 Call for Papers
Message-ID:
[apologies for cross-postings, please distribute]
========================================================================
C A L L F O R P A P E R S
DataCom 2015
2015 International Conference on Big Data Intelligence and Computing
December 19 - 21, 2015, Chengdu, China
http://umc.uestc.edu.cn/conference/DataCom2015
Important Dates:
Paper submission *August
15th, 2015*
Acceptance notification * September
15th, 2015*
Camera ready *September
30th, 2015*
Registration deadline *September
30th, 2015*
Scope:
======
The goal of the 2015 International Conference on Big Data Intelligence and
Computing (DataCom 2015) is to establish an international forum
for engineers and scientists to present their ideas and experiences in
the fields of Big Data intelligence and computing. DataCom 2015 welcomes
paper submissions on innovative work from researchers in academia, industry
and government describing original research work in Big Data. Topics of
interest include, but are not limited to:
· The 5Vs of the data landscape: volume, variety, velocity, veracity,
value.
· Big data science and foundations, analytics, visualisation and
semantics.
· Software and tools for big data management.
· Security, privacy and legal issues specific to big data.
· Big data economy, QoS and business models.
· Intelligence and scientific discovery.
· Software, hardware and algorithm co-design, high-performance
computing.
· Large-scale recommendation systems and graph analysis.
· Algorithmic, experimental, prototyping and implementation.
· Data-driven innovation, computational modelling and data
integration.
· Data intensive computing theorems and technologies.
· Modelling, simulation and performance evaluation .
· Hardware and infrastructure, green data
centres/environmental-friendly perspectives.
· Computing, scheduling and resource management for sustainability.
· Complex applications in areas where massive data is generated.
Submission:
===========
Papers are to be submitted electronically, following the guidelines on the
conference web page. Submissions must include an abstract, keywords, the
e-mail address of the corresponding author and should not exceed 6 pages
for main conference, including tables and figures in IEEE CS format. All
paper submissions must represent original and unpublished work.
Each submission will be peer reviewed by at least three program
committee members.
Submission of a paper should be regarded as an undertaking
that, should the paper be accepted, at least one of the authors
will register for the conference and present the work. Papers submitted in
PDF format via the submission site :
http://umc.uestc.edu.cn/conference/DataCom2015/DataCom_papersubmission.php
Publication:
============
Accepted and presented papers will be included into the IEEE Conference
Proceedings published by *IEEE CS Press*. Authors of accepted papers, or at
least one of them, are requested to register and present their work at the
conference, otherwise their papers will be removed from the digital
libraries of IEEE CS after the conference.
Distinguished papers accepted and presented in DataCom 2015, after further
extensions, will be published in special issues of several SCI/EI Indexed
journals including Computers and Electrical Engineering SCI Indexed,
Elsevier), Mobile Information Systems (SCI Indexed, Hindawi),
Microprocessors and Microsystems (SCI Indexed, Elsevier) etc. Please visit
the DataCom 2015 website DataCom_specialissue.php
for
the complete listing of all the journals.
Workshops
=========
The DataCom 2015 Organizing Committee invites proposals for one-day
workshops affiliated with the conference and addressing research areas
related to the conference. The workshop proceedings will be published by
IEEE CS Press. Submit workshop proposals to workshops chairs via emails.
Workshops
=========
The DataCom 2015 Organizing Committee invites proposals for one-day
workshops affiliated with the conference and addressing research areas
related to the conference. The workshop proceedings will be published by
IEEE CS Press. Submit workshop proposals to workshops chairs via emails.
GENERAL CHAIRS
==============
* Geoffrey Fox, Indiana University, USA
* Yeh-Ching Chung, National Tsing Hua University, Taiwan, China
* Beniamino Di Martino, Second University of Naples, Italy
PROGRAM CHAIRS
==============
* Christophe Cerin, University of Paris XIII, France
* Weizhe Zhang, Harbin Institute of Technology, China
* Hao Wang, Aalesund Univeristy College, Norway
EXECUTIVE CHAIR
===============
* Xingang Liu, University of Electronic Science and Technology of China,
China
EXECUTIVE CHAIR
===============
* Xingang Liu, University of Electronic Science and Technology of China,
China
AWARD CHAIR
===========
* Rajkumar Buyya, University of Melbourne, Australia
PUBLICITY CHAIRS
================
* Yunquan Zhang, Chinese Academy of Sciences, China
* Anna Kobusinska, Poznan University of Technology, Poland
* Xingde Jia, Texas State University, USA
PUBLICATION CHAIR
=================
* Xiaoming Li, University of Delaware, USA
CONFERENCE SECRETARIES
======================
* Peicheng Wang, Univeristy of Electronic Science and Technology of China,
China
* Binfei Shao, Univeristy of Electronic Science and Technology of China,
China
See you in Chengdu!
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL:
From amedeo.napoli at loria.fr Mon Apr 27 18:43:21 2015
From: amedeo.napoli at loria.fr (Amedeo Napoli)
Date: Mon, 27 Apr 2015 18:43:21 +0200 (CEST)
Subject: 2nd CFP FCA4AI Workshop at IJCAI 2015 ``What can FCA do for
Artificial Intelligence?'' (4th Edition) **** EXTENDED DEADLINE ****
In-Reply-To: <293180383.1113786.1430152963677.JavaMail.zimbra@loria.fr>
Message-ID: <72640811.1113866.1430153001177.JavaMail.zimbra@loria.fr>
-------------------------------------------------------------------------------------------------------------------
(**** EXTENDED DEADLINE ****)
Call for Papers
(**** EXTENDED DEADLINE ****)
-------------------------------------------------------------------------------------------------------------------
-- FCA4AI (Fourth Edition) --
``What can FCA do for Artificial Intelligence?''
co-located with IJCAI 2015, Buenos Aires, Argentina
25 July-1 August 2015
http://www.fca4ai.hse.ru/2015
-------------------------------------------------------------------------------------------------------------------
General Information.
The preceding editions of the FCA4AI Workshop (ECAI 2014 Prague, IJCAI 2013 Beijing, and ECAI 2012 Montpellier) showed that many researchers working in Artificial Intelligence are indeed interested by a powerful method for classification and mining such as Formal Concept Analysis (see http://ceur-ws.org/Vol-1257/, http://ceur-ws.org/Vol-1058/, and http://ceur-ws.org/Vol-939/).
This year, we have the chance to organize a new edition of the workshop in Buenos Aires at the IJCAI 2015 Conference.
Formal Concept Analysis (FCA) is a mathematically well-founded theory aimed at data analysis and classification. FCA allows one to build a concept lattice and a system of dependencies (implications) which can be used for many AI needs, e.g. knowledge processing involving learning, knowledge discovery, knowledge representation and reasoning, ontology engineering, and as well as information retrieval and text processing. Thus, there exist many ``natural links'' between FCA and AI.
Recent years have been witnessing increased scientific activity around FCA, in particular a strand of work emerged that is aimed at extending the possibilities of FCA w.r.t. knowledge processing, such as work on pattern structures and relational context analysis. These extensions are aimed at allowing FCA to deal with more complex than just binary data, both from the data analysis and knowledge discovery point of view and from the knowledge representation point of view, including, e.g., ontology engineering. All these works extend the capabilities of FCA and offer new possibilities for AI activities in the framework of FCA.
Accordingly, in this workshop, we will be interested in two main issues:
- How can FCA support AI activities such as knowledge processing (knowledge discovery, knowledge representation and reasoning),
learning (clustering, pattern and data mining), natural language
processing, information retrieval.
- How can FCA be extended in order to help AI researchers to solve new
and complex problems in their domain.
The workshop is dedicated to discuss such issues.
TOPICS OF INTEREST include but are not limited to:
- Concept lattices and related structures: description logics, pattern structures, relational structures.
- Knowledge discovery and data mining with FCA: association rules, itemsets and data dependencies, attribute implications, data pre-processing, redundancy and dimensionality reduction, classification and clustering.
- Knowledge engineering and ontology engineering: knowledge representation and reasoning.
- Scalable algorithms for concept lattices and artificial intelligence ``in the large'' (distributed aspects, big data).
- Applications of concept lattices: semantic web, information retrieval, visualization and navigation, pattern recognition.
The workshop will include time for audience discussion for having a better understanding of the issues, challenges, and ideas being presented.
IMPORTANT DATES:
Submission deadline: May 18, 2015 (**** hard deadline ****)
Notification to authors: June 15, 2015
Final version: July 1st, 2015
Workshop: July 25 or 26, 2015 (to be confirmed)
SUBMISSION DETAILS:
The workshop welcomes submissions in pdf format in Springer's LNCS style.
Submissions can be:
- technical papers not exceeding 8 pages,
- system descriptions or position papers on work in progress not
exceeding 4 pages
Submissions are via EasyChair at
https://www.easychair.org/conferences/?conf=fca4ai2015 (opening soon)
The workshop proceedings will be published as CEUR proceedings.
A selection of the best papers presented at the workshop will be considered for a special issue of a high-level journal.
WORKSHOP CHAIRS:
Sergei O. Kuznetsov Higher Schools of Economics, Moscow, Russia
Amedeo Napoli LORIA-INRIA, Vandoeuvre les Nancy, France
Sebastian Rudolph Technische Universitaet Dresden, Germany
PROGRAM COMMITTEE (in constitution)
-------------------------------------------------------------------------------------------------------------------
-------------------------------------------------------------------------------------------------------------------
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL:
From n.bulling at tudelft.nl Mon Apr 27 19:15:25 2015
From: n.bulling at tudelft.nl (Nils Bulling)
Date: Mon, 27 Apr 2015 19:15:25 +0200
Subject: MATES 2015 Doctoral Consortium (2nd Call)
Message-ID:
Second Call for Papers for the
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: May 22, 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 schon at uni-koblenz.de Tue Apr 28 13:41:39 2015
From: schon at uni-koblenz.de (Claudia Schon)
Date: Tue, 28 Apr 2015 13:41:39 +0200
Subject: NEWS: Bridging Workshop at CADE 2015 - Change of submission modalities
Message-ID: <209F62AD-EBC3-4F3B-81F9-682A67E3A097@uni-koblenz.de>
NEWS: Bridging Workshop at CADE 2015 - Change of submission modalities
Workshop on:
Bridging the Gap between Human and Automated Reasoning
located at CADE-25, Berlin, Germany, Aug 1, 2015
http://ratiolog.uni-koblenz.de/bridging.html
Since this is a new workshop, we decided to only have informal proceedings using the Computing Research Repository (CoRR). During the workshop we will decide about possible post-workshop proceedings.
This is why were able to change the submission modalities:
Abstract submission deadline: May 1, 2015
Full paper submission deadline: May 10, 2015
Notification: June 1, 2015
Final submission: June 21, 2015
Looking forward to your submission.
Claudia Schon
on behalf of the organizing committee.
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL:
From fstolzenburg at hs-harz.de Tue Apr 28 16:28:29 2015
From: fstolzenburg at hs-harz.de (Frieder Stolzenburg)
Date: Tue, 28 Apr 2015 16:28:29 +0200
Subject: Call for Papers: 5th Workshop on Dynamics of Knowledge and Belief
(DKB-2015) and 4th Workshop KI & Kognition (KIK-2015), September 22, 2015,
Dresden, Germany
Message-ID: <553F990D.5080007@hs-harz.de>
CALL FOR PAPERS
5th Workshop on Dynamics of Knowledge and Belief (DKB-2015) and
4th Workshop KI & Kognition (KIK-2015):
Formal and Cognitive Reasoning
==============================
http://www.fernuni-hagen.de/wbs/dkbkik2015.html
Workshop at KI-2015
38th German Conference on Artificial Intelligence
September 21-25, 2015, Dresden, Germany
Organized by the "FG Wissensrepraesentation und Schliessen"
and the FG "Kognition" of the GI
Aims and Scope
**************
Information for real life AI applications is usually pervaded by uncertainty and subject to change, and thus demands for non-classical reasoning approaches. At the same time, psychological findings indicate that human reasoning cannot be completely described by classical logical systems. Sources of explanations are incomplete knowledge, incorrect beliefs, or inconsistencies. Generally, people employ both inductive and deductive reasoning to arrive at beliefs; but the same argument that is inductively strong or powerful may be deductively invalid. Therefore, a wide range of reasoning mechanism has to be considered, such as analogical or defeasible reasoning. The field of knowledge representation and reasoning offers a rich palette of methods for uncertain reasoning both to describe human reasoning and to model AI approaches. Its many facets like qualitative vs. quantitative reasoning, argumentation and negotiation in multi-agent systems, causal reasoning for action and planning, as we
l
l as nonmonotonicity and belief revision, among many others, have become very active fields of research. Beyond computational aspects, these methods aim to reflect the rich variety of human reasoning in uncertain and dynamic environments.
The aim of this series of workshops is to address recent challenges and to present novel approaches to uncertain reasoning and belief change in their broad senses, and in particular provide a forum for research work linking different paradigms of reasoning. Previous events of the Workshop on "Dynamics of Knowledge and Belief" (DKB) took place in Osnabrueck (2007), Paderborn (2009), Berlin (2011), and Koblenz (2013). Previous editions of the Workshop on "KI & Kognition" (KIK) took place in Saarbruecken (2012), Koblenz (2013), and Stuttgart (2014).
This year, we put a special focus on papers from both fields that provide a base for connecting formal-logical models of knowledge representation and cognitive models of reasoning, addressing formal as well as experimental or heuristic issues. Reflecting this focus, the workshop "Formal and Cognitive Reasoning" at KI-2015 is organized jointly by the GI special interest groups "Wissensrepraesentation und Schliessen" and "Kognition".
We welcome papers on the following and any related topics:
- Action and change
- Agents and multiagent systems
- Analogical reasoning
- Argumentation theories
- Belief revision and belief update
- Cognitive modeling and empirical data
- Common sense and defeasible reasoning
- Decision theory and preferences
- Inductive reasoning and cognition
- Knowledge representation in theory and practice
- Learning and knowledge discovery in data
- Nonmonotonic and uncertain reasoning
- Ontologies and description logics
- Probabilistic approaches of reasoning
Publication
***********
The proceedings will be published as a technical report that will be available at the workshop. It is planned to publish a selection of extended papers after a post-workshop reviewing process in a special issue of an international journal.
Important Dates
***************
Deadline for Submission: July 01, 2015
Notification of Authors: July 31, 2015
Final Versions of Papers: August 17, 2015
Workshop: September 22, 2015 (exact day to be confirmed)
Workshop Organizers and Co-Chairs
*********************************
Christoph Beierle, FernUniversitaet in Hagen, Germany
Gabriele Kern-Isberner, TU Dortmund, Germany
Marco Ragni, Universitaet Freiburg, Germany
Frieder Stolzenburg, Hochschule Harz, Germany
Program Committee
*****************
Thomas Barkowsky, Universitaet Bremen, Germany
Gerd Brewka, Universitaet Leipzig, Germany
Igor Douven, Paris-Sorbonne University, France
Christian Freksa, Universitaet Bremen, Germany
Ulrich Furbach, Universitaet Koblenz, Germany
Joachim Hertzberg, Universitaet Osnabrueck, Germany
Andreas Herzig, Universite Paul Sabatier, Toulouse, France
Steffen Hoelldobler, TU Dresden, Germany
Manfred Kerber, University of Birmingham, UK
Gerhard Lakemeyer, RWTH Aachen, Germany
Bernhard Nebel, Albert-Ludwigs-Universitaet Freiburg, Germany
Henri Prade, IRIT - CNRS, France
Hans Rott, Universitaet Regensburg, Germany
Ute Schmid, Universitaet Bamberg, Germany
Matthias Thimm, Universitaet Koblenz-Landau, Germany
Paul Thorn, Universitaet Duesseldorf, Germany
Hans Tompits, TU Wien, Austria
Christoph Wernhard, TU Dresden, Germany
Stefan Woelfl, Albert-Ludwigs-Universitaet Freiburg, Germany
Paper Submission and Further Information
****************************************
http://www.fernuni-hagen.de/wbs/dkbkik2015.html
From dietmar.jannach at tu-dortmund.de Tue Apr 28 17:36:10 2015
From: dietmar.jannach at tu-dortmund.de (Dietmar Jannach)
Date: Tue, 28 Apr 2015 17:36:10 +0200
Subject: CfP: IJCAI 2015 Workshop on Intelligent Personalization (IP 2015) - New deadline 11 May 2015
Message-ID: <00aa01d081c9$10755940$31600bc0$@tu-dortmund.de>
======================================================================
Final CALL FOR PAPERS
IJCAI 2015 Workshop in INTELLIGENT PERSONALIZATION (IP'2015)
Joint Workshop on Constraints and Preferences for Configuration and
Recommendation (CPCR) /
Intelligent Techniques for Web Personalization (ITWP)
Held in conjunction with IJCAI 2015, 25-27 July 2015, Buenos Aires,
Argentina
http://ls13-www.cs.uni-dortmund.de/homepage/ip2015/index.shtml
!!! NEW Submission Deadline: May 11, 2015 !!!
======================================================================
WORKSHOP GOALS
===================
Finding the information or product that matches your needs and preferences
on the Web can be challenging. Modern search engines can help in many
situations, but they are based on one-shot query interactions and limited
with respect to their personalization capabilities. Recommender Systems (RS)
have proved to be helpful tools for various information seeking and
filtering tasks and are nowadays ubiquitous on the Web. The most prominent
classes of such systems are based on the detection of preference patterns in
larger user communities (collaborative filtering) or on the automatic
construction of content-based preference profiles for individual users
(content-based filtering).
For some application domains in e-commerce, relying on such pattern or model
learning approaches alone can be insufficient because explicit and detailed
short term interest or preference profiles are required to determine the
most suitable product. This is for example the case when (a) the products
themselves are configurable and can be tailored to the specific needs of a
user or (b) the selection of the right product is based on user-specified
explicit constraints, e.g., when purchasing a digital camera or smartphone.
Going beyond collaborative and content-based techniques, such
knowledge-based approaches therefore often require more complex user
interfaces which support interactive preference elicitation or explanations
as well as explicitly encoded domain knowledge.
The aim of the workshop is to bring together researchers and practitioners
working on topics related to the use of Artificial Intelligence techniques
in the areas of recommendation systems, electronic commerce, personalized
web tools, and interactive configurator systems. We are specifically
interested in contributions which aim to combine explicit preference and
constraint models with machine learning techniques.
TOPICS OF INTEREST
===================
We invite original contributions in a variety of areas related to
Recommendation, Configuration and Web Personalization:
* Preference Elicitation and User Modeling: Interactive Elicitation,
Explicit and Implicit Feedback, Social/Semantic Web Mining for
Personalization, Preference Learning, Collaborative and Content-based
Filtering
* User Interaction: Conversational Approaches, Explanations, Constraint
Relaxation, Context-Aware Approaches, Personalized Information Filtering
* Knowledge Representation and Reasoning: Constraint Programming, Preference
Handling, Machine Learning, Satisfiability Testing, Logic-based Approaches,
Developing, Testing and Debugging of Knowledge Bases
* Evaluation Methodology, Metrics, and Case Studies; Implementation
Architectures
Keywords:
* Recommender Systems
* Product Configuration and Mass Customization
* Constraint Reasoning
* Preference Handling and Preference Learning
* Web Personalization
PAPER SUBMISSION AND PARTICIPATION
===================
Papers must be formatted according to the IJCAI 2015 style guide
(http://ijcai-15.org/downloads/FormattingGuidelinesIJCAI-15.zip) and
submitted electronically as PDF through EasyChair at this URL:
https://easychair.org/conferences/?conf=ip2015.
We solicit the following types of papers as well as research demos
* Long Papers (usually 6 pages + references, extra pages are possible)
present original research work.
* Short Papers (4 pages) report on work in progress or describe demo
systems.
* Research Highlights (1 page): Research highlights summarize relevant
manuscripts which have recently been accepted for publication or appeared
within the last 6 months in a peer-reviewed journal or which are currently
under review.
* Position Papers (1 page): Discuss open challenges or present early-stage
research ideas.
The workshop proceedings will be archived as citable proceedings with a
permanent URL, e.g., using CEUR-WS.
IMPORTANT DATES
===================
* 11 May: Paper submission deadline
* 01 Jun: Author notification
* 22 Jun: Camera-ready versions due
* 25/26 or 27 July: Workshop held
WORKSHOP ORGANIZERS
===================
Dietmar Jannach, Department of Computer Science, TU Dortmund, Germany
dietmar.jannach at tu-dortmund.de
Jerome Mengin, IRIT, University of Toulouse, France
Jerome.Mengin at irit.fr
Bamshad Mobasher, School of Computer Science, DePaul University, Chicago,
USA
mobasher at cs.depaul.edu
Andrea Passerini, University of Trento, Italy
passerini at disi.unitn.it
Paolo Viappiani, CNRS and University Pierre and Marie Curie, France
paolo.viappiani at lip6.fr
From stefano.borgo at gmail.com Wed Apr 29 10:06:22 2015
From: stefano.borgo at gmail.com (Stefano Borgo)
Date: Wed, 29 Apr 2015 10:06:22 +0200
Subject: 3rd CfP: Joint Ontology Workshops (JOWO), EXTENDED DEADLINE May 10,
IJCAI-15, Buenos Aires
Message-ID: <554090FE.7020608@gmail.com>
==========================================
Joint Ontology Workshops (JOWO-15)
* Deadline extended *
-- Episode 1: The Argentine Winter --
Buenos Aires, Argentina, July 25-31, 2015
in conjunction with IJCAI 2015
http://iaoa.org/jowo
Invited speakers:
- Diego Calvanese (Univ. of Bolzano/Bozen)
- Luciano Serafini (FBK, Trento)
--- Third Call for Papers ---
==========================================
Submission deadline (extended): May 10, 2015
==========================================
This first edition of the Joint Ontology Workshops (JOWO-15) combines
four exciting ontology-centered workshops at IJCAI-15. Together with
ontology work presented at IJCAI itself, we will transform Buenos Aires
for a week into the largest venue for ontology research of the year.
JOWO-15 is supported by the International Association for Ontology and
its Applications - IAOA. It will feature a series of (shared) invited
talks, paper presentations, and discussions spread across four
independent full-day workshops run over a period of three days:
==================================
Workshop on Formal Ontologies for Artificial Intelligence (FOfAI)
==================================
http://www.loa.istc.cnr.it/fofai
chairs: Stefano Borgo, Oliver Kutz, and Daniele Porello
FOfAI aims to establish a venue for researchers in AI with a strong
interest in applied ontology. In particular, we aim to foster an
interdisciplinary discussion and cross-fertilization among a number of
communities by proposing a venue to exchange foundational,
methodological, and applicative perspectives. The workshop thus
encourages submission of articles on both theoretical, computational,
and linguistic issues in the use of ontologies in AI as well as the
concrete use of non-trivial ontologies in AI systems and applications.
FOfAI is generously sponsored by the Association for Logic, Language and
Information - FoLLI.
==================================
9th Int. Workshop on Modular Ontologies (WoMO 2015)
==================================
http://www.ccs.neu.edu/home/kenb/womo2015/
chairs: Kenneth Baclawski, Torsten Hahmann, Pavel Klinov, Adila Krisnadhi
This workshop brings together researchers from all subareas of AI and
from related disciplines and application domains to discuss latest and
current work on theoretical and practical aspects of modularity in
ontologies. Topics include modularity as enabling technology for
knowledge repositories and collaborative knowledge development
environments and as a tool for reducing the complexity of designing and
understanding ontologies, and to facilitating ontology verification,
reasoning, maintenance and integration.
==================================
1st Workshop on Belief Change and Non-Monotonic Reasoning in Ontologies
and Databases
==================================
https://ontochange.wordpress.com/
chairs: Eduardo FermÈ, Thomas Meyer and Renata Wassermann
This workshop will bring together researchers working in the areas of
logic-based ontologies, belief change, and database systems, along with
researchers working in relevant areas in non-monotonic reasoning,
commonsense reasoning, and paraconsistent reasoning. Hence the workshop
will facilitate discussions on the application of existing work in
belief change, non-monotonic reasoning, commonsense reasoning, and
related areas on the one hand, to logic-based ontologies and databases
on the other.
==================================
Ontologies and logic programming for query answering
==================================
http://ontolp.lsis.org/
chairs: Odile Papini, Marie-Laure Mugnier, Laurent Garcia, Salem Benferhat
The aim of this workshop is to bridge knowledge representation and
reasoning in artificial intelligence and web of knowledge communities in
order to encourage the emergence of new solutions for reasoning with
lightweight ontologies. Particular topics include query answering while
taking ontologies into account and
non-monotonic reasoning for inconsistency handling and exception
handling and expressing default negations in ontologies, with a special
interest in logic programming for implementations.
IMPORTANT DATES
Paper Submission (extended): May 10, 2015
Notification: May 30, 2015
Camera ready: June 15, 2015
Workshop: July, 2015
SUBMISSION GUIDELINES
Please refer to the individual workshops for detailed lists of topics
appropriate for each workshop.
Submissions can be long papers (up to 8 pages) or short papers (up to 4
pages), formatted using the AAAI style (available from
http://www.aaai.org/Publications/Author/author.php), submitted in PDF
format no later than the submission deadline.
All submission are handled through Easychair. Use
http://www.easychair.org/conferences/?conf=jowo15 for submissions to any
of the first three workshops, and select the track that corresponds to
the workshop most appropriate for your work. For the last workshop
''Ontologies and logic programming for query answering'', submissions
are handled separately through
https://easychair.org/conferences/?conf=ontolp2015
All submissions will be peer-reviewed by members of the program
committee of the individual workshops. Accepted papers will be made
available in the form of a joint workshop proceedings. For additional
publication plans check the individual workshops.
From ijcai2015.publicity at gmail.com Wed Apr 29 10:09:50 2015
From: ijcai2015.publicity at gmail.com (IJCAI 2015 Publicity Chairs)
Date: Wed, 29 Apr 2015 05:09:50 -0300
Subject: IJCAI 2015 Video Competition - THIRD CALL FOR VIDEOS
Message-ID:
[Apology for cross-postings]
*************************************************************************************************
===================================================================================
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. 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 10, 2015
* 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 Kvarnström 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 valentina.ivanova at liu.se Wed Apr 29 11:38:12 2015
From: valentina.ivanova at liu.se (Valentina Ivanova)
Date: Wed, 29 Apr 2015 09:38:12 +0000
Subject: [CfP] VOILA @ ISWC 2015 - Visualizations and User Interfaces for
Ontologies and Linked Data
Message-ID: <4B07F535C1DBB043B4E107FAA728DD202231115A@MB2-2010.ad.liu.se>
CALL FOR PAPERS
VOILA 2015 - Visualizations and User Interfaces for Ontologies and Linked Data
International Workshop at ISWC 2015, 14th International Semantic Web Conference
October 11 or 12, 2015, Bethlehem, Pennsylvania, USA
http://voila2015.visualdataweb.org
--------------------------------------------------
Submission Deadline: July 1, 2015
--------------------------------------------------
Motivation and Objectives
==========
"A picture is worth a thousand words", we often say, yet many areas are in demand of sophisticated visualization techniques, and the Semantic Web is not an exception. The size and complexity of ontologies and Linked Data in the Semantic Web constantly grow and the diverse backgrounds of the users and application areas multiply at the same time. Providing users with visual representations and intuitive user interfaces can significantly aid the understanding of the domains and knowledge represented by ontologies and Linked Data. There is no "one size fits all" solution but different use cases demand different visualization and interaction techniques. Ultimately, providing better user interfaces and visual representations will foster user engagement and likely lead to higher quality results in different applications employing ontologies and to the proliferation of Linked Data usage.
User interfaces are essential to easily provide access to the increasing diversity of knowledge modeled in ontologies. As ontologies grow in size and complexity, the demand for comprehensive visualization and sophisticated interaction also rises. In particular, user interfaces are an integral part of ontology engineering, to help bridge the gap between domain experts and ontology engineers. Ontology visualization is not a new topic and a number of approaches have become available in recent years, with some being already well-established, particularly in the field of ontology modeling. In other areas of ontology engineering, such as ontology alignment and debugging, although several tools have recently been developed, few provide a graphical user interface, not to mention navigational aids or comprehensive visualization techniques.
While ontology users usually possess domain and/or knowledge representation expertise, this is not necessarily the case with potential Linked Data consumers who can come from very different backgrounds and have varying levels of expertise. Currently, the main Linked Data consumers are technology experienced users, one of the reasons being the lack of appropriate user interfaces and visualizations to support other user groups. Visual approaches are needed to assist various kinds of users, who pursue diverse goals and pose individual requirements. In the presence of a huge network of interconnected resources, one of the challenges faced by the Linked Data community is the visualization of the multidimensional datasets to provide for efficient overview, exploration and querying tasks, to mention just a few. With the focus shifting from a Web of Documents to a Web of Data, changes in the interaction paradigms are in demand as well. Novel approaches also need to take into consideration the technological challenges and opportunities given by new interaction contexts, ranging from mobile and touch interaction to visualizations on large displays, and encompassing highly responsive web applications.
Topics of Interest
==========
Topics of interest include (but are not limited to):
- Visualizations for (large and complex) ontologies;
- Visualization of ontology design patterns;
- Linked Data visualizations and user interfaces;
- Visualizations and user interfaces for ontology engineering (ontology development, alignment, debugging, etc.);
- Requirements analysis for ontology and Linked Data visualizations;
- Case studies of applying visualizations in ontology engineering and Linked Data consumption;
- Context-aware visualization and interaction techniques;
- Applications of novel interaction techniques (e.g., touch and gesture interaction);
- User interfaces for collaborative ontology development;
- Ontology visualizations for large and high-resolution displays;
- Mobile user interfaces for ontology engineering and Linked Data exploration;
- User interfaces assisting people with disabilities;
- Visual exploration and querying of Linked Data.
Submission Guidelines
==========
Paper submission and reviewing for this workshop will be electronic via EasyChair. The papers should be written in English, following the Springer LNCS format, and be submitted in PDF.
The following types of contributions are welcome:
- Full research papers (8-12 pages);
- Experience papers (8-12 pages);
- Position papers (6-8 pages);
- Short research papers (4-6 pages);
- System papers (4-6 pages).
Accepted papers will be published as a volume in the CEUR Workshop Proceedings series.
Important Dates
==========
Submission: July 1, 2015
Notification: July 30, 2015
Camera-ready: August 14, 2015
Attendance
==========
Note that workshop attendees cannot register for the workshop only, but need to register for the main conference, as well.
Organizers
==========
Valentina Ivanova, Linköping University, Sweden
Patrick Lambrix, Linköping University, Sweden
Steffen Lohmann, University of Stuttgart, Germany
Catia Pesquita, University of Lisbon, Portugal
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL:
From Christian.Kuster at gt-arc.com Wed Apr 29 12:57:21 2015
From: Christian.Kuster at gt-arc.com (Christian Kuster)
Date: Wed, 29 Apr 2015 10:57:21 +0000
Subject: Deadline extension: EUSPN-2015
Message-ID:
===== CFP =====
CALL FOR PAPERS
**********************************************************************************
The 6th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2015)
September 27-30, 2015
Berlin, Germany
http://euspn-15.dai-labor.de/
**********************************************************************************
Important Dates:
Submission Deadline: June 3rd, 2015 (extended)
Author Notification: June 26, 2015
Final Manuscript Due: July 26, 2015
The 6th International Conference on Emerging Ubiquitous Systems and Pervasive
Networks (EUSPN) is a premier venue for bringing together multi-disciplinary
researchers, professionals and practitioners from both academia and industry,
who are engaged in different facets of ubiquitous systems and pervasive
networks. The conference encourages innovative research contributions providing
the recent significant developments and promising future trends of EUSPN based
applications, systems, tools, environments and infrastructures in the fields of
EUSPN and related areas.
All EUSPN-2015 accepted papers will be included in the conference proceedings
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
Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be
freely available worldwide. All papers in Procedia will also be indexed by
Scopus (www.scopus.com) and Engineering Village (Ei)
(www.engineeringvillage.com). This includes EI Compendex (www.ei.org/
compendex). 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
the special issues of:
- Journal of Mobile Information Systems, by IOS Press
- Journal of Ambient Intelligence and Humanized Computing, by Springer
- Journal of Web and Grid Services
Papers on either completed or ongoing research are invited in the following and
related tracks:
- Ad hoc and Pervasive Networks (Chair: Fikret Sivrikaya, German-Turkish Advanced ICT Research Centre, Germany)
- Adaptive Systems, Intelligent Computing and Applications (Chair: Ingrid Nunes, UFRGS, Brazil)
- Big Data and Big Data Science (Chair: Brijnesh-Johannes Jain, DAI-Lab, TU Berlin, Germany)
- Cloud, Cluster, Grid and Social Computing (Chairs: Kechar Bouabdellah, Oran University, Algeria; Shibo He, Zhejiang University, China)
- Pervasive / Ubiquitous Technologies - Emerging Tools and Applications (Chair: René Schumann, HES-SO, Switzerland)
- Intelligent Traffic and Transportation Systems (Chairs: Jamal Bentahar, Concordia University, Canada; K. K. Pattanaik, ABV-Indian Institute of Information Technology & Management, India)
- Internet of Things (Chair: Nik Bessis, University of Derby, UK)
- Mobile Computing and Wireless Communications (Chair: Hamid Mcheick,University of Quebec At Chicoutimi, Canada)
- Security, Privacy, and Trust (Chair: Karsten Bsufka, DAI-Lab, TU Berlin, Germany)
- Semantic Web Technologies (Chair: Nils Masuch, DAI-Lab, TU Berlin, Germany)
Paper Submission Guidelines:
Submitted technical 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. The submitted paper must be formatted according to the guidelines
of Procedia Computer Science, Elsevier. The EUSPN submission link can be found
at: http://easychair.org/conferences/?conf=euspn2015.
All accepted papers will be scheduled for oral presentations and will be printed
in the conference proceedings published by Elsevier Science in the open-access
Procedia Computer Science series on-line. At least one author of each accepted
paper is required to register and attend the conference to present the work.
Committee
-------------
General Chairs
Marco Lützenberger, DAI-Lab, TU Berlin, Germany
Elhadi Shakshuki, Arcadia University, Canada
Program Chairs
Stéphane Galland, Université de Technologie de Belfort-Montbéliard, France
Ansar-Ul-Haque Yasar, IMOB, Hasselt University, Belgium
Advisory Committee
Ali Ghorbani, Univ. of New Brunswick, Canada
Hossam Hassanein, Queen's University, Canada
Vincenzo Loia, University of Salerno, Italy
Zakaria Maamar, Zayed University, UAE
Makoto Takizawa, Seikei University, Japan
David Taniar, Monash University, Australia
Albert Zomaya, The University of Sydney, Australia
Workshops Chairs
Zahoor Khan, Higher Colleges of Technology, UAE
Publicity Chairs
Nabeel Al Qirim, College of Information Technology, UAE
Christian Kuster, German-Turkish Advanced ICT Research Centre, Germany
Samir Ouchani, University of Luxembourg, Luxembourg
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL:
From publicity at ecmlpkdd2015.org Wed Apr 29 15:23:45 2015
From: publicity at ecmlpkdd2015.org (ECMLPKDD 2015)
Date: Wed, 29 Apr 2015 14:23:45 +0100
Subject: ECMLPKDD 2015 : Nectar Track
Message-ID: <009b01d0827f$ba617130$2f245390$@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/) and includes a Nectar Track that offers
conference attendees a compact overview of recent scientific advances at the
frontier of machine learning and data mining with other disciplines, as
published in related conferences and journals.
We kindly remind all senior and junior researchers that the submission
deadline is approaching and summaries of their own work should be submitted
as soon as possible.
Important dates
Submission deadline: May 4, 2015
Notifications of acceptance: June 1, 2015
Submission of camera ready copies: June 15, 2015
Detailed information about the Nectar Track is available on:
http://www.ecmlpkdd2015.org/submission/call-nectar-track-contributions
For further information please contact the ECMLPKDD 2015 Nectar Track
Chairs:
Ricard Gavaldà (Universitat Politècnica de Catalunya)
Dino Pedreschi (Università di Pisa)
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 garcia at info.univ-angers.fr Wed Apr 29 18:02:33 2015
From: garcia at info.univ-angers.fr (Laurent GARCIA)
Date: Wed, 29 Apr 2015 18:02:33 +0200
Subject: New deadline for ONTOLP workshop at IJCAI 2015
Message-ID:
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
CALL FOR PAPERS
Ontologies and Logic Programming for Query Answering
http://ontolp.lsis.org
This international workshop is is one of the joint ontology workshops JOWO
2015 affiliated with the 24th International Joint Conference on Artificial
Intelligence (IJCAI-2015, http://ijcai-15.org) and
will take place in Buenos Aires, Argentina, July , 2015.
Workshop description
The aim of this workshop is to bridge knowledge representation and reasoning
in artificial intelligence and web of knowledge communities in order to
encourage the emergence of new solutions for reasoning with lightweight
ontologies.
- Query answering while taking ontologies into account.
- Non monotonic reasoning for inconsistency handling and exception handling
and expressing default negations in ontologies.
Concerning the first point, a challenging issue is how to adapt or extend
Answer Set Programming to represent ontological knowledge. In particular, can
(a fragment of) ASP cover lightweight ontological languages while keeping
decidability and efficiency?
Concerning the second point, a challenging issue is how to extend lightweight
ontological languages with non-monotonic features, while keeping a good
computational complexity. In particular,
- How to embed exceptions-based and inconsistency tolerant-based reasoning in
a tractable ontological language?
- How to integrate uncertainty information in lightweight ontological
languages?
- How to define merging operations where both inputs and outputs are in
lightweight ontological languages?
Topics of interest include but are not limited to
• Reasoning with lightweight ontologies
• Reasoning with tractable fragments of OWL languages
• Belief change & tractable Description logics
• Reasoning on the web of data
• Ontology-based data-access
• Ontological query answering
• Belief change & ASP
• Datalog+/- & existential rules
• ASP & description logics
• ASP & uncertainty
• First-order ASP
• Rulelog
The workshop is expected to bring together people from different
research communities that are actively pursuing this line of research.
Paper submission
The authors should submit their paper via EasyChair:
https://easychair.org/conferences/?conf=ontolp2015
We expect submissions of both mature and preliminary works. Long papers will
not exeed 8 pages and short papers will not exceed 4 pages in pdf formatted
using the AAAI style according to the instructions at
http://www.aaai.org/Publications/Author/author.php
After the workshop, the authors of accepted papers will be invited to submit
an extended version for inclusion in a special issue of the Annals of
Mathematics and Artificial Intelligence (AMAI) journal published by Springer.
Important dates
• Abstract submission deadline: as soon as possible
• Paper submission new deadline: May 10, 2015
• Notification of acceptance: May 20, 2015
• Camera ready papers: May 30, 2015
• Workshop date: July 25-27 2015
Program committee
• Maria Teresa Alsinet Bernado (University of Lleida, Spain)
• Jean-François Baget (INRIA, Montpellier, France)
• Chitta Baral (Arizona State University, U.S.A.)
• Madalina Croitoru (University of Montpellier 2, France)
• Jim Delgrande (Simon Fraser University, Vancouver. Canada)
• Thomas Eiter (Vienna University of Technology. Austria)
• Jérôme Euzenat (INRIA, Grenoble, France)
• Eduardo Fermé (University of Madeira, Portugal)
• Sergio Alejandro Gomez (Universidad Nacional del Sur Alem, Argentina)
• Fabio Grandi (University of Bologna, Italy)
• Guido Governatori (NICTA Queensland, Australia)
• John Horty (University of Maryland, U.S.A.)
• Gabriele Kern-Isberner (University of Dortmund , Germany)
• Sylvain Lagrue (University of Artois, France)
• Claire Lefèvre (University of Angers, France)
• Joao Leite (University of Lisbon, Portugal)
• Nicola Leone (University of Calabria, Italy)
• Stéphane Loiseau (University of Angers, France)
• Thomas Lukasiewicz (University of Oxford. U.K.)
• Robert E. Mercer (University of Western Ontario, Canada)
• Thomas Meyer (CSIR Meraka Institute, Pretoria, South of Africa)
• Farid Nouioua (Aix Marseille University, France)
• Guilin Qi (Southeast University, China)
• Vincent Risch (Aix Marseille University, France)
• Riccardo Rosati (University La Sapienza, Roma, Italy)
• Marie-Christine Rousset (University of Grenoble, France)
• Torsten Schaub (University of Potsdam, Germany)
• Steven Schockaert (Cardiff University, U.K.)
• Guillermo Simari (University Bahia blanca, Argentine)
• Igor Stéphan (University of Angers, France)
• Umberto Straccia (ISTI-CNR, Pisa, Italy)
• Kewen Wang (Griffith University, Australia)
• Stefan Woltran (Vienna University of Technology, Austria)
• Eric Würbel (University of Toulon, France)
Chairs
◦ Odile Papini, Aix Marseille University, LSIS, France
odile.papini at univ-amu.fr
◦ Salem Benferhat, University of Artois, CRIL France.
benferhat at cril.fr
◦ Laurent Garcia, University of Angers, LERIA, France.
garcia at info.univ-angers.fr
◦ Marie-Laure Mugnier, University of Montpellier 2, LIRMM, France.
mugnier at lirmm.fr
Contact: Odile Papini, odile.papini at univ-amu.fr
This workshop receives support from ANR (French National Research
Agency),
(http://www.agence-nationale-recherche.fr/) ASPIQ project reference
ANR-12-BS02-0003.(http://aspiq.lsis.org/)
Related link: JOWO 2015 http://www.iaoa.org/jowo/
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
From invitation at iariaevent.org Thu Apr 30 14:03:11 2015
From: invitation at iariaevent.org (INTERNET 2015)
Date: Thu, 30 Apr 2015 08:03:11 -0400
Subject: Deadline Extension: INTERNET 2015 || October 11 - 16, 2015 - St. Julians, Malta
Message-ID: <1430395391593.1998@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.
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
=================
============== 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: 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
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 Thu Apr 30 16:07:29 2015
From: announce at cs.ucy.ac.cy (Announce Announcements)
Date: Thu, 30 Apr 2015 17:07:29 +0300
Subject: IEEE/ACM UCC 2015: Last Call for Workshop Proposals
Message-ID:
*** Last Call for Workshop Proposals ***
8th IEEE/ACM International Conference on Utility and Cloud
Computing (UCC 2015)
December 07-10, 2015, St. Raphael Resort, Limassol, Cyprus
Co-located with the 2nd IEEE/ACM International Conference
on Big Data Computing (BDC 2015)
http://cyprusconferences.org/ucc2015
*** Deadline for submitting workshop proposals: May 8th ***
CONTEXT AND SCOPE
Cloud Computing delivers computational resources on-demand as services
that are commoditized and delivered analogous to traditional utilities such as
electricity, gas, water and telephony. Cloud service offerings for compute,
storage and communication resources as well as for hosted software and data
are growing at a tremendous rate, and it is essential to understand how to
effectively transform these services into Utilities that provide value to both
users and providers. There is also increasing interest from commercial
providers to offer business and revenue models around the services they
offer. Understanding how these models could be used to provide utility for
users, intermediary brokers (aggregators) and providers is also an area of
active research. UCC is the premier IEEE/ACM conference covering all areas
related to Cloud Computing as a Utility and provides an international forum
for leading researchers and practitioners in this important and growing field.
UCC 2015, to be held in Cyprus, will happen as Cloud providers worldwide
add new services and increase Cloud utility at an accelerated pace, and Cloud
service users explore new usage modes.
This will be the 8th UCC in a successful conference series. Previous events
were held in Shanghai, China (Cloud 2009), Melbourne, Australia (Cloud 2010
& UCC 2011), Chennai, India (UCC 2010), Chicago, USA (UCC 2012), Dresden,
Germany (UCC2013), and London, UK (UCC 2014).
TOPICS OF INTEREST
Topics of interest include but are not limited to:
· Big Data and Analytics
· Principles and theoretical foundations of Utility Computing, including
pricing and service models
· Policy languages and Programming models
· Utility driven model and mechanisms for Cloud federations
· Autonomic techniques for Clouds and Cloud applications
· Utility-driven platforms for Clouds
· Architectural models to achieve Utility in Clouds
· Designs and deployment models for Clouds: private, public, hybrid,
federated, aggregated
· Cloud Computing middleware, stacks, tools, delivery networks and
services at all layers (XaaS)
· Virtualization technologies and other enablers
· Economic models and scenarios of use
· Scalability and resource management: brokering, scheduling, capacity
planning, parallelism and elasticity, as well as marketplaces
· Cloud management: autonomic, adaptive, self-*, SLAs, performance
models and monitoring
· Applications: games, social networks, scientific computing (e-science)
and business
· Mobile and energy-efficient use of Clouds
· Beyond technology: Cloud business and legal implications, such as
security, privacy, trust and jurisdiction, especially in Utility contexts
WORKSHOP PROPOSAL REQUIREMENTS
Proposals for workshops should be no more than 2 pages in length and
should contain the following information:
· Title and brief technical description of the workshop, specifying the goals
and the technical issues that will be the focus of the workshop.
· A brief description of why and to whom the workshop is of interest.
· A list of related workshops or similar events held in the last 3 years, or to
be held in 2015.
· The names and contact information (web page, email address) of the
proposed technical program committee. This committee should consist
of at least 10 people knowledgeable about the technical issues to be
addressed and preferably not more than two members of the same
institution.
· A description of the qualifications of the organizers (who would be the
Workshop Chairs) with respect to organizing this workshop. This can
include papers published in the proposed topic area, previous workshop
organization, and other relevant information.
· Workshop proposals should be submitted in PDF format by email to the
workshop chairs by the 8th of May, 2015.
RESPONSIBILITIES
Workshop chair(s) will be responsible for the following:
· Producing a web page and a "Call for Papers/Participation" for their
workshop. The URL should be sent to the UCC Workshops chairs. The call
must make it clear that the workshop is open to all members of the Cloud,
Big Data, Grid and Cluster Computing community. It should mention that
at least one author of each accepted submission must attend the workshop
and that all workshop participants must pay the UCC 2015 workshop
day or conference registration fee. The CfP should make it clear that the
registration of at least one author requires the full (non-student, non-
workshop) rate.
· Ensure that all workshop papers are a maximum of 6 pages in length (in
IEEE format). It is the responsibility of the workshop organizers to ensure
that this page limit has been adhered to. Additional pages may be
purchased (in some circumstances) subject to approval by the proceedings
chairs.
· Provide a brief description of the workshop for the conference web page
and program.
· Selecting the participants and the format of the workshop. The publication
of proceedings will be by the IEEE in the same volume as the main
conference. The acceptance notification (by workshop chairs) therefore
should be the same as the conference paper acceptance notification (i.e. the
dates should be the same). All other details can be up to workshop
organizers to set.
· Advertising the workshop beyond the conference web page.
· Assistance in producing a camera-ready version of the workshop
proceedings.
IMPORTANT NOTE
If the workshop is too small (i.e. does not attract enough submissions) the
UCC 2015 Organizing Committee may decide to merge that workshop with
another. So we encourage workshop organizers to attract a large community.
In extreme situations we may also cancel workshops if there are not enough
submissions.
Workshop organizers must ensure that suitable quality measures have been
taken to ensure that the accepted papers are of high quality. All papers must
be reviewed by an International Technical Program Committee with a
minimum of 3 reviews per paper. The workshop organizers should also try
to observe an acceptance rate that is no higher than 50%.
Unless indicated on the UCC website, there will be no travel support and
no registration discounts for authors and organizers.
Workshops are not automatically endorsed by IEEE or ACM and should not
use the names of these organisations in their titles.
The UCC 2015 Conference Organizing Committee will be responsible for the
following:
· Providing a link to a workshop's local page.
· Providing logistics support and a meeting place for the workshop.
· In conjunction with the organizers, determining the workshop date and
time.
· Providing copies of the workshop proceedings to attendees.
IMPORTANT DATES
· Workshop proposals due: 08 May, 2015
· Notification of workshop proposals: 22 May 2015
COMMITTEES
General Chairs
· Ashiq Anjum, University of Derby, UK
· George Papadopoulos, University of Cyprus
Program Committee Chairs
· Manish Parashar, Rutgers University, USA (parashar AT rutgers.edu)
· Omer Rana, Cardiff University, UK (ranaof AT cardiff.ac.uk)
Standards/Plug-fest Chair
· Alan Sill, Texas Tech, USA & Open Grid Forum
Workshops Chairs
· Ilkay Altintas, SDSC, USA (altintas AT sdsc.edu)
· Josef Spillner, TU Dresden, Germany (josef.spillner AT tu-dresden.de)
Tutorials Chairs
· Ewa Deelman, USC, USA (deelman AT isi.edu)
· Rafael Tolosana, Univ. of Zaragoza, Spain (rafaelt AT unizar.es)
Posters Chair
· Khalid Elgazzar, Queen's University, Kingston, Canada
PhD Symposium Chair
· Kenneth Johnson, Auckland University of Technology, New Zealand
Cloud Challenge 2015 Chair
· Ian Taylor, Cardiff University, UK
Industry Chair
· Achilleas Achilleos, University of Cyprus, Cyprus
Proceedings Chairs
· Nick Antonopoulos, University of Derby, UK
· George Palis, University of Cyprus, Cyprus
Publicity Chair
· Georgia Kapitsaki, University of Cyprus, Cyprus
Program Committee
http://cyprusconferences.org/ucc2015/?page_id=281
--------------------------------------------------------------------
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 C.Orasan at wlv.ac.uk Thu Apr 30 18:15:41 2015
From: C.Orasan at wlv.ac.uk (Orasan, Constantin)
Date: Thu, 30 Apr 2015 16:15:41 +0000
Subject: CFP: 37th Translating and the Computer Conference (TC37)
Message-ID: <034C0B87CC091D46B6CF0FD17E97B38301D23FC1D5@EXCHMBX10X03.unv.wlv.ac.uk>
37th Translating and the Computer Conference (TC37), 26-27 November 2015, London
First announcement
ASLING (Association internationale pour la promotion des technologies linguistiques) is delighted to announce the forthcoming, 37th edition of the annual Translating and the Computer Conference (TC37) to take place on 26 and 27 November 2015 in London. The TC conference has emerged as a leading forum for users, developers and vendors of Translation Technology tools, being a distinctive event for discussing the latest developments. It is an annual meeting where translators, researchers and business people, from translation companies, international organisations, universities and research labs, as well as freelance professionals, exchange ideas and discuss hot topics.
The TC conference takes the form of presentations as well as posters and also features panel discussions and workshops. If you or a colleague have something interesting to contribute, this call invites you to consider submitting an extended abstract of a paper or poster for the TC37 conference. If on the other hand you have a workshop to propose, please provide an abstract (maximum 750 words) describing the topic and an outline of the structure.
Conference topics
Contributions are invited on any topic related to the technology used in translation and interpreting, including, but not limited to, CAT tools (Translation Memory (TM) systems, integration of Machine Translation in TM systems), Terminology Management, Machine Translation (training, quality assessment, post-editing, adaptation), Quality Control, Interoperability, Crowd-sourcing, Natural Language Processing and Translation Workflow and Management. Among the other important topics are training (including university translation programmes and the rapidly changing translation industry), resources for translators, tools and resources for interpreters, how to facilitate collaboration between translators and translation companies, and mobile technologies to support translators' work.
Submission guidelines
Original unpublished papers and posters on all aspects of translation and interpretation technology are invited. Topics of interest include, but are not limited to, those listed above. Papers and posters may report (among other things) on research, on commercial translation products or on user experiences. The difference between papers and posters is that while papers are expected to report on more conclusive results, posters can present ongoing and not necessarily completed research, teaching or training activity, practical work, software programs, projects or new developments.
Papers:
Authors are invited to submit an extended abstract (maximum of 750 words) of the paper they would like to present, together with a short 200 word abstract and short biography. Although the extended abstract is limited to 750 words (longer papers will NOT be considered), it should provide sufficient information to allow evaluation of the submission by the programme committee. The short abstracts of accepted papers will be used in online programme and event advertising.
Camera-ready versions of the accepted papers will be published in the conference e-proceedings with an assigned ISBN number, subject to the presenter having duly registered for the conference. Their length should not exceed 5,000 words.
Posters:
Poster proposals are invited in the form of poster abstracts not exceeding 500 words. Authors should submit a 200-word version as well as a short biography for dissemination.
Camera-ready versions of the accepted posters will be published in the conference e-proceedings with an assigned ISBN number, subject to the presenter having duly registered for the conference. Their length should not exceed 2,000 words.
Submission:
Both papers and posters should be submitted via the START conference submission system using the email address soon to be announced on the conference website (http://www.translatingandthecomputer.com/) and also in the second conference announcement.
The website and the second announcement will also provide formatting guidelines in the form of Word (and LaTeX) stylesheets.
Schedule
29 June 2015 - deadline for abstracts of papers and posters
10 August 2015 - all authors notified of decisions
30 September 2015 - speakers' full papers and posters to be submitted for inclusion in the e-proceedings
14 November 2015 - speakers' presentations to be submitted
26-27 November 2015 - conference takes place in London
Conference Chairs
João Esteves-Ferreira, Tradulex, International Association for Quality Translation
Juliet Macan, Arancho Doc srl.
Ruslan Mitkov, University of Wolverhampton
Olaf-Michael Stefanov, United Nations (ret), JIAMCATT
Programme Committee
Juanjo Arevalillo, Hermes Traducciónes
Wilker Aziz, University of Amsterdam
David Chambers, World Intellectual Property Organisation (ret)
Gloria Corpas Pastor, University of Málaga
Iwan Davies, Institute of Translation and Interpreting
Estelle Delpech, Nomao
Joanna Drugan, University of East Anglia
David Filip, CNGL / ADAPT
Paola Valli, University of Trieste
Nelson Verástegui, International Telecommunications Union (ret)
AsLing.org
Association internationale pour la promotion des technologies linguistiques
International Association for Advancement in Language Technology
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL:
From a.bikakis at ucl.ac.uk Thu Apr 30 20:55:44 2015
From: a.bikakis at ucl.ac.uk (Antonis Bikakis)
Date: Thu, 30 Apr 2015 18:55:44 +0000
Subject: MIWAI'15: 2nd Call for Papers
In-Reply-To:
References: <201504301848.t3UImNFG016333@igor.cs.wisc.edu>
Message-ID:
MIWAI'15: Call for Papers
SUBMISSION DEADLINE: JULY 1, 2015
The 9th Multi-Disciplinary International Workshop on Artificial
Intelligence - MIWAI'15
November 13-15, 2015, Fuzhou, Fujian Province, China
http://khamreang.msu.ac.th/miwai15/
== IMPORTANT DATES ==
Submission deadline: July 1, 2015
Author notification: August 15, 2015
Camera-ready papers due: August 31, 2015
Author / early bird registration: August 31, 2015
Late Registration: November 1, 201
Workshop dates: November 13-15, 2015
== ABOUT MIWAI ==
Artificial Intelligence (AI) research has broad applications in real world
problems. Examples include control, planning and scheduling, pattern
recognition, knowledge mining, software applications, strategy games and
others. The ever-evolving needs in society and business both on a local and
on a global scale demand better technologies for solving more and more
complex problems. Such needs can be found in all industrial sectors and in
any part of the world. This workshop aims to be a meeting place where
excellence in AI research meets the needs for solving dynamic and complex
problems in the real world. The academic researchers, developers, and
industrial practitioners will have extensive opportunities to present their
original work, technological advances and practical problems. Participants
can learn from each other and exchange their experiences in order to fine
tune their activities and establish new collaborations. The main purposes
of the MIWAI series of workshops are:
- to provide a meeting place for AI researchers and practitioners.
- to inform research students about cutting-edge AI research via the
presence of outstanding international invited speakers.
- to raise the standards of practice of AI research by providing
researchers and students with feedback from an internationally-renowned
program committee.
== KEYNOTE SPEAKERS ==
- Luc De Raedt, Katholieke Universiteit Leuven,
http://people.cs.kuleuven.be/~luc.deraedt/
- Fangzhen Lin, Fangzhen Lin, Hong Kong University of Science and
Technology, http://www.cs.ust.hk/~flin/
== TOPICS ==
Artificial intelligence is a broad area of research. We encourage
researchers to submit papers in the following areas but not limited to:
THEORY, METHODS AND TOOLS:
- Cognitive Science
- Computational Philosophy
- Computational Intelligence
- Computer Vision
- Evolutionary Computing
- Game Theory
- Knowledge Representation and Reasoning
- Machine Learning
- Multi-agent Systems
- Natural Language Processing
- Planning and Scheduling
- Robotics
- Speech Recognition
- Uncertainty in AI
- Vision
- Web and AI
APPLICATIONS:
- Ambient Intelligence
- Big Data
- Biometrics
- BioInformatics
- Chatbots
- Decision Support Systems
- E-commerce
- Industrial Applications of AI
- Knowledge Management
- Privacy
- Recommender Systems
- Semantic Web
- Security
- Social Networking
- Software Engineering
- Spam Filtering
- Surveillance
- Telecommunications and Web Services
== PROCEEDINGS & SPECIAL ISSUE ==
MIWAI'15 Proceedings will be published in Springer LNAI (Lecture Notes in
Artificial Intelligence). A selection of the best papers will be invited to
be revised and extended for the post-conference publication in a Special
Issue of IJAIT (International Journal of Artificial Intelligence Tools).
== SUBMISSION GUIDELINES ==
Submission link: https://www.easychair.org/conferences/?conf=miwai2015
Both research and application papers are solicited. All submitted papers
will be carefully peer-reviewed on the basis of technical quality,
relevance, significance, and clarity.
Each paper should have no more than twelve (12) pages in the
Springer-Verlag LNCS style. The authors' names and institutions should not
appear in the paper. Unpublished work of the authors should not be cited.
Springer-Verlag author instructions are available at:
http://www.springer.com/lncs
== CONFERENCE CHAIRS ==
General Chairs:
- Shuying Cheng (Fuzhou University, China)
- Weixing Wang (KTH, Sweden)
- Grigoris Antoniou (University of Huddersfield, UK)
PC Chairs:
- Xianghan Zheng (Fuzhou University, China)
- Antonis Bikakis (UCL, UK)
== STEERING COMMITTEE ==
- Arun Agarwal, University of Hyderabad, India
- Rajkumar Buyya, University of Melbourne, Australia
- Patrick Doherty, University of Linkoping, Sweden
- Jerome Lang, University Paris-Dauphine, France
- James F. Peters, University of Manitoba, Canada
- Srinivasan Ramani, IIIT Bangalore, India
- C Raghavendra Rao, University of Hyderabad, India
- Leon Van Der Torre, University of Luxembourg, Luxembourg
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL:
From Wiebe.Van-Der-Hoek at liverpool.ac.uk Thu Apr 30 21:59:27 2015
From: Wiebe.Van-Der-Hoek at liverpool.ac.uk (Van der Hoek, Wiebe)
Date: Thu, 30 Apr 2015 19:59:27 +0000
Subject: FINAL CFP LORI-V (deadline 18 May)
Message-ID: <9EE5C722-CFBF-4A80-868D-9B196AB36DD7@liverpool.ac.uk>
Call for Papers
The Fifth International Conference on Logic, Rationality and Interaction (LORI-V)
October 28-31, 2015, Taipei, Taiwan
The International Conference on Logic, Rationality and Interaction (LORI) conference series aims at bringing together researchers working on a wide variety of logic-related fields that concern the understanding of rationality and interaction (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 18, 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
Questions about paper submission please contact: Prof. Wiebe van der Hoek (wiebe at liverpool.ac.uk) or Prof. Wesley Holliday (wesholliday at berkeley.edu)
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