Ian Miguel | 18 Dec 23:47 2014
Picon

[logic-programming] 1st CFP: 21st International Conference on Principles and Practice of Constraint Programming (CP 2015)


                         Call for Papers

                             CP 2015
                  21st International Conference on
          Principles and Practice of Constraint Programming
                    (colocated with ICLP 2015)

                   August 31 - September 4, 2015
                          Cork, Ireland


               http://booleconferences.ucc.ie/cp2015                             



The CP conference is the annual international conference on constraint
programming.  It is concerned with all aspects of computing with
constraints, including theory, algorithms, environments, languages,
models, systems, and applications such as decision making, resource 
allocation, scheduling, configuration, and planning.

The CP 2015 programme will include presentations of high quality 
scientific research papers and applications of constraints technology. 
A number of invited talks will also be presented that will describe 
important topics relevant to the field. As well as the usual workshop, 
tutorial and doctoral programmes, we will repeat last year's published 
journal paper track in which important results that have recently 
appeared in journals will be presented, and introduce to this conference 
a journal publication fast track for outstanding submissions. Special
events are also planned as part of an industry outreach.

---------------
TECHNICAL TRACK
---------------

We solicit papers that report on significant, original, and previously 
unpublished research on all aspects of computing with constraints. Full 
paper submissions are limited to 15 LNCS pages plus references while short 
paper submissions are limited to 8 LNCS pages plus references. Short 
papers will be reviewed to the same standards of quality as full papers 
but are not expected to contain as much original material. Short papers 
will have the same status as long papers and be eligible for the best 
paper prize.

-----------------
APPLICATION TRACK
-----------------

We encourage industrial and academic users of constraint technology to 
submit papers on completed or on-going practical projects. Papers 
comparing constraint technology to other optimization techniques (MIP, 
local search, SAT, etc.) on a realistic application with a sound 
experimental evaluation are also encouraged. Papers which clearly define 
users' benefits, describe the required effort to build the application 
and the time frame in which it was delivered, will match the acceptance 
criteria most closely. The novelty of the application domain, while 
potentially a plus, is not the only deciding acceptance criterion. 
Application papers will be reviewed by a program committee with 
significant experience in the use of CP in applications. The writing of 
the paper should be guided by providing answers to four main questions: 
Problem being solved? Why CP? How CP? Added value of CP?
Formatting, length, and dates for submissions are the same as for the
technical track.

-----------------------------
PUBLISHED JOURNAL PAPER TRACK
-----------------------------

The goal of this track is to provide a forum to discuss important results 
in the area of constraint programming that appeared or were accepted 
recently (from September 2013) in relevant journals, but have not been 
previously presented at CP, CPAIOR, or any major AI conference. Authors of 
accepted papers will be invited to give an oral presentation at the 
conference and to provide a one-page abstract citing their journal paper 
for the conference proceedings.

Papers that are in press may be submitted as long as the final camera-ready 
version is available at the time of the conference. Extensions of papers 
that have been previously presented in the main technical or application
programmes at CP, CPAIOR, or another major AI conference (such as IJCAI, 
AAAI, ECAI) cannot be submitted to this track. Submissions will go through 
an expedited selection process. Selection criteria include significance of 
the results and relevance to the constraint programming community.

------------------------------
JOURNAL PUBLICATION FAST TRACK
------------------------------

Outstanding submissions to the technical or application tracks will be 
offered the opportunity to be published exclusively through a fast-track 
process in the Constraints journal: following a second round of minor
review they will be accepted directly in the journal by the time of the 
conference. Authors of these papers can opt to extend their paper from 15 
to 20 pages plus references. These papers will be acknowledged through a 
one-page abstract in the conference proceedings and will be presented 
during the conference on the same ground as any other accepted submission. 

Authors who decline to fast track their submission revert to a standard 
conference submission and are subject to the default formatting, length 
and date requirements. Papers that do not clear the second round of 
review also revert to standard conference paper status.

----------------------
CONFERENCE PROCEEDINGS
----------------------

The conference proceedings will be published by Springer in the Lecture 
Notes in Computer Science series. It will contain the accepted papers 
that appear in the scientific/technical and application tracks, as well 
as abstracts of invited talks, of contributions to the published journal 
paper track, and of selections for the journal publication fast track.

---------------
IMPORTANT DATES
---------------

Abstract submission deadline (technical and application tracks): April 17, 2015
Paper submission deadline (technical and application tracks): April 22, 2015
Abstract submission deadline (published journal paper track): May 20, 2015
Provisional reviews to authors: May 25, 2015
Author feedback: May 27, 2015
Acceptance/rejection notification: June 10, 2015
Camera ready version: June 22, 2015

Please consult the conference web page for all details about the 
submission procedure.

------------
ORGANIZATION
------------

CONFERENCE CHAIRS
Ken Brown
Barry O'Sullivan

PROGRAM CHAIR
Gilles Pesant

APPLICATION TRACK CHAIR
Louis-Martin Rousseau

PUBLISHED JOURNAL PAPER TRACK CHAIR
Thomas Schiex

DOCTORAL PROGRAM CHAIRS
David Bergman
Marie Pelleau

WORKSHOP AND TUTORIAL CHAIR
Willem-Jan van Hoeve

INDUSTRY OUTREACH CHAIR
Helmut Simonis

PUBLICITY CHAIR
Ian Miguel

_______________________________________________
logic-programming mailing list
logic-programming@...
http://lists.picat-lang.org/mailman/listinfo/logic-programming
_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
swc2015 | 17 Dec 02:08 2014

Smart World 2015 Call for Papers and Participations

Dear colleague:

We apologize if you receive multiple copies of this CFP.

 

2015 Smart World Congress

UIC 2015, ATC 2015, ScalCom 2015, CBD 2015 & IoP 2015

Beijing, China, August 10-14, 2015

http://www.cybermatics.org/

 

The 2015 Smart World Congress (SmartWorld 2015), Sponsored by IEEE, IEEE CS, and IEEE TCSC, will be held in Beijing, China, August 10-14, 2015. There will be five IEEE co-located conferences, UIC 2015, ATC 2015, ScalCom 2015, CBD 2015, and IoP 2015, whose purpose is to discuss the hottest topics related to "Smart World with Intelligence, Service, Connection, Social Computing, Cloud and Big Data", to achieve the convergence of the four worlds, including Physical World, Cyber World, Social World, and Thinking World. Beijing, the capital of China, is the center of Chinese political, educational, cultural, and international communications, and one of the most popular tourist cities in the world. SmartWorld 2015 promises to be a great event for all participants.

Proposals for tutorials, special sessions, and workshops are welcome. The congress will invite high quality papers, demos, and exhibitions in the broad areas related to ubiquitous intelligence and computing, advanced and trusted computing, scalable computing and communications, cloud and big data, and Internet of people.

 

Five Co-located Conferences

l  The 12th IEEE International Conference on Ubiquitous Intelligence and Computing (UIC 2015)

Website: http://www.cybermatics.org/SWC2015/UIC/UIC2015.htm

l  The 12th IEEE International Conference on Advanced and Trusted Computing (ATC 2015)

Website: http://www.cybermatics.org/SWC2015/ATC/ATC2015.htm

l  The 15th IEEE International Conference on Scalable Computing and Communications (ScalCom 2015)

Website: http://www.cybermatics.org/SWC2015/ScalCom/ScalCom2015.htm

l  The 2015 IEEE International Conference on Cloud and Big Data (CBD 2015)

Website: http://www.cybermatics.org/SWC2015/CBD/CBD2015.htm

l  The 2015 IEEE International Conference on Internet of People (IoP 2015)

Website: http://www.cybermatics.org/SWC2015/IoP/IoP2015.htm

 

Accepted papers will be published by IEEE CPS (IEEE-DL and recommended to EI indexed). Best Paper Awards will be presented to the top high quality papers. Selected papers with further extensions and revisions will be recommended for the publication in special issues of prestigious journals. More details can be found from http://www.cybermatics.org/

 

Important Dates

Submission Deadline: March 31, 2015

Authors Notification: May 15, 2015

Camera-ready Due: June 15, 2015

 

Pending Spot-Hot Activities

l  Forum on Grand Challenges in Smart World

l  University Forum 2015 (Mainland, Hong Kong, Macau and Taiwan)

l  Beijing-Hong Kong Information and Computing Exchanging Week

l  China-EU Bilateral Seminars/EU horizontal Activities

l  2015 China-Japan Social Object Modeling Bilateral Seminar

 

Contact Information

E-mail: service4congress-9Onoh4P/yGk@public.gmane.org, Phone: +86-10-6233 3406

 

Note: Please do not reply to this email address since it is only for sending call-for-papers.

_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
Jun PANG | 17 Dec 09:59 2014
Picon

TASE 2015 -- First Call for Papers

                   TASE 2015 - CALL FOR PAPERS

******************************************************************
                The 9th International Symposium on
           Theoretical Aspects of Software Engineering
                           (TASE 2015)
                12-14 September 2015, Nanjing, China
                  http://tase2015.nuaa.edu.cn

        For more information email: tase2015 <at> easychair.org
******************************************************************

--------
OVERVIEW
--------
The 9th Theoretical Aspects of Software Engineering Conference (TASE
2015) will be held in Nanjing, China in September, 2015.

Modern society is increasingly dependent on software systems that are
becoming larger and more complex. This poses new challenges to the
various aspects of software engineering, for instance, software
dependability in trusted computing, interaction with physical
components in cyber physical systems, distribution in cloud computing
applications, etc. Hence, new concepts and methodologies are required
to enhance the development of software engineering from theoretical
aspects. TASE 2015 aims to provide a forum for people from academia
and industry to communicate their latest results on theoretical
advances in software engineering.

TASE 2015 is the 9th in the TASE series. The past TASE symposiums were
successfully held in Shanghai ('07), Nanjing ('08), Tianjin ('09),
Taipei ('10), Xi'an ('11), Beijing ('12), Birmingham ('13),
Changsha('14).The proceedings of the TASE 2015 symposium are planned
to be published by the IEEE Computer Society Press.

------
TOPICS
------
The symposium is devoted to theoretical aspects of software
engineering. Topics of interest include, but are not limited to:

* Requirements Engineering
* Specification and Verification
* Program Analysis
* Software Testing
* Model-Driven Engineering
* Software Architectures and Design
* Aspect and Object Orientation
* Embedded and Real-Time Systems
* Software Processes and Workflows
* Component-Based Software Engineering
* Software Safety, Security and Reliability
* Reverse Engineering and Software Maintenance
* Service-Oriented and Cloud Computing
* Semantic Web and Web Services
* Type System and Theory
* Program Logics and Calculus
* Probability in Software Engineering

----------
SUBMISSION
----------
Submission should be done through the TASE 2015 submission page,
handled by the EasyChair conference system:

https://www.easychair.org/conferences/?conf=tase2015

As in previous years, the proceedings of the conference are planned to
be published by the IEEE Computer Society Press. Papers must be
written in English and not exceed 8 pages in Two-Column IEEE format

---------------
IMPORTANT DATES
---------------
Abstract submission:  7  March 2015 (23h59 GMT)
Paper submission:    14  March 2015 (23h59 GMT)
Notification:        23  May   2015
Camera-ready:        13  June  2015
Conference:          12-14  September 2015

-------------
GENERAL CHAIR
-------------
Jifeng He          (East China Normal University, China)

-----------------
PROGRAM CO-CHAIRS
-----------------
Zhiqiu Huang       (Nanjing University of Aeronautics and Astronautics, China)
Jun Sun            (Singapore University of Technology and Design)

-----------------
STEERING COMMITTE
-----------------
Keijiro Araki      (Kyushu University, Japan)
Jifeng He          (East China Normal University, China)
Michael Hinchey    (Lero, Ireland)
Shengchao Qin      (Teesside University, UK)
Huibiao Zhu        (East China Normal University, China)

------------------
PROGRAM COMMITTIEE
------------------
Luciano Baresi     (Politecnico di Milano, Italy)
Earl Barr          (University College London, UK)
Nikolaj Bjorner    (Microsoft Research, USA)
Lubos Brim         (Masaryk University, Czech Republic)
Zining Cao         (Nanjing University of Aeronautics and Astronautics, China)
Taolue Chen        (Middlesex University, UK)
Zhenhua Duan       (Xidian University, China)
Wei Dong           (National University of Defense Technology, China)
Joaquim Gabarro    (Universitat Politecnica de Catalunya, Spain)
Jaco Geldenhuys    (University of Stellenbosch, South Africa)
Peter Habermehl    (Liafa, Paris 7, France)
Ian J. Hayes       (University of Queensland, Australia)
Dang Van Hung      (Vietnam National University, Vietnam)
Jason Lee          (University of Melbourne, Australia)
Karl Leung         (VTC, Hong Kong)
Bixin Li           (Southeast University, China)
Xiaoshan Li        (University of Macau, Macau)
Xuandong Li        (Nanjing University, China)
Zhoujun Li         (Beihang University, China)
Shaoying Liu       (Hosei University, Japan)
Martin Leucker     (University of L®πbeck, Germany)
Xiaoqing(Frank) Liu(Missouri University of Science and Technology, USA)
Antoine Min®¶       (Ecole Normale Sup®¶rieure Paris, France)
Fernando Orejas    (Universitat Politecnica de Catalunya, Spain)
Paritosh K. Pandya (Tata Institute of Fundamental Research, India)
Jun Pang           (University of Luxembourg)
Xin Peng           (Fudan University, China)
Geguang Pu         (East China Normal University, China)
Shengchao Qin      (Teesside University, UK)
Zongyan Qiu        (Peking University, China)
Cesar Sanchez      (IMDEA Software Institute, Spain)
Klaus Schneider    (University of Kaiserslautern, Germany)
Axel Simon         (Technical University of Munich, Germany)
Graeme Smith       (University of Queensland, Australia)
Colin Snook        (University of Southampton, UK)
Volker Stolz       (University of Oslo, Norway)
Kaile Su           (Griffith University, Australia)
Jing Sun           (University of Auckland, New Zealand)
Jean Pierre Talpin (INRIA, France)
Yih-Kuen Tsay      (National Taiwan University, Taiwan)
Viktor Vafeiadis   (MPI-SWS, Germany)
Margus Veanes      (Microsoft Research, USA)
Tomas Vojnar       (Brno University of Technology, Czech Republic)
Yi Wang            (Uppsala University, Sweden)
Hongji Yang        (Bath Spa University, UK)
Hongli Yang        (Beijing University of Technology, China)
Hongwei Xi         (Boston University, USA)
Yingfei Xiong      (Peking University, China)
Naijun Zhan        (Chinese Academy of Sciences, China)
Hao Zhong          (Shanghai Jiaotong University, China)
Huibiao Zhu        (East China Normal University, China)

----------------
ORGANIZING CHAIR
----------------
Ou Wei             (Nanjing University of Aeronautics and Astronautics, China)

----------------
PUBLICITY CHAIRS
----------------
Jun Hun            (Nanjing University of Aeronautics and Astronautics, China)
Jun Pang           (University of Luxembourg)
Yu Zhou            (Nanjing University of Aeronautics and Astronautics, China)
_______________________________________________
Om-announce mailing list
Om-announce <at> openmath.org
http://openmath.org/mailman/listinfo/om-announce
GRLMC | 14 Dec 07:14 2014

BigDat 2015: registration deadline 23 December

*To be removed from our mailing list, please respond to this message with
UNSUBSCRIBE in the subject line*

*****************************************************

INTERNATIONAL WINTER SCHOOL ON BIG DATA

BigDat 2015

Tarragona, Spain

January 26-30, 2015

Organized by
Rovira i Virgili University

http://grammars.grlmc.com/bigdat2015/

*****************************************************

--- 7th registration deadline: December 23, 2014 ---

*****************************************************

AIM:

BigDat 2015 is a research training event for graduates and postgraduates in
the first steps of their academic career. It aims at updating them about the
most recent developments in the fast developing area of big data, which
covers a large spectrum of current exciting research, development and
innovation with an extraordinary potential for a huge impact on scientific
discoveries, medicine, engineering, business models, and society itself.
Renowned academics and industry pioneers will lecture and share their views
with the audience.

All big data subareas will be displayed, namely: foundations,
infrastructure, management, search and mining, security and privacy, and
applications. Main challenges of analytics, management and storage of big
data will be identified through 4 keynote lectures, 22 six-hour courses, and
1 round table, which will tackle the most lively and promising topics. The
organizers believe outstanding speakers will attract the brightest and most
motivated students. Interaction will be a main component of the event.

ADDRESSED TO:

Graduate and postgraduates from around the world. There are no formal
pre-requisites in terms of academic degrees. However, since there will be
differences in the course levels, specific knowledge background may be
required for some of them.

BigDat 2015 is also appropriate for more senior people who want to keep
themselves updated on recent developments and future trends. They will
surely find it fruitful to listen and discuss with major researchers,
industry leaders and innovators.

REGIME:

In addition to keynotes, 3 courses will run in parallel during the whole
event. Participants will be able to freely choose the courses they will be
willing to attend as well as to move from one to another.

VENUE:

BigDat 2015 will take place in Tarragona, located 90 kms. to the south of
Barcelona. The venue will be:

Campus Catalunya
Universitat Rovira i Virgili
Av. Catalunya, 35
43002 Tarragona

KEYNOTE SPEAKERS:

Ian Foster (Argonne National Laboratory), Taming Big Data: Accelerating
Discovery via Outsourcing and Automation

Geoffrey C. Fox (Indiana University, Bloomington), Mapping Big Data
Applications to Clouds and HPC

C. Lee Giles (Pennsylvania State University, University Park), Scholarly Big
Data: Information Extraction and Data Mining

William D. Gropp (University of Illinois, Urbana-Champaign), tba

COURSES AND PROFESSORS:

Hendrik Blockeel (KU Leuven), [intermediate] Decision Trees for Big Data
Analytics

Diego Calvanese (Free University of Bozen-Bolzano),
[introductory/intermediate] End-User Access to Big Data Using Ontologies

Jiannong Cao (Hong Kong Polytechnic University), [introductory/intermediate]
Programming with Big Data

Edward Y. Chang (HTC Corporation, New Taipei City), [introductory/advanced]
Big Data Analytics: Architectures, Algorithms, and Applications

Ernesto Damiani (University of Milan), [introductory/intermediate] Process
Discovery and Predictive Decision Making from Big Data Sets and Streams

Gautam Das (University of Texas, Arlington), [intermediate/advanced] Mining
Deep Web Repositories

Maarten de Rijke (University of Amsterdam), tba

Geoffrey C. Fox (Indiana University, Bloomington), [intermediate] Using
Software Defined Systems to Address Big Data Problems

Minos Garofalakis (Technical University of Crete, Chania)
[intermediate/advanced], Querying Continuous Data Streams

Vasant G. Honavar (Pennsylvania State University, University Park)
[introductory/intermediate], Learning Predictive Models from Big Data

Tao Li (Florida International University, Miami),
[introductory/intermediate] Data Mining Techniques to Understand Textual
Data

Kwan-Liu Ma (University of California, Davis), [intermediate] Big Data
Visualization

Christoph Meinel (Hasso Plattner Institute, Potsdam),
[introductory/intermediate] New Computing Power by In-Memory and Multicore
to Tackle Big Data

Manish Parashar (Rutgers University, Piscataway), [intermediate] Big Data
Challenges in Simulation-based Science

Srinivasan Parthasarathy (Ohio State University, Columbus), [intermediate]
Scalable Data Analysis

Evaggelia Pitoura (University of Ioannina), [introductory/intermediate]
Online Social Networks

Vijay V. Raghavan (University of Louisiana, Lafayette),
[introductory/intermediate] Visual Analytics of Time-evolving Large-scale
Graphs

Pierangela Samarati (University of Milan), [intermediate], Data Security and
Privacy in the Cloud

Peter Sanders (Karlsruhe Institute of Technology),
[introductory/intermediate] Algorithm Engineering for Large Data Sets

Johan Suykens (KU Leuven), [introductory/intermediate] Fixed-size Kernel
Models for Big Data

Domenico Talia (University of Calabria, Rende), [intermediate] Scalable Data
Mining on Parallel, Distributed and Cloud Computing Systems

Jieping Ye (Arizona State University, Tempe), [introductory/advanced]
Large-Scale Sparse Learning and Low Rank Modeling

ORGANIZING COMMITTEE:

Adrian Horia Dediu (Tarragona)
Carlos Martín-Vide (Tarragona, chair)
Florentina Lilica Voicu (Tarragona)

REGISTRATION:

It has to be done at

http://grammars.grlmc.com/bigdat2015/registration.php 

The selection of up to 8 courses requested in the registration template is
only tentative and non-binding. For the sake of organization, it will be
helpful to have an approximation of the respective demand for each course.

Since the capacity of the venue is limited, registration requests will be
processed on a first come first served basis. The registration period will
be closed and the on-line registration facility disabled when the capacity
of the venue will be complete. It is much recommended to register prior to
the event.

FEES:

As far as possible, participants are expected to stay full-time. Fees are a
flat rate covering the attendance to all courses during the week. There are
several early registration deadlines. Fees depend on the registration
deadline.

ACCOMMODATION:

Suggestions of accommodation are available on the webpage.

CERTIFICATE:

Participants will be delivered a certificate of attendance.

QUESTIONS AND FURTHER INFORMATION:

florentinalilica.voicu@... 

POSTAL ADDRESS:

BigDat 2015
Lilica Voicu
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain

Phone: +34 977 559 543
Fax: +34 977 558 386

ACKNOWLEDGEMENTS:

Universitat Rovira i Virgili

---
Este mensaje no contiene virus ni malware porque la protección de avast! Antivirus está activa.
http://www.avast.com
Shui Yu | 15 Dec 05:24 2014
Picon

IEEE INFOCOM 15 Workshop of BigSecurity extended to December 31, 2014

Due to many requests for extension, we have extended the submission for two weeks.

We apology for possible cross posting

--

The Third International Workshop on Security and Privacy in Big Data  (in conjunction with IEEE INFOCOM 2015)  http://www.nsp.org.au/confs/bigsecurity2015/   

As we are deep into the Information Age, we also witness the explosive growth of data available on the Internet. Human beings have created quintillion bytes of data every day, which come from sensors, individual archives, social networks, Internet of Things, enterprise and Internet in all scales and formats. We face one of the most challenging issues, i.e., how to effectively manage such a large amount of data and identify new ways to analyze large amounts of data and unlock information. The issue is also known as Big Data, which has been emerging as a hot topic in Information and Communication Technologies (ICT) research.  Security and privacy issue is critical for Big Data. Many works have been carried out focusing on business, application and information processing level from big data, such as data mining and analysis.  However, security and privacy issues in Big Data are seldom mentioned to date. Due to its extraordinary scale, security and privacy in Big Data faces many challenges, such as efficient encryption and decryption algorithms, encrypted information retrieval, attribute based encryption, attacks on availability, reliability and integrity of Big Data.

 

The purpose of this workshop is to offer a timely venue for researchers and industry partners to present and discuss their latest results in security and privacy related work of Big Data. 

The topics of interest include, but are not limited to: 

·         Threat and Vulnerability Analysis in Big Data

·         Architecture for Security and Privacy in Big Data

·         Encrypted Information Retrieval in Big Data

·         Cryptanalysis and Applications in Big Data

·         Lightweight Cryptographic Algorithms in Big Data

·         Trust in Big Data

·         Network Security, Privacy in Big Data

·         Network Forensics in Big Data

·         Anonymous Communication in Big Data

·         Physical Layer Security in Big Data

·         Privacy and Security in Cloud Data

·         Privacy and Security in Data Center Networks

·         Application Level Security and Privacy in Big Data

·         Attacks and Counter Measures in Big Data

·         Information Forensics in Big Data

·         Secure Cross-layer Design in Big Data

·         Identity Management and Key Management in Big Data

·         Intrusion Detection and Response in Big Data

·         Security and Privacy in Complex Networks

·         Malware and Virus Detection in Big Data

·         Biometric Security and Forensics in Big Data

·         Reliability and Availability in Big Data

·         Network Security in Big Data

·         Network Privacy in Big Data

·         Security and Privacy Theories in Big Data

 

General Co-chairs

Professor Ivan Stojmenovic, University of Ottawa, Canada (Ivan unfortunately passed away in November 2014)

Professor Jian Pei, Simon Fraser University, Canada

 

Technical Program Co-chairs

Dr Shui Yu, Deakin University, Australia

Professor Ke Liu, National Natural Science Foundation of China, China

 

Submission Instructions are available from the IEEE INFOCOM 2015 website, and the submission for this workshop is http://edas.info/N18817 .

 

*High quality papers from this workshop will be invited to extend and submit to the special issue on Big Data from Network Perspective on Elsevier Journal of Big Data Research (http://www.journals.elsevier.com/big-data-research/, organized by the workshop organizers).

 

Important Dates

Submission Deadline: December 15, 2014 December 31, 2014 (firm)

Authors Notification:  January 25, 2015

Final Manuscript Due: February 15, 2015

Workshop Date: April 27, 2015

 

Enquiries should be submitted to Dr Shui Yu (syu <at> deakin.edu.au). 


--

-----------------------------

Shui YU, PhD, Senior Lecturer

School of Information Technology, Deakin University,

221 Burwood Highway, Burwood, VIC 3125,  Australia.

Telephone:0061 3 9251 7744

http://www.deakin.edu.au/~syu

_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
Ian Miguel | 14 Dec 23:28 2014
Picon

[logic-programming] 1st CFP: 31st International Conference on Logic Programming (ICLP 2015)

**********************************************************************
                     FIRST CALL FOR PAPERS

31st International Conference on Logic Programming (ICLP 2015)
                   -- colocated with CP 2015 --
             
           Cork, Ireland, August 31 -- September 4, 2015
                http://booleconferences.ucc.ie/iclp2015

**********************************************************************

Since the first conference held in Marseilles in 1982, ICLP has been
the premier international conference for presenting research in logic
programming. ICLP 2015 will be co-located with the 21st International
Conference on Principles and Practice of Constraint Programming (CP
2015) and is part of "The Year of George Boole", a celebration of the
life and work of George Boole who was born in 1815 and worked at the
University College of Cork.

IMPORTANT DATES
---------------
Abstracts due:  April 20, 2015
   Papers due:  April 27, 2015
Notification to authors:    June 5, 2015
Camera ready versions due:  July 21, 2015
Conference: August 31-September 4, 2015

CONFERENCE SCOPE
----------------

Contributions are sought in all areas of logic programming, including
but not restricted to:

Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning,
Knowledge Representation.

Implementation: Compilation, Virtual Machines, Parallelism, Constraint
Handling Rules and Tabling.

Environments: Program Analysis, Transformation, Validation,
Verification, Debugging, Profiling, Testing.

Language Issues: Concurrency, Objects, Coordination, Mobility, Higher
Order, Types, Modes, Assertions, Programming Techniques.

Related Paradigms: Inductive and Coinductive Logic Programming,
Constraint Logic Programming, Answer-Set Programming, SAT,
Constraints, Computational Argumentation, Abductive Logic Programming,
Functional Logic Programming.

Applications: Databases, Data Integration and Federation, Software
Engineering, Natural Language Processing, Web and Semantic Web,
Agents, Artificial Intelligence, Bioinformatics, Social Networks and
Social Choice.

In addition to the presentations of accepted papers, the technical
program will include invited talks, advanced tutorials, the doctoral
consortium, the LP/CP contest and several workshops.

SUBMISSION DETAILS
------------------

There are two categories for submissions:

-- Regular papers, including: (1) technical papers for describing
   technically sound, innovative ideas that can advance the state of
   logic programming; (2) application papers, with emphasis on impact
   on some application domains; (3) system and tool papers, with
   emphasis on novelty, practicality, usability and availability of
   the systems and tools described.

-- Technical communications aimed at describing recent developments,
   new projects, and other materials not ready for publication as
   regular papers.

All regular papers and technical communications will be presented
during the conference. All submissions must be written in English and
describe original, previously unpublished research, and must not
simultaneously be submitted for publication elsewhere.

Regular papers must not exceed 12 pages plus bibliography: however the
papers may include appendices beyond 12 pages. Technical
communications must not exceed 10 pages.  Submissions must be made in
the TPLP format (see
http://journals.cambridge.org/images/fileUpload/images/tlp_ifc_MAY2014.pdf)
via the EasyChair submission system, available at
www.easychair.org/conferences/?conf=iclp2015.

PAPER PUBLICATION
-----------------

All accepted regular papers will be published in the journal Theory
and Practice of Logic Programming (TPLP), Cambridge University Press
(CUP), in one or more special issues. In order to ensure the quality
of the final version, papers may be subject to two rounds of
refereeing (within the decision period). Accepted technical
communications will be published in archival form. The program
committee may also recommend papers submitted as regular to be
published as technical communications.

ICLP 2015 ORGANIZATION
----------------------

General Co-Chairs:
Barry O'Sullivan      University College Cork, Ireland
Roland Yap            National University of Singapore

Program Co-Chairs:
Thomas Eiter          TU Wien, Austria
Francesca Toni        Imperial College London, UK

Local Arrangements Co-Chairs:
Barry O'Sullivan      University College Cork, Ireland
Ken Brown             University College Cork, Ireland

Workshops Chair:
Mats Carlsson         SICS, Uppsala, Sweden

Doctoral Consortium Chairs:
Marina De Vos         University of Bath, UK
Yuliya Lierler        University of Nebraska at Omaha, USA

LP/CP Programming Contest Chair:
Neng-Fa Zhou,         City University of New York,  USA
Peter Stuckey,        NICTA and the University of Melbourne, Australia

Publicity Chair:
Ian Miguel            University of St Andrews, UK

Program Committee:

Slim Abdennadher, German University in Cairo
Elvira Albert, Complutense University of Madrid
Chitta Baral, Arizona State University
Francois Bry, Ludwig-Maximilian University of Munich
Pedro Cabalar, University of Corunna
Manuel Carro, Technical University of Madrid (UPM) 
  and IMDEA Software Institute
Michael Codish, Ben-Gurion University of the Negev
Stefania Costantini, Dipartimento di Ingegneria e Scienze
  dell'Informazione, e Matematica, Univ. di L'Aquila
Alessandro Dal Palu', Universita' degli Studi di Parma
Marina De Vos, University of Bath
Marc Denecker, K.U. Leuven
Agostino Dovier, Universita di UDINE
Thomas Eiter, Vienna University of Technology
Esra Erdem, Sabanci University
Wolfgang Faber, University of Huddersfield
Francois Fages, Inria Paris-Rocquencourt
Michael Fink, Vienna University of Technology
Thom Fruehwirth, University of Ulm
Sarah Alice Gaggl, Technische Universitaet Dresden
Maria Garcia De La Banda, Monash University
Laura Giordano, Dipartimento di Informatica, 
  Universita' del Piemonte Orientale
Gopal Gupta, University of Texas at Dallas
Michael Hanus, CAU Kiel
Tomi Janhunen, Aalto University
Michael Kifer, Stony Brook University
Angelika Kimmig, KU Leuven
Evelina Lamma, ENDIF, University of Ferrara
Joohyung Lee, Arizona State University
Joao Leite, Universidade Nova de Lisboa
Michael Leuschel, University of Dusseldorf
Francesca Alessandra Lisi, Universita degli Studi di Bari "Aldo Moro"
Thomas Lukasiewicz, Dept of Computer Science, University of Oxford
Michael Maher, University of New South Wales, Canberra
Alessandra Mileo, National University of Ireland, Galway,
  Insight Centre for Data Analytics
Barry O'Sullivan, Insight Centre for Data Analytics, 
  University College Cork, Ireland
Emilia Oikarinen, Aalto University
Mauricio Osorio, UDLAP
Enrico Pontelli, New Mexico State University
Maurizio Proietti, IASI-CNR, Rome, Italy
Francesco Ricca, Department of Mathematics, University of Calabria
Alessandra Russo, Imperial College London
Chiaki Sakama, Wakayama University
Victor Santos Costa, Universidade do Porto
Torsten Schaub, University of Potsdam
Tom Schrijvers, KU Leuven
Yi-Dong Shen, Institute of Software, the Chinese Academy of Sciences
Guillermo R. Simari, Universidad Nacional del Sur in Bahia Blanca
Francesca Toni, Imperial College London
Paolo Torroni, University of Bologna
Irina Trubitsyna, University of Calabria, DEIS
Mirek Truszczynski, Computer Science Department, University of Kentucky
Kewen Wang, Griffith University
Jan Wielemaker, Vrije University Amsterdam
Stefan Woltran, Vienna University of Technology
Roland Yap, National University of Singapore
Jia-Huai You, Department of Computing Science, University of Alberta
Neng-Fa Zhou, CUNY Brooklyn College and Graduate Center

SPONSOR
-------

The conference is sponsored by the Association for Logic Programming (ALP)

FINANCIAL ASSISTANCE
--------------------

The Association for Logic Programming has funds to assist financially
disadvantaged participants and, in particular, students in order to be
able to attend the conference.

CONFERENCE VENUE
----------------
University College Cork, Ireland 



_______________________________________________
logic-programming mailing list
logic-programming@...
http://lists.picat-lang.org/mailman/listinfo/logic-programming
_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
Mahdi Jaghoori | 12 Dec 20:57 2014
Picon
Picon

Call for papers TTCS'15 (Tehran, Iran)


(apologies if you receive multiple copies)

=========================================
Topics in Theoretical Computer Science (TTCS 2015)
http://www.ttcs.ir/
Institute for Research in Fundamental Sciences (IPM), Tehran, Iran
August 26-28, 2015
=========================================

Scope

TTCS is a new bi-annual conference series, intending to serve as a forum for novel and high-quality research in all areas of Theoretical Computer Science. The conference is held in cooperation with the European Association for Theoretical Computer Science. 

There will be a number of satellite events at TTCS, These will feature presentation of early research results, and position papers. There will also be a forum for Ph.D. students to receive comments about their ongoing research projects.

Topics of interest include but are not limited to:

  • algebra and co-algebra in computer science,
  • algorithms and data structures,
  • algorithmic coding theory,
  • algorithmic graph theory and combinatorics,
  • approximation algorithms,
  • computational complexity,
  • computational geometry,
  • computational learning theory,
  • concurrency theory,
  • coordination languages,
  • economics and algorithmic game theory,
  • fixed parameter algorithms,
  • formal verification and model-based testing,
  • logic in computer science,
  • machine learning
  • methods, models of computation and reasoning for embedded, hybrid, and cyber-physical systems,
  • optimization,
  • parallel and distributed algorithms,
  • quantum computing,
  • randomness in computing,
  • stochastic and probabilistic specification and reasoning
  • theoretical aspects of other CS-related research areas, e.g., computational science, databases, information retrieval, and networking,
  • theoretical cryptography,
  • theory of programming languages, and
  • type theory and its application in program verification.
Anuj Dawar, Cambridge University, UK 
Michael Fellows, Charles Darwin University, Australia 
Mehrnoosh Sadrezadeh, Queen Mary University of London, UK 

Submission

For the main conference, we solicit research papers in all areas of theoretical computer science. All papers will undergo a rigorous review process and will be judged based on their originality, soundness, significance of the results, and relevance to the theme of the conference.

Papers should be written in English. Research papers should not exceed 15 pages in the LNCS style format. Multiple and/or concurrent submission to other scientific venues is not allowed and will result in rejection as well as notification to the other venue. Any case of plagiarism (including self-plagiarism from earlier publications) will result in rejection as well as notification to the the authors' institutions.

Papers should be submitted through our EasyChair submission website: https://www.easychair.org/conferences/?conf=ttcs2015 . The web site is open for submissions.

Important Dates

  • Paper Submission: May 15, 2015 (Anywhwere on Earth)
  • Author notification: June 26, 2015
  • Camera ready paper due: July 10, 2015
  • Conference: August 26-28, 2015

Program Committee

Track A: Algorithms and ComplexityTrack B: Logic, Semantics, and Programming Theory



_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
Schulz, Philip | 11 Dec 14:21 2014
Picon
Picon

CfP: ESSLLI Student Session 2015, Barcelona, August 3-14 2015

*1st Call for Papers*
*ESSLLI 2015 STUDENT SESSION*

Held during the 27th European Summer School in Logic, Language and Information

Barcelona, Spain, August 03-14, 2015

*Deadline for submissions: March 25th, 2015*
https://easychair.org/conferences/?conf=essllistus2015


*ABOUT:*
The Student Session of the 27th European Summer School in Logic, Language, and Information (ESSLLI) will take place in Barcelona, Spain, August 3rd to 14th (http://esslli2015.org). We invite submissions of original, unpublished work from students in any area at the intersection of Logic & Language, Language & Computation, or Logic & Computation. Submissions will be reviewed by several experts in the field, and accepted papers will be presented orally or as posters and will appear in the student session proceedings by Springer. This is an excellent opportunity to receive valuable feedback from expert readers and to present your work to a diverse audience.


*ORAL/POSTER PRESENTATIONS:*
Note that there are two separate kinds of submissions, one for oral presentations and one for posters. This means that papers are directly submitted either as oral presentations or as poster presentations. Reviewing and ranking will be done separately. We particularly encourage submissions for posters, as they offer an excellent opportunity to present smaller research projects and research in progress.


*SUBMISSION GUIDELINES:*
Authors must be students, and submissions may be singly or jointly authored. Each author may submit at most one single and one jointly authored contribution. Submissions should not be longer than 8 pages for an oral presentation or 4 pages for a poster presentation (including examples and references). Submissions must be anonymous, without any identifying information. More detailed guidelines regarding submission can be found on the Student Session website: http://esslli-stus-2015.phil.hhu.de/.


*FURTHER INFORMATION:*
Please direct inquiries about submission procedures or other matters relating to the Student Session to P.Schulz-V/Xpf/srekw@public.gmane.org and kaeshammer-OTeZEUNBIkcJQC6wzgzyaA@public.gmane.orgldorf.de.

ESSLLI 2015 will feature a wide range of foundational and advanced courses and workshops in all areas of Logic, Language, and Computation. For further information, including registration information and course listings, and for general inquiries about ESSLLI 2015, please consult the main ESSLLI 2015 page: http://esslli2015.org.


Kind regards,
 
The ESSLLI 2015 Student Session Organization Committee


Chairs:
  Miriam Kaeshammer (Universität Düsseldorf)
  Philip Schulz (Universiteit van Amsterdam)

LoCo co-chairs:
  Giovanni Cina (Universiteit van Amsterdam)
  Zeynep Saribatur (Technische Universität Wien)

LoLa co-chairs:
  Marisa Delz (Universität Tübingen)
  Veronika Richtacikova (Universitat Pompeu Fabra Barcelona)

LaCo co-chairs:
  Angeliki Lazaridou (University of Trento)
  Maria Nadejde (University of Edinburgh)
_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
Ian Miguel | 11 Dec 11:05 2014
Picon

1st CFP: 31st International Conference on Logic Programming (ICLP 2015)

**********************************************************************
                     FIRST CALL FOR PAPERS

31st International Conference on Logic Programming (ICLP 2015)
                   -- colocated with CP 2015 --
             
           Cork, Ireland, August 31 -- September 4, 2015
                http://booleconferences.ucc.ie/iclp2015

**********************************************************************

Since the first conference held in Marseilles in 1982, ICLP has been
the premier international conference for presenting research in logic
programming. ICLP 2015 will be co-located with the 21st International
Conference on Principles and Practice of Constraint Programming (CP
2015) and is part of "The Year of George Boole", a celebration of the
life and work of George Boole who was born in 1815 and worked at the
University College of Cork.

IMPORTANT DATES
---------------
Abstracts due:  April 20, 2015
   Papers due:  April 27, 2015
Notification to authors:    June 5, 2015
Camera ready versions due:  July 21, 2015
Conference: August 31-September 4, 2015

CONFERENCE SCOPE
----------------

Contributions are sought in all areas of logic programming, including
but not restricted to:

Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning,
Knowledge Representation.

Implementation: Compilation, Virtual Machines, Parallelism, Constraint
Handling Rules and Tabling.

Environments: Program Analysis, Transformation, Validation,
Verification, Debugging, Profiling, Testing.

Language Issues: Concurrency, Objects, Coordination, Mobility, Higher
Order, Types, Modes, Assertions, Programming Techniques.

Related Paradigms: Inductive and Coinductive Logic Programming,
Constraint Logic Programming, Answer-Set Programming, SAT,
Constraints, Computational Argumentation, Abductive Logic Programming,
Functional Logic Programming.

Applications: Databases, Data Integration and Federation, Software
Engineering, Natural Language Processing, Web and Semantic Web,
Agents, Artificial Intelligence, Bioinformatics, Social Networks and
Social Choice.

In addition to the presentations of accepted papers, the technical
program will include invited talks, advanced tutorials, the doctoral
consortium, the Prolog contest and several workshops.

SUBMISSION DETAILS
------------------

There are two categories for submissions:

-- Regular papers, including: (1) technical papers for describing
   technically sound, innovative ideas that can advance the state of
   logic programming; (2) application papers, with emphasis on impact
   on some application domains; (3) system and tool papers, with
   emphasis on novelty, practicality, usability and availability of
   the systems and tools described.

-- Technical communications aimed at describing recent developments,
   new projects, and other materials not ready for publication as
   regular papers.

All regular papers and technical communications will be presented
during the conference. All submissions must be written in English and
describe original, previously unpublished research, and must not
simultaneously be submitted for publication elsewhere.

Regular papers must not exceed 12 pages plus bibliography: however the
papers may include appendices beyond 12 pages. Technical
communications must not exceed 10 pages.  Submissions must be made in
the TPLP format (see
http://journals.cambridge.org/images/fileUpload/images/tlp_ifc_MAY2014.pdf)
via the EasyChair submission system, available at
www.easychair.org/conferences/?conf=iclp2015.

PAPER PUBLICATION
-----------------

All accepted regular papers will be published in the journal Theory
and Practice of Logic Programming (TPLP), Cambridge University Press
(CUP), in one or more special issues. In order to ensure the quality
of the final version, papers may be subject to two rounds of
refereeing (within the decision period). Accepted technical
communications will be published in archival form. The program
committee may also recommend papers submitted as regular to be
published as technical communications.

ICLP 2015 ORGANIZATION
----------------------

General Co-Chairs:
Barry O'Sullivan      University College Cork, Ireland
Roland Yap            National University of Singapore

Program Co-Chairs:
Thomas Eiter          TU Wien, Austria
Francesca Toni        Imperial College London, UK

Local Arrangements Co-Chairs:
Barry O'Sullivan      University College Cork, Ireland
Ken Brown             University College Cork, Ireland

Workshops Chair:
Mats Carlsson         SICS, Uppsala, Sweden

Doctoral Consortium Chairs:
Marina De Vos         University of Bath, UK
Yuliya Lierler        University of Nebraska at Omaha, USA

LP/CP Programming Contest Chair:
Neng-Fa Zhou,         City University of New York,  USA
Peter Stuckey,        NICTA and the University of Melbourne, Australia

Publicity Chair:
Ian Miguel            University of St Andrews, UK

Program Committee:

Slim Abdennadher, German University in Cairo
Elvira Albert, Complutense University of Madrid
Chitta Baral, Arizona State University
Francois Bry, Ludwig-Maximilian University of Munich
Pedro Cabalar, University of Corunna
Manuel Carro, Technical University of Madrid (UPM) 
  and IMDEA Software Institute
Michael Codish, Ben-Gurion University of the Negev
Stefania Costantini, Dipartimento di Ingegneria e Scienze
  dell'Informazione, e Matematica, Univ. di L'Aquila
Alessandro Dal Palu', Universita' degli Studi di Parma
Marina De Vos, University of Bath
Marc Denecker, K.U. Leuven
Agostino Dovier, Universita di UDINE
Thomas Eiter, Vienna University of Technology
Esra Erdem, Sabanci University
Wolfgang Faber, University of Huddersfield
Francois Fages, Inria Paris-Rocquencourt
Michael Fink, Vienna University of Technology
Thom Fruehwirth, University of Ulm
Sarah Alice Gaggl, Technische Universitaet Dresden
Maria Garcia De La Banda, Monash University
Laura Giordano, Dipartimento di Informatica, 
  Universita' del Piemonte Orientale
Gopal Gupta, University of Texas at Dallas
Michael Hanus, CAU Kiel
Tomi Janhunen, Aalto University
Michael Kifer, Stony Brook University
Angelika Kimmig, KU Leuven
Evelina Lamma, ENDIF, University of Ferrara
Joohyung Lee, Arizona State University
Joao Leite, Universidade Nova de Lisboa
Michael Leuschel, University of Dusseldorf
Francesca Alessandra Lisi, Universita degli Studi di Bari "Aldo Moro"
Thomas Lukasiewicz, Dept of Computer Science, University of Oxford
Michael Maher, University of New South Wales, Canberra
Alessandra Mileo, National University of Ireland, Galway,
  Insight Centre for Data Analytics
Barry O'Sullivan, Insight Centre for Data Analytics, 
  University College Cork, Ireland
Emilia Oikarinen, Aalto University
Mauricio Osorio, UDLAP
Enrico Pontelli, New Mexico State University
Maurizio Proietti, IASI-CNR, Rome, Italy
Francesco Ricca, Department of Mathematics, University of Calabria
Alessandra Russo, Imperial College London
Chiaki Sakama, Wakayama University
Victor Santos Costa, Universidade do Porto
Torsten Schaub, University of Potsdam
Tom Schrijvers, KU Leuven
Yi-Dong Shen, Institute of Software, the Chinese Academy of Sciences
Guillermo R. Simari, Universidad Nacional del Sur in Bahia Blanca
Francesca Toni, Imperial College London
Paolo Torroni, University of Bologna
Irina Trubitsyna, University of Calabria, DEIS
Mirek Truszczynski, Computer Science Department, University of Kentucky
Kewen Wang, Griffith University
Jan Wielemaker, Vrije University Amsterdam
Stefan Woltran, Vienna University of Technology
Roland Yap, National University of Singapore
Jia-Huai You, Department of Computing Science, University of Alberta
Neng-Fa Zhou, CUNY Brooklyn College and Graduate Center

SPONSOR
-------

The conference is sponsored by the Association for Logic Programming (ALP)

FINANCIAL ASSISTANCE
--------------------

The Association for Logic Programming has funds to assist financially
disadvantaged participants and, in particular, students in order to be
able to attend the conference.

CONFERENCE VENUE
----------------
University College Cork, Ireland 



_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
TSD 2015 | 10 Dec 01:26 2014
Picon

TSD 2015 - Preliminary Call for Papers

**************************************************************************
          TSD 2015 - PRELIMINARY CALL FOR PAPERS
**************************************************************************


Eighteenth International Conference on TEXT, SPEECH and DIALOGUE (TSD 2015)
            Plzen (Pilsen), Czech Republic, 14-17 September 2015
                       http://www.tsdconference.org

TSD HIGHLIGHTS

* Invited speakers Hermann Ney, Dan Roth, Björn W. Schuller, Peter D. Turney,
  and Alexander Waibel.
* TSD is traditionally published by Springer-Verlag and regularly listed 
  in all major citation databases: Thomson Reuters Conference Proceedings 
  Citation Index, DBLP, SCOPUS, EI, INSPEC, COMPENDEX, etc.
* TSD offers high-standard transparent review process - double blind, final 
  reviewers discussion.
* TSD will take place in Pilsen, the European Capital of Culture 2015.
* TSD provides an all-service package (conference access and material, 
  all meals, one social event etc) for an easily affordable fee starting 
  at 270 EUR for students and 330 EUR for full participants.

TSD SERIES

TSD series have evolved as a prime forum for interaction between
researchers in both spoken and written language processing from all over
the world. Proceedings of TSD form a book published by Springer-Verlag in
their Lecture Notes in Artificial Intelligence (LNAI) series. The TSD
proceedings are regularly indexed by Thomson Reuters Conference
Proceedings Citation Index. LNAI series are listed in all major citation
databases such as DBLP, SCOPUS, EI, INSPEC, or COMPENDEX.

TOPICS

Topics of the conference will include (but are not limited to):

    Corpora and Language Resources (monolingual, multilingual,
    text and spoken corpora, large web corpora, disambiguation,
    specialized lexicons, dictionaries)

    Speech Recognition (multilingual, continuous, emotional
    speech, handicapped speaker, out-of-vocabulary words,
    alternative way of feature extraction, new models for
    acoustic and language modelling)

    Tagging, Classification and Parsing of Text and Speech
    (multilingual processing, sentiment analysis, credibility
    analysis, automatic text labeling, summarization, authorship
    attribution)

    Speech and Spoken Language Generation (multilingual, high
    fidelity speech synthesis, computer singing)

    Semantic Processing of Text and Speech (information
    extraction, information retrieval, data mining, semantic web, 
    knowledge representation, inference, ontologies, sense
    disambiguation, plagiarism detection)

    Integrating Applications of Text and Speech Processing
    (machine translation, natural language understanding,
    question-answering strategies, assistive technologies)

    Automatic Dialogue Systems (self-learning, multilingual,
    question-answering systems, dialogue strategies, prosody in
    dialogues)

    Multimodal Techniques and Modelling (video processing, facial
    animation, visual speech synthesis, user modelling, emotions
    and personality modelling)

OFFICIAL LANGUAGE

The official language of the event will be English. However, papers on
processing of languages other than English are strongly encouraged.

IMPORTANT DATES

March 31, 2015 ............ Submission of full papers
May 10, 2015 .............. Notification of acceptance
May 31, 2015 .............. Final papers (camera ready) and registration

September 14-17, 2015 ....... Conference date

The contributions to the conference will be published in proceedings that
will be made available on a CD to participants at the time of the
conference.

CONFERENCE FEES

The conference fee depends on the date of payment and on your status. It
includes one copy of the conference proceedings, refreshments/coffee
breaks, opening dinner, welcome party, mid-conference social event
admissions, and organizing costs. In order to lower the fee as much as
possible, the accommodation and the conference trip are not included. 

Full participant:
early registration by May 31, 2015 - CZK 9.000 (approx. 330 EUR)
late registration by August 1, 2015 - CZK 10.000 (approx. 370 EUR)
on-site registration - CZK 10.700 (approx. 390 EUR)

Student (reduced): 
early registration by May 31, 2015 - CZK 7.400 (approx. 270 EUR)
late registration by August 1, 2015 - CZK 9.000 (approx. 330 EUR)
on-site registration - CZK 10.000 (approx. 370 EUR)

LOCATION

The city of Plzeň (Pilsen) is situated in Western Bohemia at the
confluence of four rivers. With its 170,000 inhabitants it is the fourth
largest city in the Czech Republic and an important industrial,
commercial, and administrative centre. It is also the capital of the
Pilsen Region. In addition, Pilsen won the title of the European Capital 
of Culture for the upcoming year 2015.

Pilsen is well-known for its brewing tradition. The trademark
Pilsner-Urquell has a good reputation all over the world thanks to the
traditional recipe, high quality hops and good groundwater. Beer lovers
will also appreciate a visit to the Brewery Museum or the Brewery itself.

Apart from its delicious beer, Pilsen hides lots of treasures in its core.
The city can boast the second largest synagogue in Europe. The dominant of
the old part of the city center is definitely the 13th-century Gothic
cathedral featuring the highest church tower in Bohemia (102.34 m). It is
possible to go up and admire the view of the city. Not far from the
cathedral is the splendid Renaissance Town Hall from 1558 and plenty of
pleasant cafes and pubs are situated on and around the main square.

There is also the beautiful Pilsen Historical Underground - under the city
center, a complex network of passageways and cellars can be found. They
are about 14 km long and visitors can see the most beautiful part of this
labyrinth during the tour. It is recommended to visit the City Zoological
Garden, having the second largest space for bears in Europe and keeping
several Komodo dragons, large lizards which exist only in a few zoos in
the world.

The University of West Bohemia in Pilsen provides a variety of courses for
both Czech and international students. It is the only institution of
higher education in this part of the country which prepares students for
careers in engineering (electrical and mechanical), science (computer
science, applied mathematics, physics, and mechanics), education (both
primary and secondary), economics, philosophy, politics, archeology,
anthropology, foreign languages, law and public administration, art and
design.

ABOUT CONFERENCE

The conference is organized by the Faculty of Applied Sciences, University
 of West Bohemia, Pilsen, and the Faculty of Informatics, Masaryk University, 
Brno. The conference is supported by International Speech Communication 
Association (ISCA). 

Venue: Plzeň (Pilsen), Parkhotel Congress Center Plzeň, Czech Republic

ADDRESS

All correspondence regarding the conference should be addressed to:
Ms Anna Habernalová, TSD2015 Conference Secretary
E-mail: tsd2015@...
Phone: (+420) 724 910 148
Fax: +420 377 632 402 - Please, mark the faxed material with capitals
                        'TSD' on top.
TSD 2015 conference web site: http://www.tsdconference.org/tsd2015
_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
Ruy de Queiroz | 10 Dec 21:30 2014
Picon

WoLLIC 2015 - Second Call for Papers

[Please circulate. Apologies for cross-postings.]


WoLLIC 2015
22nd Workshop on Logic, Language, Information and Computation 
July 20th-23rd, 2015
Bloomington, IN, USA


SCIENTIFIC SPONSORSHIP
Interest Group in Pure and Applied Logics (IGPL) 
The Association for Logic, Language and Information (FoLLI) 
Association for Symbolic Logic (ASL) 
European Association for Theoretical Computer Science (EATCS) 
European Association for Computer Science Logic (EACSL) 
Sociedade Brasileira de Computação (SBC) 
Sociedade Brasileira de Lógica (SBL)

ORGANISATION
Department of Computer Science, Indiana University, USA
Program in Pure and Applied Logic, Indiana University, USA
Centro de Informática, Universidade Federal de Pernambuco, Brazil 

HOSTED BY
Department of Computer Science, Indiana University, USA 

CALL FOR PAPERS
WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-second WoLLIC will be held at the Department of Computer Science  Indiana University, from July 20th to 23rd, 2015. It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL).

PAPER SUBMISSION
Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; proof mining, type theory, effective learnability; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection; foundations of mathematics; philosophical logic. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. They must not exceed 10 pages (in font 10 or higher), with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. Papers must be submitted electronically at the WoLLIC 2015 EasyChair website. (Please go to http://wollic.org/wollic2015/instructions.html for instructions.) A title and single-paragraph abstract should be submitted by Feb 8, 2015, and the full paper by Feb 15, 2015 (firm date). Notifications are expected by Mar 22, 2015, and final papers for the proceedings will be due by Apr 5, 2015 (firm date).

PROCEEDINGS
The proceedings of WoLLIC 2015, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published as a special post-conference WoLLIC 2015 issue of Mathematical Structures in Computer Science, CUP (to be confirmed).

INVITED SPEAKERS
Adriana Compagnoni  (Stevens Institute, USA)
John Harrison (Intel, USA)
Peter Jipsen (Chapman U, USA)
Andre Joyal (U du Québec à Montreal, Canada)
Chung-chieh Shan (Indiana U, USA)
Alexandra Silva (Radboud U Nijmegen, The Netherlands)
Mehrnoosh Sadrzadeh (Queen Mary, UK)

STUDENT GRANTS
ASL sponsorship of WoLLIC 2015 will permit ASL student members to apply for a modest travel grant (deadline: May 1st, 2015). See http://www.aslonline.org/studenttravelawards.html for details.

IMPORTANT DATES
Feb 8, 2015: Paper title and abstract deadline 
Feb 15, 2015: Full paper deadline 
Mar 22, 2015: Author notification
Apr 5, 2015: Final version deadline (firm)

PROGRAMME COMMITTEE
Juliana Küster Filipe Bowles (U St Andrews, Scotland)
Guillaume Brunerie (ENS Ulm, France) (TBC)
Ann Copestake (U Cambridge, UK) (TBC)
Robin Cooper (U Gothenburg, Sweden)
Nikos Galatos (U Denver, USA)
Achim Jung (U Birmingham, UK)
Sara  Kalvala (U Warwick, UK)
Elham Kashefi (Edinburgh U, Scotland)
Peter Lefanu Lumsdaine (Institute for Advanced Study, USA)
Ian Mackie (U Sussex, UK)
Gerard de Melo (Tsinghua University, China)
Vivek Nigam (Federal U of Paraíba, Brazil)
Valeria de Paiva (Nuance Comm, USA) (CHAIR) 
Luiz Carlos 
Pereira  (PUC-Rio, Brazil)
Elaine Pimentel (Federal U of Rio Grande do Norte, Brazil)
Alexandra Silva (Radboud Nijmegen U, The Netherlands)
Carolyn Talcott (SRI International, USA)
Josef Urban (Radboud Nijmegen U, The Netherlands)
Laure Vieu (IRIT-Toulouse, France) (TBC)
Renata Wasserman (U São Paulo, Brazil)
Anna Zamansky (U Haifa, Israel)

STEERING COMMITTEE
Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Angus Macintyre, Luke Ong, Hiroakira Ono, Ruy de Queiroz.

ORGANISING COMMITTEE
Daniel Leivant (Indiana U) (Local co-chair)
Larry Moss (Indiana U) (Local co-chair)
Anjolina G. de Oliveira (U Fed Pernambuco) 
Ruy de Queiroz (U Fed Pernambuco) (co-chair)

FURTHER INFORMATION
Contact one of the Co-Chairs of the Organising Committee.

WEB PAGE



_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce

Gmane