Re: [Haskell] Haskell tutors required!

2020-09-09 Thread Philip Wadler
Yes, you've located last year's syllabus! Go well, -- P

.   \ Philip Wadler, Professor of Theoretical Computer Science,
.   /\ School of Informatics, University of Edinburgh
.  /  \ and Senior Research Fellow, IOHK
. http://homepages.inf.ed.ac.uk/wadler/



On Tue, 8 Sep 2020 at 21:20, Howard B. Golden 
wrote:

> Hi, I am intrigued by the opportunity, but I wonder if I am up to the
> task. To help me decide, I have this question: Is the syllabus for the
> course similar to the most recent presentation (
> https://www.learn.ed.ac.uk/webapps/blackboard/content/listContent.jsp?course_id=_73477_1&content_id=_3873901_1
> )?
>
> Best regards,
> Howard
>
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell


[Haskell] Invitation to the 3rd European Forum for the SARL Users and Developers (EuSarlCon-21)

2020-09-09 Thread Yazan Mualla
INVITATION FOR PAPERS AND TALKS 

The 3rd European Forum for the SARL Users and Developers (EuSarlCon-21) 
http://www.ciad-lab.fr/the-3rd-european-forum-for-the-sarl-users-and-developers-eusarlcon21/
 
--- 
In conjunction with: 
* The 12th International Conference on Ambient Systems, Networks, and 
Technologies (ANT 2021) 
http://cs-conferences.acadiau.ca/ant-21/ 

* The 5th International Workshop on Agent-based Modeling and Applications with 
SARL (SARL-21) 
http://www.ciad-lab.fr/the-5nd-international-workshop-on-agent-based-modeling-and-applications-with-sarl-sarl-21/
 

March 23-26, 2021, Warsaw, Poland. 

--- 
Description 
=== 

The 2021 European SarlCon is the SARL user meeting that is organized in Europe 
in order to 
provide a place where SARL users and developers could exchange their 
experiences. 
It will be held on March 23-26, 2021, in Warsaw, Poland (one half-day in the 
program of the associated ANT-21 conference). 

Abstracts and/or short papers are due on January 27, 2021. 
The papers are expected to be very short (< 2500 equivalent words) through 
EasyChair. 
SARL-21 is providing an alternative for publishing longer papers. 


Submissions 
=== 

You are invited to submit the abstract in PDF format on EasyChair, not 
exceeding 1000 words in length. 


General Chair 
= 

Stéphane GALLAND (UBFC, France)  


Program Chair 
= 

Yazan MUALLA (UBFC, France) 


Registration 
 

Because EuSarlCon21 is organized in conjunction with ANT21, there is no 
specific fee for EuSarlCon21 itself, 
but for the ANT21 conference, which provides the access to its facilities. 
You must register yourself to the ANT21 in order to be included in the list of 
the participants. 
When registering, you could select the specific fee of EuSarlCon21 about 100 
Euros. 

Venue, Accommodation & Visa Requirements 
 

The date and hour of the forum will be published as soon as the program of the 
associated ANT-21 conference is fixed. 
Please visit the ANT21 Venue & Accommodation Page for more information: 
http://cs-conferences.acadiau.ca/ant-21/#conferenceVenue 



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


[Haskell] CFP - The 5th International Workshop on Agent-based Modeling and Applications with SARL (SARL-21)

2020-09-09 Thread Yazan Mualla
CALL FOR PAPERS 
The 5th International Workshop on Agent-based Modeling and Applications with 
SARL (SARL-21) 
http://www.ciad-lab.fr/the-5nd-international-workshop-on-agent-based-modeling-and-applications-with-sarl-sarl-21/
 
---
 
In conjunction with 
* The 12th International Conference on Ambient Systems, Networks, and 
Technologies (ANT 2021) 
http://cs-conferences.acadiau.ca/ant-21/ 

* The 3rd European Forum for the SARL Users and Developers (EuSarlCon-21) 
http://www.ciad-lab.fr/the-3rd-european-forum-for-the-sarl-users-and-developers-eusarlcon21/
 

March 23 - 26, 2021, Warsaw, Poland. 

---
 
Description 
=== 

Research on Agents and Multi-Agent Systems has matured during the last decade 
and many 
effective applications of this technology are now deployed. SARL-21 provides an 
international forum to present and discuss the latest scientific developments 
and 
their effective applications, to assess the impact of the approach, and to 
facilitate 
technology transfer. 

SARL workshop was born with the SARL agent programming language, but the 
scientific results 
presented in SARL-20 are not restricted to SARL; other languages and agent 
platforms may 
be presented. 

SARL aims at providing the fundamental abstractions for dealing with 
concurrency, 
distribution, interaction, decentralization, reactivity, autonomy and dynamic 
reconfiguration. These high-level features are now considered as the major 
requirements for an easy and practical implementation of modern complex 
software 
applications. We are convinced that the agent-oriented paradigm holds the keys 
to 
effectively meet these features. Considering the variety of existing approaches 
and 
meta-models in the field of agent-oriented engineering and more generally 
multi-agent 
systems, our approach remains as generic as possible and highly extensible to 
easily 
integrate new concepts and features. 

The goal of SARL-21 is to provide a place where the different points of view on 
the 
modeling and the simulation with agent platforms and agent programming 
languages may be 
discussed. 

SARL-21 will be held in Warsaw, Poland (March 23 - 26, 2021) in conjunction 
with the 
12th International Conference on Ambient Systems, Networks, and Technologies 
(ANT 2021) and 
the European SarlCon 2021. 


Topics 
== 

The main topics of the SARL-21 workshop are (but not restricted to): 
* Methods and Models: 
* Agent based Modeling and Simulation; 
* Agent programming language; 
* Agent based Simulation; 
* Agent oriented analysis and design methods; 
* Ontologies and theories about large urban systems; 
* Formal models of agent-based simulation; 
* Organizational models. 
* Applications: 
* Traffic/Transport; 
* Crowds; 
* Smart grids and smart buildings; 
* Land-Use; 
* Energy. 


Important Dates 
=== 

* Submission deadline: November 1, 2020 
* Notification: December 30, 2020 
* Final date for camera-ready copy: January 27, 2021 
* Workshop: March 23-26, 2021 


Submission 
== 

All workshop accepted papers will be included in the conference proceedings 
published by 
Elsevier Science in the open-access Procedia Computer Science series on-line. 

The submitted paper must be formatted according to the guidelines of Procedia 
Computer 
Science, Elsevier. You are invited to submit full length papers in PDF format 
on 
EasyChair, not exceeding 6 pages in length, in single-column format including 
diagrams 
and references while following the Procedia Computer Science guidelines. Papers 
that do 
not follow these guidelines may be rejected without consideration of their 
merits. 

All papers will be reviewed by at least two Program Committee members on the 
basis 
of technical quality, originality, clarity, and relevance to the track topics 
listed above. At least one author of each paper must attend the workshop to 
present 
the paper. 


Workshop Chairs 
=== 

* Stéphane GALLAND (Belfort-Montbeliard University of Technology, France) 
* Sebastian RODRIGUEZ (Royal Melbourne Institute of Technology, Australia) 


Publicity Chairs 
 

Yazan MUALLA (Belfort-Montbeliard University of Technology, France) 


Registration 
 

Please visit the ANT21 Registration Page for more information: 
http://cs-conferences.acadiau.ca/ant-21/#registration 


Venue, Accommodation & Visa Requirements 
 

Please visit the ANT21 Venue & Accommodation Page for more information: 
http://cs-conferences.acadiau.ca/ant-21/#conferenceVenue 

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