[TYPES/announce] Trends in Functional Programming 2013: 3rd Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS 14th International Symposium Trends in Functional Programming 2013 Brigham Young University, Utah, U.S.A. May 14-16, 2013 http://faculty.cs.byu.edu/~jay/conferences/2013-tfp/ 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), described in draft papers submitted prior to the symposium. A formal post-symposium refereeing process then selects a subset of the articles presented at the symposium and submitted for formal publication. Selected papers will be published as a Springer Lecture Notes in Computer Science (LNCS: http://www.springer.com/lncs) volume. TFP 2013 will be the main event of a pair of functional programming events at Brigham Young University. First will be the International Workshop on Trends in Functional Programming in Education and then TFP. The TFP symposium is the heir of the successful series of Scottish Functional Programming Workshops. Previous TFP symposia were held in Edinburgh (Scotland) in 2003, in Munich (Germany) in 2004, in Tallinn (Estonia) in 2005, in Nottingham (UK) in 2006, in New York (USA) in 2007, in Nijmegen (The Netherlands) in 2008, in Komarno (Slovakia) in 2009, in Oklahoma (USA) in 2010, in Madrid (Spain) in 2011, and in St. Andrews (UK) in 2012. For further general information about TFP please see the TFP homepage at http://www.tifp.org/. SCOPE OF THE SYMPOSIUM The symposium recognises that new trends may arise through various routes. As part of the symposium's focus on trends we therefore identify the following five article categories. High-quality articles are solicited in any of these categories: Research Articles:leading-edge, previously unpublished research work Position Articles:on what new trends should or should not be Project Articles: descriptions of recently started new projects Evaluation Articles: what lessons can be drawn from a finished project Overview Articles:summarising work with respect to a trendy subject Articles must be original and not submitted for simultaneous publication to any other forum. They may consider any aspect of functional programming: theoretical, implementation-oriented, or more experience oriented. Applications of functional programming techniques to other languages are also within the scope of the symposium. Articles on the following subject areas are particularly welcome: . Functional programming and multicore/manycore computing . Functional programming in the cloud . Functional programming in education . High performance functional computing . Extra-functional (behavioural) properties of functional programs . Dependently typed functional programming . Validation and verification of functional programs . Using functional techniques to verify/reason about imperative/object-oriented programs . Debugging for functional languages . Functional programming in different application areas: security, mobility, telecommunications applications, embedded systems, global computing, grids, etc. . Interoperability with imperative programming languages . Novel memory management techniques . Program transformation techniques . Empirical performance studies . Abstract/virtual machines and compilers for functional languages . New implementation strategies . Any new emerging trend in the functional programming area If you are in doubt on whether your article is within the scope of TFP, please contact the TFP 2013 program chair, Jay McCarthy, at tfp2013 at easychair.org BEST STUDENT PAPER AWARD TFP traditionally pays special attention to research students, acknowledging that students are almost by definition part of new subject trends. A student paper is one for which the authors state that the paper is mainly the work of students, the students are listed as first authors, and a student would present the paper. A prize for the best student paper is awarded each year. SUBMISSION AND DRAFT PROCEEDINGS Acceptance of papers for presentation at the symposium is based on a lightweight screening process of extended abstracts (2 to 10 pages in length) or full papers (max 16 pages). Accepted abstracts are to be completed to full papers before the symposium for publication in the draft proceedings. Latex style files are available from Springer's web page (llncs2e.zip), and are linked below. The submission must clearly
[TYPES/announce] Workshop on Natural Language and Computer Science (NLCS '13)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Workshop on Natural Language and Computer Science (NLCS '13) http://www.indiana.edu/~iulg/nlcs.html A workshop to be held at LiCS'13: June 28, 2013 New Orleans, Louisiana Endorsed by the Association for Computational Linguistics Special Interest Group on Computational Semantics. AIMS AND SCOPE Formal tools coming from logic and category theory are important in both natural language semantics and in computational semantics. Moreover, work on these tools borrows heavily from all areas of theoretical computer science. In the other direction, applications having to do with natural language has inspired developments on the formal side. The workshop invites papers on both topics. Specific topics include, but are not limited to: * logic for semantics of lexical items, sentences, discourse and dialog * continuations in natural language semantics * formal tools in textual inference, such as logics for natural language inference * applications of category theory in semantics * linear logic in semantics * formal approaches to unifying data-driven and declarative approaches to semantics IMPORTANT DATES Paper submission: May 1, 2013 Notification: May 15, 2013 Workshop Date: 28 June 2013 Possible Extension to: 29 June 2013 LICS'13 Dates: 25-28 June 2013 INVITED SPEAKERS Ian Pratt-Hartmann, University of Manchester, UK. Wlodek Zadrozny, UNC, Charlotte, North Carolina. LENGTH OF THE WORKSHOP We plan for a one-day workshop, but with sufficient interest we have the option to extend the workshop to a second day. SUBMISSIONS Please submit extended abstracts of up to 15 pages using EasyChair: https://www.easychair.org/conferences/?conf=nlcs13 ORGANIZERS Valeria de Paiva, Nuance Communications Larry Moss, Indiana University PROGRAM COMMITTEE Valeria de Paiva, Nuance Bill MacCartney, Google and Stanford University Larry Moss, Indiana University Annie Zaenen, Stanford University -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/
[TYPES/announce] CONCUR 2013 - Last Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [We apologise for multiple copies.] CONCUR 2013 - Last Call for Papers 24th International Conference on Concurrency Theory August 27 - 30, 2013, Buenos Aires Argentina http://concur-conferences.org/concur2013 The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications. INVITED SPEAKERS - Lorenzo Alvisi (University of Texas Austin, USA) - Joost-Pieter Katoen (RWTH Aachen University, Germany) - Philippe Schnoebelen (LSV, CNRS ENS de Cachan, France) - Reinhard Wilhelm (Saarland University, Germany) TOPICS Submissions are solicited in semantics, logics, verification and analysis of concurrent systems. The principal topics include (but are not limited to): - Basic models of concurrency such as abstract machines, domain theoretic models, game theoretic models, process algebras, graph transformation systems and Petri nets; - Logics for concurrency such as modal logics, probabilistic and stochastic logics, temporal logics, and resource logics; - Models of specialized systems such as biology-inspired systems, circuits, hybrid systems, mobile and collaborative systems, multi-core processors, probabilistic systems, real-time systems, service-oriented computing, and synchronous systems; - Verification and analysis techniques for concurrent systems such as abstract interpretation, atomicity checking, model checking, race detection, pre-order and equivalence checking, run-time verification, state-space exploration, static analysis, synthesis, testing, theorem proving, and type systems; - Related programming models such as distributed, component-based, object-oriented, and web services. CO-LOCATED EVENTS 10th Intl. Conference on Quantitative Evaluation of SysTems (QEST 2013) 11th Intl. Conf. on Formal Modeling and Analysis of Timed Systems (FORMATS 2013) 8th Intl. Symposium on Trustworthy Global Computing (TGC 2013) There will be co-located workshops, which take place on August 26 and August 31, and tutorials (associated with QEST) which take place on August 26. PAPER SUBMISSION CONCUR 2013 solicits high quality papers reporting research results and/or experience reports related to the topics mentioned above. All papers must be original, unpublished, and not submitted for publication elsewhere. Exceptionally, however, concurrent submissions to CONCUR 2013 and TGC 2013 are allowed, and in fact encouraged for those paper that may potentially enhance both conferences. Authors of such double submissions should identify them to the Program Chairs at the time of submission (by choosing the Regular paper submitted also to TGC category in the EasyChair site). Reviews may be shared between CONCUR 2013 and TGC 2013. Submissions accepted by CONCUR will be considered automatically withdrawn from TGC. Each paper will undergo a thorough review process. If necessary, the paper may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee. Contributions must be submitted as PDF files. They should also not exceed 15 pages in length and comply the Springer LNCS style. Papers should be submitted electronically using EasyChair online submission system (https://www.easychair.org/conferences/?conf=concur2013) The CONCUR 2013 proceedings will be published by Springer in the ArCoSS subseries of LNCS. The proceedings will be available at the conference. IMPORTANT DATES Abstract Submission:1st April 2013 (AoE) Paper Submission: 8th April 2013 (AoE) Paper Notification: 27th May, 2013 Camera Ready Copy Due: 10t June, 2013 CONCUR 2012:27th-30th August, 2013 PROGRAM CHAIRS - Pedro R. D'Argenio (Universidad Nacional de Córdoba, Argentina) - Hernán Melgratti (Universidad de Buenos Aires, Argentina) PROGRAM COMMITTEE Christel Baier (Technical University of Dresden, DE) Paolo Baldan (Universitá di Padova, IT) Eike Best (Universität Oldenburg, DE) Patricia Bouyer (LSV, CNRS ENS Cachan, FR) Tomas Brazdil (Masaryk University, CZ) Franck van Breugel (York University, CA) Krishnendu Chatterjee (IST, AT) Rance Cleaveland (University of Maryland, US) Wan Fokkink (Vrije Universiteit Amsterdam, NL) Daniele Gorla (University of Rome La Sapienza, IT) Holger Hermanns (Saarland University, DE) Radha Jagadeesan (DePaul University, US) Bengt Jonsson (Uppsala University, SE) Kim G. Larsen (Aalborg University, DK) Ugo Montanari (Universitá di Pisa, IT) Prakash Panangaden (McGill University, CA) David Parker (University of Birmingham, UK) Frank Pfenning (Carnegie Mellon University, US) Nir
[TYPES/announce] Research positions at Birmingham and Imperial
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Posted on behalf of Dan Ghica.] Postdoctoral Research Positions at University of Birmingham and Imperial College We will soon advertise two postdoctoral research positions on a new EPSRC project titled A higher-order approach to co-design, part of the Working Together Across ICT theme. It aims to develop semantic and type-theoretical models of high-level languages (functional, imperative, concurrent) in order to produce better compilation methods for heterogeneous architectures (CPU and FPGA). The project has two tracks. One is focussed on theoretical aspects such as types for resource management and semantic models, particularly game semantics, and will be mainly carried out in Birmingham. The other is focussed on heterogeneous design, optimisation and applications, and will be mainly carried out at Imperial. The two sites will collaborate very closely and will jointly develop the 'Geometry of Synthesis' FPGA compiler (http://www.veritygos.org). The project is funded for 3 years, starting June 2013 and one post-doc will be employed at each site. The positions will be for an initial period of 18 months with the possibility of extension. Candidates will need expertise in theory of programming languages (types and semantics) or reconfigurable computing (FPGA design and applications, EDA). We are particularly interested in candidates who are excellent thinkers and willing to learn and apply cutting-edge theory in order to solve practical problems and develop tools. A practical knowledge of functional programming language is essential. The theory group in Birmingham and the FPGA group at Imperial are world-leading so we seek applicants with an excellent track record of research. The salary in Birmingham will be in the range of =A327,854-=A336,298 and at Imperial in the range of =A330,680-=A339,130 per annum. The official advert= s will follow soon but anyone interested is welcome to contact the co-investigators: Dan R. Ghica, Birmingham http://www.cs.bham.ac.uk/~drg/ d.r.gh...@cs.bham.ac.uk George Constantinides, Imperial http://cas.ee.ic.ac.uk/people/gac1/ g.constantini...@imperial.ac.uk Also see EPSRC project summary at http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/K015214/1