January 2014 - Haskell

ANNOUNCE: ioctl 0.0.1
by Maciej Piechotka 13 Sep '15

13 Sep '15

A package for type-safe I/O control. Currently only ioctl is supported. Currently simply a extract from my tuntap fork TODO: - Return the integer as well as structure (will break the API) - Port for Windows Network.Socket.IOCtl (as soon as I manage to setup some sane environment on this platform) - Wrapping around DeviceIoControl Example (in hsc): data NotRead = NotRead instance NotRead Int where ioctlReq _ = #const FIONREAD notRead s = ioctlsocket' s NotRead Regards

2 1

CFP: Term and Graph rewriting, special issue of MSCS
by Rachid Echahed 13 Feb '14

13 Feb '14

-------------------------------------------------------------------------- First Call for Papers Special Issue of Mathematical Structures in Computer Science (MSCS) on "TERM and GRAPH Rewriting" -------------------------------------------------------------------------- Scope -------------------------------------------------------------------------- Rewriting techniques constitute a foundational theory of computing science. They are being investigated for several structures such as lambda-terms, first-order terms or graphs and have been successfully used in many areas such as programming languages, automated reasoning, program verification, security, etc. This is witnessed by the leading international events ICGT, RTA or TLCA among others. During the last decade, a particular interest has been devoted to the study of the impact of shared structures in term and graph rewriting through the international editions of TERMGRAPH series of workshops. Sharing is indeed ubiquitous in several research areas, for instance: the modelling of first- and higher-order term rewriting by (acyclic or cyclic) graph rewriting, the modelling of biological or chemical abstract machines, the implementation techniques of programming languages. Term and graph rewriting are also used in automated theorem proving and symbolic computation systems working on shared structures... This special issue is devoted to recent developments in all aspects of TERM and GRAPH rewriting. This includes (but is not limited to): term rewriting, graph transformation, proof methods, programming languages, infinitary rewriting, rewrite strategies, semantics, properties of rewriting ... -------------------------------------------------------------------------- Submissions -------------------------------------------------------------------------- Submitted papers must be original and not submitted for publication elsewhere, and will be subject to the standard journal refereeing process of the Mathematical Structures in Computer Science (MSCS) journal. Submissions should be in pdf format following the MSCS instruction for contributors (http://assets.cambridge.org/MSC/MSC_ifc.pdf) and should be submitted electronically via the following easy-chair web site: https://www.easychair.org/conferences/?conf=mscsrewriting2012 -------------------------------------------------------------------------- Important Dates -------------------------------------------------------------------------- January 20, 2012 : Abstract submission February 20, 2012: Paper submission June 15, 2012 : Notification of acceptance -------------------------------------------------------------------------- Guest Editor: -------------------------------------------------------------------------- Rachid Echahed, CNRS LIG Lab., Grenoble, France echahed(a)imag.fr --------------------------------------------------------------------------

1 8

Midlands Graduate School 2014 - register now!
by Graham Hutton 31 Jan '14

31 Jan '14

Begin forwarded message: The Midlands Graduate School (MGS) in the Foundations of Computing Science is a collaboration between researchers at the Universities of Birmingham, Leicester, Nottingham and Sheffield. It was established in 1999. The MGS has two main goals: to provide PhD students with a sound basis for research in the mathematical and practical foundations of computing and to give PhD students the opportunity to make contact with established researchers in the field and their peers who are at a similar stage in their research careers. This year, the MGS is at the University of Nottingham. It will start on 22 April and finish on 26 April. Core Courses Course Title Acronym Lecturer Affiliation Category Theory<http://www.cs.nott.ac.uk/~txa/mgs.2014/cat.html> CAT Roy Crole<http://www.cs.le.ac.uk/people/rcrole/> Leicester Denotational Semantics<http://www.cs.bham.ac.uk/~axj/mgs2014-sem.html> DEN Achim Jung<http://www.cs.bham.ac.uk/~axj/> Birmingham Typed Lambda Calculus<http://www.cs.nott.ac.uk/~txa/mgs.2014/lam.html> LAM Paul Blain Levy<http://www.cs.bham.ac.uk/~pbl/> Birmingham Advanced Courses Course Title Acronym Lecturer Affiliation Concurrency, Causality, Reversibility<http://www.cs.nott.ac.uk/~txa/mgs.2014/ccr.html> CCR Irek Ulidowski<http://www.cs.le.ac.uk/people/iu3/> Leicester Theory of Randomised Search Heuristic<http://www.cs.nott.ac.uk/~txa/mgs.2014/heu.html>s HEU Dirk Sudholt<http://staffwww.dcs.shef.ac.uk/people/D.Sudholt/>, Per Kristian Lehre<http://www.cs.nott.ac.uk/~pkl/>,Pietro S. Oliveto<http://staffwww.dcs.shef.ac.uk/people/P.Oliveto/index.html>, Christine Zarges<http://www.cs.bham.ac.uk/~zargesc/> Birmingham, Nottingham, Sheffield Homotopy Type Theory<http://www.cs.nott.ac.uk/~txa/mgs.2014/hot.html> HOT Thorsten Altenkirch<http://www.cs.nott.ac.uk/~txa/> Nottingham Infinite Data Structures<http://www.cs.nott.ac.uk/~txa/mgs.2014/inf.html> INF Venanzio Capretta<http://www.cs.nott.ac.uk/~vxc/> Nottingham Logical relations and parametricity<http://www.cs.nott.ac.uk/~txa/mgs.2014/par.html> PAR Uday Reddy<http://www.cs.bham.ac.uk/~udr> Birmingham Higher-Order Functional Reactive Programming<http://www.cs.nott.ac.uk/~txa/mgs.2014/rea.html> REA Neelakantan Krishnaswami<http://www.cs.bham.ac.uk/~krishnan> Birmingham + an invited lecture course on Dependently Typed Programming by Conor McBride. The fee is £440, this includes on campus accommodation with breakfast, lunches, coffees and a workshop dinner! More information is available on http://www.cs.nott.ac.uk/~txa/mgs.2014/ from where you also find a link to the registration page<http://store.nottingham.ac.uk/browse/extra_info.asp?compid=1&modid=2&deptid…> page. The registration deadline is Friday, 21 March. Please register as soon as possible since there is a limited number of spaces which are allocated on a 1st come 1st serve base. Hope to see you in Nottingham, Thorsten P.S. Please forward to other people who may be interested. -- Prof Graham Hutton Functional Programming Lab School of Computer Science University of Nottingham, UK http://www.cs.nott.ac.uk/~gmh 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.

1 0

TFP 2014 - 2nd call for papers
by Peter Achten 31 Jan '14

31 Jan '14

--------------------------------- 2ND C A L L F O R P A P E R S --------------------------------- ======== TFP 2014 =========== 15th Symposium on Trends in Functional Programming May 26-28, 2014 Utrecht University Soesterberg, The Netherlands http://www.cs.uu.nl/wiki/TFP2014/WebHome *** Submission for TFP 2014 is now open: please direct your browser to *** http://www.cs.uu.nl/wiki/TFP2014/PaperSubmission 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 revised papers will be published as a Springer Lecture Notes in Computer Science (LNCS) volume. TFP 2014 will be the main event of a pair of functional programming events. The other is the International Workshop on Trends in Functional Programming in Education (TFPIE). TFPIE will take place on May 25th. Its website is located at http://www.cs.uwyo.edu/~jlc/tfpie14/ 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, St. Andrews (UK) in 2012 and Provo (Utah, USA) in 2013. For further general information about TFP please see the TFP homepage. INVITED SPEAKERS TFP is pleased to announce talks by the following two invited speakers: John Hughes of Chalmers, Goteborg, Sweden, is well-known as author of Why Functional Programming Matters, and as one of the designers of QuickCheck (together with Koen Claessen); the paper on QuickCheck won the ICFP Most Influential Paper Award in 2010. Currently he divides his time between his professorship and Quviq, a company that performs property-based testing of software with a tool implemented in Erlang. Dr. Geoffrey Mainland received his PhD from Harvard University where he was advised by Greg Morrisett and Matt Welsh. After a two year postdoc with the Programming Principles and Tools group at Microsoft Research Cambridge, he is now an assistant professor at Drexel University. His research focuses on high-level programming language and runtime support for non-general purpose computation. SCOPE The symposium recognizes 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: summarizing 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. Topics suitable for the symposium include: Functional programming and multicore/manycore computing Functional programming in the cloud 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 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 analysis and transformation techniques Empirical performance studies Abstract/virtual machines and compilers for functional languages (Embedded) domain specific 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 2014 program chair, Jurriaan Hage at J.Hage(a)uu.nl. BEST PAPER AWARDS To reward excellent contributions, TFP awards a prize for the best paper accepted for the formal proceedings. 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. In both cases, it is the PC of TFP that awards the prize. In case the best paper happens to be a student paper, that paper will then receive both prizes. SPONSORS TFP is financially supported by NWO (Netherlands Organisation for Scientific Research), Well-Typed and Erlang Solutions. PAPER SUBMISSIONS Acceptance of articles for presentation at the symposium is based on a lightweight peer review process of extended abstracts (4 to 10 pages in length) or full papers (16 pages). The submission must clearly indicate which category it belongs to: research, position, project, evaluation, or overview paper. It should also indicate whether the main author or authors are research students. In the case of a FULL STUDENT paper, the draft paper will receive additional feedback by one of the PC members shortly after the symposium has taken place. We use EasyChair for the refereeing process. IMPORTANT DATES Submission of draft papers: March 17, 2014 Notification: March 24, 2014 Registration: April 7, 2014 TFP Symposium: May 26-28, 2014 Student papers feedback: June 9th, 2014 Submission for formal review: July 1st, 2014 Notification of acceptance: September 8th, 2014 Camera ready paper: October 8th, 2014 PROGRAM COMMITTEE Peter Achten Radboud University Nijmegen Emil Axelsson Chalmers Lucilia Camarao de Figueiredo Universidade Federal de Ouro Preto Laura Castro University of A Coruna Frank Huch Christian-Albrechts-University of Kiel Matthew Fluet Rochester Institute of Technology Jurriaan Hage (chair) University of Utrecht Yukiyoshi Kameyama University of Tsukuba Andrew Kennedy Microsoft Research Tamas Kozsik Eotvos Lorand University Ben Lippmeier University of New South Wales Luc Maranget INRIA Jay McCarthy (co-chair) Brigham Young University Marco T. Morazan Seton Hall University Ricardo Pena Universidad Complutense de Madrid Alexey Rodriguez LiquidM Sven-Bodo Scholz Heriot-Watt University Manuel Serrano INRIA Sophia Antipolis Simon Thompson University of Kent Tarmo Uustalu Inst of Cybernetics David Van Horn University of Maryland Janis Voigtlaender University of Bonn

1 0

8 Funded PhD Positions at St Andrews
by Kevin Hammond 30 Jan '14

30 Jan '14

[Please forward to suitable candidates. Thanks! Kevin.] We have eight funded research scholarships available under the University of St Andrews Seventh Century scheme. These are open to students from any country, and pay fees as well as maintenance. The deadline for applications is March 31st 2014, but it's good to apply earlier. We have an active group of about ten academic academics, postdoctoral research fellows and postgraduate students working on a variety of topics. We'd welcome applicants who are interested in any aspect of functional programming and related areas, including: Parallel Functional programming; Heterogeneous multicores (including CPU/GPU combinations); Refactoring; Patterns of computation; Machine-Learning; Compilation; Real-time functional programming (e.g. in Hume); Semantics of Programming Languages; Functional cloud computing; Functional Programming and Security; Dependent Types; Effects and other extra-functional properties; Relaxed memory consistency; Multicore programming; Formal concurrency models; Concurrency verification; Application of functional ideas to other paradigms, including C and C++. We work with various functional languages including Haskell, Erlang, idris, OCAML, Hume and F#. We have excellent links with both academic and industry, and are coordinating the EU Framework 7 ParaPhrase project, which involves 13 partners from 8 European countries: http://www.paraphrase-ict.eu Please contact me to discuss possible project ideas. Applications should be made through: http://www.cs.st-andrews.ac.uk/prospective-pg/research-degrees When applying, please indicate that you would like to apply for 7th Century Funding. Best Wishes, Kevin -------- Kevin Hammond, Professor of Computer Science, University of St Andrews T: +44-1334 463241 F: +44-1334-463278 W: http://www.cs.st-andrews.ac.uk/~kh In accordance with University policy on electronic mail, this email reflects the opinions of the individual concerned, may contain confidential or copyright information that should not be copied or distributed without permission, may be of a private or personal nature unless explicitly indicated otherwise, and should not under any circumstances be taken as an official statement of University policy or procedure (see http://www.st-and.ac.uk) The University of St Andrews is a charity registered in Scotland : No SC013532

1 0

[ANN] yocto-0.1.2
by Alvaro J. Genial 29 Jan '14

29 Jan '14

Howdy, I'd like to present a minimal JSON encoding/decoding library: http://hackage.haskell.org/package/yocto-0.1.2 >From the README: Yocto is exceedingly simple: it only exports one type, Value (which can represent any JSON-encoded data) in addition to Read and Show instances for it--which, respectively, take care of decoding and encoding values automatically. It's worth mentioning that Yocto handles numbers as Rationals rather than Doubles, which makes it faithful to the JSON standard and lets it handle rational numbers of arbitrary magnitude and precision. The name is a play on metric unit prefixes: AttoJson is a tiny JSON library, and Yocto is even smaller. (The entire implementation fits in fewer than 80 lines x 80 columns.) [It is meant primarily for interactive use and one-offs, which is how I'm handwaving hijacking Read and Show.] Anyway, I hope you find it useful; the code lives here: https://github.com/ajg/yocto Alvaro http://alva.ro

4 8

UTP Symposium: extended submission deadline
by Jeremy Gibbons 26 Jan '14

26 Jan '14

*** revised submission deadline *** ********************************************************************** 5th International Symposium on Unifying Theories of Programming co-located with FM2014 May 12 - 13, 2014 Singapore http://www.comp.nus.edu.sg/~pat/UTP2014/index.html ********************************************************************** CALL FOR PAPERS Interest in the fundamental problem of the combination of formal notations and theories of programming has grown consistently in recent years. The theories define, in various different ways, many common notions, such as abstraction, refinement, choice, termination, feasibility, locality, concurrency and communication. Despite these differences, such theories may be unified in a way which greatly facilitates their study and comparison. Moreover, such a unification offers a means of combining different languages describing various facets and artifacts of software development in a seamless, logically consistent way. Hoare and He's Unifying Theories of Programming (UTP) is widely acknowledged as one of the most significant such unification approaches. Based on their pioneering work, the aims of the UTP Symposium series are to reaffirm the significance of the ongoing UTP project and to stimulate efforts to advance. The Symposium provides a focus for the sharing of results by those already actively contributing, and raises awareness of the benefits of such unifying theoretical frameworks among the wider computer science and software engineering communities. To this end the Symposium welcomes contributions on all the themes that can be related to the Unifying Theories of Programming. SUBMISSIONS Papers may be up to 20 pages in length and should be prepared using LaTeX in Springer LNCS paper format. Submissions should be made through the UTP 2014 EasyChair site; instructions are athttp://www.comp.nus.edu.sg/~pat/UTP2014 PUBLICATION Symposium post-proceedings will appear in Springer's Lectures Notes in Computer Science, as in past editions of the Symposium. (To be confirmed.) DATES (revised) Full paper due: February 21, 2014 Notification: April 4, 2014 Camera-ready for pre-proceedings: April 25, 2014 Symposium: May 12-13, 2014 CHAIR David Naumann (Stevens Institute of Technology) ORGANISATION CHAIR Jin Song DONG (National University of Singapore) PROGRAMME COMMITTEE Bernhard K. Aichernig (Graz University of Technology) Hugh Anderson (National University of Singapore) Jonathan P. Bowen (Birmingham City University) Ana Cavalcanti (University of York) Andrew Butterfield (Trinity College Dublin) Leo Freitas (Newcastle University) Jeremy Gibbons (University of Oxford) Lindsay Groves (Victoria University of Wellington) Walter Guttmann (University of Canterbury) Ian Hayes (University of Queensland) Jeremy Jacob (University of York) Zhiming Liu (Birmingham City University) David Naumann, chair (Stevens Institute of Technology) Marcel Oliveira (Universidade Federal do Rio Grande do Norte) Geguang Pu (East China Normal University) Shengchao Qin (Teesside University) Georg Struth (University of Sheffield) Jun Sun (Singapore University of Technology and Design) Meng Sun (Peking University) Burkhart Wolff (University of Paris-Sud) Naijun Zhan (Chinese Academy of Sciences) Huibiao Zhu (East China Normal University) JOINT EVENT FM 2014, the 19th International Symposium on Formal Methods http://www.comp.nus.edu.sg/~pat/FM2014/

1 0

2nd Call for Papers: ICECCS 2014, Tianjin, China, 4-7 Aug 2014
by Liu Yang (Asst Prof) 25 Jan '14

25 Jan '14

[We apologize for multiple copies.] ============================================================ Call for Papers ICECCS 2014 (The 19th IEEE International Conference on Engineering of Complex Computer Systems) 4-7 August 2014 School of Computer Science and Technology Tianjin University, China http://cs.tju.edu.cn/iceccs/2014 ============================================================ IMPORTANT DATES --------------------------- * Abstract submission: February 14, 2014 * Paper submission deadline: February 28, 2014 * Workshop proposal submission: February 28, 2014 * Notification of acceptance: April 22, 2014 * Camera-ready material for publication: May 4, 2014 * Checking for Production: May 14, 2014 * Conference date: August 4-7, 2014 Complex computer systems are common in many sectors, such as manufacturing, communications, defense, transportation, aerospace, hazardous environments, energy, and health care. These systems are frequently distributed over heterogeneous networks, and are driven by many diverse requirements on performance, real-time behavior, fault tolerance, security, adaptability, development time and cost, long life concerns, and other areas. Such requirements frequently conflict, and their satisfaction therefore requires managing the trade-off among them during system development and throughout the entire system life. The goal of this conference is to bring together industrial, academic, and government experts, from a variety of user domains and software disciplines, to determine how the disciplines' problems and solution techniques interact within the whole system. Researchers, practitioners, tool developers and users, and technology transition experts are all welcome. The scope of interest includes long-term research issues, near-term complex system requirements and promising tools, existing complex systems, and commercially available tools. SCOPE AND TOPICS --------------------------- Authors are invited to submit papers describing original, unpublished research results, case studies and toolsed research results, case studies and tools. Papers are solicited in all areas related to complex computer-based systems, including the causes of complexity and means of avoiding, controlling, or coping with complexity. Topic areas include, but are not limited to: * Requirement specification and analysis * Verification and validation * Security and privacy of complex systems * Model-driven development * Reverse engineering and refactoring * Architecture software * Big Data Management * Ambient intelligence, pervasive computing * Ubiquitous computing, context awareness, sensor networks * Design by contract * Agile methods * Safety-critical & fault-tolerant architectures * Adaptive, self-managing and multi-agent systems * Real-time, hybrid and embedded systems * Systems of systems * Tools and tool integration * Industrial case studies SUBMISSION --------------------------- Different kinds of contributions are sought, including novel research, lessons learned, experience reports, and discussions of practical problems faced by industry and user domains. The ultimate goal is to build a rich and comprehensive conference program that can fit the interests and needs of different classes of attendees: professionals, researchers, managers, and students. A program goal is to organize several sessions that include both academic and industrial papers on a given topic and culminate panels to discuss relationships between industrial and academic research. Papers are divided into two categories: * Technical Papers and * Experience Reports. The papers submitted to both categories will be reviewed by program committee members, and papers accepted in either category will be published in the conference proceedings. Technical papers should describe original research, and industrial experience reports should describe practical projects carried out in industry, and reflect on the lessons learnt from them. FULL PAPERS Full papers are divided into two categories: Technical Papers and Experience Reports. The papers submitted to both categories will be reviewed by program committee members, and papers accepted in either category will be published in the conference proceedings. Technical papers should describe original research, and experience reports should present practical projects carried out in industry, and reflect on the lessons learnt from them. POSTER PAPERS Poster paper submissions should specify in their abstract whether they describe ongoing or PhD research. Both types of poster papers will be reviewed by program committee members, and accepted posters will be published in the conference proceedings. PAPER SUBMISSION Submitted manuscripts should be in English and formatted in the style of the Conference Publishing Services (CPS) Proceedings Format. Papers should not exceed 10 pages for full papers and 2 pages for poster papers, including figures, references, and appendices. All submissions should be in PDF format. Submissions not adhering to the specified format and length may be rejected immediately, without review. All submissions should be made through the Easychair Website: https://www.easychair.org/account/signin.cgi?conf=iceccs2014 ORGANIZING COMMITTEES --------------------------- General Co-Chairs * JinSong Dong, National University of Singapore, Singapore * Zhiyong Feng, Tianjin University, China. Program Committee Co-Chairs * Etienne Andre, Universite Paris 13, France * Lei Zhang, Tianjin University, China Workshop Chairs * Zhenhua Duan, Xidian University, Xi'an * YuanFang Li, Monash University, Australia Publicity Chair * Yang Liu, Nanyang Technological University, Singapore Tutorial Chair * Jun Sun, Singapore University of Technology and Design, Singapore Local Chairs * Xiaohong Li, Tianjin University, China * Guangquan Xu, Tianjin University, China Doctoral Symposium Chair * Xin Peng, Fudan University, China Registration Chair * Jing Hu, Tianjin University, China Web Chairs * Xiaofei Xie, Tianjin University, China * Gang Shen, Tianjin University, China PROGRAMME COMMITTEE --------------------------- * Aiguier Marc, Ecole Centrale Paris, France * Ait Ameur Yamine, IRIT/ENSEEIHT, France * Almeida Luis, Fac de Eng da Universidade do Porto, Portugal * Andre Etienne, Universite Paris 13, France (co-chair) * Artho Cyrille, AIST, Japan * Baresi Luciano, DEI - Politecnico di Milano, Italy * Brooke Phillip J, Teesside University, UK * Calinescu Radu, University of York, UK * Chen Yixiang,School of Software,East China Normal University,China * Cirstea Corina, University of Southampton, UK * Di Giandomenico Felicita, ISTI-CNR, Italy * Dowek Gilles, INRIA, France * Eder Kerstin, University of Bristol, Department of Computer Science, UK * Furia Carlo Alberto, ETH Zurich, Switzerland * Gerard Sebastien, CEA, LIST, France * Grechanik Mark, University of Illinois at Chicago, United States * Groves Lindsay, Victoria University of Wellington, New Zealand * Guerra Esther, Universidad Autonoma de Madrid, Spain * He Fei, School of Software, Tsinghua University, China * Kim Moonzoo, KAIST, South Korea * Kroening Daniel, Computer Science Department, Oxford University, UK * Laleau Regine, Universite Paris-Est Creteil, France * Laplante Phillip, Penn State, United States * Lau Kung-Kiu, UK * Li Bing,State Key Lab of Software Engineering, Wuhan University, China * Li Xiaohong, Tianjin University, China * Li Yuan-Fang, Monash University, Australia * Lindsay Peter, The University of Queensland, Australia * Liu Ling,School of Software,Tsinghua University,China * Liu Yang, Nanyang Technological University, Singapore * Lo David, Singapore Management University, Singapore * Luettgen Gerald, University of Bamberg, Germany * Mao Xiaoguang, School of Computer Science,cNational University of Defense Technology, China * Margaria Tiziana, University of Potsdam, Germany * Martin Andrew, Department of Computer Science, University of Oxford, UK * Mccann Julie, Imperial College, UK * Mery Dominique, Universite de Lorraine, LORIA, France * Miao HuaiKou,Shanghai University,China * Mirandola Raffaela, Politecnico di Milano, Italy * Nesi Paolo, University of Florence, Italy * Pang Jun, University of Luxembourg, Luxembourg * Perseil Isabelle, Inserm, France * Pettit Robert, United States * Prehofer Christian, Munich, Germany * Rumpe Bernhard, RWTH Aachen University, Germany * Seceleanu Cristina, Malardalen University, Vasteras, Sweden * Stolz Volker, University of Oslo, Norway * Sun Jing, The University of Auckland, New Zealand * Sun Jun, Singapore University of Technology and Design, Singapore * Taguchi Kenji, AIST, Japan * Tamzalit Dalila, LINA Laboratory, University of Nantes, France * Tian Cong, Xidian University, China * Vardanega Tullio, University of Padua, Italy * Van Hoorn Andre, University of Stuttgart, Germany * Wang Farn, National Taiwan University, Taiwan * Wang Hai H, University of Aston, UK * Wang Qianxiang, Software Engineering Insisute, Peking University, China * Wang Xinyu, Computer College of Zhejiang University, China * Wehrheim Heike, Universitaet Paderborn, Germany * Xu Baowen, Nanjin University, China * Xu Guangquan, Tianjin University, China * Xu Jing, Nankai University, China * Yuan Ling, Huazhong University of Science and Technology, China * Zalila Bechir, ReDCAD Laboratory, University of Sfax, Tunisia * Zhan Naijun, Lab of Computer Science, Institute of Software, Chinese Academy of Sciences, China * Zhang Lei, Tianjin University, China (co-chair) * Zhao JianJun, Shanghai Jiao Tong University, China * Zhao Wenyun, Fudan University, China * Zhu Huibiao, Software Engineering Institute, East China Normal University, China * Zschaler Steffen, King's College London, UK ________________________________ CONFIDENTIALITY:This email is intended solely for the person(s) named and may be confidential and/or privileged.If you are not the intended recipient,please delete it,notify us and do not copy,use,or disclose its contents. Towards a sustainable earth:Print only when necessary.Thank you.

1 0

Call for Papers: ICFEM 2014, Luxembourg, 3-7 November 2014
by Liu Yang (Asst Prof) 25 Jan '14

25 Jan '14

[We apologize for multiple copies.] ============================================================ Call for Papers ICFEM 2014 16th International Conference on Formal Engineering Methods Luxembourg, 3-7 November 2014 http://icfem2014.uni.lu ============================================================ The 16th International Conference on Formal Engineering Methods (ICFEM 2014) will be held at the Melia Hotel in Luxembourg, Luxembourg from 3rd November to 7 November 2014. Since 1997, ICFEM has been serving as an international forum for researchers and practitioners who have been seriously applying formal methods to practical applications. Researchers and practitioners, from industry, academia, and government, are encouraged to attend, present their research, and help advance the state of the art. We are interested in work that has been incorporated into real production systems, and in theoretical work that promises to bring practical and tangible benefit. ICFEM 2014 is organised and sponsored by The University of Luxembourg. The city of Luxembourg itself is on the UNESCO World Heritage List, on account of the historical importance of its fortifications. Luxembourg was the first city to be named European Capital of Culture twice. SCOPE AND TOPICS ---------------------------------------- Submissions related to the following principal themes are encouraged, but any topics relevant to the field of formal methods and their practical applications will also be considered. + Abstraction and refinement + Formal specification and modelling + Program analysis + Software verification + Software model checking + Formal approaches to software testing + Formal methods for self-adaptive systems + Formal methods for object and component systems + Formal methods for concurrent and real-time systems + Formal methods for cloud computing and cyber-physical systems + Formal methods for software safety, security, reliability and dependability + Tool development, integration and experiments involving verified systems + Formal methods used in certifying products under international standards + Formal model-based development and code generation This year, ICFEM will have special tracks on application of formal methods in three areas: + Computer Security + Biology + Healthcare Submissions in these topics are especially encouraged. Papers in these areas will be subject to the same rigorous review process as other papers. Accepted special track papers will be organised into special sessions. SUBMISSION AND PUBLICATION ---------------------------------------- Submissions to the conference must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. The proceedings will be published in the Springer Lecture Notes in Computer Science series. Papers should be written in English and not exceed 16 pages in LNCS format (see http://www.springer.de/comp/lncs/authors.html for details). Submission should be made through the ICFEM 2014 submission page (https://www.easychair.org/conferences/?conf=icfem2014) handled by the EasyChair conference management system. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to appear in a special issue of the Formal Aspect Computing journal. WORKSHOP AND TUTORIAL ---------------------------------------- The last two days of the conference (6th and 7th November 2014) will be dedicated to workshops, tutorials and other satellite events. The organising committee of ICFEM 2014 therefore cordially invites proposals for one-day workshops and one-day or half-day tutorials in any area related to formal methods or software engineering, but particularly in new or emerging fields of application of formal methods. Proposals for workshops/tutorial should contain: + a title and brief description of the topic and the history of the workshop/tutorial, if applicable; + the names and contact details of the potential organisers; + a brief justification of the topic and estimated size of audience; + a description of any special technical requirements. Proposals should be sent to ICFEM2014 Workshops Chair, Jun Sun, at <sunjun(a)sutd.edu.sg<mailto:sunjun@sutd.edu.sg>> no later than 22nd March 2014. SUMMER SCHOOL VTSA 2014 ---------------------------------------- The summer school on verification technology, systems & applications takes place at University of Luxembourg from October 27-31, 2014. It is a co-located event with ICFEM 2014 and is organized by the Montefiore Institute, University of Luxembourg, INRIA Nancy, and the Max Planck Insitute for Informatics Saarbrücken. More detailed information will be provided at the summer school's website. IMPORTANT DATES ---------------------------------------- Abstract Submissions due: 11 April 2014 Full Paper Submissions due: 18 April 2014 Workshop/Tutorial Proposals: 22 March 2014 Acceptance Notification: 20 June 2014 Camera-ready Papers Due: 13 July 2014 ORGANISING COMMITTEE ---------------------------------------- General Co-Chairs Michael Butler, University of Southampton, United Kingdom Sjouke Mauw, University of Luxembourg, Luxembourg Program Committee Co-Chairs Stephan Merz, INRIA, France Jun Pang, University of Luxembourg, Luxembourg Workshop and Tutorial Co-Chairs Jun Sun, Singapore University of Technology and Design, Singapore Local Organisation Chair Andrzej Mizera, University of Luxembourg, Luxembourg Publicity Chair Yang Liu, Nanyang Technological University, Singapore Web Chair: Piotr Kordy, University of Luxembourg, Luxembourg PROGRAM COMMITTEE ---------------------------------------- Frank de Boer, CWI, The Netherlands Jonathan Bowen, Birmingham City University, United Kingdom Michael Butler, University of Southampton, United Kingdom Kostas Chatzikokolakis, CNRS and École Polytechnique, France Zhenhua Duan, Xidian University, China Colin Fidge, Queensland University of Technology, Australia Stefania Gnesi, ISTI-CNR, Italy Radu Grosu, Vienna University of Technology, Austria Ian Hayes, University of Queensland, Australia Michaela Huhn, Technische Universität Clausthal, Germany Pierre Kelsen, University of Luxembourg, Luxembourg Steve Kremer, INRIA Nancy, France Jean Krivine, CNRS and Université Paris Diderot, France Peter Gorm Larsen, Engineering College of Aarhus, Denmark Xuandong Li, Nanjing University, China Shang-Wei Lin, National University of Singapore, Singapore Shaoying Liu, Hosei University, Japan Yang Liu, Nanyang Technological University, Singapore Sjouke Mauw, University of Luxembourg, Luxembourg Dominique Mery, Université de Lorraine, France Stephan Merz, INRIA Nancy, France Mohammad Reza Mousavi, Halmstad University, Sweden Peter Mueller, ETH Zurich, Switzerland Shin Nakajima, National Institute of Informatics, Japan Jun Pang, University of Luxembourg, Luxembourg Ion Petre, Åbo Akademi University, Finland Jaco van de Pol, University of Twente, The Netherlands Shengchao Qin, Teesside University, United Kingdom Zongyan Qiu, Peking University, China Jing Sun, University of Auckland, New Zealand Jun Sun, Singapore University of Technology and Design, Singapore Kenji Taguchi, AIST, Japan Viktor Vafeiadis, MPI-SWS, Germany Hai H. Wang, Aston University, United Kingdom Wang Yi, Uppsala University, Sweden Huibiao Zhu, East China Normal University, China STEERING COMMITTEE ---------------------------------------- Keijiro Araki, Kyushu University, Japan Michael Butler, University of Southampton, United Kingdom Jin Song Dong, National University of Singapore, Singapore Jifeng He, East China Normal University, China Shaoying Liu (Chair), Hosei University, Japan Jeff Offutt, George Mason University, United States Shengchao Qin, University of Teesside, United Kingdom ________________________________ CONFIDENTIALITY:This email is intended solely for the person(s) named and may be confidential and/or privileged.If you are not the intended recipient,please delete it,notify us and do not copy,use,or disclose its contents. Towards a sustainable earth:Print only when necessary.Thank you.

1 0

ARRAY'14 Call for Papers
by Mary Sheeran 23 Jan '14

23 Jan '14

ARRAY 14: ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming Co-located with PLDI 2014, Edinburgh, UK. A full-day workshop on Friday June 13th, following the main conference. http://www.sable.mcgill.ca/array/ A new workshop on Libraries, Languages and Compilers for Array Programming will have its first instance with PLDI this year (on June 13 in Edinburgh). The workshop aims to bring together the various groups (including functional programmers) that work on array programming. Papers from readers of this mailing list would be very welcome. The deadline for submission of four to six-page research or tool papers is April 2nd 2014, with notification on April 18th. Note the SIGPLAN sponsorship and the fact that students can apply for SIGPLAN PAC funding. It will be a fun workshop! For more information see http://www.sable.mcgill.ca/array/ and think about submitting! Mary Sheeran (with Laurie Hendren (Chair), Alex Rubinsteyn and Jan Vitek)

1 0