Clemens Grelck | 1 Jul 19:23 2016
Picon
Picon

Position as lab docent Software Engineering at the University of Amsterdam

Dear all,

I would like to draw your attention to the following job opening at
the University of Amsterdam:

http://www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/16-267-lecturer-software-engineering.html



This is a full-time teaching position in our MSc Software Engineering
programme that is rated among the best ICT Master programmes
in the Netherlands:

http://www.uva.nl/en/education/master-s/master-s-programmes/item/software-engineering.html

The deadline for application is formally today, but we will (silently)
accept applications until Wednesday July 6.

If you have any questions, do not hesitate to contact me.

Best regards,
  Clemens Grelck -- ---------------------------------------------------------------------- Dr Clemens Grelck Science Park 904 University Lecturer 1098XH Amsterdam Netherlands University of Amsterdam Institute for Informatics T +31 (0) 20 525 8683 Computer Systems Architecture Group F +31 (0) 20 525 7490 Office C3.105 staff.fnwi.uva.nl/c.u.grelck ----------------------------------------------------------------------
_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
Christian Rossow | 1 Jul 10:26 2016
Picon

Call for Papers: 2nd IEEE European Symposium on Security and Privacy (EuroS&P), April 26-28, 2017 in Paris

=====================================================================
IEEE EuroS&P 2017 Call for Papers
=====================================================================

Since 1980, the IEEE Symposium on Security and Privacy has been the
premier forum for presenting developments in computer security and
electronic privacy. Following this story of success, IEEE initiated the
European Symposium on Security and Privacy (EuroS&P), which is organized
every year in a European city.

The 2nd EuroS&P symposium will be held on April 26-28, 2017 in Paris.
Dan Boneh will give a keynote speech on Thursday, April 27. For more
information see below and on the official conference website:

  http://www.ieee-security.org/TC/EuroSP2017/

HIGHLIGHTS THIS YEAR
=====================================================================

  Keynote speaker: Dan Boneh, Stanford University
  Systematization of Knowledge (SoK) Track (new)
  Best Paper Award (new)
  Symposium held just before EUROCRYPT 2017 (also in central Paris)

IMPORTANT DATES
=====================================================================

All deadlines are AoE (Anywhere on Earth, UTC-12h).

  Paper submission due:          Aug 4th, 2016 (firm)
  Early reject notifications:    Sep 20th, 2016
  Author response due:           Sep 22nd, 2016
  Acceptance notifications:      Oct 17th, 2016
  Camera-ready papers due:       Feb 13th, 2017

THEMATIC SCOPE
=====================================================================

We solicit novel research contributions in any aspect of security or
privacy. Papers may present advances in the theory, design,
implementation, analysis, verification, or empirical evaluation and
measurement of secure systems. For research topics of interests see:

  http://www.ieee-security.org/TC/EuroSP2017/cfp.php

SoK: We also solicit systematization of knowledge papers that evaluate,
systematize, and contextualize existing knowledge. Suitable papers are
those that provide an important new viewpoint on an established, major
research area, support or challenge long-held beliefs in such an area
with compelling evidence, or present a new taxonomy of such an area.

VENUE
=====================================================================

The conference is hosted in the Jussieu campus of Université Pierre et
Marie Curie (Paris 6), which is located right in the center of Paris,
about 10 minutes walk from Notre Dame. For more details and a map see:

  http://www.ieee-security.org/TC/EuroSP2017/venue.php

April 26-28 is right before EUROCRYPT 2017, which will also happen in
Paris. The affiliated events will be organized jointly with EUROCRYPT on
April 29-30, 2017, also at UPMC Campus Jussieu.

PAPER SUBMISSION PROCESS
=====================================================================

Papers must not exceed 15 pages total (including the references and
appendices). Papers must be formatted for US letter (not A4) size, in
two-column layout, and use Times font, 10-point or larger.

The submission site will open in July 2016.

Outstanding paper(s) will be selected by the program committee for the
best paper award. The award will be announced at the symposium.

PROGRAM COMMITTEE
=====================================================================

Program Chairs:
  Andrei Sabelfeld            Chalmers University of Technology
  Matthew Smith               University of Bonn & Fraunhofer FKIE

PC Members:
  Michael Backes              CISPA, Saarland University & MPI-SWS
  Gilles Barthe               IMDEA
  David Basin                 ETH Zurich
  Dan Boneh                   Stanford
  Srdjan Capkun               ETH Zurich
  Marc Dacier                 QCRI/HBKU
  George Danezis              University College London
  Sergej Dechand              University of Bonn
  Sascha Fahl                 CISPA, Saarland University
  Dario Fiore                 IMDEA
  Simone Fischer-Huebner      Karlstad University
  Pierre-Alain Fouque         Rennes Univ. & Institut Univ. de France
  Deepak Garg                 MPI-SWS
  Virgil Gligor               Carnegie Mellon University
  Joshua Guttman              WPI & MITRE
  Mike Just                   Heriot-Watt University
  Jonathan Katz               University of Maryland
  Yongdae Kim                 KAIST
  Engin Kirda                 Northeastern University
  Steve Kremer                LORIA
  Peeter Laud                 Cybernetica
  Sebastian Lekies            Google
  Ninghui Li                  Purdue University
  Ben Livshits                Microsoft Research
  Jean-Yves Marion            LORIA & Lorraine University
  Michelle Mazurek            University of Maryland
  Jonathan McCune             Google
  Patrick McDaniel            Penn State University
  Greg Morrisett              Cornell University
  Toby Murray                 University of Melbourne
  Nick Nikiforakis            Stony Brook University
  Panos Papadimitratos        Royal Institute of Technology
  Ioannis Papagiannis         Facebook
  Olivier Pereira             UCLouvain
  Frank Piessens              KU Leuven
  Christina Poepper           New York University Abu Dhabi
  Georgios Portokalidis       Stevens Institute of Technology
  Bart Preneel                KU Leuven
  Delphine Reinhardt          University of Bonn & Fraunhofer FKIE
  Reza Shokri                 Cornell Tech
  Frank Stajano               University of Cambridge
  Francois-Xavier Standaert   UCLouvain
  Deian Stefan                UCSD & Intrinsic
  Vanessa Teague              University of Melbourne
  Nikos Triandopoulos         Boston Univ. & Stevens Institute of Techn.
  Blase Ur                    CMU & University of Chicago
  Hoeteck Wee                 ENS
  Kehuan Zhang                Chinese University of Hong Kong
  Emanuel von Zezschwitz      Ludwig Maximilian University of Munich

ORGANIZING COMMITTEE
=====================================================================

  General Chair          Cătălin Hriţcu           Inria Paris
  Local Chair            Karthikeyan Bhargavan    Inria Paris
  Finance Chair          Bruno Blanchet           Inria Paris
  Events Chair           Pierre-Evariste Dagand   UPMC and CNRS
  Donations Chair        Benjamin Beurdouche      Inria Paris
  Publications Chair     Ben Stock                CISPA, Saarland Univ.
  Publicity Chairs       Patrick McDaniel         Penn State Univ.
                         Christian Rossow         CISPA, Saarland Univ.
  Website Admin          Guido Martínez           Inria Paris
  Social Media Chair     Nadim Kobeissi           Inria Paris
  Posters Chair          Gaëtan Leurent           Inria Paris
  Student Grants Chair   Tamara Rezk              Inria Sophia Antipolis
  Short Talks Chair      Benjamin Smith           Inria Saclay

CONTACT AND MORE INFORMATION
=====================================================================

For questions regarding the conference, please feel free to contact the
Program Committee Chairs or the General Chair. Media requests should be
directed to the Publicity Chairs.

More information about EuroS&P '17 can be found on its official website:

   http://www.ieee-security.org/TC/EuroSP2017/

Thanks and best regards,
  Andrei Sabelfeld, Matthew Smith, Cătălin Hriţcu
  (on behalf of the organizing committee)
_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
liyuanfang | 28 Jun 05:06 2016
Picon

Deadline extended: 21st International Conference on Engineering of Complex Computer Systems (ICECCS 2016), Dubai, United Arab Emirates, November 6-8 2016

ICECCS is an A-ranked conference by the Computing Research and Education Association of Australasia
(CORE) 2014 ranking (http://portal.core.edu.au/conf-ranks/?search=ICECCS&by=all&source=CORE2014&sort=atitle&page=1
). Please kindly consider submitting papers to the conference, and please encourage your colleagues and
students to submit too.

---------------------------------------------------------------
21st International Conference on Engineering of Complex Computer Systems (ICECCS 2016)
|| November 6-8, Dubai, United Arab Emirates 
|| http://www.aston.ac.uk/eas/about-eas/academic-groups/computer-science/iceccs-2016/

Overview
---------------------
Over the past several years, we have seen a rapid rising emphasis on design, implement and manage complex
computer systems to help us deal with an increasingly volatile, globalised complex world. These systems
are critical for dealing with the Grand Challenge problems we are facing in the 21st century, including
health care, urbanization, education, energy, finance, and job creation. The complex computer systems
are frequently distributed over heterogeneous networks and processing large amount data.
Performance, real-time behavior, fault tolerance, security, adaptability, development time and
cost, long life concerns are the key issues. 

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
---------------------
We invite contributions in what concerns the following areas (please keep in mind that this is not an
exhaustive list): 

*	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
*	Cyber-physical systems and Internet of Things (IoT)
*	Tools and tool integration
*	Past reflections and future outlooks
*	Industrial case studies

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. 

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.

Short Papers
---------------------
Short paper submissions describe early-stage, ongoing or PhD research. All short papers will be reviewed
by program committee members, and accepted short papers will be published in the conference proceedings.

Paper Submissions 
---------------------
Submitted manuscripts should be in English and formatted in the style of the double-column IEEE ormat.
Full papers should not exceed 10 pages, and short papers should not exceed 4 pages, 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.

Please prepare your manuscripts in accordance to the IEEE guidelines:
http://www.ieee.org/conferences_events/conferences/publishing/templates.html. 

We invite all prospective authors to submit their manuscripts via the ICECCS'16 portal, hosted on
Easychair: 
https://www.easychair.org/conferences/?conf=iceccs16 

Conference proceeding
---------------------
The conference proceedings will be published by IEEE Conference Publishing Services (EI indexed). 

Important Dates
---------------------
Updated abstract submission: 11th July 2016
Updated paper submission: 16th July 2016
Notification of acceptance: 8th Aug 2016
Camera ready copy due: 29th Aug 2016

Organizers
---------------------
General Chair
Prof. Ian Nabney, Aston University, UK
Dr. Jun Sun, Singapore University of Technology and Design, SG

Program Chair
Dr. Mounir Mokhtari, Institut MINES TELECOM, FR
Dr. Hai Wang, Aston University, UK

For enquiries, please contact H.WANG10 <at> aston.ac.uk or mounir.mokhtari <at> mines-telecom.fr

 
_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
KwangYul Seo | 27 Jun 06:28 2016
Picon
Gravatar

The Haddock documentation is not showing up on the Hackage

Hi,

I uploaded a package named enchant on the Hackage last week, but the Haddock documentation is not showing up yet. The Status field says "Docs pending" and "Build status unknown".


enchant uses c2hs as a build tool to generate the FFI binding and requires libenchant-dev to be installed on the machine. I wonder how I can tell these build requirements to the Hackage server.

Regards,
Kwang Yul Seo

_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
liyuanfang | 27 Jun 02:41 2016
Picon

Deadline extended: 21st International Conference on Engineering of Complex Computer Systems (ICECCS 2016), Dubai, United Arab Emirates, November 6-8 2016

ICECCS is an A-ranked conference by the Computing Research and Education Association of Australasia
(CORE) 2014 ranking (http://portal.core.edu.au/conf-ranks/?search=ICECCS&by=all&source=CORE2014&sort=atitle&page=1
). Please kindly consider submitting papers to the conference, and please encourage your colleagues and
students to submit too.

---------------------------------------------------------------
21st International Conference on Engineering of Complex Computer Systems (ICECCS 2016)
|| November 6-8, Dubai, United Arab Emirates 
|| http://www.aston.ac.uk/eas/about-eas/academic-groups/computer-science/iceccs-2016/

Overview
---------------------
Over the past several years, we have seen a rapid rising emphasis on design, implement and manage complex
computer systems to help us deal with an increasingly volatile, globalised complex world. These systems
are critical for dealing with the Grand Challenge problems we are facing in the 21st century, including
health care, urbanization, education, energy, finance, and job creation. The complex computer systems
are frequently distributed over heterogeneous networks and processing large amount data.
Performance, real-time behavior, fault tolerance, security, adaptability, development time and
cost, long life concerns are the key issues. 

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
---------------------
We invite contributions in what concerns the following areas (please keep in mind that this is not an
exhaustive list): 

*	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
*	Cyber-physical systems and Internet of Things (IoT)
*	Tools and tool integration
*	Past reflections and future outlooks
*	Industrial case studies

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. 

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.

Short Papers
---------------------
Short paper submissions describe early-stage, ongoing or PhD research. All short papers will be reviewed
by program committee members, and accepted short papers will be published in the conference proceedings.

Paper Submissions 
---------------------
Submitted manuscripts should be in English and formatted in the style of the double-column IEEE ormat.
Full papers should not exceed 10 pages, and short papers should not exceed 4 pages, 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.

Please prepare your manuscripts in accordance to the IEEE guidelines:
http://www.ieee.org/conferences_events/conferences/publishing/templates.html. 

We invite all prospective authors to submit their manuscripts via the ICECCS'16 portal, hosted on
Easychair: 
https://www.easychair.org/conferences/?conf=iceccs16 

Conference proceeding
---------------------
The conference proceedings will be published by IEEE Conference Publishing Services (EI indexed). 

Important Dates
---------------------
Updated abstract submission: 11th July 2016
Updated paper submission: 16th July 2016
Notification of acceptance: 8th Aug 2016
Camera ready copy due: 29th Aug 2016

Organizers
---------------------
General Chair
Prof. Ian Nabney, Aston University, UK
Dr. Jun Sun, Singapore University of Technology and Design, SG

Program Chair
Dr. Mounir Mokhtari, Institut MINES TELECOM, FR
Dr. Hai Wang, Aston University, UK

For enquiries, please contact H.WANG10 <at> aston.ac.uk or mounir.mokhtari <at> mines-telecom.fr

 
_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
Jonathan Daugherty | 26 Jun 22:53 2016
Gravatar

[ANN] vty-5.7 released

Hi,

On the heels of version Vty 5.6, version 5.7 is now on Hackage.  This
release adds support for changing the behavior of mouse and paste modes
both at Vty startup time and during application execution.  In addition
to no longer being on by default, they can be enabled or disabled at any
time and Vty can be queried to tell whether they are supported.  See the
CHANGELOG for details.

  http://hackage.haskell.org/package/vty-5.7
  https://github.com/coreyoconnor/vty/releases/tag/5.7

Enjoy!

--

-- 
  Jonathan Daugherty
_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
Jonathan Daugherty | 25 Jun 22:59 2016
Gravatar

[ANN] vty-5.6 released

Hi,

I'm pleased to announce the release of version 5.6 of the Vty library, a
terminal user interface programming library.  This version of the
library adds some great new features:

 * Support for mouse events in most terminals: those that implement
   mouse control sequences as described at
   http://invisible-island.net/xterm/ctlseqs/ctlseqs.html#h2-Mouse-Tracking

 * Support for bracketed paste mode, a special mode for receiving
   operating system clipboard pastes without treating paste contents as
   normal input:
   http://cirw.in/blog/bracketed-paste

Vty 5.6 can be found on Hackage at

  http://hackage.haskell.org/package/vty-5.6

and on GitHub at

  https://github.com/coreyoconnor/vty

Enjoy!

--

-- 
  Jonathan Daugherty
_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
Dominic Orchard | 23 Jun 21:48 2016
Picon
Gravatar

JLAMP special issue for PLACES (2nd Call for Papers)

--------------------------------
            2nd Call for papers:

Special Issue of JLAMP for PLACES

(Programming Language Approaches to
Concurrency and Communication-cEntric Software)

--------------------------------
Submission deadline: July 29th 2016
--------------------------------
http://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming/call-for-papers/special-issue-on-programming-language-approaches/
--------------------------------

This special issue of the Journal of Logical and Algebraic Methods in Programming (JLAMP) is devoted to the topics of the 9th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2016), which took place in April 2016 in Eindhoven as part of ETAPS. This is however an *open call* for papers, therefore both participants of the workshop and other authors are encouraged to submit their contributions.

Themes:

Modern hardware platforms, from the very small to the very large, increasingly provide parallel computing resources for applications to maximise performance. Many applications therefore need to make effective use of tens, hundreds, and even thousands of compute nodes. Computation in such systems is thus inherently concurrent and communication centric. Effectively programming such applications is challenging; performance, correctness, and scalability are difficult to achieve.

Submissions are invited in the area of programming language approaches to concurrency, communication and distribution, ranging from foundational issues, through language implementations, to applications (such as scientific computing) and case studies. Please visit the above website for more detailed topics of interest.

Submission:

We expect original articles (roughly 20-30 pages) that present high-quality contributions that have not been previously published in another journal and that must not be simultaneously submitted for publication elsewhere. Longer papers will be considered if there is a clear justification for why additional pages are necessary; authors should contact the guest editors to discuss this. Each paper will undergo a thorough evaluation by at least two reviewers. The authors will have about one month to incorporate the comments of the reviewers and submit a revised version of their papers, which will be evaluated again by the reviewers to make a final decision.
Contributions should be typeset in PDF format and must comply with JLAMP's author guidelines (see website for details).

Submission deadline: 29th July 2016
Final decision due in: Jan 2017 (planned)

Guest Editors:

Dominic Orchard, University of Cambridge, dominic.orchard <at> cl.cam.ac.uk
Nobuko Yoshida, Imperial College London, UK, n.yoshida <at> imperial.ac.uk
_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
Robson De Grande | 21 Jun 21:22 2016
Picon

14th ACM MobiWac 2016, MALTA

** We apologize if you receive multiple copies of this message **
==================================================================
             The 14th ACM International Symposium on Mobility Management
                                  and Wireless Access (MobiWac 2016)
                                       November 13 - 17, 2016 - Malta
                                         http://mobiwac-symposium.org/
==================================================================

The MOBIWAC  series of event is intended to provide an international forum
for the discussion and presentation of original ideas, recent results and
achievements by researchers, students, and systems developers on issues and
challenges related to mobility management and wireless access protocols. To
keep up with the technological developments, we also open up new areas such
as mobile cloud computing starting from this year.

Authors are encouraged to submit both theoretical and practical results of
significance on all aspects of wireless and mobile access technologies, with
an emphasis on mobility management and wireless access. Authors are invited
to submit full papers describing original research. Submitted papers must
neither have been published elsewhere nor currently be under review by
another conference or journal.

TOPICS OF INTEREST include, but are not limited to:

- Mobile Cloud Computing
- Wireless/Mobile Access Protocols
- Wireless/Mobile Web Access
- Wireless Internet and All-IP integration
- Next Generation Wireless systems
- Mobile Broadband Wireless Access
- Pervasive Communication and Computing
- Ubiquitous and mobile access
- Wireless Applications and testbeds
- Multi-Homing and Vertical Handoff
- Multi-Channel Multi-Radio MAC / network layer management
- Channels and resource allocation algorithms
- Energy and power management algorithms
- Mobility Models
- Multi-technology switching using Software Defined Radios
- Context-aware services and applications
- Context-aware protocols and protocol architectures
- Interactive applications
- Mobile database management
- Wireless Multimedia Protocols
- Mobile and Wireless Entertainment
- Mobile Info-services
- Social mobile networks
- Social mobile applications
- Data analysis for mobile and wireless networks
- SDN solutions in mobile and wireless networks
- QoS management
- Mobility Control and Management
- Localization and tracking
- Mobile/Vehicular environment access
- Wireless ad hoc and sensor networks
- Security,Trust management and Privacy issues
- Fault Tolerance solutions
- Wireless Systems' Design
- Analysis/Simulation of wireless mobile systems
- Testbeds for experimental and simulation analysis


=========================
Paper Submission, Publication, and Important Dates:

All accepted papers will appear in the Symposium Proceedings published by ACM press.

- Submission Deadline: June 30, 2016 (11:59PM EST)

- Notification of Acceptance: July 31, 2016 (11:59PM EST)

Papers are submitted via the EDAS system (https://edas.info/N22672).
For any question or problems related to MobiWac 2015 submissions, please
contact the PC Chairs.

ORGANIZING COMMITTEE:

General Chair
Ángel Cuevas, Universidad Carlos III de Madrid, Spain

Program Co-Chairs
Periklis Chatzimisios, Alexander TEI of Thessaloniki, Greece
Robson De Grande, University of Ottawa, Canada


Technical Program Committee
Antonio A.F. Loureiro, Federal University of Minas Gerais, Brazil
Michele Albano, CISTER, Portugal
Chadi Assi, Concordia University, Canada
Jalel Ben-othman, University of Paris 13, France
Fernando Boavida, University of Coimbra, Portugal
Juan Carlos Cano, Technical University of Valencia, Spain
Yuh-Shyan Chen, National Taipei University, Taiwan
Stefano Chessa, University of Pisa, Italy
Danny De Vleeschauwer, Alcatel-Lucent, Belgium
Andrés García Saavedra, Hamilton Institute, Ireland
Roch Glitho, Concordia University, Canada
Roberto González, NEC Laboratories Europe, Germany
Khaled Harras, Carnegie Mellon University, USA
Charalampos Konstantopoulos, University of Piraeus, Greece
Pierre Leone, University of Geneva, Switzerland
Sotiris Nikoletseas, University of Patras & Computer Technology
Institute, Greece
Ai-Chun Pang, National Taiwan University, Taiwan
Grammati Pantziou, Technological Educational Institution of Athens, Greece
Cristina M. Pinotti, University of Perugia, Italy
Paulo Pinto, Universidade Nova de Lisboa, Portugal
Victor Ramos, Universidad Autonoma Metropolitana, Mexico
Victor Rangel, National University of Mexico, Mexico
Thierry Turletti, INRIA, France
Alicia Triviño, Universidad de Málaga, Spain
Manuel Urueña, Universidad Carlos III de Madrid, Spain
Emmanouel Varvarigos, University of Patras & Computer Technology
Institute, Greece
Zainab Zaidi, National ICT Australia, Ltd, Australia


Posters/Demo Chair
Graciela Román Alonso, Universidad Autónoma Metropolitana, Mexico


Publicity Chairs
Khalil El-Khatib, UOIT, Canada
Mirela. A. M. Notare, Sao Jose Municipal University, Brazil



FOR MORE INFORMATION about the conference, organizing committee, submission
instructions, and venue please see the conference website
(http://mobiwac-symposium.org).
==============================================
_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
Graham Hutton | 21 Jun 16:04 2016
Picon
Picon

Programming in Haskell - 2nd Edition

Dear all,

I'm delighted to announce that the 2nd edition of Programming
in Haskell will be published in August 2016!  The new edition
has been extensively updated and expanded to include recent and
more advanced features of Haskell, new examples and exercises,
selected solutions, and freely downloadable lecture slides and
example code.  Further details, including how to preorder and
obtain inspection copies, are provided below.

Best wishes,

Graham

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

*** BOOK ANNOUNCEMENT ***

Programming in Haskell - 2nd Edition

Graham Hutton, University of Nottingham

Cambridge University Press, August 2016

320 pages, 120 exercises, ISBN 9781316626221

http://tinyurl.com/PIH-2e

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

DESCRIPTION:

Haskell is a purely functional language that allows programmers
to rapidly develop clear, concise, and correct software.  The
language has grown in popularity in recent years, both in teaching
and in industry.  This book is based on the author's experience
of teaching Haskell for more than twenty years.  All concepts
are explained from first principles and no programming experience
is required, making this book accessible to a broad spectrum
of readers.  While Part I focuses on basic concepts, Part II
introduces the reader to more advanced topics.

This new edition has been extensively updated and expanded to
include recent and more advanced features of Haskell, new examples
and exercises, selected solutions, and freely downloadable lecture
slides and example code.  The presentation is clean and simple,
while also being fully compliant with the latest version of
the language, including recent changes concerning applicative,
monadic, foldable, and traversable types.

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

CONTENTS:

Foreword
Preface
Part I. Basic Concepts:
1. Introduction
2. First steps
3. Types and classes
4. Defining functions
5. List comprehensions
6. Recursive functions
7. Higher-order functions
8. Declaring types and classes
9. The countdown problem
Part II. Going Further:
10. Interactive programming
11. Unbeatable tic-tac-toe
12. Monads and more
13. Monadic parsing
14. Foldables and friends
15. Lazy evaluation
16. Reasoning about programs
17. Calculating compilers
Appendix A. Selected solutions
Appendix B. Standard prelude
Bibliography
Index

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

AUTHOR:

Graham Hutton is Professor of Computer Science at the University
of Nottingham.  He has taught Haskell to thousands of students
and received numerous best lecturer awards.  Hutton has served as
an editor of the Journal of Functional Programming, Chair of the
Haskell Symposium and the International Conference on Functional
Programming, and Vice-Chair of the ACM Special Interest Group on
Programming Languages, and he is an ACM Distinguished Scientist.

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

FURTHER DETAILS:

The following web page includes details for how the book can be
preordered, and how lecturers can obtain inspection copies:

http://tinyurl.com/PIH-2e

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

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.

_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
Jonathan Jouty | 21 Jun 13:53 2016
Gravatar

Haskell Developer Position at Scrive

Hi,

Cross-posting from StackOverflow [1] and Reddit [2].

We have a job opportunity at Scrive [3].
The company is based in Stockholm, Sweden, but the business is global and working in the Stockholm office is optional as most of the development team is working remotely already.
We are looking for someone in GMT±3 to be reachable during CET/CEST office hours.

Feel free to ask me questions.
Applications on StackOverflow please (best apply by July 24th).

Thanks.


PS. Hope mailing the list is appropriate, I subscribe on my private account and have seen postings before. Cheers!
--
Jonathan Jouty
Lead Developer at Scrive
_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

Gmane