Peter Achten | 19 Dec 17:49 2014
Picon

[TFP 2015] 1st call for papers

                         -----------------------------
                         C A L L   F O R   P A P E R S
                         -----------------------------

                         ======== TFP 2015 ===========

               16th Symposium on Trends in Functional Programming
                                June 3-5, 2015
                        Inria Sophia Antipolis, France
                           http://tfp2015.inria.fr/

The symposium on Trends in Functional Programming (TFP) is an
international forum for researchers with interests in all aspects of
functional programming, taking a broad view of current and future
trends in the area. It aspires to be a lively environment for
presenting the latest research results, and other contributions (see
below). Authors of draft papers will be invited to submit revised
papers based on the feedback receive at the symposium.  A
post-symposium refereeing process will then select a subset of these
articles for formal publication.

The selected revised papers are expected to be published as a Springer
Lecture Notes in Computer Science (LNCS) volume.

TFP 2015 will be the main event of a pair of functional programming
events. TFP 2015 will be accompanied by the International Workshop on
Trends in Functional Programming in Education (TFPIE), which will take
place on June 2nd.

The TFP symposium is the heir of the successful series of Scottish
(Continue reading)

Johan Jeuring | 18 Dec 08:32 2014
Picon

CFP: TFPIE 2015

      Trends in Functional Programming in Education (TFPIE 2015)
                          Call for papers
             https://wiki.science.ru.nl/tfpie/TFPIE2015

The 4th International Workshop on Trends in Functional Programming in Education,
TFPIE 2015, will be held on June 2, 2015 in Sophia-Antipolis in France. It is
co-located with the Symposium on Trends in Functional Programming (TFP 2015)
which takes place from June 3 - 5.

*** Goal ***

The goal of TFPIE is to gather researchers, teachers and professionals that use,
or are interested in the use of, functional programming in education. TFPIE aims
to be a venue where novel ideas, classroom-tested ideas and work-in-progress on
the use of functional programming in education are discussed. The one-day
workshop will foster a spirit of open discussion by having a review process for
publication after the workshop. The program chair of TFPIE 2015 will screen
submissions to ensure that all presentations are within scope and are of
interest to participants. Potential presenters are invited to submit an extended
abstract (4-6 pages) or a draft paper (up to 16 pages) in EPTCS style. The
authors of accepted presentations will have their preprints and their slides
made available on the workshop's website/wiki. Visitors to the TFPIE 2015
website/wiki will be able to add comments. This includes presenters who may
respond to comments and questions as well as provide pointers to improvements
and follow-up work. After the workshop, presenters will be invited to submit (a
revised version of) their article for review. The PC will select the best
articles for publication in the journal Electronic Proceedings in Theoretical
Computer Science (EPTCS). Articles rejected for presentation and extended
abstracts will not be formally reviewed by the PC. TFPIE workshops have
previously been held in St Andrews, Scotland (2012), Provo Utah, USA (2013), and
(Continue reading)

Tom Schrijvers | 17 Dec 18:52 2014
Picon

Postdoctoral Position in Functional Programming

I have a position available for a postdoctoral researcher to join my team at KU Leuven. The position involves working on domain-specific languages (DSLs) embedded in Haskell and building on our earlier work of Monadic Constraint Programming. 


There is plenty of room for personal input and international collaboration, as well as developing your own research ideas.


The position is for 3 years. The salary is competitive and the starting date negotiable. 


To apply you must hold a recent PhD (or be about to graduate) related to functional programming. 


The application deadline is January 5, 2015. Send your application (cover letter, cv, 3 references) and any enquiries to tom.schrijvers <at> cs.kuleuven.be.


--
prof. dr. ir. Tom Schrijvers

Research Professor
KU Leuven
Department of Computer Science

Celestijnenlaan 200A
3001 Leuven
Belgium
Phone: +32 16 327 830
_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://www.haskell.org/mailman/listinfo/haskell
Jeremy Gibbons | 16 Dec 12:10 2014
Picon
Picon

Nominations for John C Reynolds Distinguished Dissertation Award

(On behalf of Sue Eisenbach, to whom queries should be addressed. Nomination deadline is 4th Jan. My apologies for the short notice. -jg)

   *

Dear all,

If you have a student who has completed an outstanding programming language PhD thesis in the academic year 2014, can I recommend that the student be proposed for consideration for SIGPLAN’s best PhD award, the John C Reynolds Doctoral Dissertation Award?


As a chair of a hiring committee, I know that winning such prizes, and even being nominated for such prizes, makes the potential candidate stand out. 

Best wishes,
Susan
--
Professor Susan Eisenbach         
Head, Department of Computing
Imperial College London
Huxley Building
South Kensington Campus
London SW7 2AZ, U.K.

Phone:+44-20 7594 8264
Fax:  +44-20 7594 8282
Web:  http://www.doc.ic.ac.uk/~susan
Email: mailto:s.eisenbach <at> imperial.ac.uk
_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://www.haskell.org/mailman/listinfo/haskell
John Hughes | 11 Dec 17:00 2014
Picon
Picon

Lambda Days--Call for abstracts

Lambda Days is a 2-day developer conference to be held in Krakow next year, Feb 26-27,
devoted to all things functional. Abstract submission is open until the 5th of January.
 
 
Last year’s program is available here:
 
 
Looking forward to some exciting Haskell submissions!
 
John Hughes
_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://www.haskell.org/mailman/listinfo/haskell
Klaus Havelund | 11 Dec 08:06 2014
Picon

LCTES 2015: First CFP

First Call for Papers

############################################################

LCTES 2015
ACM SIGPLAN/SIGBED Conference on
Languages, Compilers, Tools and Theory for Embedded Systems

############################################################

LCTES provides a link between the programming languages and embedded
systems engineering communities. Researchers and developers in these
areas are addressing many similar problems, but with different
backgrounds and approaches. LCTES is intended to expose researchers
and developers from either area to relevant work and interesting
problems in the other area and provide a forum where they can
interact.

## Important Dates

Submission deadline: Feb. 15
Notifications by: Apr. 1
Camera-ready deadline: Apr. 11

LCTES 2015 will be held on June 18 and 19 as part of the FCRC 2015
(Federated Computing Research Conference 2015) in Portland, Oregon,
USA. This will be the sixteenth conference in the LCTES series.

Embedded system design faces many challenges both with respect to
functional requirements and nonfunctional requirements, many of which
are conflicting. They are found in areas such as design and developer
productivity, verification, validation, maintainability, and meeting
performance goals and resource constraints. Novel design-time and
run-time approaches are needed to meet the demand of emerging
applications and to exploit new hardware paradigms, and in particular
to scale up to multicores (including GPUs and FPGAs) and distributed
systems built from multicores.

LCTES 2015 solicits papers presenting original work on programming
languages, compilers, tools, theory, and architectures that help in
overcoming these challenges. Research papers on innovative techniques
are welcome, as well as experience papers on insights obtained by
experimenting with real-world systems and applications.

Papers are solicited on, but not limited to, the following topics in
embedded systems:

- Programming language challenges, including:
- Domain-specific languages
- Features to exploit multicore, reconfigurable, and other emerging architectures
- Features for distributed, adaptive, and real-time control embedded systems
- Language capabilities for specification, composition, and construction of embedded systems
- Language features and techniques to enhance reliability, verifiability, and security
- Virtual machines, concurrency, inter-processor synchronization, and memory management
- Compiler challenges, including:
- Interaction between embedded architectures, operating systems, and compiler
- Interpreters, binary translation, just-in-time compilation, and split compilation
- Support for enhanced programmer productivity
- Support for enhanced debugging, profiling, and exception/interrupt handling
- Optimization for low power/energy, code and data size, and best-effort and real-time performance
- Parameterized and structural compiler design space exploration and auto-tuning
- Tools for analysis, specification, design, and implementation, including:
- Hardware, system software, application software, and their interfaces
- Distributed real-time control, media players, and reconfigurable architectures
- System integration and testing
- Performance estimation, monitoring, and tuning
- Run-time system support for embedded systems
- Design space exploration tools
- Support for system security and system-level reliability
- Approaches for cross-layer system optimization
- Theory and foundations of embedded systems, including:
- Predictability of resource behaviour: energy, space, time
- Validation and verification, in particular of concurrent and distributed systems
- Formal foundations of model-based design as basis for code generation, analysis, and verification
- Mathematical foundations for embedded systems
- Models of computations for embedded applications
- Novel embedded architectures, including:
- Design and implementation of novel architectures
- Workload analysis and performance evaluation
- Architecture support for new language features, virtualization, compiler techniques, debugging tools
- Empirical studies and their reproduction, and confirmation

## Note to Authors

A few of the best submissions to LCTES 2015 are planned to be invited
for submission, with some revisions, to a special issue of the ACM
Transactions on Embedded Computing Systems (TECS).

The official publication date is the date the proceedings are made
available in the ACM Digital Library. This date may be up to two weeks
prior to the first day of your conference.


## Organization 

General Chair

Sam H. Noh, Hongik University, Republic of Korea 

Program Chairs

Sebastian Fischmesiter, University of Waterloo, Canada
Jason Xue, City University of Hong Kong, China

LCTES Steering Committee

Bruce Childers, University of Pittsburgh, USA
Jan Vitek, Northeastern University, USA
Bjorn De Sutter, University of Edinbugh, Great Britain
Jaejin Lee, Seoul National University, Republic of Korea
Heiko Falk, Ulm University, Germany
Wang Yi, Uppsala University, Sweden
Jingling Xue, University of New South Wales, Australia
Youtao Zhang, University of Pittsbugh, USA
Prasad Kulkarni, University of Kansas, USA

Program Committee

Luis Almeida, University of Porto, Portugal
Ian Bate, University of York, Great Britain
Philip Brisk, University of California, Los Angeles, USA
Marco Caccamo, University of Illinois, Urbana-Champaign, USA
Peter Desnoyers, Northeastern University, USA
Petru Eles, Linköpings Universitet, Sweden
Georgios Fainekos, Arizona State University, USA
Guto Froehlich, Universidade Federal de Santa Catarina Forianopolis, Brazil
Giovani Gracioli, Universidade Federal de Santa Catarina Joinville, Brazil
Radu Grosu, Technical University Vienna, Austria
Nan Guan, Northeastern University, China
Apala Guha, IIT Dehli, India
Gernot Heiser, University of New South Wales, Australia
Michael Jantz, University of Tennessee, Knoxville, USA
Zhiping Jia, ShangDong University, China
Jinsoo Kim, Sungkyunkwan University, Republic of Korea
Raimund Kirner, University of Hertfordshire, Great Britain
Kai Lampka, Uppsala University, Sweden
Terrence Mak, Chinese University of Hong Kong, China
Rahul Mangharam, University of Pennsylvania, USA
Florence Maraninchi, VERIMAG, France
Sang Lyul MIN, Seoul National University, Republic of Korea
Sayan Mitra, University of Illinois, Urbana-Champaign, USA
Tulika Mitra, Singapore National University, Singapore
Thomas Nolte, Mälardalen University, Sweden
Lin Phan, University of Pennsylvania, USA
Dumitru Potop-Butucaru, INRIA Rocquencourt, France
Zili Shao, Hong Kong Polytechnic University, China
Liang Shi, Chong Qing Uniersity, China
Aviral Shrivastava, Arizona State University, USA
Wilfried Steiner, TTTech, Austria
Michael Swift, University of Wisconsin, Madison, USA
Gera Weiss, Ben Gurion University, Israel
Jingling Xue, University of New South Wales, Australia
Chengmo Yang, University of Delaware, USA
Wang Yi, Uppsala University, Sweden
Yuan-Hao Zhang, Academia Sinica, Taiwan
_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://www.haskell.org/mailman/listinfo/haskell
Jun PANG | 4 Dec 15:45 2014
Picon

TASE 2015 -- Preliminary Call for Papers

                   TASE 2015 - Preliminary 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)
Shengchao Qin     (Teesside University, UK)
Jifeng He         (East China Normal University, China)
Huibiao Zhu       (East China Normal University, China)
Michael Hinchey   (Lero, Ireland)

-----------------
PROGRAM COMITTIEE
-----------------
TBA

----------------
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)
Neil Ghani | 4 Dec 13:07 2014
Picon
Picon

2 PostDocs in HoTT

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

Homotopy Type Theory: Programming and  Verification
2 PostDocs, each 4 Years
Universities of Strathclyde and Nottingham

Applications are invited for two postdocs and one PhD student to work on
the recently funded EPSRC grant "Homotopy Type Theory: Programming and
Verification" obtained by Professor Neil Ghani and Dr Conor McBride
(University of Strathclyde), Dr Thorsten Altenkirch (University of
Nottingham) and Dr Nicola Gambino (University of Leeds). One postdoc and
will work on more theoretical aspects of the project in
Nottingham, while the other postdoc will work on implementation issues in
Strathclyde. Nevertheless, the reality is that we will be working as a
team with frequent visits expected between ourselves and our collaborators.

Homotopy Type Theory (HoTT) is a revolutionary new approach to type
theory where types are interpreted as spaces, terms as points and
equalities as paths. Decades of research in homotopy theory has uncovered
the structure of such paths and HoTT uses this structure as the basis of
a new theory of equality. Excitingly, within homotopy theory, one
naturally studies higher homotopies of paths between paths and this gives
the higher dimensional structure of equality we previously lacked. The
objective of this grant is to translate the advances of HoTT into more
concrete programming language and verification tools.

For more details, please email

Neil Ghani (ng <at> cis.strath.ac.uk<mailto:ng <at> cis.strath.ac.uk>)
Conor McBride (conor.mcbride <at> strath.ac.uk<mailto:conor.mcbride <at> strath.ac.uk>)
Thorsten Altenkirch (Thorsten.Altenkirch <at> nottingham.ac.uk<mailto:Thorsten.Altenkirch <at> nottingham.ac.uk>)
Nicola Gambino (n.gambino <at> leeds.ac.uk<mailto:n.gambino <at> leeds.ac.uk>)
Graham Hutton | 2 Dec 10:20 2014
Picon
Picon

10 PhD studentships in Nottingham

Dear all,

The School of Computer Science in Nottingham is advertising 10
fully-funded PhD studentships.  Applicants in the area of the
Functional Programming lab (fp.cs.nott.ac.uk) are encouraged!
If you are interested in applying, please contact a potential
supervisor in the FP lab prior to submitting your application:

  Thorsten Altenkirch - constructive logic, proof assistants,
  homotopy type theory, category theory, lambda calculus.

  Venanzio Capretta - type theory, mathematical logic, corecursive
  structures, proof assistants, dependently-typed programming.

  Graham Hutton - not taking on any new students this year.

  Henrik Nilsson - functional reactive programming, modelling and
  simulation, domain-specific languages, probabilistic languages.

Best wishes,

Graham

+-----------------------------------------------------------+

             10 Fully-Funded PhD Studentships

                 School of Computer Science
                University of Nottingham, UK

                http://tinyurl.com/ten-phds

Applications are invited for up to ten fully-funded PhD
studentships in the School of Computer Science at the
University of Nottingham, starting on 1st October 2015.

The topics for the studentships are open, but should relate
to the interests of one of the School’s research groups:
Agents Lab; Automated Scheduling, Optimisation and Planning;
Computer Vision Lab; Functional Programming Lab; Intelligent
Modelling and Analysis; Mixed Reality Lab; Networked Systems.

The studentships are for three years and include a stipend
of £13,863 per year and tuition fees, and are available to
students of any nationality.  Applicants are normally
expected to have a first-class Masters or Bachelors degree
in Computer Science or a related discipline, and must obtain
the support of a potential supervisor in the School prior
to submitting their application.  Initial contact with
supervisors should be made at least two weeks prior to
the closing date for applications.  Informal enquiries may
be addressed to <Christine.Fletcher <at> nottingham.ac.uk>.

To apply, please submit the following items by email to
the above address: (1) a brief covering letter that describes
your reasons for wishing to pursue a PhD, your proposed
research area and topic, and the name of a potential
supervisor; (2) a copy of your CV, including your actual
or expected degree class(es), and results of all University
examinations; (3) an example of your technical writing,
such as a project report or dissertation; (4) contact
details for two academic referees.

Closing date for applications: 14th January 2015

+-----------------------------------------------------------+

This message and any attachment are intended solely for the addressee and may contain confidential
information. If you have received this message in error, please send it back to me, and immediately delete
it.   Please do not use, copy or disclose the information contained in this message or in any attachment.  Any
views or opinions expressed by the author of this email do not necessarily reflect the views of the
University of Nottingham.

This message has been checked for viruses but the contents of an attachment may still contain software
viruses which could damage your computer system, you are advised to perform your own checks. Email
communications with the University of Nottingham may be monitored as permitted by UK legislation.
Gabriele Keller | 2 Dec 04:39 2014
Picon
Picon

Submission deadline coming up 22/12/2014: JFP special issue on Parallel and Concurrent Programming

If you are working on parallel or concurrent functional programming, please consider submitting an
article about your work to the Special Issue of the Journal of Functional Programming on this topic. 

This is a reminder that the deadline is on the 22nd of December:

http://journals.cambridge.org/action/displaySpecialPage?pageId=6120

Kind regards,
Gabriele Keller
Francesco Calimeri | 2 Dec 00:39 2014
Picon

CfP LPNMR 2015 Announcement: selected papers to appear in AI Journal and TPLP

[apologies for any cross-posting]

                               Call for Papers
---------------------------------------------------------------------------

                       13th International Conference on
                Logic Programming and Non-monotonic Reasoning
                                 LPNMR 2015

                       http://lpnmr2015.mat.unical.it/

                              Lexington, KY, USA
                            September 27-30, 2015

   (Collocated with the 4th Conference on Algorithmic Decision Theory 2015)
---------------------------------------------------------------------------

AIMS AND SCOPE

 LPNMR 2015 is the thirteenth in the series of international meetings on
 logic programming and non-monotonic reasoning. LPNMR is a forum for
 exchanging ideas on declarative logic programming, non-monotonic reasoning,
 and  knowledge representation. The aim of the conference is to facilitate
 interactions between researchers and practitioners interested in the
 design and implementation of logic-based programming languages and
 database systems, and those working in knowledge representation and
 nonmonotonic reasoning. LPNMR strives to encompass theoretical and
 experimental studies that have led or will lead to the construction of
 systems for declarative programming and knowledge representation, as well
 as their use in practical applications. This edition of LPNMR will feature
 several workshops, a special session dedicated to the 6th ASP Systems
 Competition, and will be collocated with the 4th Algorithmic Decision
 Theory Conference, ADT 2015. Joint LPNMR-ADT Doctoral Consortium will be
 a part of the program.

 Authors are invited to submit papers presenting original and unpublished
 research on all aspects of non-monotonic approaches in logic programming
 and knowledge representation. We invite submissions of both long and
 short papers.

TOPICS

 Conference topics include, but are not limited to:

 1. Foundations of LPNMR Systems:
   * Semantics of new and existing languages;
   * Action languages, causality;
   * Relationships among formalisms;
   * Complexity and expressive power;
   * Inference algorithms and heuristics for LPNMR systems;
   * Extensions of traditional LPNMR languages such as new logical
     connectives or new inference capabilities;
   * Updates, revision, and other operations on LPNMR systems;
   * Uncertainty in LPNMR systems.

 2. Implementation of LPNMR systems:
   * System descriptions, comparisons, evaluations;
   * Algorithms and novel techniques for efficient evaluation;
   * LPNMR benchmarks.

 3. Applications of LPNMR:
   * Use of LPNMR in formalization of Commonsense Reasoning and other
     areas of KR;
   * LPNMR languages and algorithms in planning, diagnosis, argumentation,
     reasoning with preferences, decision making and policies;
   * Applications of LPNMR languages in data integration and exchange
     systems, software engineering and model checking;
   * Applications of LPNMR to linguistics, psychology, and other sciences
   * Integration of LPNMR systems with other computational paradigms;
   * Embedded LPNMR: Systems using LPNMR subsystems.

SUBMISSION

 LPNMR 2015 welcomes submissions of long papers (13 pages) or short papers
 (6 pages) in the following categories:

   * Technical papers
   * System descriptions
   * Application descriptions

 The indicated number of pages includes title page, references and
 figures. All submissions will be peer-reviewed and accepted papers will
 appear in the conference proceedings published in the Springer-Verlag
 Lecture Notes in Artificial Intelligence (LNAI/LNCS) series. At least one
 author of each accepted paper is expected to register for the conference
 to present the work. Submissions must be formatted according to the
 Springer LNCS author instructions,

             http://www.springer.com/comp/lncs/Authors.html

 must be written in English, and present original research. Paper
 submission will be electronic through the LPNMR-15 Easychair site:

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

 Two best papers of general AI interest will be invited for rapid
 publication in the journal Artificial Intelligence - Journal - Elsevier.
 Two best papers with narrower logic programming focus will be invited
 for a rapid publication in the journal Theory and Practice of Logic
 Programming.

MULTIPLE SUBMISSION POLICY

 LPNMR 2015 will not accept any paper which, at the time of submission, is
 under review or has already been published or accepted for publication in
 a journal or another conference. Authors are also required not to submit
 their papers elsewhere during LPNMR's review period. However, these
 restrictions do not apply to previous workshops with a limited audience
 and without archival proceedings.

ASSOCIATED EVENTS

  WORKSHOPS - LPNMR 2015 will include specialized workshops to be held
on September 27
  prior to the main conference. Currently planned workshops include:

  - Grounding, Transforming, and Modularizing Theories with Variables
    Organizers: Marc Denecker, Tomi Janhunen

  - Action Languages, Process Modeling, and Policy Reasoning
    Organizer: Joohyung Lee

  - Natural Language Processing and Automated Reasoning
    Organizers: Marcello Balduccini, Ekaterina Ovchinnikova, Peter Schueller

  - Learning and Nonmonotonic Reasoning
    Organizers: Alessandra Russo and Alessandra Mileo

  ASP COMPETITION - A special session dedicated to a discussion of the
  6th ASP System Competition, including the methodology of the competition,
  benchmarks used, lessons learned and, most importantly, the results and
  the announcement of the winners.

  ALGORITHMIC DECISION THEORY (ADT) 2015 (collocated - same time and place)
  Algorithmic Decision Theory is a vibrant and growing area of research
  concerned with algorithmic aspects of problems arising in social choice
  and economics that involve optimal ways to aggregate preferences. The
  area abounds in hard computational problems and may be an axciting area
  of applications for ASP. The two conferences will seek ways to identify
  and promote synergies between their respective areas of focus.

JOINT LPNMR-ADT DOCTORAL CONSORTIUM:

  Details to be announced

  co-Chairs:
  - Esra Erdem (LPNMR), Sabanci University, Turkey
  - Nick Mattei (ADT), NICTA, Australia

IMPORTANT DATES (TENTATIVE)

   * Paper registration: April 13, 2015
   * Paper submission:   April 20, 2015
   * Notification:       June 1, 2015
   * Final versions due: June 15, 2015

VENUE

Lexington is a medium size, pleasant and quiet university town. It
is located in the heart of the so-called Bluegrass Region in
Central Kentucky. The city is surrounded by beautiful horse farms
on green pastures dotted with ponds and traditional architecture
stables, and small race tracks, and bordered by white or black
fences. The Horse Museum is as beautifully located as it is
interesting. Overall, the city has a nice feel that mixes well old
and new. The conference will be held in the Hilton Lexington
Downtown hotel.

GENERAL CHAIR
 Victor Marek, University of Kentucky, KY, USA

PROGRAM CHAIRS

 Giovambattista Ianni, University of Calabria, Italy
 Mirek Truszczynski, University of Kentucky, KY, USA

WORKSHOPS CHAIR

 Yuliya Lierler, University of Nebrska at Omaha, NE, USA

PUBLICITY CHAIR

 Francesco Calimeri, University of Calabria, Italy

PROGRAM COMMITTEE

 Agostino Dovier, Università di Udine, Italy
 Agustín Valverde, Universidad de Màlaga, Spain
 Alessandra Mileo, National University of Ireland, Galway, INSIGHT
Centre for Data Analytics, Ireland
 Andrea Formisano, Dip. di Matematica e Informatica, Università di
Perugia, Italy
 Axel Polleres, Vienna University of Economics and Business, Austria
 Bart Bogaerts, Department of Computer Science, KU Leuven, Belgium
 Chiaki Sakama, Wakayama University, Japan
 Chitta Baral, Arizona State University, USA
 Christoph Redl, Vienna University of Technology, Austria
 Daniela Inclezan, Miami University, USA
 David Pearce, Universidad Politécnica de Madrid, Spain
 Emilia Oikarinen, Aalto University, Finland
 Enrico Pontelli, New Mexico State University, USA
 Esra Erdem, Sabanci University, Istanbul, Turkey
 Eugenia Ternovska, Simon Fraser University, Canada
 Fangkai Yang, Schlumberger Ltd
 Fangzhen Lin, Hong Kong University of Science and Technology, Hong Kong
 Francesco Calimeri, Università della Calabria, Italy
 Gerhard Brewka, Leipzig University, Germany
 Giovanni Grasso, Oxford University, UK
 Hannes Strass, Leipzig University, Germany
 Hans Tompits, Vienna University of Technology, Austria
 James Delgrande, Simon Fraser University, Canada
 Jia-Huai You, University of Alberta, Canada
 Joohyung Lee, Arizona State University, USA
 Jose Julio Alferes, Universidade Nova de Lisboa, Portugal
 Kewen Wang, Griffith University, Australia
 Marc Denecker, K.U.Leuven, Belgium
 Marcello Balduccini, Drexel University, USA
 Marina De Vos, University of Bath, UK
 Martin Gebser, University of Potsdam, Germany
 Matthias Knorr, CENTRIA, Universidade Nova de Lisboa, Portugal
 Mauricio Osorio, Fundacion de la Universidad de las Americas, Puebla, Mexico
 Michael Fink, Vienna University of Technology, Austria
 Michael Gelfond, Texas Tech University, USA
 Orkunt Sabuncu, University of Potsdam, Germany
 Paul Fodor, Stony Brook University, USA
 Pedro Cabalar, University of Corunna, Spain
 Saadat Anwar, Arizona State University, USA
 Stefan Woltran, Vienna University of Technology
 Stefania Costantini, Dipartimento di Ingegneria e Scienze
dell'Informazione, e Matematica, Univ. di L'Aquila, Italy
 Terrance Swift, CENTRIA, Universidade Nova de Lisboa, Portugal
 Thomas Eiter, Vienna University of Technology, Austria
 Tomi Janhunen, Aalto University, Finland
 Torsten Schaub, University of Potsdam, Germany
 Tran Cao Son, New Mexico State University, USA
 Vladimir Lifschitz, University of Texas at Austin, USA
 Wolfgang Faber, University of Huddersfield, UK
 Yi Zhou, University of Western Sydney, Australia
 Yisong Wang, Guizhou University, China
 Yuliya Lierler, University of Nebraska at Omaha, USA

CONTACT

 lpnmr2015 <at> mat.unical.it
_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://www.haskell.org/mailman/listinfo/haskell

Gmane