David Baelde | 2 Sep 23:05 2014
Picon

JFLA 2015 : deuxième appel à communications


    * Merci de faire circuler : deuxième appel à communication *

              JFLA 2015 (http://jfla.inria.fr/2015/)

          Journées Francophones des Langages Applicatifs

                    Organisées par Inria
          au Val d'Ajol (Vosges) du 7 au 10 janvier 2015

Dates importantes
-----------------
26 septembre 2014 : date limite de soumission des résumés
3 octobre 2014 : date limite de soumission des papiers
3 novembre 2014 : notification aux auteurs
30 novembre 2014 : clôture des inscriptions
1er décembre 2014 : remise des articles définitifs
7 au 10 janvier 2015 : journées

Les JFLA réunissent concepteurs, utilisateurs et théoriciens ; elles
ont pour ambition de couvrir les domaines des langages applicatifs, de
la preuve formelle, et des objets mathématiques qui sous-tendent ces
outils. Ces domaines doivent être pris au sens large : nous souhaitons
promouvoir les ponts entre les différentes thématiques.

. Langages fonctionnels et applicatifs : sémantique, compilation,
  optimisation, typage, mesures, extensions par d'autres paradigmes.

. Assistants de preuve : implémentation, nouvelles tactiques,
  développements présentant un intérêt technique ou méthodologique.
(Continue reading)

Xinuo Chen | 2 Sep 22:05 2014
Picon

How to use emacs tuareg mode effectively to manage an OCaml project?

Hi all

I am using OCaml for a project with 20 - 50 files inside. Also I am using emacs + tuareg.

Syntax highlight is well done by tuareg and generally it is good using emacs for one file editing.

However, for the project files, I need to frequently switch between files together with folders, how can i use emacs as also a project manager such as eclipse? How can I have a file / project tree there just like Eclipse does?

Also how do people manage a huge bunch of files (just like core library or batteries-included) effectively? It seems emacs is good for single file or simple project editing, but not good at managing a complex project.

thanks

Best Regards,

Xinuo
Tarmo Uustalu | 2 Sep 12:28 2014
Picon
Picon

ETAPS 2015 2nd call for papers


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

                   CALL FOR PAPERS: ETAPS 2015

18th European Joint Conferences on Theory And Practice of Software

                  London, UK,  11-18 April 2015

                    http://www.etaps.org/2015

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

-- ABOUT ETAPS --

ETAPS is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of six main annual
conferences, accompanied by satellite workshops. ETAPS 2015 is the
eighteenth event in the series.

-- MAIN CONFERENCES (13-17 April) --

    * CC: Compiler Construction
        (PC chair Björn Franke, University of Edinburgh, UK)
    * ESOP: European Symposium on Programming
        (PC chair Jan Vitek, Northeastern University, USA)
    * FASE: Fundamental Approaches to Software Engineering
        (PC chairs Alexander Egyed, Johannes Kepler U Linz, Austria,
         and Ina Schaefer, Technische Universität Braunschweig, Germany)
    * FOSSACS: Foundations of Software Science
        and Computation Structures
        (PC chair Andrew Pitts, University of Cambridge, UK)
    * POST: Principles of Security and Trust
        (PC chairs Riccardo Focardi, Università Ca' Foscari Venezia,
         Italy, and Andrew Myers, Cornell University, USA)
    * TACAS: Tools and Algorithms for
        the Construction and Analysis of Systems
        (PC chairs Christel Baier, Technische Univ Dresden, Germany,
         and Cesare Tinelli, The University of Iowa, USA)

TACAS '15 will host the 4rd Competition on Software Verification
(SV-COMP).

-- INVITED SPEAKERS --

    * Unifying speakers:
      Robert Harper (Carnegie Mellon University, USA)
      Catuscia Palamidessi (INRIA Saclay and LIX, France)

    * CC invited speaker:
      Keshav Pingali (University of Texas, USA)
    * FoSSaCS invited speaker:
      Frank Pfenning (Carnegie Mellon University, USA)
    * TACAS invited speaker:
      Wang Yi (Uppsala Universitet, Sweden)

-- IMPORTANT DATES --

    * 10 October 2014: Submission deadline for abstracts
    * 17 October 2014: Submission deadline for full papers
    * 3-5 December 2014: Author response period (ESOP and FoSSaCS only)
    * 19 December 2014: Notification of acceptance
    * 16 January  2015: Camera-ready versions due

-- SUBMISSION INSTRUCTIONS --

ETAPS conferences accept two types of contributions: research papers
and tool demonstration papers. Both types will appear in the
proceedings and have presentations during the conference.

ESOP and FoSSaCS accept only research papers. TACAS has more paper
categories (see http://www.etaps.org/2015/tacas).

A condition of submission is that, if the submission is accepted, one
of the authors attends the conference to give the presentation.

Submitted papers must be in English presenting original
research. They must be unpublished and not submitted for publication
elsewhere. In particular, simultaneous submission of the same
contribution to multiple ETAPS conferences is forbidden. The
proceedings will be published in the Advanced Research in Computing
and Software Science (ARCoSS) subline of Springer's Lecture Notes in
Computer Science series.

Papers must follow the formatting guidelines specified by Springer at

http://www.springer.de/comp/lncs/authors.html

and be submitted electronically in pdf through the EasyChair author
interface of the respective conference (HotCRP for ESOP).

Submissions not adhering to the specified format and length may be
rejected immediately.

- Research papers

FASE, FOSSACS and TACAS have a page limit of 15 pages for research
papers, whereas CC, POST allow at most 20 pages and ESOP 25 pages.

Additional material intended for the referees but not for publication
in the final version - for example, details of proofs - may be placed
in a clearly marked appendix that is not included in the page
limit. ETAPS referees are at liberty to ignore appendices and papers
must be understandable without them.

In addition to regular research papers, TACAS solicits also case study
papers (at most 15 pages).

Both TACAS and FASE solicit also regular tool papers (at most 15
pages).

- Tool demonstration papers

Submissions should consist of two parts:

* The first part, at most 4 pages, should describe the tool
    presented. Please include the URL of the tool (if available) and
    provide information that illustrates the maturity and robustness of
    the tool. (This part will be included in the proceedings.)

* The second part, at most 6 pages, should explain how the
    demonstration will be carried out and what it will show, including
    screen dumps and examples. (This part will be not be included in the
    proceedings, but will be evaluated.)

ESOP and FOSSACS do not accept tool demonstration papers.

TACAS has a page limit of 6 pages for tool demonstrations.

-- SATELLITE EVENTS (11-12 April, 18 April) --

Around 20 satellite workshops will take place before and after the
main conferences.

-- HOST CITY --

London, the capital city of England and the UK, is a leading global
city, with strengths in the arts, commerce, education, entertainment,
fashion, finance, healthcare, media, professional services, research
and development, tourism and transport all contributing to its
prominence. It is one of the world's leading financial centers and a
world cultural capital. It is the world's most-visited city as
measured by international arrivals and has the world's largest city
airport system measured by passenger traffic. In 2012, London became
the first city to host the modern Summer Olympic Games three times.

-- HOST INSTITUTION --

ETAPS 2015 is hosted by the School of Electrical Engineering and
Computer Science of the Queen Mary University of London.

The main campus is located in the Mile End area of the East End of
London.

-- ORGANIZERS

* General chairs: Pasquale Malacaria, Nikos Tzevelekos
* Workshops chair: Paulo Oliva

-- FURTHER INFORMATION --

Please do not hesitate to contact the organizers at
p.malacaria <at> qmul.ac.uk, nikos.tzevelekos <at> qmul.ac.uk.

--

-- 
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
Thomas Braibant | 2 Sep 12:20 2014
Picon

Cryptosense is hiring!

Cryptosense produces software that finds vulnerabilities in the
cryptographic systems used in banks and other security-sensitive
environments. We specialise in security analysis. Based in downtown
Paris, we use OCaml as our core language because it's the right tool
for the job, though we also occasionally use other languages when
appropriate (e.g., C, Java, Javascript).

We are expanding our team and need an outstanding engineer with a
taste for difficult algorithmic problems and performance engineering
challenges. The ideal candidate will have a masters or PhD in a
related area and some experience of at least one of: formal
methods, model checking, cryptography or machine learning.

At Cryptosense, we encourage developers to be autonomous and take
ownership of problems as well as fostering a culture of team
spirit and knowledge sharing. We are building a strong internal
training programme to bring you up to speed in every area.

The remuneration package includes a salary commensurate with
experience as well as stock options. For info, Cryptosense is a
spin-off of Inria created in 2013. We recently closed a seed
funding round with one of the best-known VC firms in Paris.

You can find out more about Cryptosense on the company blog

http://cryptosense.com/blog/

and more about working for us on our jobs page

http://cryptosense.com/working-at-cryptosense/ ‎

Let me know if you are interested or know someone who might be
interested. Romain Bardou and myself will be present later this week
at ICFP if you want to chat about what we do.

Thomas Braibant

--

-- 
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
Jeremie Dimino | 2 Sep 12:09 2014

[ANN] Camlp4 4.02.0

Hi,

This announces the first external release of Camlp4. Camlp4 is a
preprocessor pretty-printer that used to be distrubuted with OCaml up
to version 4.01. The project is now standalone hosted on github:


This version is compatible with OCaml 4.02 only. It doesn't yet
support all the new syntaxes of 4.02 but most of them are already in
the git repository and should be released soon.

-- 
Jeremie Dimino

publicityifl | 2 Sep 09:23 2014
Picon

Third call for papers, IFL 2014

Hello,

Please, find below the third call for papers for IFL 2014.
The submission page is now open. The submission date has been
delayed to Sep. 8 2014 anywhere on the world.

Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.

best regards,
Jurriaan Hage

---

CALL FOR PAPERS

26th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES - IFL 2014

NORTHEASTERN UNIVERSITY/BOSTON, USA

OCTOBER 1-3, 2014

http://ifl2014.github.io

We are pleased to announce that the 26th edition of the IFL series
will be held at Northeastern University in Boston, USA. The symposium
will be held from 1st to 3rd of October 2014.

Scope
-----

The goal of the IFL symposia is to bring together researchers actively
engaged in the implementation and application of functional and
function-based programming languages.  IFL 2014 will be a venue for
researchers to present and discuss new ideas and concepts, work in
progress, and publication-ripe results related to the implementation
and application of functional languages and function-based
programming.

Following the IFL tradition, IFL 2014 will use a post-symposium review
process to produce the formal proceedings. All participants of IFL
2014 are invited to submit either a draft paper or an extended
abstract describing work to be presented at the symposium. At no time
may work submitted to IFL be simultaneously submitted to other venues;
submissions must adhere to ACM SIGPLAN's republication policy:

    http://www.sigplan.org/Resources/Policies/Republication

The submissions will be screened by the program committee chair to
make sure they are within the scope of IFL, and will appear in the
draft proceedings distributed at the symposium. Submissions appearing
in the draft proceedings are not peer-reviewed publications. Hence,
publications that appear only in the draft proceedings do not count as
publication for the ACM SIGPLAN republication policy. After the
symposium, authors will be given the opportunity to incorporate the
feedback from discussions at the symposium and will be invited to
submit a revised full article for the formal review process. From the
revised submissions, the program committee will select papers for the
formal proceedings considering their correctness, novelty,
originality, relevance, significance, and clarity.

Submission Details
------------------

Submission deadline draft papers:                          September 8 
Notification of acceptance for presentation:               September 10
Early registration deadline:                               September 11
Late registration deadline:                                September 17 
Submission deadline for pre-symposium proceedings:         September 24
26th IFL Symposium:                                        October 1-3 
Submission deadline for post-symposium proceedings:        December 15
Notification of acceptance for post-symposium proceedings: January  31 2015
Camera-ready version for post-symposium proceedings:       March    15 2015 

Prospective authors are encouraged to submit papers or extended
abstracts to be published in the draft proceedings and to present them
at the symposium. All contributions must be written in English. Papers
must adhere to the standard ACM two columns conference format. For the
pre-symposium proceedings we adopt a 'weak' page limit of 12
pages. For the post-symposium proceedings the page limit of 12 pages
is firm. A suitable document template for LaTeX can be found at:

    http://www.acm.org/sigs/sigplan/authorInformation.htm

Papers should be submitted online at https://easychair.org/conferences/?conf=ifl2014

Topics
------

IFL welcomes submissions describing practical and theoretical work as
well as submissions describing applications and tools in the context
of functional programming. If you are not sure whether your work is
appropriate for IFL 2014, please contact the PC chair at
samth <at> cs.indiana.edu. Topics of interest include, but are not limited
to:

•  language concepts
•  type systems, type checking, type inferencing
•  compilation techniques
•  staged compilation
•  run-time function specialization
•  run-time code generation
•  partial evaluation
•  (abstract) interpretation
•  metaprogramming
•  generic programming
•  automatic program generation
•  array processing
•  concurrent/parallel programming
•  concurrent/parallel program execution
•  embedded systems
•  web applications
•  (embedded) domain specific languages
•  security
•  novel memory management techniques
•  run-time profiling performance measurements
•  debugging and tracing
•  virtual/abstract machine architectures
•  validation, verification of functional programs
•  tools and programming techniques
•  (industrial) applications

Peter Landin Prize
------------------

The Peter Landin Prize is awarded to the best paper presented at the
symposium every year. The honoured article is selected by the program
committee based on the submissions received for the formal review
process. The prize carries a cash award equivalent to 150 Euros.

Programme committee
-------------------

Sam Tobin-Hochstadt, Indiana University (Chair)
Rinus Plasmeijer, Radboud University Nijmegen (Co-Chair)
Atze Dijkstra, Utrecht University
Colin Runciman, University of York
Graham Hutton, University of Nottingham
Mary Sheeran, Chalmers University of Technology
Patricia Johann, Appalachian State University
Matthew Fluet, Rochester Institute of Technology
Josef Svenningsson, Chalmers University of Technology
Małgorzata Biernacka, University of Wroclaw
Peter Achten, Radboud Univerity Nijmegen
Laura Castro, University of A Coruña
Hai Paul Liu, Intel Labs
Kathryn Gray, Cambridge University
Lars Bergstrom, Mozilla Research
Lindsey Kuper, Indiana University
Nicolas Wu, Oxford
T. Stephen Strickland, University of Maryland
Xavier Clerc, INRIA

Venue
-----

The 26th IFL will be held in association with the College of Computer
and Information Science at Northeastern University. It can be reached
quickly and easily by public transport.

--

-- 
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

Temur Kutsia | 1 Sep 15:14 2014
Picon

SCSS 2014: Call for short and work-in-progress papers

[Please post - apologies for multiple copies.]

CALL FOR SHORT AND WORK-IN-PROGRESS PAPERS
================================================
SCSS 2014
Symbolic Computation in Software Science
6th International Symposium

Gammarth, La Marsa, Tunisia, December 7-11, 2014
http://www.easychair.org/smart-program/SCSS2014/
================================================

Scope
--------
The purpose of SCSS 2014 is to promote research on theoretical and practical
aspects of symbolic computation in software science. The symposium provides
a forum for active dialog between researchers from several fields of 
computer
algebra, algebraic geometry, algorithmic combinatorics, computational logic,
and software analysis and verification. The topics of the symposium include,
but are not limited to the following:

- automated reasoning
- algorithm (program) synthesis and/or verification
- formal methods for the analysis of network security
- termination analysis and complexity analysis of algorithms (programs)
- extraction of specifications from algorithms (programs)
- theorem proving methods and techniques
- proof carrying code
- generation of inductive assertion for algorithm (programs)
- algorithm (program) transformations
- formalization and computerization of knowledge (maths, medicine, 
economy, etc.)
- component-based programming
- computational origami
- query languages (in particular for XML documents)
- semantic web and cloud computing

Submission
----------
Researchers and practitioners are invited to submit short papers, reports on
interesting work in progress or system descriptions. They need not be 
original.
Concurrent submission to another conference or a journal is allowed. The 
papers
are limited in length to 5 pages in the EasyChair format.

Submission page: https://www.easychair.org/conferences/?conf=scss2014

Important Dates
---------------
September 29, 2014:  Submission deadline
October 3, 2014:  Notification
December 7-11, 2014: SCSS 2014 in Gammarth

Invited Speakers
----------------
Nikolaj Bjorner (Microsoft Research)
William M. Farmer (McMaster University)

Program Chairs
--------------
Temur Kutsia (RISC, Johannes Kepler University Linz, Austria)
Andrei Voronkov (University of Manchester, UK)

Program Committee
------------------
Elvira Albert (Complutense University of Madrid, Spain)
Adel Bouhoula (Higher School of Communications of Tunis, Tunisia)
James H. Davenport (University of Bath, UK)
Roberto Giacobazzi (University of Verona, Italy)
Arie Gurfinkel (Carnegie Mellon University, USA)
Nao Hirokawa (JAIST, Japan)
Tetsuo Ida (University of Tsukuba, Japan)
Florent Jacquemard (INRIA - IRCAM, France)
Laura Kovacs (Chalmers University of Technology, Sweden)
Temur Kutsia (RISC, Johannes Kepler University Linz, Austria) - chair
Ali Mili (New Jersey Institute of Technology, USA)
Joel Ouaknine (Oxford University, UK)
Ruzica Piskac (Yale University, USA)
Andrei Voronkov (University of Manchester, UK) - chair
Dongming Wang (Beihang University, China and UPMC-CNRS, France)

General Chairs
---------------
Adel Bouhoula (Higher School of Communications of Tunis, Tunisia)
Tetsuo Ida (University of Tsukuba, Japan)

Local Chair
-----------
Mohamed Becha Kaaniche (University of Carthage, Tunisia)

--

-- 
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

Christopher Yocum | 1 Sep 14:58 2014
Picon

Ocaml 4.02.0: Dead Code Elimination and Core

Hi Everyone,

I am not sure if this is the correct forum for this question but I thought I would start here.  I also have the feeling that this is a rather dumb question.  However, I will put it out there and see what the responses are.

I saw that there is dead code elimination in 4.02.0 and I thought to myself that this would help make Core's very large binaries smaller.  So, I switch compilers and did a test.  Unfortunately, a small sample program compiled with ocamlopt and using Core.Std.List was still 11MB.  I very much doubt that my binary really needs to be 11MB.  Is there a way to shrink the size?  I had heard about namesapces elsewhere before but I think that discussion died.

All the best,
Chris Yocum
Ashish Agarwal | 1 Sep 14:43 2014
Picon

Re: [Caml-announce] OCaml 4.02.0

On Fri, Aug 29, 2014 at 3:53 PM, Ashish Agarwal <agarwal1975 <at> gmail.com> wrote:


On Fri, Aug 29, 2014 at 11:57 AM, Damien Doligez <damien.doligez <at> inria.fr> wrote:
Dear OCaml users,

We have the pleasure of celebrating the anniversary of the
last concert of the Beatles by announcing the release of OCaml
version 4.02.0.

It is available here: < http://caml.inria.fr/download.en.html > ...
Jeremie Dimino | 1 Sep 12:22 2014

[ANN] UTop 1.15

Hi,

I'm pleased to announce UTop 1.15. UTop is an improved toplevel for
OCaml. Here are some of the recent changes:

- support OCaml 4.02
- fix a stack overflow on large output
- support `#ppx`, `-ppx`
- support `-require` and `-syntax` for scripts
- make utop.el compatible with melpa: http://melpa.milkbox.net

You can find an introduction to UTop in this recent blog post:


UTop is available via opam and some documentation can be found on the
github project page:


Thanks for all the contributions, and especially to Peter Zotov who
recently joined the project.

Enjoy!

-- 
Jeremie Dimino

Announce Announcements | 31 Aug 13:47 2014

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 <at> cs.ucy.ac.cy] with the
single word 'remove' in the subject of the email.

Gmane