[Haskell] SEIT-2020 CfPs (FINAL Submission Date): The 10th International Conference on Sustainable Energy Information Technology (August 9-12, 2020, Leuven, Belgium)

[Aneta Poniszewska-Marańda I72]

Call for Papers

The 10th International Conference on Sustainable Energy Information Technology 
(SEIT-20)

http://cs-conferences.acadiau.ca/seit-20/

IMPORTANT DATES

- Paper Submission Due:April 20, 2020 (FINAL)

- Acceptance Notification:  May 17, 2020

- Camera-Ready Submission: June 15, 2020

About
SEIT 2020 accepted papers will be published by Elsevier Science in the 
open-access Procedia Computer Science series on-line. Procedia Computer Science 
is hosted by Elsevier on www.Elsevier.com and on 
Elsevier content platform ScienceDirect 
(www.sciencedirect.com), and will be freely 
available worldwide. All papers in Procedia will be indexed by Scopus 
(www.scopus.com) and by Thomson Reuters' Conference 
Proceeding Citation Index 
(http://thomsonreuters.com/conference-proceedings-citation-index/). All papers 
in Procedia will also be indexed by Scopus 
(www.scopus.com) and Engineering Village (Ei) 
(www.engineeringvillage.com). This includes 
EI Compendex (www.ei.org/compendex). Moreover, all 
accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/). The papers 
will contain linked references, XML versions and citable DOI numbers. You will 
be able to provide a hyperlink to all delegates and direct your conference 
website visitors to your proceedings. Selected papers will be invited for 
publication in journals special issues.

SEIT 2020 will be held in the city of Leuven. Leuven is the capital of the 
province of Flemish Brabant in Belgium. It is located about 25 kilometres (16 
miles) east of Brussels. It is the 10th largest municipality in Belgium and the 
fourth in Flanders. Leuven is home to the Katholieke Universiteit Leuven, the 
largest and oldest university of the Low Countries and the oldest Catholic 
university still in existence. The related university hospital of UZ Leuven, is 
one of the largest hospitals of Europe. The city is also known for being the 
headquarters of Anheuser-Busch InBev, the world's largest brewer and one of the 
five largest consumer-goods companies in the world.

Leuven's Town Hall is one of the best-known Gothic town halls worldwide and 
Leuven's pride and joy. It took three architects and thirty years to build it. 
Leuven's 'Hall of Fame' features 236 statues, which were only added to the 
façade after 1850. There are 220 men and 16 women in total. On the bottom floor 
are famous Leuven scientists, artists and historical figures, dressed in 
Burgundian garb. The first floor is reserved for the patron saints of the 
various parishes of Leuven. Above them the façade is adorned by the counts and 
dukes of Brabant while the towers primarily feature biblical figures.


Conference Main Tracks
- Advanced Techniques for Energy Applications
- Energy Efficiency
- Energy Policy
- Environmental
- Green Sustainability
- Power Quality, Power Electronics and Electric Machines
- Power Systems
- Renewable Energies
- Sensing & Monitoring
- Smart Systems

Committees
Honorary Chair
  Luc De Schepper, Rector, Hasselt University, Belgium

General Chair
  Bruce Spencer, University of New Brunswick, Canada

Program Chairs
  Jesús Fraile Ardanuy, Universidad Politécnica de Madrid, Spain
  Davy Janssens, Hasselt University, Belgium

Workshops Chairs
  Hui Hou, Wuhan University of Technology, China
  Haroon Malik, Marshall University, USA

International Journals Chair
  Ansar-Ul-Haque Yasar, IMOB – Hasselt University, Belgium

Publicity Chairs
  Mustafa Gül, University of Alberta, Canada
  Aneta Poniszewska-Maranda, Lodz University of Technology, Poland

Advisory Committee
  Antonio J. Conejo, Universidad de Castilla - La Mancha, Spain
  Derek J Croome, University of Reading, UK
  Geert Deconinck, KU Leuven, Belgium
  Jatin Nathwani, University of Waterloo, Canada
  Saffa Riffat, University of Nottingham, UK
  Ali Sayigh,World Renewable Energy Congress / Network

Technical Program Committee
  http://cs-conferences.acadiau.ca/seit-20/#programCommittees



[Politechnika Łódzka / Lodz University of Technology]   [Facebook] 
  [Twitter] 
   [Youtube] 
[Linkedin] 


Treść tej wiadomości zawiera informacje przeznaczone tylko dla adresata. Jeżeli 
nie jesteście Państwo jej adresatem, bądź otrzymaliście ją przez pomyłkę, 
prosimy o powiadomienie o tym nadawcy oraz trwałe jej usunięcie.

This email contains information intended solely for the use of the individual 
to whom it is addressed. If you are not the intended recipient or if you have 
received this message in error, please notify the sender 

[Haskell] Two PhD positions in Utrecht

[Wouter Swierstra]

==
 Two PhD positions in functional programming
==

The Department of Information and Computing Sciences at Utrecht
University is currently advertising two PhD positions in
Functional Programming. The candidates will join the Intelligent
Systems group, working with Johan Jeuring, Gabriele Keller, and
Wouter Swierstra.

Besides research, the successful candidate will be expected to
help supervise MSc students and assist in the teaching of
courses.

The positions should be filled by September 2020, although the exact
starting date is negotiable.

-
Research topics
-

These two positions are tied to two specific topics.

* Programming tutors for Functional Languages (Johan Jeuring)

The focus of the position is on designing new technologies to support
students working in an intelligent tutoring system for functional
programming. We expect to use techniques from dependently typed
programming, refinement types, program synthesis, automated theorem
proving, and more to analyse student programs, and to help students in
taking the next step when developing a program. The candidate will
investigate the design and use of multiple technologies for this
purpose, add them to Ask-Elle, our intelligent tutoring system,
perform experiments with the system, and improve the technologies
based on the outcome of the experiments.

* Compiler verification for a smart contract language (Wouter
  Swierstra & Gabriele Keller)

This project aims to develop a certifying compiler for Plutus Tx, a
subset of the purely functional language Haskell that is used to
implement smart contracts for the Cardano blockchain. The Plutus smart
contract framework is being developed by IOHK for Cardano and the
present project is a joint effort of IOHK and Utrecht University. The
Plutus Tx compiler is based on the GHC Haskell compiler and adds a
translation step from GHC Core to a minimal lambda calculus. Programs
in this lambda calculus are executed during transaction validation in
a sandboxed execution environment in a manner that is crucial to the
security of the blockchain. This project aims to formalise the
semantics of the languages involved, to reason about the
transformation and optimisation steps that the compiler performs, and
finally, to generate a proof object certifying the correctness of the
generated code together with that code.

-
What we are looking for
-

The ideal candidates should have a degree in Computer Science, be
highly motivated, speak and write English well, and be proficient in
producing scientific reports. Furthermore, candidates should be able
to demonstrate experience with functional programming languages, such
as Haskell, OCaml, ML, Agda, Idris, or Coq.

-
What we offer
-

The candidates are offered a full-time position for four or five
years, depending on the teaching load. The gross salary ranges between
€2,325 in the first year and €2,972 in the fourth year per month for
full-time employment. A part-time position of at least 0.8 fte may
also be possible. The salary is supplemented with a holiday bonus of
8% and an end-of-year bonus of 8.3% per year. The position also
includes a generous allocation of fully-paid vacation days. In
addition we offer: a pension scheme, partially paid parental leave,
and flexible employment conditions. Conditions are based on the
Collective Labour Agreement Dutch Universities. The research group
will provide the candidate with necessary support on all aspects of
the project. More information is available on the website:

  Terms and employment: http://bit.ly/1elqpM7

Utrecht is consistently ranked as one of the best places in the world
to live.

-
How to apply
-

To apply please attach a letter of motivation, a curriculum vitae, and
(email) addresses of two referees. Make sure to also include a
transcript of the courses you have followed (at bachelor and master
level), with the grades you obtained, and to include a sample of your
scientific writing, such as your MSc or BSc thesis.

It is possible to apply for this position if you are close to
obtaining your undergraduate degree. In that case include a letter of
your supervisor with an estimate of your progress, and do not forget
to include at least a sample of your technical writing skills.

The application deadline for the first position closes on April
29th. You can apply through the University's website:

https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs/5-year-phd-candidate-position-in-intelligent-tutoring-systems-for-functional-programming-10-fte

The application for the second position is not yet open -- but feel
free to contact m

[Haskell] [FNC-2020] CFP (final extension): Conference on Future Networks and Communications. Leuven, Belgium (August 9-12, 2020)

[Wim Ectors]

The 15th International Conference on Future Networks and Communications


Leuven, Belgium

August 9-12, 2020

http://cs-conferences.acadiau.ca/fnc-20/




Future Networks and Communications (FNC) research effort will help to
achieve a major promise of emerging technologies such as ubiquitous access
to broadband, supporting vital applications in our daily lives such as
health, energy consumption, environment transport, entertainment or
education. The scope of FNC is the development of energy-efficient future
network infrastructures that support the convergence and interoperability
of heterogeneous mobile, wired and wireless broadband network technologies
as enablers of the future Internet. This includes but not limited to
ubiquitous fast broadband access and ultra-high speed end-to-end optical
connectivity, supporting open services and innovative ambient applications.
The scope also embraces novel and evolutionary approaches to tackle network
architectures, taking due consideration of users and societal needs for
success.


Important Dates



- Paper Submission Due:  April 20, 2020 (FIRM)

- Acceptance Notification:  May 17, 2020

- Final Manuscript Due:   June 15, 2020


Publication



All FNC 2020 accepted papers will be published by Elsevier Science in the
open-access Procedia Computer Science series on-line. Procedia Computer
Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content
platform ScienceDirect (www.sciencedirect.com) and will be freely available
worldwide. All papers in Procedia will be indexed by Scopus (www.scopus.com)
and by Thomson Reuters' Conference Proceeding Citation Index (
http://thomsonreuters.com/conference-proceedings-citation-index/). All
papers in Procedia will also be indexed by Scopus (www.scopus.com) and
Engineering Village (Ei) (www.engineeringvillage.com). This includes EI
Compendex (www.ei.org/compendex). Moreover, all accepted papers will be
indexed in DBLP (http://dblp.uni-trier.de/). The papers will contain linked
references, XML versions and citable DOI numbers. You will be able to
provide a hyperlink to all delegates and direct your conference website
visitors to your proceedings. Selected papers will be invited for
publication, in the following special issues:


- International Journal of Ambient Intelligence and Humanized Computing
(IF: 1.901), by Springer (http://www.springer.com/engineering/journal/12652)

- International Journal of Computing and Informatics (IF: 0.524), (
http://www.cai.sk/ojs/index.php/cai/index)

- International Journal of Transportation Research Part A: Policy and
Practice (IF: 4.371), by Elsevier (
https://www.journals.elsevier.com/transportation-research-part-a-policy-and-practice/)


- International Journal of Computer and Telecommunications Networking (IF:
3.030) (Pending), Elsevier (
https://www.journals.elsevier.com/computer-networks)


FNC 2020 will be held in conjunction with the 17th International Conference
on Mobile Systems and Pervasive Computing (MobiSPC
http://cs-conferences.acadiau.ca/mobispc-20/).


FNC 2020 will be held in the city of Leuven. Leuven is the capital of the
province of Flemish Brabant in Belgium. It is located about 25 kilometers
(16 miles) east of Brussels. It is the 10th largest municipality in Belgium
and the fourth in Flanders. Leuven is home to the Katholieke Universiteit
Leuven, the largest and oldest university of the Low Countries and the
oldest Catholic university still in existence. The related university
hospital of UZ Leuven, is one of the largest hospitals in Europe. The city
is also known for being the headquarters of Anheuser-Busch InBev, the
world's largest brewer and one of the five largest consumer-goods companies
in the world.


Leuven's Town Hall is one of the best-known Gothic town halls worldwide and
Leuven's pride and joy. It took three architects and thirty years to build
it. Leuven's 'Hall of Fame' features 236 statues, which were only added to
the façade after 1850. There are 220 men and 16 women in total. On the
bottom floor are famous Leuven scientists, artists and historical figures,
dressed in Burgundian garb. The first floor is reserved for the patron
saints of the various parishes of Leuven. The facade is adorned by the
counts and dukes of Brabant while the towers primarily feature biblical
figures.


COMMITTEES:

---

General Chair

 Ladislav Hluchy, Institute of Informatics, Slovak Academy of Sciences,
Slovakia


Program Chairs

 Haroon Malik, Marshall University, USA

 Yves Vanrompay, Hasselt University, Belgium


Workshops Chair

 Muhammad Adnan, Hasselt University, Belgium


International Journals Chair

 Atta Badii, Reading University, UK


Publicity Chairs

 Wim Ectors, Hasselt University, Belgium

 Mohammed Erritali, University Sultane Moulay Slimane, Morocco


Advisory Commit

[Haskell] Call for participation: Utrecht AFP Summer School

[Wouter Swierstra]

 
   SUMMER SCHOOL ON ADVANCED FUNCTIONAL PROGRAMMING

  Utrecht, the Netherlands, 06-10 July 2020

http://www.afp.school

# Call for Participation

## About

The Advanced Functional Programming summer school has been running for
more than ten years. We aim to educate aspiring Haskell programmers
beyond the basic material covered by many textbooks.

We have decided to advertise the Summer School and accept new
registrations for the moment, but we are monitoring the situation with
COVID-19 carefully. All the Utrecht Summer Schools offer participants
a full refund of their registration fee if they decide to cancel their
registration.

The lectures will cover several more advanced topics regarding the
theory and practice of Haskell programming, including topics such as:

  * lambda calculus;
  * monads and monad transformers;
  * lazy evaluation;
  * generalized algebraic data types;
  * type families and type-level programming;
  * concurrency and parallelism.

The summer school consists of a mix of lectures, labs, and a busy
social program.

## Lecturers

Utrecht staff:
* Gabriele Keller
* Trevor McDonell
* Wouter Swierstra

## Prerequisites

We expect students to have a basic familiarity with Haskell
already. You should be able to write recursive functions over
algebraic data types, such as lists and trees. There is a great deal
of material readily available that covers this material. If you've
already started learning Haskell and are looking to take your
functional programming skills to the next level, this is the course
for you.

Soft registration deadline: 1 July, 2020
School: 06-10 July, 2020

## Costs
 
  1700 euro - Housing and registration
  1500 euro - Registration only
 
We offer a 1000 discount for students and staff members affiliated with
a university or other non-profit organization.

## Scholarships
  
If you're struggling to finance your trip to Utrecht, please let us
know. We have a very limited number of scholarships or discounts
available for students that would not be able to attend otherwise,
especially for women and under-represented minorities.

## Further information
 
Further information, including instructions on how to register, is
available on our website:

  http://www.afp.school
  
  
___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell