[Caml-list] Functional Art, Music, Modelling and Design (FARM 2014): Call for Participation

FARM 2014

2nd ACM SIGPLAN International Workshop on
Functional Art, Music, Modelling and Design

Gothenburg, Sweden; 6 September, 2014

http://functional-art.org/2014/

The ACM SIGPLAN International Workshop on Functional Art, Music,
Modelling and Design (FARM) gathers together people who are harnessing
functional techniques in the pursuit of creativity and expression.

Functional Programming has emerged as a mainstream software
development paradigm, and its artistic and creative use is booming. A
growing number of software toolkits, frameworks and environments for
art, music and design now employ functional programming languages and
techniques. FARM is a forum for exploration and critical evaluation of
these developments, for example to consider potential benefits of
greater consistency, tersity, and closer mapping to a problem domain.

Registration
------------

You can register via the ICFP 2014 registration:

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

Don't be confused that it says "ICFP" - FARM is part of a larger event
around ICFP 2014, and you can register for FARM without registering
for ICFP.

Early registration deadline is 3 August.

Accepted papers
---------------

Functional Generation of Harmony and Melody.
José Pedro Magalhães, Department of Computer Science, University of
Oxford; Hendrik Vincent Koops, Department of Information and Computing
Sciences, Utrecht University.

Exploring melody space in a live context using declarative functional programming.
Thomas Kristensen, uSwitch Ltd.

Making programming languages to dance to: Live Coding with Tidal.
Alex McLean,

Temporal semantics for a live coding language.
Sam Aaron, Computer Laboratory, University of Cambridge; Dominic
Orchard, Computer Laboratory, University of Cambridge; Alan Blackwell,
Computer Laboratory, University of Cambridge.

Tiled Polymorphic Temporal Media.
Paul Hudak, Yale University; David Janin, LaBRI, Université de Bordeaux.

LiveCodeLab 2.0 and its language LiveCodeLang.
Davide Della Casa, LiveCodeLab; Guy John, LiveCodeLab.


Accepted demonstrations
-----------------------

littleBits Synth Kit as a livecoded, functional, monadic,
physically-embodied, domain specific programming language.
James Noble, Victoria University of Wellington; Timothy Jones,
Victoria University of Wellington.

Scripthica: a web environment for collective algorithmic composition.
Gabriel Sanchez, New York University.

Music Suite: A Family of Musical Representations.
Hans Höglund.

Patterning: Repetitive and recursive pattern generation using Clojure and Quil.
Phil Jones, Alchemy Islands.

Using Haskell as DSL for controlling immersive media experiences.
Henrik Bäärnhielm, Integral Systems Engineering; Mikael
Vejdemo-Johansson, KTH Royal Institute of Technology; Daniel
Sundström, Integral Systems Engineering.

Sound and Soundness – Practical Total Functional Data-Flow Programming.
Baltasar Trancón Y Widemann, TU Ilmenau; Markus Lepper, semantics GmbH.

Live Performances
-----------------

On the evening of September 6 (after the workshop) we will have an
evening of live performances at 3:e Våningen (3rd floor)
(http://www.3vaningen.se/), in collaboration with with Anders Carlsson
aka goto80 and Palle Dahlstedt, starting at 8PM.

The evening will feature:

- Sam Aaron with Dominic Orchard with Sonic Pi
- LiveCodeLab
- James Noble with Classic computer science algorithms assembled into algorave

Details to be announced soon.

Workshop Organisation
---------------------

Workshop Chair: Alex McLean, School of Music, University of Leeds
Program Chair: Henrik Nilsson, University of Nottingham
Publicity Chair: Michael Sperber, Active Group GmbH

Program Committee
-----------------

- Sam Aaron, Cambridge University
- David Duke, University of Leeds
- Kathleen Fisher, Tufts University
- Julie Greensmith, University of Nottingham
- Bas de Haas, Universiteit Utrecht
- Paul Hudak, Yale University
- David Janin, Université de Bordeaux
- Richard Lewis, Goldsmiths, University of London
- Louis Mandel, Collège de France
- Carin Meier, Neo Innovation Inc
- Rob Myers, Furtherfield
- Dan Piponi, Google Inc
- Andrew Sorensen, Queensland University of Technology



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

[Caml-list] ICFP 2014 Call for Participation

[ Please note that much of the block reservation of hotel rooms
currently being held for ICFP participants will be released next
week. The beginning of September is a very busy conference week in
Göteborg, so there is high pressure on hotel rooms in that period.
If you plan to attend ICFP 2014, it would be best to make your hotel
reservations now before the block reservation expires. ]

=====================================================================

Call for Participation

ICFP 2014
19th ACM SIGPLAN International Conference on Functional Programming
and affiliated events

August 31 - September 6, 2013
Gothenburg, Sweden
http://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

* Accepted Papers:
http://www.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

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
ACM SIGPLAN Workshop on Haskell and Rewriting Techniques

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
IntelliFactory
Opera Software
QuviQ

=====================================================================

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

[Caml-list] ICTAI 2014: Final Call for Papers (extended submission deadline)

*** FINAL CALL FOR PAPERS *** 26th IEEE International Conference on Tools with Artificial Intelligence ICTAI 2014 November 10-12, 2014, Limassol, Cyprus http://ictai2014.cs.ucy.ac.cy *** Extended Submission Deadline: 14th July 2014 *** Aim & Scope The annual IEEE International Conference on Tools with Artificial Intelligence (ICTAI) provides a major international forum where the creation and exchange of ideas related to artificial intelligence are fostered among academia, industry, and government agencies. The conference facilitates the cross-fertilization of these ideas and promotes their transfer into practical tools, for developing intelligent systems and pursuing artificial intelligence applications. The ICTAI encompasses all technical aspects of specifying, developing and evaluating the theoretical underpinnings and applied mechanisms of the AI-based components of computer tools such as algorithms, architectures and languages. Topics (not limited to) AI Foundations - Evolutionary computing, Bayesian and Neural Networks - Decision/Utility Theory and Decision Optimization - Search, SAT, and CSP - Description Logic and Ontologies AI in Domain Specific Applications - AI in Natural Language Processing and Understanding - AI in Computational Biology, Medicine and Biomedical Applications - AI in WWW, Communication, Social Networking, Recommender Systems, Games and E-Commerce - AI in Finance and Risk Management AI in Computer Systems - AI in Robotics, Computer Vision and Games - AI in Software Engineering, Real-Time and Embedded Applications, and Sensor Networks - AI in Cloud Computing, Data-Intensive Applications and Online/Streaming and Multimedia Systems - AI in Web search and Information Retrieval - AI in Computer Security, Data Privacy, and Information Assurance AI in Data Analytics and Big Data - Visualization Analytics for Big Data - Computational Modeling for Big Data - Large-scale Recommendation and Social Media Systems - Cloud/Grid/Stream Data Mining for Big Velocity Data - Semantic-based Big Data Mining Machine Learning and Data Mining - Data pre-processing, reduction and feature selection - Learning Graphical Models and Complex Networks - Active, Cost-Sensitive, Semi-Supervised, Multi-Instance, Multi-Label and Multi-Task Learning - Transfer/Adaptive, Rational and Structured Learning - Preference/Ranking, Ensemble, and Reinforcement Learning Knowledge Representation, Reasoning and Cognitive Modelling - Knowledge Representation, Reasoning - Knowledge Extraction, Management and Sharing - Case-Based Reasoning and Knowledge-based Systems - Cognitive Modelling and Semantic Web AI and Decision Systems - Decision Guidance and Support Systems - Optimization-based recommender systems - Group, distributed, and collaborative decisions - Crowd-sourcing and collective intelligence decision making - Strategic, tactical and operational level decisions - Decision making in social and mobile networks Uncertainty in AI - Uncertainty and Fuzziness Representation and Reasoning - Approximate/Exact Probabilistic Inference - Knowledge Discovery and Data Mining for Uncertain Data AI Tools for Manufacturing Innovation - AI in manufacturing performance evaluation - AI in manufacturing decision and data analysis - AI in modeling, simulation and optimization of manufacturing systems - AI in additive manufacturing - AI in manufacturing control and planning Paper Submission The submissions should contain original, high quality, not submitted or published elsewhere work. Papers should be submitted electronically through the EasyChair system in pdf format and should conform to IEEE specifications (single-spaced, double-column, 10-point font size, up to 8 pages). Paper Presentation Each accepted paper should be presented by one of the authors and accompanied by at least one full registration fee payment, to guarantee publication in the proceedings. All accepted papers will be included in proceedings of ICTAI 2014 that will be published by the IEEE Computer Society. IJAIT special issue Extended versions of the best papers of the conference will be invited for publication in a special issue of the International Journal on Artificial Intelligence Tools (IJAIT) (SCI Indexed). Important Dates Paper submission: July 14, 2014 (extended) Paper notification: August 21, 2014 Camera-ready paper: August 30, 2014 Point of Contact George A. Papadopoulos Department of Computer Science University of Cyprus george-at-cs-dot-ucy-dot-ac-dot-cy

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

[Caml-list] IJCAR Call for Participation

** CALL FOR PARTICIPATION **

== Early registration deadline June 8 ==
== Student travel awards applications due by June 8 ==

IJCAR 2014 - The 7th International Joint Conference on Automated Reasoning
Vienna, Austria, July 19-22, 2014
http://cs.nyu.edu/ijcar2014/

as part of FLoC 2014 - Federated Logic Conference
http://www.floc-conference.org/

as part of VSL 2014 - Vienna Summer of Logic
http://vsl2014.at/

Call for Participation
----------------------

IJCAR is the premier international joint conference on all topics
in automated reasoning. The IJCAR technical program will consist
of presentations of high-quality original research papers, system
descriptions, and invited talks.

IJCAR 2014 is a merger of leading events in automated reasoning:

CADE (Conference on Automated Deduction),
FroCoS (Workshop on Frontiers of Combining Systems) and
TABLEAUX (Conference on Analytic Tableaux and Related Methods)

=== REGISTRATION AND TRAVEL AWARDS ===

Early registration closes *June 8*, register at
http://vsl2014.at/registration/

Accommodation information for Vienna available there as well.

Travel awards are available to enable selected students to
attend the conference. Act quickly, the deadline to apply is
June 8. Details at http://vsl2014.at/floc14-travel-support/

=== PROGRAM ===

The program for the conference is now available at
http://cs.nyu.edu/ijcar2014/

=== INVITED SPEAKERS ===

* Ken McMillan (Microsoft Research)
* Rajeev Goré (Australian National University)

Other speakers during the second week of the Vienna Summer for
Logic, but affiliated with other events, include (in alphabetical
order) Franz Baader, Edmund Clarke, Veronique Cortier, Orna
Kupferman, Christos Papadimitriou, and Alex Wilkie.

=== AFFILIATED WORKSHOPS ===

76 workshops have been accepted to FLoC 2014, and a number
are affiliated to IJCAR.

The full list of workshops is available at http://vsl2014.at/floc-ws/


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

[Caml-list] UNIF 2014: Call for Participation

====================================================
Call for Participation
UNIF 2014
The 28th International Workshop on Unification
July 13, 2014. Vienna, Austria
a FLoC workshop hosted by RTA-TLCA and IJCAR
http://vsl2014.at/unif
====================================================

Invited Speakers
----------------
* Jordi Levy, IIIA, CSIC, Barcelona, Spain

* Jose Meseguer, University of Illinois at Urbana-Champaign, USA:
Extensible Symbolic System Analysis

Program
-------

http://vsl2014.at/meetings/UNIF-program.html

Registration
------------

http://vsl2014.at/registration

(Don't forget the early registration deadline: June 8)

We look forward to seeing you in Vienna!

The UNIF 2014 organizers:
Temur Kutsia
Christophe Ringeissen


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