2014-08-31

[Caml-list] KICSS 2014: Call for Research-in-Progress, Industry, Short and Demo Papers

*** CALL FOR RESEARCH-IN-PROGRESS, INDUSTRY, SHORT AND DEMO PAPERS ***

9th INTERNATIONAL CONFERENCE ON KNOWLEDGE, INFORMATION
AND CREATIVITY SUPPORT SYSTEMS
(KICSS 2014)

Elias Beach Hotel, Limassol, Cyprus

6-8 November, 2014

http://kicss2014.cs.ucy.ac.cy/

Proceedings will be published by Springer

*** Submission Deadline: 10th September 2014 (Hard Deadline!)***

Following the tradition of previous conferences on Knowledge, Information and
Creativity Support Systems, KICSS 2014 will cover all aspects of knowledge
management, knowledge engineering, intelligent information systems, and creativity
in an information technology context, including computational creativity and its
cognitive and collaborative aspects. Papers reporting original unpublished research
results on theoretical foundations, IT implementations of decision support and
expert systems, as well as case studies of successful applications of the above-
mentioned ideas in various fields are equally solicited.

The list of conference topics includes but is not limited to:
Anticipatory networks, systems, and decisions
Autonomous creative systems
Cognitive foundations of knowledge
Cognitive and psychological issues in creativity research
Cognitive foundations of knowledge
Collaborative activities in Living Labs
Collaborative idea generation and creativity
Collaborative knowledge creation
Collaborative working environments fostering creativity
Complex system modelling
Computer supported creativity
Creative approaches to model technological evolution
Creative business models
Creative conflict resolution
Creative coordination and cooperation mechanisms
Creative decision processes
Creative interaction techniques
Creative model building
Creative reasoning and decision making
Creative research environments and their performance
Creative social computing
Creative visualisation of data and knowledge
Creativity in finance
Creativity in augmented reality
Creativity in health care
Creativity in mobile applications
Creativity in social media
Creativity in the Cloud
Creativity measurement
Creativity support systems
Creativity transfer and stimulation
Creativity vs. rationality
Creativity-enhancing interfaces
Creativity-oriented information system architectures
Decision sciences
Decision support systems (DSS)
Discovering opportunities, threats and challenges
Foresight support systems (FSS)
Future Internet and knowledge-based society
Future exploration and modelling
Future perspectives of knowledge, information, and creativity support
Game-theoretical aspects of knowledge
General creative systems (GCS)
Group recommendation, and advise
Heuristics and general problem solving
Identifying real options in complex business environments
Information fusion
Information quality
Intelligent analysis of Big Data
Knowledge extraction, creation, and acquisition
Knowledge in multi-agent systems
Knowledge integration
Knowledge management in business, industry, and administration
Knowledge representation and reasoning
Knowledge verification and validation
Living Lab support systems (LLSS)
Machine learning and creativity
Malicious creativity in the web, its discovery and remedy
Mathematical models of creative processes
Multi- and interdisciplinary approaches in creativity research
Multicriteria decision making
Natural language analysis
Non-monotonic reasoning
Ontology creation and management
Open innovation
Organizational learning
Preference modelling
Reasoning about knowledge
Recommender systems
Scientific information management
Search for a compromise in multicriteria decision making and collaborative games
Social Computing
Social factors of collaborative creativity
Software-based stimulation of creativity
Supervised and semi-supervised learning
Trust modeling
Uncertainty modelling
Virtual environment design
Visual Analytics and Intelligent User Interfaces
Web intelligence tools
World models

Important Dates
Submission Deadline: September 10, 2014 (hard deadline)
Author Notification Due: September 17, 2014
Camera-Ready Versions Due: September 22, 2014

Submission
Short, industrial/demo and research-in-progress papers
should not exceed 6 pages according to the above format.
Up to 2 additional pages may be allowed at extra charge.
The KICSS 2014 papers can be submitted via Easychair.

Proceedings
The KICSS 2014 (Post-) Proceedings will be published in the Springer
Series: Advances in Intelligent Systems and Computing, ISSN 2194-5357,
indexed by ISI Proceedings, SCOPUS, Zentralblatt Math, Ulrich's, EI-Compendex,
DBLP, MetaPress, Springerlink, see more here. The Post-Proceedings will
contain all the accepted papers, in any category.

The authors of the selected best papers presented at the conference will be
invited to submit the revised and extended versions of their contributions to
special issues of high-rank scientific journals.

Organization

Conference Chairs
Susumu Kunifuji, JAIST, Japan
George Angelos Papadopoulos, University of Cyprus, Cyprus
Andrzej M.J. Skulimowski, P&BF and AGH, Poland

Local Organizing Chair
George Angelos Papadopoulos, University of Cyprus, Cyprus

Award Chairs
Susumu Kunifuji, JAIST, Japan
Thanaruk Theeramunkong, Thammasat University, Thailand

Invited Session Chairs
Tomoko Kajiyama, JAIST, Japan
Vincent Cheng-Siong Lee, Monash University, Australia
Takaya Yuizono, JAIST, Japan

Program Committee
Chi-Hung Chi, CSIRO, Australia
João Clímaco, University of Coimbra, Portugal
Simon Colton, University of London, UK
Eugene Dubossarsky, Presciient, Australia
Mark Embrechts, RPI, USA
Ali Eydgahi, Eastern Michigan University, USA
John Garofalakis, University of Patras, Greece
Tessai Hayama, Kanazawa Institute of Technology, Japan
Hidehi Hayashi, Naruto University of Education, Japan
Hidehiko Hayashi, Naruto University of Education, Japan
Christopher Hinde, Loughborough University, UK
Josef Jablonsky, University of Economics Prague, Czech Republic
Janusz Kacprzyk, Systems Research Institute - PAS, Poland
Hideaki Kanai, JAIST, Japan
Takashi Kawaji, Ohtsuki City College, Japan
Takahiro Kawaji, Ohtsuki City Colledge, Japan
Thomas Koehler, TU Dresden, Germany
Paul Kwan, University of New England, USA
Vincent Cs Lee, Monash University, Australia
Antoni Ligeza, AGH, Poland
Ahmad Lotfi, Nottingham Trent University, UK
Akinori Minaduk, Kushiro Prefecture University, Japan
Motoki Miura, Kyushu Institute of Technology, Japan
Kazunori Miyata, JAIST, Japan
David C. Moffat, Glasgow Caledonian University, UK
Anna Mura, University Pompeu Fabra, Spain
Toyohisa Nakada, Niigata University of Interenational and Information Studies, Japan
Kazushi Nishimoto, JAIST, Japan
Maciej Nowak, University of Economics Prague, Czech Republic
Kok-Leong Ong, Deakin University, Australia
Francois Pachet, CSL Sony Paris, France
Robert Pearson
Przemyslaw Pukocz, AGH, Poland
Pawel Rotter, AGH, Poland
Jose L. Salmeron, University Pablo de Olavide, Spain
Jagannathan Sarangapani, Missouri University of Science and Technology, USA
Eric Schai, SCU, USA
Hsu-Shih Shih, Tamkang University, Taiwan
Mikifumi Shikida, JAIST, Japan
Marcin Skowron, Austrian Research Institute for Artificial Intelligence, Austria
Johan Suykens, K.U. Leuven, ESAT-SCD, Belgium
Ryszard Tadeusiewicz, AGH, Poland
I-Hsien Ting, National University of Kaohsiung, Taiwan
Brijesh Verma, Central Queensland University, Australia
Yongui Wang, Nanjiing University, China
Michal Wozniak, Wroclaw University of Technology, Poland
Fan Wu, National Chung-Cheng University, Taiwan
Takashi Yoshino, Wakayama University, Japan
Atsuo Yoshitaka, Japan Advanced Institute of Science and Technology, Japan
Takaya Yuizono, JAIST, Japan
John Zeleznikow, Victoria University, Australia
Songmao Zhang, Chinese Academy of Sciences, China
Constantin Zopounidis, Technical University of Crete, Greece

--------------------------------------------------------------------
This is not SPAM. If you want to be removed from this list,
please send an email to [announce@cs.ucy.ac.cy] with the
single word 'remove' in the subject of the email.

2014-08-29

[Caml-list] TAMC 2015, 18-20 May 2015, National University of Singapore - First Call for Papers

First Call for Papers for the 12th Annual Conference on

Theory and Applications of Models of Computation (TAMC 2015)
18 - 20 May 2015

School of Computing, National University of Singapore

TAMC 2015 aims at bringing together a wide range of researchers with
interests in computational theory and applications. For more than 10
years, the conference series "Theory and Applications of Models of
Computing" has fostered interactions and collaborations between both
theoretical and applied researchers working on all aspects of
computations and the ways to model it.

Conference Chair: Sanjay Jain.
Programme Committee Chairs: Rahul Jain and Frank Stephan.
Programme Committee: Ajith Abraham, Anthony Bonato, Yijia Chen, Rodney
G. Downey, Henning Fernau, Dimitris Fotakis, Gopal T V, Steffen Lempp,
Jiamou Liu, Frexdexric Magniez, Klaus Meer, Mia Minnes, Philippe
Moser, Mitsunori Ogihara, Yota Otachi, Yicheng Pan, Pan Peng, Anil
Seth, Xiaoming Sun, Chaitanya Swamy, Hongan Wang, Wei Wang, Guohua Wu,
Yitong Yin, Mingsheng Ying, Neal Young, Thomas Zeugmann, Shengyu
Zhang, Conghua Zhou.

There will be published proceedings. Submissions should have a length of
12 pages; for details for the submission format and submission-link
and other questions, please consult the conference webpage

http://www.comp.nus.edu.sg/~fstephan/tamc2015/tamc2015.html

Papers already published in other conferences or in journals should
not be submitted to TAMC 2015; furthermore, simultaneous submissions
to other conferences are also not permitted. It is permitted to submit
an extended version of the paper to a journal after the conference.

Timeline:
Submission due: Thu 27 November 2014 at 23:59 hrs GMT.
Notification: Tue 20 January 2015.
Final Version due: Tue 3 February 2015.
Conference: Mon 18 - Wed 20 May 2015

Topics: TAMC 2015 is open for all topics relating to the theory and
applications of models of computation. The topics include algebraic
computation, algorithmic coding and number theory, algorithmic
learning theory, approximation algorithms, automata theory, circuit
complexity, communication complexity, complex networks and their
theory, combinatorial algorithms, computability and recursion theory,
computational biology, computational complexity, computational
geometry, continuous and real computation, cryptography, data
structures, design and analysis of algorithms, distributed algorithms,
domain models, fixed parameter tractability, formal languages, game
theory, geometric algorithms, grammatical inference, graph algorithms,
graph mining, information theory, internet mathematics, memory
hierarchy tradeoffs, model theory for computing, natural computing,
network algorithms, network security and applications, online
algorithms, optimisation, parallel algorithms, philosophy of
computing, privacy and security, property testing, proof complexity,
process models, quantum computation, randomness, randomised
algorithms, space-time tradeoffs, streaming algorithms, systems
theory, VLSI models of computation.

TAMC in previous years: The conference series TAMC started in the year
2004 and has been held annually since then. The previous conferences
are the following: Beijing China 2004, Kunming China 2005, Beijing
China 2006, Shanghai China 2007, Xian China 2008, Changsha China 2009,
Prague Czech Republic 2010, Tokyo Japan 2011, Beijing China 2012, Hong
Kong China 2013, Chennai India 2014.



















--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

2014-08-21

[Caml-list] RV 2014: 2nd Call for Participation

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

CALL FOR PARTICIPATION

 

RV 2014: 14th International Conference on Runtime Verification

September 22 - September 25, 2014, Toronto, Canada

http://rv2014.imag.fr

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

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

OVERVIEW

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

Runtime verification is concerned with monitoring and analysis of software and hardware system executions. Runtime verification techniques are important for system correctness, reliability, and robustness; they are complementary to conventional testing, and more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair. Topics of interest to the conference include:

  • specification languages
  • specification mining
  • program instrumentation
  • monitor construction techniques
  • logging, recording, and replay
  • fault detection, localization, containment, recovery and repair
  • program steering and adaptation
  • metrics and statistical information gathering
  • combination of static and dynamic analyses
  • program execution visualization
  • monitoring techniques for safety/mission-critical systems
  • monitoring distributed systems, cloud services, and big data applications
  • monitoring security and privacy policies

Application areas of runtime verification include safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy.


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

INVITED TALKS

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

  • Kevin Driscoll
    Fellow at Honeywell Labs, USA
    Murphy Strikes Again
  • Assaf Schuster
    Professor of Computer Science, Computer Science Department, Technion, Israel
    Monitoring Big, Distributed, Streaming Data
  • Jeannette Wing
    President's Professor of Computer Science,
    Computer Science Department, Carnegie Mellon University, USA
    Formal Methods: An Industrial Perspective


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

INVITED TUTORIALS

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

  • Vijay K. Garg & Neeraj Mittal
    UT at Austin & UT at Dallas
    A Lattice-Theoretic Approach to Monitoring Distributed Computations
  • David Basin & Felix Klaedtke
    ETH-Zurich & NEC Labs, Europe
    Runtime Monitoring and Enforcement of Security Policies


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

VENUE

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

The Fields Institute for Research in Mathematical Sciences

222 College Street, Toronto, Ontario, Canada

http://www.fields.utoronto.ca/


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

REGISTRATION

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

Registration on line to Aug. 21, on site Sept. 22

Registration fees $575, after Aug. 21 $675

Student $350, after Aug. 21, $450


Fees include proceedings and 1x Conference banquet

Additional banquet tickets $80


Registration link:

http://www.fields.utoronto.ca/programs/scientific/14-15/RV2014/


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

ACCEPTED PAPERS

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

  • Pierre Fraigniaud, Sergio Rajsbaum and Corentin Travers.
    On the Number of Opinions Needed for Fault-Tolerant Run-Time Monitoring in Distributed Systems
  • Simon Varvaressos, Kim Lavoie, Sebastien Gaboury and Sylvain Hallé.
    Multiple Ways to Fail: Generalizing a Monitor's Verdict for the Classification of Execution Traces
  • Clemens Ballarin.
    Two Generalisations of Roşu and Chen's Trace Slicing Algorithm A
  • Martin Hentschel, Richard Bubel and Reiner Hähnle.
    Symbolic Execution Debugger (SED) 
  • Jiannan Zhai, Nigamanth Sridhar and Jason Hallstrom.
    Supporting the Specification and Runtime Validation of Asynchronous Calling Patterns in Reactive Systems 
  • Emmanouil Koukoutos and Viktor Kuncak.
    Checking Data Structure Properties Orders of Magnitude Faster 
  • Maria Christakis, Patrick Emmisberger and Peter Müller.
    Dynamic Test Generation with Static Fields and Initializers 
  • Aravind Sukumaran-Rajam, Juan Manuel Martinez Caamano, Willy Wolff, Alexandra Jimborean and Philippe Clauss.
    Speculative Program Parallelization with Scalable and Decentralized Runtime Verification 
  • Christian Colombo and Yliès Falcone.
    Organising LTL Monitors over Distributed Systems with a Global Clock 
  • Erdal Mutlu, Vladimir Gajinov, Adrian Cristal, Serdar Tasiran and Osman Unsal.
    Dynamic Verification for Hybrid Concurrent Programming Models 
  • Hsi-Ming Ho, Joel Ouaknine and James Worrell.
    Online Monitoring of Metric Temporal Logic
  • David Basin, Germano Caronni, Sarah Ereth, Matúš Harvan, Felix Klaedtke and Heiko Mantel.
    Scalable Offline Monitoring 
  • David Basin, Felix Klaedtke, Srdjan Marinovic and Eugen Zalinescu.
    On Real-time Monitoring with Imprecise Timestamps 
  • Anand Yeolekar.
    Improving dynamic inference with variable dependence graph 
  • Ming Chai and Holger Schlingloff.
    Monitoring Systems with Extended Live Sequence Charts 
  • Laura Bozzelli and César Sánchez.
    Foundations of Boolean Stream Runtime Verification 
  • Mitra Tabaei Befrouei, Chao Wang and Georg Weissenbacher.
    Abstraction and Mining of Traces to Explain Concurrency-Bugs 
  • Stefan Mitsch and André Platzer.
    ModelPlex: Verified Runtime Validation of Verified Cyber-Physical System Models 
  • Johannes Geist, Kristin Y. Rozier and Johann Schumann.
    Runtime Observer Pairs and Bayesian Network Reasoners On-board FPGAs: Flight-Certifiable System Health Management for Embedded Systems 
  • Malte Isberner, Falk Howar and Bernhard Steffen
    The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning
  • Kim Lavoie, Corentin Leplongeon, Simon Varvaressos, Sebastien Gaboury and Sylvain Hallé.
    Portable Runtime Verification with Smartphones and Optical Codes 
  • Adel Dokhanchi, Bardh Hoxha and Georgios Fainekos
    On-Line Monitoring for Temporal Logic Robustness 
  • Jeff Huang, Cansu Erdogan, Yi Zhang, Brandon Moore, Qingzhou Luo, Aravind Sundaresan and Grigore Rosu.
    ROSRV: Runtime Verification for Robots 
  • Qingzhou Luo, Yi Zhang, Choonghwan Lee, Dongyun Jin, Patrick Meredith, Traian Serbanuta and Grigore Rosu.
    RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous Properties 
  • Duc Hiep Chu, Joxan Jaffar and Vijayaraghavan Murali.
    Lazy Symbolic Execution for Enhanced Learning 
  • Kuei Sun, Daniel Fryer, Ashvin Goel, Dai Qin and Angela Demke Brown.
    Robust Consistency Checking for Modern Filesystems 
  • Ayoub Nouri, Balaji Raman, Marius Bozga, Axel Legay and Saddek Bensalem.
    Faster Statistical Model Checking by Means of Abstraction and Learning


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

CHAIRS AND ORGANIZERS

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

  • General Chair: Sebastian Fischmeister (University of Waterloo, Canada).
  • PC co-Chairs: 
    • Borzoo Bonakdarpour (McMaster University, Canada)
    • Scott Smolka (Stony Brook Universtiy, USA)
  • Tools Track Chair: Ezio Bartocci (TU Vienna, Austria)
  • Runtime Monitoring Competition Co-Chairs:
    • Ezio Bartocci (TU Vienna, Austria)
    • Borzoo Bonakdarpour (McMaster University, Canada)
    • Ylies Falcone (Université Joseph Fourier, France)
  • Publicity Chair: Ylies Falcone (Université Joseph Fourier, France)
  • Local Arrangements Chair: Patrick Lam (University of Waterloo, Canada)


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

FURTHER INFORMATION

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

More information about RV2014 is available from the conference web site:

http://rv2014.imag.fr



2014-08-20

[Caml-list] Commercial Users of Functional Programming at ICFP 2014, Gothenburg, Sep 4-6

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

CALL FOR PARTICIPATION

Commercial Users of Functional Programming (CUFP) 2014 at ICFP 2014;
Gothenburg, Sweden, Sep 4-6.

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

Overview
========

Functional programming has been at the forefront of a new generation
of programming technologies: Companies employing functional
programming use it to enable more effective, robust, and flexible
software development.

The annual CUFP workshop is designed to serve the growing community of
commercial users of functional programming: Practitioners meet and
collaborate; language designers and users can share ideas about the
future of their languages; experts share their expertise on practical
functional programming.

CUFP 2014 begins with two days of tutorials by top-notch
language experts including advanced tutorials on special topics,
followed by a day of talks about industrial applications of
functional programming.

More information about CUFP 2014 is available on the CUFP web site at

http://cufp.org/2014/

Registration is available at:

https://regmaster4.com/2014conf/ICFP14/register.php

TUTORIALS, SEPTEMBER 4
======================

T1: Programming with Dependent Types
Ulf Norell

T2: Haskell in the Real World
Stefan Wehr

T3: Intro to Elm: a field guide for functional front-end programming (Part 1)
Evan Czaplicki & Spiros Eliopoulos

T4: Elm-d3: Front-end Development without Frameworks (Part 2)
Spiros Eliopoulos

T5: Idris: Practical Software Verification with Dependent Types
Edwin Brady

T6: Lens
Edward Kmett

TUTORIALS, SEPTEMBER 5
======================

T7: Introduction to OCaml
Leo White & Jeremy Yallop

T8: Programming in Rust
Felix Klock & Lars Bergstrom

T9: Tinkering with the Raspberry Pi using Erlang
Torben Hoffmann

T10: Hands-on Functional Web Development in F# with WebSharper
Adam Granicz

T11: Batteries Included: Generative Programming with Scala and LMS
Tiark Rompf & Nada Amin

T12: Introduction to testing with QuickCheck
John Hughes

TALKS, SEPTEMBER 6
==================

Keynote: Making Money From FP
Joe Armstrong, Ericsson and Royal Institute of Technology in Stockholm

Functional Programming at Verizon OnCue
Timothy Perrett, Verizon

Adopting Functional Programming with OCaml at Bloomberg LP
Maxime Ransan, Bloomberg LP

MBrace: large-scale programming in F#
Eirik Tsarpalis, Nessos

Probabilistic Synchronization of State Between Independent Nodes
Erlend Hamberg

Towards "annex", a Fact Based Dependency System
Mark Hibberd

Building data and time-series analytics tools for F#
Tomas Petricek & Howard Mansell

Haskell in the Misson Control Domain
Michael Oswald

Haskell tools for satellite operations
Björn Buckwalter

F# For Fun and Games
Anthony Brown

Some usages of functional programming for FO and quants
Renaud Bechade

Reactive I/O with Scala, Akka, and Play
Kenneth Owens, Comcast

If your server is a function, is your company a library?
Andrew Cowie



--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

2014-08-06

[Caml-list] KICSS 2019: Call for Research-in-Progress, Industry, Short and Demo Papers

*** CALL FOR RESEARCH-IN-PROGRESS, INDUSTRY, SHORT AND DEMO PAPERS ***

9th INTERNATIONAL CONFERENCE ON KNOWLEDGE, INFORMATION
AND CREATIVITY SUPPORT SYSTEMS
(KICSS 2014)

Elias Beach Hotel, Limassol, Cyprus

6-8 November, 2014

http://kicss2014.cs.ucy.ac.cy/

Proceedings will be published by Springer

*** Submission Deadline: 5th September 2014 ***

Following the tradition of previous conferences on Knowledge, Information and
Creativity Support Systems, KICSS 2014 will cover all aspects of knowledge
management, knowledge engineering, intelligent information systems, and creativity
in an information technology context, including computational creativity and its
cognitive and collaborative aspects. Papers reporting original unpublished research
results on theoretical foundations, IT implementations of decision support and
expert systems, as well as case studies of successful applications of the above-
mentioned ideas in various fields are equally solicited.

The list of conference topics includes but is not limited to:
Anticipatory networks, systems, and decisions
Autonomous creative systems
Cognitive foundations of knowledge
Cognitive and psychological issues in creativity research
Cognitive foundations of knowledge
Collaborative activities in Living Labs
Collaborative idea generation and creativity
Collaborative knowledge creation
Collaborative working environments fostering creativity
Complex system modelling
Computer supported creativity
Creative approaches to model technological evolution
Creative business models
Creative conflict resolution
Creative coordination and cooperation mechanisms
Creative decision processes
Creative interaction techniques
Creative model building
Creative reasoning and decision making
Creative research environments and their performance
Creative social computing
Creative visualisation of data and knowledge
Creativity in finance
Creativity in augmented reality
Creativity in health care
Creativity in mobile applications
Creativity in social media
Creativity in the Cloud
Creativity measurement
Creativity support systems
Creativity transfer and stimulation
Creativity vs. rationality
Creativity-enhancing interfaces
Creativity-oriented information system architectures
Decision sciences
Decision support systems (DSS)
Discovering opportunities, threats and challenges
Foresight support systems (FSS)
Future Internet and knowledge-based society
Future exploration and modelling
Future perspectives of knowledge, information, and creativity support
Game-theoretical aspects of knowledge
General creative systems (GCS)
Group recommendation, and advise
Heuristics and general problem solving
Identifying real options in complex business environments
Information fusion
Information quality
Intelligent analysis of Big Data
Knowledge extraction, creation, and acquisition
Knowledge in multi-agent systems
Knowledge integration
Knowledge management in business, industry, and administration
Knowledge representation and reasoning
Knowledge verification and validation
Living Lab support systems (LLSS)
Machine learning and creativity
Malicious creativity in the web, its discovery and remedy
Mathematical models of creative processes
Multi- and interdisciplinary approaches in creativity research
Multicriteria decision making
Natural language analysis
Non-monotonic reasoning
Ontology creation and management
Open innovation
Organizational learning
Preference modelling
Reasoning about knowledge
Recommender systems
Scientific information management
Search for a compromise in multicriteria decision making and collaborative games
Social Computing
Social factors of collaborative creativity
Software-based stimulation of creativity
Supervised and semi-supervised learning
Trust modeling
Uncertainty modelling
Virtual environment design
Visual Analytics and Intelligent User Interfaces
Web intelligence tools
World models

Important Dates
Submission Deadline: September 5, 2014
Author Notification Due: September 12, 2014
Camera-Ready Versions Due: September 19, 2014

Submission
Short, industrial/demo and research-in-progress papers
should not exceed 6 pages according to the above format.
Up to 2 additional pages may be allowed at extra charge.
The KICSS 2014 papers can be submitted via Easychair.

Proceedings
The KICSS 2014 (Post-) Proceedings will be published in the Springer
Series: Advances in Intelligent Systems and Computing, ISSN 2194-5357,
indexed by ISI Proceedings, SCOPUS, Zentralblatt Math, Ulrich's, EI-Compendex,
DBLP, MetaPress, Springerlink, see more here. The Post-Proceedings will
contain all the accepted papers, in any category.

The authors of the selected best papers presented at the conference will be
invited to submit the revised and extended versions of their contributions to
special issues of high-rank scientific journals.

Organization

Conference Chairs
Susumu Kunifuji, JAIST, Japan
George Angelos Papadopoulos, University of Cyprus, Cyprus
Andrzej M.J. Skulimowski, P&BF and AGH, Poland

Local Organizing Chair
George Angelos Papadopoulos, University of Cyprus, Cyprus

Award Chairs
Susumu Kunifuji, JAIST, Japan
Thanaruk Theeramunkong, Thammasat University, Thailand

Invited Session Chairs
Tomoko Kajiyama, JAIST, Japan
Vincent Cheng-Siong Lee, Monash University, Australia
Takaya Yuizono, JAIST, Japan

Program Committee
Chi-Hung Chi, CSIRO, Australia
João Clímaco, University of Coimbra, Portugal
Simon Colton, University of London, UK
Eugene Dubossarsky, Presciient, Australia
Mark Embrechts, RPI, USA
Ali Eydgahi, Eastern Michigan University, USA
John Garofalakis, University of Patras, Greece
Tessai Hayama, Kanazawa Institute of Technology, Japan
Hidehi Hayashi, Naruto University of Education, Japan
Hidehiko Hayashi, Naruto University of Education, Japan
Christopher Hinde, Loughborough University, UK
Josef Jablonsky, University of Economics Prague, Czech Republic
Janusz Kacprzyk, Systems Research Institute - PAS, Poland
Hideaki Kanai, JAIST, Japan
Takashi Kawaji, Ohtsuki City College, Japan
Takahiro Kawaji, Ohtsuki City Colledge, Japan
Thomas Koehler, TU Dresden, Germany
Paul Kwan, University of New England, USA
Vincent Cs Lee, Monash University, Australia
Antoni Ligeza, AGH, Poland
Ahmad Lotfi, Nottingham Trent University, UK
Akinori Minaduk, Kushiro Prefecture University, Japan
Motoki Miura, Kyushu Institute of Technology, Japan
Kazunori Miyata, JAIST, Japan
David C. Moffat, Glasgow Caledonian University, UK
Anna Mura, University Pompeu Fabra, Spain
Toyohisa Nakada, Niigata University of Interenational and Information Studies, Japan
Kazushi Nishimoto, JAIST, Japan
Maciej Nowak, University of Economics Prague, Czech Republic
Kok-Leong Ong, Deakin University, Australia
Francois Pachet, CSL Sony Paris, France
Robert Pearson
Przemyslaw Pukocz, AGH, Poland
Pawel Rotter, AGH, Poland
Jose L. Salmeron, University Pablo de Olavide, Spain
Jagannathan Sarangapani, Missouri University of Science and Technology, USA
Eric Schai, SCU, USA
Hsu-Shih Shih, Tamkang University, Taiwan
Mikifumi Shikida, JAIST, Japan
Marcin Skowron, Austrian Research Institute for Artificial Intelligence, Austria
Johan Suykens, K.U. Leuven, ESAT-SCD, Belgium
Ryszard Tadeusiewicz, AGH, Poland
I-Hsien Ting, National University of Kaohsiung, Taiwan
Brijesh Verma, Central Queensland University, Australia
Yongui Wang, Nanjiing University, China
Michal Wozniak, Wroclaw University of Technology, Poland
Fan Wu, National Chung-Cheng University, Taiwan
Takashi Yoshino, Wakayama University, Japan
Atsuo Yoshitaka, Japan Advanced Institute of Science and Technology, Japan
Takaya Yuizono, JAIST, Japan
John Zeleznikow, Victoria University, Australia
Songmao Zhang, Chinese Academy of Sciences, China
Constantin Zopounidis, Technical University of Crete, Greece

--------------------------------------------------------------------
This is not SPAM. If you want to be removed from this list,
please send an email to [announce@cs.ucy.ac.cy] with the
single word 'remove' in the subject of the email.

2014-08-04

[Caml-list] Haskell Symposium – Call for participation

====================================================================
CALL FOR PARTICIPATION

ACM SIGPLAN Haskell Symposium 2014
Gothenburg, Sweden
4-5 September, 2014
(directly after ICFP)

http://www.haskell.org/haskell-symposium/2014/
====================================================================


The purpose of the Haskell Symposium is to discuss experiences with
Haskell and future developments for the language. The scope of the
symposium includes all aspects of the design, semantics, theory,
application, implementation, and teaching of Haskell.


Accepted papers and programme:

http://www.haskell.org/haskell-symposium/2014/schedule.html


REGISTRATION IS NOW OPEN:

https://regmaster4.com/2014conf/ICFP14/register.php

Local arrangements (including travel and accommodation):

http://www.icfpconference.org/icfp2014/local.html

I hope to see you in Gothenburg!


Wouter Swierstra
Haskell 2014 Program Chair

--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

2014-08-01

[Caml-list] ICFP 2014 Final Call for Participation

[ Early registration ends 3 Aug; Invited speakers and conference    program have been announced. ]    =====================================================================    Final Call for Participation    ICFP 2014  19th ACM SIGPLAN International Conference on Functional Programming  and affiliated events    August 31 - September 6, 2014  Gothenburg, Swedenhttp://icfpconference.org/icfp2014/    =====================================================================    ICFP provides a forum for researchers and developers to hear  about the latest work on the design, implementations, principles, and  uses of functional programming. The conference covers the entire  spectrum of work, from practice to theory, including its peripheries.    A full week dedicated to functional programming:  1 conference, 1 symposium, 10 workshops, tutorials,  programming contest results, student research competition     * Program:     http://icfpconference.org/icfp2014/program.html     * Accepted Papers:     http://icfpconference.org/icfp2014/accepted.html     * Local arrangements (including travel and accommodation):     http://icfpconference.org/icfp2014/local.html     * Registration is available via:     https://regmaster4.com/2014conf/ICFP14/register.php     Early registration is due 3 August, 2014.     * Programming contest, 25-28 July, 2014:     http://icfpcontest.org/     * Follow @icfp_conference on twitter for the latest news:     http://twitter.com/#!/icfp_conference    Keynote speakers:     * Kathleen Fisher (Tufts University):       Using Formal Methods to Enable More Secure Vehicles:       DARPA's HACMS Program     * Robert Bruce Findler (Northwestern University):       Behavioral Software Contracts     * Stephanie Weirich (University of Pennsylvania):       Depending on Types    There are several events affiliated with ICFP:      Sunday, August 31      ACM SIGPLAN Workshop on Generic Programming      ACM SIGPLAN Workshop on Higher-order Programming with Effects      Monday, September 1 – Wednesday, September 3      ICFP      Thursday, September 4      ACM SIGPLAN Commercial Users of Functional Programming: Day 1,      Tutorials      ACM SIGPLAN Haskell Symposium: Day 1      ACM SIGPLAN Workshop on Functional High-Performance Computing      ACM SIGPLAN ML Family Workshop      Friday, September 5      ACM SIGPLAN Commercial Users of Functional Programming: Day 2,      Tutorials      ACM SIGPLAN Haskell Symposium: Day 2      ACM SIGPLAN OCaml Workshop      ACM SIGPLAN Erlang Workshop      Saturday, September 6      ACM SIGPLAN Commercial Users of Functional Programming: Day 3,      Talks      ACM SIGPLAN Haskell Implementors Workshop      ACM SIGPLAN Workshop on Functional Art, Music, Modeling and Design    Conference Organizers      General Chair:      Johan Jeuring, Utrecht University    Program Chair:      Manuel Chakravarty, University of New South Wales    Local Arrangements Chair:      Björn von Sydow, Chalmers University    Industrial Relations Chair:      Anil Madhavapeddy, University of Cambridge    Workshop Co-Chairs:      Tom Schrijvers, Ghent University      Sam Tobin-Hochstadt, Indiana University    Programming Contest Co-Chairs:      Duncan Coutts, Well Typed LLP      Nicolas Wu, University of Oxford    Student Research Competition Chair:      Meng Wang, Chalmers University    Publicity Chair:      David Van Horn, University of Maryland    Video Chair:      Iavor Diatchki, Galois      Malcolm Wallace, Standard Chartered Bank    Industrial partners:      Platinum partners      Jane Street Capital    Gold partners      Google      Microsoft Research      Mozilla      Oracle Labs      Standard Chartered Bank    Silver partners      Bloomberg      Credit Suisse      CyberPoint      Erlang Solutions      Facebook      Galois      Klarna      Lexifi      Twitter    Bronze partners      Alephcloud      IntelliFactory      Opera Software      QuviQ      Systeor Vest AS    =====================================================================