From icfp.publicity at googlemail.com Tue Feb 2 15:57:37 2021
From: icfp.publicity at googlemail.com (Sam Tobin-Hochstadt)
Date: Tue, 02 Feb 2021 10:57:37 -0500
Subject: [Haskell] Call for Papers: PACMPL issue ICFP 2021
Message-ID: <60197671c8cec_c46e221c136c@homer.mail>
PACMPL Volume 5, Issue ICFP 2021
Call for Papers
Accepted papers to be invited for presentation at
The 26th ACM SIGPLAN International Conference on Functional Programming
To Be Held Virtualy
http://icfp21.sigplan.org/
### Important dates
Submissions due: 2 March 2021 (Tuesday) Anywhere on Earth
https://icfp21.hotcrp.com
Author response: 20 April (Tuesday) - 23 April (Friday) 17:00 UTC
Notification: 7 May (Friday)
Final copy due: 30 June (Wednesday)
Conference: 22 August (Sunday) - 27 August (Friday)
### About PACMPL
Proceedings of the ACM on Programming Languages (PACMPL
) is a Gold Open Access journal publishing
research on all aspects of programming languages, from design to
implementation and from mathematical formalisms to empirical
studies. Each issue of the journal is devoted to a particular subject
area within programming languages and will be announced through
publicized Calls for Papers, like this one.
### Scope
[PACMPL](https://pacmpl.acm.org/) issue ICFP 2021 seeks original
papers on the art and science of functional programming. Submissions
are invited on all topics from principles to practice, from
foundations to features, and from abstraction to application. The
scope includes all languages that encourage functional programming,
including both purely applicative and imperative languages, as well as
languages with objects, concurrency, or parallelism. Topics of
interest include (but are not limited to):
* Language Design: concurrency, parallelism, and distribution;
modules; components and composition; metaprogramming; macros;
pattern matching; type systems; type inference; dependent types;
session types; gradual typing; refinement types; interoperability;
domain-specific languages; imperative programming; object-oriented
programming; logic programming; probabilistic programming;
reactive programming; generic programming; bidirectional
programming.
* Implementation: abstract machines; virtual machines;
interpretation; compilation; compile-time and run-time
optimization; garbage collection and memory management; runtime
systems; multi-threading; exploiting parallel hardware; interfaces
to foreign functions, services, components, or low-level machine
resources.
* Software-Development Techniques: algorithms and data structures;
design patterns; specification; verification; validation; proof
assistants; debugging; testing; tracing; profiling; build systems;
program synthesis.
* Foundations: formal semantics; lambda calculus; program
equivalence; rewriting; type theory; logic; category theory;
monads; continuations; control; state; effects; names and binding;
program verification.
* Analysis and Transformation: control flow; data flow; abstract
interpretation; partial evaluation; program calculation.
* Applications: symbolic computing; formal-methods tools; artificial
intelligence; systems programming; distributed systems and web
programming; hardware design; databases; XML processing;
scientific and numerical computing; graphical user interfaces;
graphics and multimedia; GPU programming; scripting; system
administration; security.
* Education: teaching introductory programming; parallel
programming; mathematical proof; algebra.
Submissions will be evaluated according to their relevance,
correctness, significance, originality, and clarity. Each submission
should explain its contributions in both general and technical terms,
clearly identifying what has been accomplished, explaining why it is
significant, and comparing it with previous work. The technical
content should be accessible to a broad audience.
PACMPL issue ICFP 2021 also welcomes submissions in two separate
categories — Functional Pearls and Experience Reports — that must be
marked as such when submitted and that need not report original
research results. Detailed guidelines on both categories are given at
the end of this call.
Please contact the associate editor if you have questions or are
concerned about the appropriateness of a topic.
### Preparation of submissions
**Deadline**: The deadline for submissions is **Tuesday, March 2, 2021**,
Anywhere on Earth ().
This deadline will be strictly enforced.
**Formatting**: Submissions must be in PDF format, printable in black
and white on US Letter sized paper, and interpretable by common PDF
tools. All submissions must adhere to the "ACM Small" template that is
available (in both LaTeX and Word formats) from
.
There is a limit of **25 pages for a full paper or Functional Pearl**
and **12 pages for an Experience Report**; in either case, the
bibliography will not be counted against these limits. Submissions
that exceed the page limits or, for other reasons, do not meet the
requirements for formatting, will be summarily rejected. Supplementary
material can and should be **separately** submitted (see below).
See also PACMPL's Information and Guidelines for Authors at
.
**Submission**: Submissions will be accepted at
Improved versions of a paper may be submitted at any point before the
submission deadline using the same web interface.
**Author Response Period**: Authors will have a 72-hour period,
starting at 17:00 UTC on **Tuesday, April 20, 2021**, to read reviews
and respond to them.
**Supplementary Material**: Authors have the option to attach
supplementary material to a submission, on the understanding that
reviewers may choose not to look at it. This supplementary material
should **not** be submitted as part of the main document; instead, it
should be uploaded as a **separate** PDF document or tarball.
Supplementary material should be uploaded **at submission time**, not
by providing a URL in the paper that points to an external repository.
Authors are free to upload both anonymized and non-anonymized
supplementary material. Anonymized supplementary material will be
visible to reviewers immediately; non-anonymized supplementary
material will be revealed to reviewers only after they have submitted
their review of the paper and learned the identity of the author(s).
**Authorship Policies**: All submissions are expected to comply with
the ACM Policies for Authorship that are detailed at
.
**Republication Policies**: Each submission must adhere to SIGPLAN's
republication policy, as explained on the web at
.
### Review Process
This section outlines the two-stage process with lightweight
double-blind reviewing that will be used to select papers for PACMPL
issue ICFP 2021. We anticipate that there will be a need to clarify
and expand on this process, and we will maintain a list of frequently
asked questions and answers on the PACMPL issue website to address
common concerns.
**PACMPL issue ICFP 2021 will employ a two-stage review process.** The
first stage in the review process will assess submitted papers using
the criteria stated above and will allow for feedback and input on
initial reviews through the author response period mentioned
previously. As a result of the review process, a set of papers will be
conditionally accepted and all other papers will be rejected.
Authors will be notified of these decisions on **May 7, 2021**.
Authors of conditionally accepted papers will be provided with
committee reviews along with a set of mandatory revisions. After four
weeks (June 4, 2021), the authors will provide a second
submission. The second and final reviewing phase assesses whether the
mandatory revisions have been adequately addressed by the authors and
thereby determines the final accept/reject status of the paper. The
intent and expectation is that the mandatory revisions can be
addressed within four weeks and hence that conditionally accepted
papers will in general be accepted in the second phase.
The second submission should clearly identify how the mandatory
revisions were addressed. To that end, the second submission must be
accompanied by a cover letter mapping each mandatory revision request
to specific parts of the paper. The cover letter will facilitate a
quick second review, allowing for confirmation of final acceptance
within two weeks. Conversely, the absence of a cover letter will be
grounds for the paper’s rejection.
**PACMPL issue ICFP 2021 will employ a lightweight double-blind
reviewing process.** To facilitate this, submitted papers must
adhere to two rules:
1. **author names and institutions must be omitted**, and
2. **references to authors' own related work should be in the third
person** (e.g., not "We build on our previous work ..." but rather
"We build on the work of ...").
The purpose of this process is to help the reviewers come to an
initial judgement about the paper without bias, not to make it
impossible for them to discover the authors if they were to
try. Nothing should be done in the name of anonymity that weakens the
submission or makes the job of reviewing the paper more difficult
(e.g., important background references should not be omitted or
anonymized). In addition, authors should feel free to disseminate
their ideas or draft versions of their paper as they normally
would. For instance, authors may post drafts of their papers on the
web or give talks on their research ideas.
### Information for Authors of Accepted Papers
* As a condition of acceptance, final versions of all papers must
adhere to the new ACM Small format. The page limit for the final
versions of papers will be increased by two pages to help authors
respond to reviewer comments and mandatory revisions: **27 pages
plus bibliography for a regular paper or Functional Pearl, 14 pages
plus bibliography for an Experience Report**.
* Authors of accepted submissions will be required to agree to one of
the three ACM licensing options: open access on payment of a fee
(**recommended**, and SIGPLAN can cover the cost as described next);
copyright transfer to ACM; or retaining copyright but granting ACM
exclusive publication rights. Further information about ACM author
rights is available from .
* PACMPL is a Gold Open Access journal, and authors are encouraged to
publish their work under a CC-BY license. Gold Open Access
guarantees permanent free online access to the definitive version in
the ACM Digital Library, and the recommended CC-BY option also
allows anyone to copy and distribute the work with attribution.
Gold Open Access has been made possible by generous funding through
ACM SIGPLAN, which will cover all open access costs in the event
authors cannot. Authors who can cover the costs may do so by paying
an Article Processing Charge (APC). PACMPL, SIGPLAN, and ACM
Headquarters are committed to exploring routes to making Gold Open
Access publication both affordable and sustainable.
* ACM offers authors a range of copyright options, one of which is
Creative Commons CC-BY publication; this is the option recommended
by the PACMPL editorial board. A reasoned argument in favour of this
option can be found in the article [Why
CC-BY?](https://oaspa.org/why-cc-by/) published by OASPA, the Open
Access Scholarly Publishers Association.
* ACM Author-Izer is a unique service that enables ACM authors to
generate and post links on either their home page or institutional
repository for visitors to download the definitive version of their
articles from the ACM Digital Library at no charge. Downloads
through Author-Izer links are captured in official ACM statistics,
improving the accuracy of usage and impact
measurements. Consistently linking to the definitive version of an
ACM article should reduce user confusion over article
versioning. After an article has been published and assigned to the
appropriate ACM Author Profile pages, authors should visit
to learn
how to create links for free downloads from the ACM DL.
* The official publication date is the date the papers are made
available in the ACM Digital Library. This date may be up to *two
weeks prior* to the first day of the conference. The official
publication date affects the deadline for any patent filings related
to published work.
* Authors of each accepted submission are invited to attend and be
available for the presentation of that paper at the conference. The
schedule for presentations will be determined and shared with authors
after the full program has been selected.
### Artifact Evaluation
Authors of papers that are conditionally accepted in the first phase
of the review process will be encouraged (but not required) to submit
supporting materials for Artifact Evaluation. These items will then be
reviewed by an Artifact Evaluation Committee, separate from the paper
Review Committee, whose task is to assess how the artifacts support
the work described in the associated paper. Papers that go through the
Artifact Evaluation process successfully will receive a seal of
approval printed on the papers themselves. Authors of accepted papers
will be encouraged to make the supporting materials publicly available
upon publication of the papers, for example, by including them as
"source materials" in the ACM Digital Library. An additional seal
will mark papers whose artifacts are made available, as outlined in
the ACM guidelines for artifact badging.
Participation in Artifact Evaluation is voluntary and will not
influence the final decision regarding paper acceptance.
### Special categories of papers
In addition to research papers, PACMPL issue ICFP solicits two kinds
of papers that do not require original research contributions:
Functional Pearls, which are full papers, and Experience Reports,
which are limited to half the length of a full paper. Authors
submitting such papers should consider the following guidelines.
#### Functional Pearls
A Functional Pearl is an elegant essay about something related to
functional programming. Examples include, but are not limited to:
* a new and thought-provoking way of looking at an old idea
* an instructive example of program calculation or proof
* a nifty presentation of an old or new data structure
* an interesting application of functional programming techniques
* a novel use or exposition of functional programming in the classroom
While pearls often demonstrate an idea through the development of a
short program, there is no requirement or expectation that they do
so. Thus, they encompass the notions of theoretical and educational
pearls.
Functional Pearls are valued as highly and judged as rigorously as
ordinary papers, but using somewhat different criteria. In particular,
a pearl is not required to report original research, but, it should be
concise, instructive, and entertaining. A pearl is likely to be
rejected if its readers get bored, if the material gets too
complicated, if too much specialized knowledge is needed, or if the
writing is inelegant. The key to writing a good pearl is polishing.
A submission that is intended to be treated as a pearl must be marked
as such on the submission web page, and should contain the words
"Functional Pearl" somewhere in its title or subtitle. These steps
will alert reviewers to use the appropriate evaluation
criteria. Pearls will be combined with ordinary papers, however, for
the purpose of computing the conference's acceptance rate.
#### Experience Reports
The purpose of an Experience Report is to help create a body of
published, refereed, citable evidence that functional programming
really works -- or to describe what obstacles prevent it from
working.
Possible topics for an Experience Report include, but are not limited to:
* insights gained from real-world projects using functional programming
* comparison of functional programming with conventional programming
in the context of an industrial project or a university curriculum
* project-management, business, or legal issues encountered when
using functional programming in a real-world project
* curricular issues encountered when using functional programming in
education
* real-world constraints that created special challenges for an
implementation of a functional language or for functional
programming in general
An Experience Report is distinguished from a normal PACMPL issue ICFP
paper by its title, by its length, and by the criteria used to
evaluate it.
* Both in the papers and in any citations, the title of each
accepted Experience Report must end with the words "(Experience
Report)" in parentheses. The acceptance rate for Experience
Reports will be computed and reported separately from the rate for
ordinary papers.
* Experience Report submissions can be at most 12 pages long,
excluding bibliography.
* Each Experience Report accepted to the PACMPL issue will be
presented at the conference, but depending on the number of
Experience Reports and regular papers accepted, authors of
Experience reports may be asked to give shorter talks.
* Because the purpose of Experience Reports is to enable our
community to accumulate a body of evidence about the efficacy of
functional programming, an acceptable Experience Report need not
add to the body of knowledge of the functional-programming
community by presenting novel results or conclusions. It is
sufficient if the Report states a clear thesis and provides
supporting evidence. The thesis must be relevant to the PACMPL
issue, but it need not be novel.
The review committee will accept or reject Experience Reports based on
whether they judge the evidence to be convincing. Anecdotal evidence
will be acceptable provided it is well argued and the author explains
what efforts were made to gather as much evidence as
possible. Typically, more convincing evidence is obtained from papers
which show how functional programming was used than from papers which
only say that functional programming was used. The most convincing
evidence often includes comparisons of situations before and after the
introduction or discontinuation of functional programming. Evidence
drawn from a single person's experience may be sufficient, but more
weight will be given to evidence drawn from the experience of groups
of people.
An Experience Report should be short and to the point: it should make
a claim about how well functional programming worked on a particular
project and why, and produce evidence to substantiate this claim. If
functional programming worked in this case in the same ways it has
worked for others, the paper need only summarize the results;
the main part of the paper should discuss how well it worked and in
what context. Most readers will not want to know all the details of
the project and its implementation, but the paper should characterize
the project and its context well enough so that readers can judge to
what degree this experience is relevant to their own projects. The
paper should take care to highlight any unusual aspects of the
project. Specifics about the project are more valuable than
generalities about functional programming; for example, it is more
valuable to say that the team delivered its software a month ahead of
schedule than it is to say that functional programming made the team
more productive.
If the paper not only describes experience but also presents new
technical results, or if the experience refutes cherished beliefs of
the functional-programming community, it may be better to submit it as
a full paper, which will be judged by the usual criteria of novelty,
originality, and relevance. The associate editor will be happy to
advise on any concerns about which category to submit to.
### ICFP Organizers
General Chair: Sukyoung Ryu (KAIST, South Korea)
Accessibility Co-Chairs: Lindsey Kuper (UC Santa Cruz, USA), Kathrin
Stark (Princeton University, USA)
Artifact Evaluation Co-Chairs: Gabriel Scherer (INRIA Saclay, France),
Brent Yorgey (Hendrix College, USA)
Industrial Relations Co-Chairs: Alan Jeffrey (Roblox, USA),
Simon Marlow (Facebook, England)
Programming Contest Co-Organisers: Alex Lang, Jasper Van der Jeugt
(Fugue, Switzerland)
Publicity and Web Chair: Sam Tobin-Hochstadt (Indiana University, USA)
Student Research Competition Chair: Anders Miltner (University of
Texas, USA)
Student Volunteer Co-Chairs: Lily Bryant (University of British
Columbia, Canada), Jaemin Hong (KAIST, South Korea), Hanneli Tavante
(McGill University, Canada)
Video Co-Chairs: Leif Andersen (Northeastern University, USA),
Benjamin Chung (Northeastern University, USA)
Workshops Co-Chairs: Leonidas Lampropoulos (University of Maryland, USA),
Zoe Paraskevopoulou (Princeton University, USA)
### PACMPL Volume 5, Issue ICFP 2021
Associate Editor: Ronald Garcia, (University of British Columbia, Canada)
Review Committee:
Zena Ariola (University of Oregon, USA)
Stephanie Balzer (Carnegie Mellon University, USA)
Matteo Cimini (UMass Lowell, USA)
Youyou Cong (Tokyo Institute of Technology, Japan)
Harley Eades (University of Augusta, USA)
Andrew Gordon (Microsoft Research & University of Edinburgh, United Kingdom)
Benjamin Greenman (Brown University, USA)
Arjun Guha (Northeastern University, USA)
Jurriaan Hage (Utrecht, The Netherlands)
Favonia (University of Minnesota, USA)
Suresh Jagannathan (Purdue University, USA)
Patricia Johann (Appalachian State University, USA)
Ralf Jung (Max Planck Institute, Germany)
Ekaterina Komendantskaya (Heriot-Watt, Scotland)
Leonidas Lampropoulos (University of Maryland, USA)
Kazutaka Matsuda (Tohoku University, Japan)
Akimasa Morihata (Univeristy of Tokyo, Japan)
Stefan Muller (Illinois Institute of Technology, USA)
Max New (Wesleyan University, USA)
Rishiyur Nikhil (Bluespec , USA)
Cyrus Omar (University of Michigan, USA)
Brigitte Pientka (McGill University, Canada)
Norman Ramsey (Tufts University, USA)
Christine Rizkallah (University of New South Wales, Australia)
Taro Sekiyama (National Institute for Informatics, Japan)
Eijiro Sumii (Tohoku University, Japan)
Amin Timany (Aarhus University, Denmark)
Mitchell Wand (Northeastern University, USA)
Steve Zdancewic (University of Pennsylvania, USA)
From orven.llantos at g.msuiit.edu.ph Wed Feb 3 07:43:34 2021
From: orven.llantos at g.msuiit.edu.ph (Orven Llantos)
Date: Wed, 3 Feb 2021 15:43:34 +0800
Subject: [Haskell] The 18th International Conference on Mobile Systems and
Pervasive Computing
Message-ID:
-- Apologies for cross-posting. --
The 18th International Conference on Mobile Systems and Pervasive Computing
August 9-12, 2021, Leuven, Belgium
http://cs-conferences.acadiau.ca/mobispc-21
Important Dates
Workshop Proposal: February 21, 2021
Submission Deadline March 19, 2021
Author Notification: May 17, 2021
Final Manuscript Due: June 15, 2021
Mobile system and Pervasive computing have evolved into an active area of
research and development, due to the tremendous advances in a broad
spectrum of technologies and topics including wireless networking, mobile
and distributed computing, sensor systems, RFID technology, and the
ubiquitous mobile phone. MobiSPC-2021 solicits papers that focus on the
theory, system, practice and challenge of providing users with a successful
mobile or wireless experience. This includes how mobile computing changes
how people pervasively use their computer, computing resources and
applications, as well the systems, services and technology enabling those
applications.
MobiSPC-2021 will provide a leading edge, scholarly forum for researchers,
engineers, and students alike to share their state-of-the-art research and
developmental work in the broad areas of pervasive computing and
communications. The topics include but are not limited to:
Component-based IoT
- Cloud support for the IoT
- Composition of IoT services and components
- Distribution and binding models for IoT applications
- Experiences applying component-based design to IoT systems
- Interoperability of IoT services and components
- Modelling, development and simulation support for the IoT
- Modular hardware/software co-design
- Modular or component based FPGA development
- Novel component models for the IoT
- Privacy of modular IoT systems
- Security of modular IoT systems
Enabling Technologies and Emerging Topics
- Agents and Intelligent Computing
- Big data
- Cyber Physical Social Systems
- Mobile Applications
- Mobile Crowd-sourcing and Human-in-the-Loop Design
- Mobile Services and Platforms
- Mobile Sensor Based Personal Informatics
- Mobile Web
- Near Field Communication
- New Mobile Sensing Hardware
- Robotic Sensor Networking
- Vehicular Social Networks
- Wearable Augmented Reality Systems
Internet of Things (IoT)
- Data Mining on IoT systems
- Edge Computing solutions for IoT
- IoT applied to Cultural Heritage
- IoT for e-health
- IoT platforms for Data analytics on pervasive and mobile environments
- IoT tools and applications
- Network Design and Architecture
- Sensor networks, Remote Diagnosis and Development
Mobile Cloud Computing
- Advertisement
- Computing Performance Evaluation
- Contest Based Sensing
- Data and Storage Architecture
- Data Storage Management for Mobile Cloud Computing Service Provider and
Users
- Games
- Multimedia Services
- Privacy Protection
- Quality of Experiences and (QoE) Studies
- Security
- Service Models
- Service Platform
- Software Development Platform and Enabled New Applications
- Virtualization and Programmable Infrastructure
Mobile Data Management
- Context-aware Computing for Intelligent Mobile Services
- Data Management for Emerging Smart Urban Systems
- Data management for Next-Gen Mobile and Ad-Hoc Networks
- Data Management for the Internet of Things (IoT)
- Data Management in the Mobile Cloud
- Data replication, migration and dissemination in mobile environments
- Data stream processing in mobile/sensor network
- Mobile Activity Recognition
- Mobile Data Analytics
- Mobile Data and User/Behavioural Understanding
- Mobile Location-Based Social Networks
- Mobile Situation Inference
- Query Processing for moving objects/users
- Recommendations for Mobile Users
- Semantic Data Management for Mobile Devices/Applications
- Transactions and workflows in mobile environments
Mobile Social Networking
- MSN Advertising, Business to Business (B2B) Marketing
- MSN Algorithms for Social Search
- MSN Analytics
- MSN Architecture
- MSN Brand Management (social brand strategic development and product
management)
- MSN Data Mining and Machine Learning
- MSN Infrastructure Support
- MSN Marketing (digital, direct and mobile marketing)
- MSN Privacy in Data Collection and Management
- Trust and Reputations in MSN
Pervasive Computing
- Adaptive, Autonomic and Context-Aware Computing
- Architectures, Protocols, and Technologies for Pervasive Communications
- Cognitive Computing in Pervasive Systems
- Context Modelling and Reasoning
- Data Management for Pervasive Computing
- Energy-Efficient and Green Pervasive Computing
- Innovative Pervasive Computing Applications
- Machine Learning for Activity Recognition
- Middleware for Pervasive Services and Applications
- Mobile/Wearable Computing Systems and Services in Pervasive Computing
- Multimodal Sensing and Context for Pervasive Applications
- Opportunistic Networking and Sensing in Pervasive Systems
- Participatory and Social Sensing
- Pervasive Computing Aspects of Social Networks
- Positioning and Tracking Technologies
- Programming Paradigms for Pervasive Systems
- Sensors and RFID in Pervasive Systems
- Smart Devices and Intelligent Environments
- Social and Economic Models for Pervasive Systems
- Software Evolution and Maintenance in Pervasive Systems
- Trust, Security and Privacy Issues in Pervasive Systems
- User Interface, Interaction, and Persuasion
- Virtual Immersive Communications
Honorary Chair
Luc De Schepper, Rector, Hasselt University, Belgium
General Chair
Danny Hughes, KU Leuven, Belgium
Program Chairs
Hossam Hassanein, Queen's University, Canada
Ansar Yasar, Hasselt University, Belgium
Workshops Chair
Muhammad Adnan, Hasselt University, Belgium
Tracks Chairs
Longbiao Chen, Xiamen University, China
Salimur Choudhury, Lakehead University, Canada
Stéphane Galland, Université de Technologie de Belfort-Montbéliard, France
Uneb Gazger, University of Bahrain, Bahrain
Camille Kamga, The City College of New York, USA
Yongrui (Louie) Qin, University of Huddersfield, UK
Hamid Mcheick, UQAC, Canada
Wendy Osborn, University of Lethbridge, Canada
Rahim Rahmani, Stockholm University, Sweden
Qussai Yaseen, Jordan University of Science and Technology, Jordan
International Journals Chair
Atta Badii, Reading University, UK
Publicity Chairs
El Arbi Abdellaoui Alaoui, EIGSI-Casablanca, Morocco
Orven E. Llantos, MSU-IIT, Philippines
Advisory Committee
Flavien Balbo, Ecole Nationale Supérieure des Mines de Saint Etienne, France
Erol Gelenbe, Imperial College, UK
Vincenzo Loia, University of Salerno, Italy
Ralf Steinmetz, Technische Universitaet Darmstadt, Germany
Mohamed Younis, University of Maryland Baltimore County, USA
Steering Committee
Elhadi Shakshuki, Acadia University, Canada (Chair and MobiSPC Founder)
--
Orven E. Llantos, PhD
Associate Professor
School of Computer Studies
MSU-IIT
--
---*DISCLAIMER AND CONFIDENTIALITY NOTICE* The Mindanao State
University-Iligan Institute of Technology
(MSU-IIT) makes no warranties of any kind, whether expressed or implied,
with respect to the MSU-IIT e-mail resources it provides. MSU-IIT will not
be responsible for damages resulting from the use of MSU-IIT e-mail
resources, including, but not limited to, loss of data resulting from
delays, non-deliveries, missed deliveries, service interruptions caused by
the negligence of a MSU-IIT employee, or by the User's error or omissions.
MSU-IIT specifically denies any responsibility for the accuracy or quality
of information obtained through MSU-IIT e-mail resources, except material
represented as an official MSU-IIT record. Any views expressed in this
e-mail are those of the individual sender and may not necessarily reflect
the views of MSU-IIT, except where the message states otherwise and the
sender is authorized to state them to be the views of MSU-IIT. The
information contained in this e-mail, including those in its attachments,
is confidential and intended only for the person(s) or entity(ies) to which
it is addressed. If you are not an intended recipient, you must not read,
copy, store, disclose, distribute this message, or act in reliance upon the
information contained in it. If you received this e-mail in error, please
contact the sender and delete the material from any computer or system.
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
From emilypi at cohomolo.gy Wed Feb 3 15:47:39 2021
From: emilypi at cohomolo.gy (Emily Pillmore)
Date: Wed, 03 Feb 2021 15:47:39 +0000
Subject: [Haskell] Haskell.org nomination results
In-Reply-To:
References:
Message-ID:
Welcome aboard, Ida :)
On Wed, Feb 03, 2021 at 10:14 AM, Ryan Trinkle < ryan at trinkle.org > wrote:
>
>
>
> Great to meet you, Ida!
>
>
> On 2/3/21 9:57 AM, Alexandre ... wrote:
>
>
>> Hello people,
>>
>>
>> I'm here to announce the results for the Haskell. org ( http://haskell.org/
>> ) committee.
>>
>>
>> The final results are:
>>
>>
>>
>>
>> * Ida 5
>> * Ryan 5
>> * Tikhon 5
>>
>>
>>
>>
>>
>> With no votes to anyone else. Ryan and Tikhon are renominated and Ida is a
>> new member. Welcome aboard, Ida.
>>
>>
>> Alexandre.
>>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
From ben at well-typed.com Thu Feb 4 18:02:53 2021
From: ben at well-typed.com (Ben Gamari)
Date: Thu, 04 Feb 2021 13:02:53 -0500
Subject: [Haskell] [ANNOUNCE] GHC 9.0.1 released
Message-ID: <87wnvnsoc5.fsf@smart-cactus.org>
The GHC team is very pleased to announce the availability of GHC 9.0.1.
Source and binary distributions are available at the usual
place:
https://downloads.haskell.org/ghc/9.0.1/
In addition to numerous bug fixes, GHC 9.0.1 will bring a number of new
features:
* A first cut of the new LinearTypes language extension [2], allowing use
of linear function syntax and linear record fields.
* A new bignum library, ghc-bignum, improving portability and allowing GHC
to be more easily used with integer libraries other than GMP.
* Improvements in code generation, resulting in considerable
runtime performance improvements in some programs.
* Improvements in pattern-match checking, allowing more precise
detection of redundant cases and reduced compilation time.
* Implementation of the "simplified subsumption" proposal [3]
simplifying the type system and paving the way for QuickLook
impredicativity in GHC 9.2.
* Implementation of the QualifiedDo extension [4], allowing more
convenient overloading of `do` syntax.
* An experimental new IO manager implementation for Windows platforms, both
improving performance and fixing many of the quirks with the old manager built
on POSIX-emulation.
* Improvements in compilation time.
And many more. See the release notes [5] for a full accounting of the
changes in this release.
As always, feel free to report any issues you encounter via
gitlab.haskell.org.
Cheers,
- Ben
[1]: https://gitlab.haskell.org/ghc/ghc/-/wikis/migration/9.0#ghc-prim-07
[2]: https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0111-linear-types.rst
[3]: https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0287-simplify-subsumption.rst
[4]: https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0216-qualified-do.rst
[5]: https://downloads.haskell.org/ghc/9.0.1/docs/html/users_guide/9.0.1-notes.html
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 487 bytes
Desc: not available
URL:
From hemdanimayssa at gmail.com Fri Feb 5 12:47:44 2021
From: hemdanimayssa at gmail.com (Mayssa HEMDANI)
Date: Fri, 5 Feb 2021 16:47:44 +0400
Subject: [Haskell] [CFP] International Conference on Informatics Revolution
for Smarter Healthcare (IRSH 2021)
Message-ID:
Call for papers
*************************************************
International Conference on Informatics Revolution for Smarter Healthcare
(IRSH 2021)
Prague- Czech Republic, October 14-15, 2021
https://confscience.com/irsh/
Submission deadline: April 1, 2021
All papers accepted in IRSH 2021 will be published in Springer CCIS
(Communications in Computer and Information Science).
CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical
Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings
Citation (Former ISI Proceedings)
***************************************************************************
IMPORTANT DATES:
- Paper Submission: April 1, 2021
- Acceptance Notification: July 1, 2021
- Final Manuscript Due: September 1, 2021
***************************************************************************
The IRSH 2021 conference will be held in Conjunction with:
International Conference on Applied Data Science and Intelligence (ADSI
2021)
International Conference on Recent Theories and Applications in
Transportation and Mobility - (RTATM 2021)
***************************************************************************
TOPICS:
Authors are invited to submit their original papers to address the topics
of the conference, including but not limited to:
FUNDAMENTALS AND THEORIES
- Interoperability and Data Integration
- Confidentiality and Data Security
- Data protection
- Data Sharing
- Security, Privacy, and Trust
- Emergent healthcare standards
- Emergent healthcare architectures
- ICT, Ageing and Disability
- Physiological and behavioural modelling
- Pandemic and disease modeling
- Usability and user experience of medical devices
- Human behaviour
- Clinical investigation regulatory frameworks
- Integrated healthcare approaches
- eHealth data standards and interoperability (e.g. HL7/FHIR)
- Databases and data warehousing
- Big Data and Open Data for healthcare
- Design and Development of Methodologies for Healthcare
- Emergent Communication Technologies
- Real-time interaction theories
- Emergent Technologies for Ambient Assisted Living
- User Interface Design for healthcare
- Sustainability
- New approaches for accuracy and effectiveness
- Data mining and bioinformatics
- Enhanced living environments
- Analysis and evaluation of healthcare systems
INTELLIGENT HEALTHCARE
- Pattern recognition and Machine
- Learning for healthcare
- Cognitive Informatics
- Big Data in Healthcare
- Wellbeing Informatics
- Data Mining and Data Analytics
- Data Visualization
- Smart environments
- Smart Ambient Assisted Living
- Intelligent healthcare solutions
- Agent-based solutions for healthcare
- Collaboration systems
- Intelligent Electronic Health Records
- Internet of Things for healthcare
- Cyber-Physical Systems for healthcare
- Ambient Computing and Reasoning
- Context Awareness
- Smart devices for eldercare
- Autonomy and active ageing
- Emergent technologies for intelligent Computer Vision
- Service production and delivery
- Gamification
- Multi-modal interaction
- Computer-aided detection and diagnosis
- Crowdsourcing for smarted healthcare
SERVICES, SYSTEMS, AND INFRASTRUCTURES
- Emergent healthcare services
- Pervasive health systems and services
- Remote healthcare management
- Emergent healthcare infrastructure
- Industry Revolution 4.0 for healthcare
- eHealth
- Electronic health records
- Assistive technologies
- Disease surveillance and patient monitoring systems
- Prevention and detection systems
- Home monitoring
- Healthcare management systems
- ICT-based therapeutic systems
- ICT-based rehabilitation technologies
- Wearable health informatics
- Emergent technologies for data analytics
- Ambient Assisted Leaving (AAL)
- Decision Support Systems
- Emergent Technologies for Remote AAL Monitoring
- Emergent Technologies and Accessibility
- 5G for healthcare
- Healthcare supply chain and logistics
- Wireless Body Networks
- Telemedicine and mobile telemedicine
- Mobile Systems
- Software Defined infrastructures
- Patient empowerment systems
- Smart technology for remote patient visits
- Biosensors
- Medical devices
APPLICATIONS
- eHealth applications
- Application of health informatics in clinical cases
- Mobile technologies for healthcare applications
- Software Systems in healthcare
- Social networking and healthcare
- Case Studies
- Personalization and patient experience
- AR and VR applications
- Patient billing
- Accounting systems
- Personnel and payroll
- Materials management
- Voice recognition systems
- Asset management solutions
- Disease management
- Feedback integration
- Clinical software
- Crowd-computing applications
- Future directions
- Drone-based solutions
- Software Defined Networks for healthcare
***************************************************************************
OUTSTANDING PAPERS:
Based on the peer review scores as well as the presentations at the
conference, the authors of outstanding papers will be invited to extend
their works for a potential publication in journals special issues with
high impact factors.
***************************************************************************
PAPER SUBMISSION:
Papers must be submitted electronically as PDF files via easychair (
https://easychair.org/conferences/?conf=irsh2021).
All papers will be peer reviewed.
Length of Full papers: 12-15 pages long (written in the LNCS/CCIS
one-column page format, 400 words per page)
Length of Short papers: less than 12 pages
For more information, please refer to the conference website:
https://confscience.com/irsh/
***************************************************************************
CONTACT
For more information, please send an email to info-irsh at confscience.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
From muhammad.adnan at uhasselt.be Fri Feb 5 19:13:50 2021
From: muhammad.adnan at uhasselt.be (Muhammad ADNAN)
Date: Fri, 5 Feb 2021 20:13:50 +0100
Subject: [Haskell] FNC 2021: Call for Workshop Proposals (The 16th
International Conference on Future Networks and Communications)
Message-ID:
******** Call for Workshops
Proposals ********
The 16th International Conference on Future Networks
and Communications
http://cs-conferences.acadiau.ca/fnc-21/#workshop_call
August 9-12,
2021
Leuven,
Belgium
Important Dates
===========
- Workshop Proposal Due: February 21, 2021
- Acceptance Notification: February 25, 2021
The FNC 2021 organizing committee invites proposals for workshops. The main
objective of the workshops is to provide a forum for researchers and
professionals to discuss a specific topic from the field of FNC 2021 and
its related areas. All papers accepted for workshops will be included in
the FNC 2021 proceedings, which will be published by Elsevier. The authors
must follow Elsevier guidelines as given in FNC 2021 Website.
Proposal Format
===========
- Title of the workshop
- Workshop Website: tentative address, or old address (if applicable)
- Draft Call for paper of the workshop
- Tentative list of TPC members
Workshops' Chair
==============
Dr. Muhammad Adnan, Hasselt University, Belgium (
muhammad.adnan at uhasselt.be)
--
Dr. Muhammad Adnan
Senior Navorser - Senior Researcher
Instituut voor Mobiliteit (IMOB) - Transportation Research Institute
T +32(0)11 26 91 47 - F +32(0)11 26 91 99
www.uhasselt.be\imob
Universiteit Hasselt - Campus Diepenbeek
Wetenschapspark 5 bus 6 - B-3590 Diepenbeek
Kantoor WETP5-0.10
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
From emilia at confscience.com Sat Feb 6 07:50:58 2021
From: emilia at confscience.com (Emilia Marc)
Date: Sat, 6 Feb 2021 08:50:58 +0100
Subject: [Haskell] International Conference on Recent Theories and
Applications in Transportation and Mobility - (RTATM 2021) -Prague
Message-ID: <00e801d6fc5c$ced143e0$6c73cba0$@confscience.com>
Call for papers
*************************************************
International Conference on Recent Theories and Applications in
Transportation and Mobility - (RTATM 2021)
Prague - Czech Republic, October 14-15, 2021
https://confscience.com/rtatm/
Submission deadline: April 1, 2021
All papers accepted in RTATM 2021 will be published in Springer CCIS
(Communications in Computer and Information Science).
CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical
Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings
Citation (Former ISI Proceedings)
***************************************************************************
IMPORTANT DATES:
- Paper Submission: April 1, 2021
- Acceptance Notification: July 1, 2021
- Final Manuscript Due: September 1, 2021
***************************************************************************
The RTATM 2021 conference will be held in Conjunction with:
International Conference on Applied Data Science and Intelligence (ADSI
2021)
International Conference on Informatics Revolution for Smarter Healthcare
(IRSH 2021)
***************************************************************************
TOPICS:
Authors are invited to submit their original papers to address the topics of
the conference, including but not limited to:
FUNDAMENTALS AND THEORIES
- Modelling and Simulation Algorithms
- Vehicular Wireless Medium Access Control
- V2X communications
- Routings and Protocols for Connected Vehicles
- Mobility Models and Architectures
- Distribution Strategies
- Traffic Incident Management Systems
- Bio-Inspired Approaches
- Optimization and Collaboration
- Automatic Control in Vehicular Networks
- Energy-aware Connected Mobility
- Programming Languages
- Sustainable Transportation
- Multimodal Transportation Networks and Systems
- Systemsb Integration
- Driver Behavior Models and Simulation
- Human Factors and Travel Behaviour
- Green Mobility
- Regulations and Bylaws for Intelligent
- Transportation and Mobility
SMART TRANSPORTATION AND LOGISTICS
- Mobility Management
- Connected Vehicles
- VANETs
- Predictive Logistics
- Spatio-Temporal Event Tracking
- Decision Support Systems
- Emergency Management
- Logistics and E-Commerce
- Supply Chain Design and Execution
- Supply Chain Management
- Advanced Planning Systems
- Fleet Management
- Multi-Agent Systems
- Machine Learning for Smart Logistics
- Intelligent Infrastructures
- Real-time Analysis of Comprehensive Supply Chain Data
- Smart Synchronization of Logistics Processes
- New Approaches for Cost Transparency
- Big Data for Smart Logistics
- Logistics 4.0
- Mobile Networks
- Next-Generation Smart Logistics
- Performance Management Approaches
- Tests and Deployment
- Software Defined Networks
- Smart Freight Management
- Smart Shipment Management
- Smart Warehousing
- Smart Inventory management
DATA AND SERVICES
- Real-Time transportation Data Acquisition
- Event Detection and Monitoring
- Data Warehouses for connected mobility
- Data mining and Data analytics
- Data Worthiness in Connected Vehicles
- Data Trustworthiness for effective transportation and mobility
- Road Traffic Data Analytics
- Structured and Unstructured Data for Connected Mobility
- Volunteered Geographic Information (VGI)
- Data Representation for Connected Mobility
- Transportation Data Mining
- Transportation and mobility Data Visualization
- Cognitive and Context-aware Intelligence
- Transportation Decision Support Systems
- Mobility as a Service (MaaS)
- Intelligent Transportation Services
- Smart Mobility Services
- Big Data and Vehicle Analytics
- Massive Data Management
- Collective and connected Intelligence
- Next Generation Services
- Driver Behaviour Analysis
- Geo-Spatial Services
- Service-Oriented Architecture (SOA)
- Web and Mobile Services
SAFETY, SECURITY, AND HAZARD MANAGEMENT
- Security Issues in Vehicular Communications
- Safety Applications of Connected Vehicles
- Weather-related Safety solutions
- V2V, V2I and I2V Road Safety Applications
- Connected Mobility for Hazard Management
- Risk Management
- Road Traffic Crashes Analytics
- Traffic Jam Prediction
- Resource Allocation for Hazard Management
- Trust and Privacy Issues in Logistics
- Management of Exceptional Events
- New approaches to Networking Security for Transportation Applications
- Failure modes, human factors, software safety
- Automated Failure Analysis
- Performance and Human Error Analysis
- Design and Reliability of Control Systems
- Dispersion Modelling Software
- Quantification of Risk
***************************************************************************
OUTSTANDING PAPERS:
Based on the peer review scores as well as the presentations at the
conference, the authors of outstanding papers will be invited to extend
their works for a potential publication in journals special issues with high
impact factors.
***************************************************************************
PAPER SUBMISSION:
Papers must be submitted electronically as PDF files via easychair
(https://easychair.org/conferences/?conf=rtatm2021).
All papers will be peer reviewed.
Length of Full papers: 12-15 pages long (written in the LNCS/CCIS one-column
page format, 400 words per page)
Length of Short papers: less than 12 pages
For more information, please refer to the conference website:
https://confscience.com/rtatm/
***************************************************************************
CONTACT
For more information, please send an email to info-rtatm at confscience.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
From ben at well-typed.com Sat Feb 6 16:12:53 2021
From: ben at well-typed.com (Ben Gamari)
Date: Sat, 06 Feb 2021 11:12:53 -0500
Subject: [Haskell] [ANNOUNCE] GHC 8.10.4 released
Message-ID: <874kip41kq.fsf@smart-cactus.org>
The GHC team is very pleased to announce the availability of GHC 8.10.4.
Source and binary distributions are available at the usual
place:
https://downloads.haskell.org/ghc/8.10.4/
This is a small bug-fix release, fixing two bugs present in 8.10.3:
* Fix a linker hang triggered by dynamic code loading on Windows
(#19155)
* Fix a crash caused by inappropriate garbage of heap-allocated data reachable
from foreign exports (#19149)
As always, feel free to report any issues you encounter via
[gitlab.haskell.org](https://gitlab.haskell.org/ghc/ghc/-/issues/new).
Cheers,
- Ben
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 487 bytes
Desc: not available
URL:
From ksk at riec.tohoku.ac.jp Sun Feb 7 03:05:24 2021
From: ksk at riec.tohoku.ac.jp (Keisuke Nakano)
Date: Sun, 7 Feb 2021 12:05:24 +0900
Subject: [Haskell] WPTE 2021 (FIRST Call For Papers)
Message-ID:
---------------------------------------------------------------------------
WPTE 2021: 8th International Workshop on Rewriting Techniques for Program
Transformations and Evaluation
Held online on July 18, 2021
---------------------------------------------------------------------------
Conference Web site: https://www.ipl.riec.tohoku.ac.jp/wpte2021/
Submission link: https://easychair.org/conferences/?conf=wpte2021
Submission deadline: May 10, 2021
---------------------------------------------------------------------------
The aim of WPTE is to bring together the researchers working on
program transformations, evaluation, and operationally based
programming language semantics, using rewriting methods, in order to
share the techniques and recent developments and to exchange ideas to
encourage further activation of research in this area.
The 8th International Workshop on Rewriting Techniques for Program
Transformations and Evaluation (WPTE 2021) is affiliated with FSCD 2021,
https://fscd2021.dc.uba.ar/
List of Topics
---------------------------------------------------------------------------
* Correctness of program transformations, optimizations and translations.
* Program transformations for proving termination, confluence, and
other properties.
* Correctness of evaluation strategies.
* Operational semantics of programs, operationally-based program
equivalences such as contextual equivalences and bisimulations.
* Cost-models for arguing about the optimizing power of transformations
and the costs of evaluation.
* Program transformations for verification and theorem proving purposes.
* Translation, simulation, equivalence of programs with different
formalisms, and evaluation strategies.
* Program transformations for applying rewriting techniques to programs
in specific programming languages.
* Program transformations for program inversions and program synthesis.
* Program transformation and evaluation for Haskell and rewriting.
Submission Guidelines
---------------------------------------------------------------------------
For the paper submission deadline an extended abstract of at most 10
pages is required to be submitted. The extended abstract may present
original work or also work in progress. Based on the submissions the
program committee will select the presentations for the workshop. All
selected contributions will be included in the informal proceedings
distributed to the workshop participants. One author of each accepted
extended abstract is expected to present it at the workshop.
Submissions must be prepared in LaTeX using the EPTCS macro package.
All submissions will be electronic via
https://easychair.org/conferences/?conf=wpte2021.
Formal Proceedings
---------------------------------------------------------------------------
WPTE post-proceedings of selected papers will be published in a JLAMP
special issue. For this, full papers must be submitted until the
post-proceedings deadline. The authors of selected contributions
will have the opportunity (but no obligation) to submit a full paper
for the formal post-proceedings. These must represent original work
and should not be submitted to another conference at the same
time. The submission deadline for these post-proceedings will be after
the workshop in September 2021. There will be a second round of
reviewing for selecting papers to be published in the formal
proceedings.
Important Dates
---------------------------------------------------------------------------
Submission of extended abstracts: May 10, 2021 (AoE)
Notification of acceptance: May 31, 2021
Final version for proceedings deadline: June 13, 2021
Workshop: July 18, 2021
Submission to post-proceedings: September 2021
Program Committees
---------------------------------------------------------------------------
Keisuke Nakano, Tohoku University, Japan (Chair)
Adrian Riesco, Universidad Complutense de Madrid, Spain. (co-Chair)
Ștefan Ciobâcă, Universitatea Alexandru Ioan Cuza din Iași, Romania
Makoto Hamana, Gunma University, Japan
Akimasa Morihata, the University of Tokyo, Japan
Shin-Cheng Mu, Academia Sinica, Taiwan
Koko Muroya, Kyoto University, Japan
David Sabel, LMU, Germany
Julia Sapiña, Polytechnic University of Valencia, Spain
Janis Voigtländer, University of Duisburg-Essen, Germany
Contact
---------------------------------------------------------------------------
All questions about submissions should be emailed to
wpte2021 (at) easychair.org
From wim.ectors at uhasselt.be Mon Feb 8 17:01:00 2021
From: wim.ectors at uhasselt.be (Wim Ectors)
Date: Mon, 8 Feb 2021 11:01:00 -0600
Subject: [Haskell] [FNC-2021] Call for workshop proposals: Conference on
Future Networks and Communications. Leuven, Belgium (Aug 9-12, 2021)
Message-ID:
------------------------------------------------------------------------
The 16th International Conference on Future Networks and Communications
Leuven, Belgium
August 9-12, 2021
http://cs-conferences.acadiau.ca/fnc-21/
------------------------------------------------------------------------
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
----------------
- Workshop Proposal Due: February 21, 2021
- Paper Submission Due: March 19, 2021
- Acceptance Notification: May 17, 2021
- Final Manuscript Due: June 15, 2021
Publication
------------
All FNC 2021 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: 4.594), 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 2021 will be held in conjunction with the 17th International Conference
on Mobile Systems and Pervasive Computing (MobiSPC
http://cs-conferences.acadiau.ca/mobispc-21/).
FNC 2021 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 Committee
Soumaya Cherkaoui, Sherbrooke University, Canada
Erol Gelenbe, Imperial College, UK
Roch Glitho, Concordia University, Canada
Zygmunt J. Haas, Cornell University, USA
Philippe Martins, Telecom Paris Tech, France
Peter Sloot, Universiteit van Amsterdam, Netherlands
David Taniar, Monash University, Australia
Technical Program Committee
http://cs-conferences.acadiau.ca/fnc-21/#programCommittees
Sent via Mail Merge for Gmail
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
From aneta.poniszewska-maranda at p.lodz.pl Tue Feb 9 05:42:02 2021
From: aneta.poniszewska-maranda at p.lodz.pl (=?utf-8?B?QW5ldGEgUG9uaXN6ZXdza2EtTWFyYcWEZGEgSTcy?=)
Date: Tue, 9 Feb 2021 05:42:02 +0000
Subject: [Haskell] SEIT-21: 11th International Conference on Sustainable
Energy Information Technology (SEIT 2021) Leuven, Belgium
In-Reply-To:
References:
Message-ID:
Call for Papers
****************************************************************************
The 11th International Conference on Sustainable Energy Information Technology (SEIT 2021)
Leuven, Belgium
August 9-12, 2021
Conference Website: http://cs-conferences.acadiau.ca/seit-21
****************************************************************************
Important Dates
- Workshop Proposal Due: February 20, 2021
- Paper Submission Due: March 19, 2021
- Acceptance Notification: May 17, 2021
- Final Manuscript Due: June 15, 2021
The goal of the SEIT 2021 conference is to provide an international forum for scientists, engineers, and managers in academia, industry, and government to address recent research results and to present and discuss their ideas, theories, technologies, systems, tools, applications, work in progress and experiences on all theoretical and practical issues arising in sustainable energy information technology.
All SEIT 2021 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Sciences is hosted 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/. 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. All accepted papers will also be indexed in DBLP (http://dblp.uni-trier.de/). Selected papers will be invited for publication in an international journal.
SEIT 2021 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 Topics:
=================
- 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
Honorary Chair
Luc De Schepper, Rector, Hasselt University, Belgium
General Chair
Bruce Spencer, University of New Brunswick, Canada
Program Chairs
Jesus 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
Hana Gharrad, Hasselt University, Belgium
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-21/#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 and delete it from your system.
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
From yazan.mualla at utbm.fr Tue Feb 9 11:36:48 2021
From: yazan.mualla at utbm.fr (Yazan Mualla)
Date: Tue, 9 Feb 2021 12:36:48 +0100 (CET)
Subject: [Haskell] The 3rd International Workshop on EXplainable and
TRAnsparent AI and Multi-Agent Systems (EXTRAAMAS 2021)
Message-ID: <1477084484.8097498.1612870608590.JavaMail.zimbra@utbm.fr>
Please, accept our apologies in case of multiple copies of this CFP.
*************************************************************************************************************************************
The 3rd International Workshop on EXplainable and TRAnsparent AI and Multi-Agent Systems (EXTRAAMAS 2021)
https://extraamas.ehealth.hevs.ch/
held in conjunction with:
20th International Conference on Autonomous Agents and Multiagent Systems May 17-21, 2021 London, UK
https://aamas2021.soton.ac.uk/
**************************************************************************************************************************************
Aim and Scope
============
The workshop aims to gather researchers interested in developing explainable approaches to artificial intelligence, in particular to explainable agency, learning, reasoning, and their intersections. Participants are invited to submit papers addressing whichever phase of explainability (e.g., generation, communication, and reception) fostering transparency in autonomous agents and Multi-Agent Systems (MAS), robots, and other intelligent systems. Compliance with such requirements is becoming necessary in most systems where agent-oriented approaches are increasingly employed.
Important Dates:
=============
Deadline for Submissions: 22 February 2021
Notification of acceptance: 7 March 2021
Camera-ready: 20 May 2021
Workshop day: 5-7 May 2021
Topics:
======
# Special Focus: Explainable Reasoning in Face of Contradictions
- Principle-based symbolic reasoning and explainable loop-busting
- XAI and formal models of human reasoning
- Neuro-symbolic approaches to explainable and principle-based reasoning
- Principle-based and explainable legal reasoning
- Cross-disciplinary explainable reasoning and contradiction resolution
# Explainable Agents and Robots
- Explainable agent architectures
- Personalized XAI
- Explainable & Expressive robots
- Explainable human-robot collaboration
- Reinforcement Learning Agents
- Multi-modal explanations
# Interdisciplinary Aspects
- Cognitive and social sciences perspectives on explanations
- HCI for XAI
- Legal aspects of explainable agents
- Explanation visualization
# XAI & Ethics
- Social XAI
- AI, ethics, and explainability
- XAI vs AI
# XAI Machine learning and Knowledge Representation
- Bridging symbolic and subsymbolic XAI
- Knowledge generation from interpretations
- Explanation visualization
- Explainable knowledge generation
# XAI & MAS
- Multi-actors interaction in XAI
- XAI for agent/robots teams
- Simulations for XAI
Chairs:
======
Davide Calvaresi, HES-SO, Switzerland
Amro Najjar, University of Luxembourg, Luxembourg
Kary Framling, Umea University, Sweden
Michael Winikoff, Victoria University of Wellington, in Aotearoa, New Zealand
Timotheus Kampik, Signavio GmbH/Umeå University (Industry Chair)
Advisory Board:
============
Tim Miller, School of Computing and Information Systems at The University of Melbourne
Leon van der Torre, University of Luxembourg
Virginia Dignum, Umea University, Sweden
Michael Ignaz Schumacher, HES-SO, Switzerland
Dov Gabbay (keynote speaker), Professor emeritus, King’s College, London, UK
Assistant Chairs:
=============
Giovanni Ciatto, Università di Bologna, Italy
Sviatlana Höhn, University of Luxembourg
Submission:
==========
https://easychair.org/conferences/?conf=extraamas2021
All accepted papers can be published in the Springer post-proceedings Lecture Notes in Artificial Intelligence (LNAI). Participants are therefore invited to submit papers up to 16 pages in length (5 pages incl. references for demo papers), addressing the topics of the workshop. Papers must be edited using the LNCS format (applying the LNCS post-proceedings template) and have to be submitted electronically as PDF files via the EasyChair submission page.
Special Issue:
===========
Selected accepted papers that present relevant formal results will be invited to a special issue in the Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications (ISSN (E): 055-3714, ISSN (P): 2055-3706).
Contact:
=======
For questions regarding the Workshop, please contact the conference organizers at davide.calvaresi at hevs.ch, amro.najjar at uni.lu, tkampik at cs.umu.se.
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
From andrei.h.popescu at gmail.com Tue Feb 9 17:15:00 2021
From: andrei.h.popescu at gmail.com (Andrei Popescu)
Date: Tue, 9 Feb 2021 17:15:00 +0000
Subject: [Haskell] 21st Midlands Graduate School in the Foundations of
Computing Science: Call for Participation
Message-ID:
CALL FOR PARTICIPATION
21st Midlands Graduate School in the Foundations of Computing Science
MGS 21
12-16 April 2021, virtually
https://staffwww.dcs.shef.ac.uk/people/G.Struth/mgs21.html
OVERVIEW
The annual Midlands Graduate School in the Foundations of Computing
Science (MGS) offers an intensive programme of lectures on the
mathematical foundations of computing. It addresses first of all PhD
students in their first or second year, but is open to anyone
interested in its topics, from academia to industry and around the
world. The MGS has been run since 1999 and is hosted alternately by
the Universities of Birmingham, Leicester, Nottingham and Sheffield.
MGS 21 is its 21st incarnation. Information about previous events can
be found at the MGS web site
http://www.cs.nott.ac.uk/MGS
PROGRAMME
MGS 21 consists of eight courses, each with four or five hours of
lectures and a similar number of exercise sessions. Three courses are
introductory; one is given by an invited lecturer. These should be
attended by all participants. The remaining more advanced courses
should be selected based on interest. MGS 21 aims at a mix of
livestreamed and prerecorded lectures and livestreamed exercise
sessions, with additional social online events.
Invited lectures:
Monads and Interactions
Tarmo Uustalu, Reykjavik
Introductory courses:
Category Theory
Jacopo Emmenegger, Birmingham
Type Theory
Thorsten Altenkirch, Nottingham
Proof Theory
Anupam Das, Birmingham
Advanced courses:
Homotopy Type Theory
Nicolai Kraus, Nottingham
Inductive and Coinductive Reasoning with Isabelle/HOL
Andrei Popescu, Sheffield
Effects and Call-by-Push-Value
Paul Levy, Birmingham
Formal Modelling and Analysis of Concurrent Systems
Mohammad Mousavi, Leicester
In addition we are organising a session where participants can briefly
present and discuss their own research. A call will be made in March.
REGISTRATION
Participation at MGS 21 is free of charge, but selective. Requests
must be submitted online via
https://staffwww.dcs.shef.ac.uk/people/G.Struth/mgs21.html
Registration deadline is April 1.
ORGANISATION
Please direct all queries about MGS 21 to Georg Struth.
The Sheffield organisers are
Harsh Beohar (H.Beohar at sheffield.ac.uk)
Andrei Popescu (A.Popescu at sheffield.ac.uk)
Georg Struth (G.Struth at sheffield.ac.uk)
From hemdanimayssa at gmail.com Wed Feb 10 10:13:29 2021
From: hemdanimayssa at gmail.com (Mayssa HEMDANI)
Date: Wed, 10 Feb 2021 14:13:29 +0400
Subject: [Haskell] CFP : International Conference on Applied Data Science
and Intelligence
Message-ID:
Call for papers
*************************************************
International Conference on Applied Data Science and Intelligence - (ADSI
2021)
Prague- Czech Republic, October 14-15, 2021
https://confscience.com/adsi/
Submission deadline: April 1, 2021
All papers accepted in ADSI 2021 will be published in Springer CCIS
(Communications in Computer and Information Science).
CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical
Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings
Citation (Former ISI Proceedings)
***************************************************************************
IMPORTANT DATES:
- Paper Submission: April 1, 2021
- Acceptance Notification: July 1, 2021
- Final Manuscript Due: September 1, 2021
***************************************************************************
The ADSI 2021 conference will be held in Conjunction with:
International Conference on Recent Theories and Applications in
Transportation and Mobility (RTATM 2021)
International Conference on Informatics Revolution for Smarter Healthcare
(IRSH 2021)
***************************************************************************
TOPICS:
Authors are invited to submit their original papers to address the topics
of the conference, including but not limited to:
FUNDAMENTALS AND THEORIES
- Theoretical Models
- Spatial and temporal multi-models
- Multi-dimensional data
- Data acquisition and pre-processing
- Data inference
- Data Classification and Taxonomy
- Data Metrics
- New approaches for collaboration and competition
- Self-organization, self-healing, fault-tolerance approaches
- Spatial reasoning
- Context awareness
- Intelligent mobility
- New approaches to supervised and unsupervised learning
- New approaches for security, privacy, trust, and ethics in data science
- Real-time data analytics
- Multi-Agent Systems for data science
- Distributed data analytics
- Data authenticity
- New theories and approaches for Deep learning
- New approaches for Business Intelligence
- Fuzzy logic
- Decision trees
- Support vector machines
- Evolutionary computation
- Statistical methods
- Collaborative filtering
- Data engineering
- Content mining
- Indexing schemes
- Information retrieval
- Metadata use and management
INTELLIGENT DATA PROCESSING AND ANALYTICS
- Multi-level data processing
- Data analytics optimization
- Smart data mining
- Machine Learning
- Deep Learning
- Bio-Inspired Computing
- Secure data analytics
- Privacy in data analytics
- Trust in Big Data
- Business intelligence
- Visualization Analytics
- Intelligence as a Service (IaaS)
- Data Science as a Service (DSaaS)
- Natural Language Processing
- Signal Processing
- Simulation and Modeling
- Data-Intensive Computing
SYSTEMS AND INFRASTRUCTURES
- Data storage infrastructure
- Data warehouses
- Data Query and Indexing Technologies
- Software Defined Infrastructures
- Software Defined Networks (SDN)
- Distributed data systems
- Smart grid computing
- Intelligent data management
- Big Data computing
- Smart data networking
- Internet of Things
- Cyber Physical Systems
- Blockchain
- Fog and Edge intelligence
- Parallel Computing systems
- Open Source systems for data science
- Embedded intelligence
- Embedded data science
- In-Memory computing
- Intelligent drones
- Internet of Drones
- Real-time data acquisition systems
APPLICATIONS
- Intelligent Hazard management
- Intelligent data science in healthcare
- Intelligent data science in farming
- Intelligent data science in Oil and Gas
- Smart logistics
- Intelligent data science in transportation
- Intelligent data science in surveillance
- Xtech (Fintech, Agritech, etc.)
- Intelligent drones
- Digital transformation
- Bioinformatics
- Marketing
- Social Science
- E-learning and E-services
***************************************************************************
OUTSTANDING PAPERS:
Based on the peer review scores as well as the presentations at the
conference, the authors of outstanding papers will be invited to extend
their works for a potential publication in journals special issues with
high impact factors.
***************************************************************************
PAPER SUBMISSION:
Papers must be submitted electronically as PDF files via easychair (
https://easychair.org/conferences/?conf=adsi2021).
All papers will be peer reviewed.
Length of Full papers: 12-15 pages long (written in the LNCS/CCIS
one-column page format, 400 words per page)
Length of Short papers: less than 12 pages
For more information, please refer to the conference website:
https://confscience.com/adsi/
***************************************************************************
CONTACT
For more information, please send an email to info-adsi at confscience.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
From emilia at confscience.com Wed Feb 10 13:21:56 2021
From: emilia at confscience.com (Emilia Marc)
Date: Wed, 10 Feb 2021 14:21:56 +0100
Subject: [Haskell] International Conference on Informatics Revolution for
Smarter Healthcare (IRSH 2021) -Prague
Message-ID: <00d501d6ffaf$b4a2dbe0$1de893a0$@confscience.com>
Call for papers
*************************************************
International Conference on Informatics Revolution for Smarter Healthcare
(IRSH 2021)
Prague- Czech Republic, October 14-15, 2021
https://confscience.com/irsh/
Submission deadline: April 1, 2021
All papers accepted in IRSH 2021 will be published in Springer CCIS
(Communications in Computer and Information Science).
CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical
Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings
Citation (Former ISI Proceedings)
***************************************************************************
IMPORTANT DATES:
- Paper Submission: April 1, 2021
- Acceptance Notification: July 1, 2021
- Final Manuscript Due: September 1, 2021
***************************************************************************
The IRSH 2021 conference will be held in Conjunction with:
International Conference on Applied Data Science and Intelligence (ADSI
2021)
International Conference on Recent Theories and Applications in
Transportation and Mobility - (RTATM 2021)
***************************************************************************
TOPICS:
Authors are invited to submit their original papers to address the topics of
the conference, including but not limited to:
FUNDAMENTALS AND THEORIES
- Interoperability and Data Integration
- Confidentiality and Data Security
- Data protection
- Data Sharing
- Security, Privacy, and Trust
- Emergent healthcare standards
- Emergent healthcare architectures
- ICT, Ageing and Disability
- Physiological and behavioural modelling
- Pandemic and disease modeling
- Usability and user experience of medical devices
- Human behaviour
- Clinical investigation regulatory frameworks
- Integrated healthcare approaches
- eHealth data standards and interoperability (e.g. HL7/FHIR)
- Databases and data warehousing
- Big Data and Open Data for healthcare
- Design and Development of Methodologies for Healthcare
- Emergent Communication Technologies
- Real-time interaction theories
- Emergent Technologies for Ambient Assisted Living
- User Interface Design for healthcare
- Sustainability
- New approaches for accuracy and effectiveness
- Data mining and bioinformatics
- Enhanced living environments
- Analysis and evaluation of healthcare systems
INTELLIGENT HEALTHCARE
- Pattern recognition and Machine
- Learning for healthcare
- Cognitive Informatics
- Big Data in Healthcare
- Wellbeing Informatics
- Data Mining and Data Analytics
- Data Visualization
- Smart environments
- Smart Ambient Assisted Living
- Intelligent healthcare solutions
- Agent-based solutions for healthcare
- Collaboration systems
- Intelligent Electronic Health Records
- Internet of Things for healthcare
- Cyber-Physical Systems for healthcare
- Ambient Computing and Reasoning
- Context Awareness
- Smart devices for eldercare
- Autonomy and active ageing
- Emergent technologies for intelligent Computer Vision
- Service production and delivery
- Gamification
- Multi-modal interaction
- Computer-aided detection and diagnosis
- Crowdsourcing for smarted healthcare
SERVICES, SYSTEMS, AND INFRASTRUCTURES
- Emergent healthcare services
- Pervasive health systems and services
- Remote healthcare management
- Emergent healthcare infrastructure
- Industry Revolution 4.0 for healthcare
- eHealth
- Electronic health records
- Assistive technologies
- Disease surveillance and patient monitoring systems
- Prevention and detection systems
- Home monitoring
- Healthcare management systems
- ICT-based therapeutic systems
- ICT-based rehabilitation technologies
- Wearable health informatics
- Emergent technologies for data analytics
- Ambient Assisted Leaving (AAL)
- Decision Support Systems
- Emergent Technologies for Remote AAL Monitoring
- Emergent Technologies and Accessibility
- 5G for healthcare
- Healthcare supply chain and logistics
- Wireless Body Networks
- Telemedicine and mobile telemedicine
- Mobile Systems
- Software Defined infrastructures
- Patient empowerment systems
- Smart technology for remote patient visits
- Biosensors
- Medical devices
APPLICATIONS
- eHealth applications
- Application of health informatics in clinical cases
- Mobile technologies for healthcare applications
- Software Systems in healthcare
- Social networking and healthcare
- Case Studies
- Personalization and patient experience
- AR and VR applications
- Patient billing
- Accounting systems
- Personnel and payroll
- Materials management
- Voice recognition systems
- Asset management solutions
- Disease management
- Feedback integration
- Clinical software
- Crowd-computing applications
- Future directions
- Drone-based solutions
- Software Defined Networks for healthcare
***************************************************************************
OUTSTANDING PAPERS:
Based on the peer review scores as well as the presentations at the
conference, the authors of outstanding papers will be invited to extend
their works for a potential publication in journals special issues with high
impact factors.
***************************************************************************
PAPER SUBMISSION:
Papers must be submitted electronically as PDF files via easychair
(https://easychair.org/conferences/?conf=irsh2021).
All papers will be peer reviewed.
Length of Full papers: 12-15 pages long (written in the LNCS/CCIS one-column
page format, 400 words per page)
Length of Short papers: less than 12 pages
For more information, please refer to the conference website:
https://confscience.com/irsh/
***************************************************************************
CONTACT
For more information, please send an email to info-irsh at confscience.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
From Graham.Hutton at nottingham.ac.uk Thu Feb 11 14:22:26 2021
From: Graham.Hutton at nottingham.ac.uk (Graham Hutton)
Date: Thu, 11 Feb 2021 14:22:26 +0000
Subject: [Haskell] 10 PhD studentships in Nottingham
Message-ID: <3AC69D59-038A-4A0A-9E78-F61397983BD3@nottingham.ac.uk>
Dear all,
The School of Computer Science at the University of Nottingham
is seeking applications for 10 fully-funded PhD studentships:
https://tinyurl.com/ten-phds-2021
Applicants in the area of the Functional Programming Laboratory
(https://tinyurl.com/fp-notts) are strongly encouraged! If you
are interested in applying, please contact a potential supervisor
as soon as possible (the application deadline is 15th March):
Thorsten Altenkirch - constructive logic, proof assistants,
homotopy type theory, category theory, lambda calculus.
Graham Hutton - mathematics of program construction, category
theory, program correctness and efficiency, Haskell.
Nicolai Kraus - homotopy type theory, higher category theory,
constructive mathematics, and related topics.
Henrik Nilsson - functional reactive programming, domain-
specific languages, generalised notions of computation.
The studentships are open to applicants of any nationality.
Best wishes,
Graham
+-----------------------------------------------------------+
10 Fully-Funded PhD Studentships
School of Computer Science
University of Nottingham, UK
tinyurl.com/ten-phds-2021
Applications are invited for a number of fully funded PhD
studentships offered by the School of Computer Science at the
University of Nottingham, starting on 1st October 2021.
The topics for the studentships are open, but should relate to the
interests of one of the School’s research groups: Computational
Optimisation and Learning Lab; Computer Vision Lab; Cyber Security;
Functional Programming; Intelligent Modelling and Analysis; Mixed
Reality Lab and Uncertainty in Data and Decision Making.
The studentships are for three and a half years and include a
stipend of (minimum) £15,609 per year and tuition fees.
Applicants are normally expected to have a 2:1 Bachelor or
Masters degree or international equivalent, in Computer Science
or a related discipline, and must obtain the support of a
potential supervisor in the School prior to submitting their
application. Please contact potential supervisors at least two
weeks prior to the closing date for applications.
Informal enquiries may be addressed to Professor Tony Pridmore
(tony.pridmore at nottingham.ac.uk). To apply, please submit the
following items by email to Lindsay.Norman at nottingham.ac.uk:
(1) A copy of your CV, including your actual or expected degree
class(es), and results of all University examinations;
(2) An example of your technical writing, such as a project
report or dissertation;
(3) Contact details for two academic referees - it is the
applicant’s responsibility to ensure that references are
requested and sent to Lindsay.Norman at nottingham.ac.uk;
(4) A research proposal – max 2 x sides A4;
(5) A covering letter, which must include the name of the
member of staff who has agreed to support your application
(without this your application cannot be considered), and
the University’s job reference number (SCI1979).
Closing date for applications: Monday 15th March 2021.
+-----------------------------------------------------------+
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 contact the sender and delete the email and
attachment.
Any views or opinions expressed by the author of this email do not
necessarily reflect the views of the University of Nottingham. Email
communications with the University of Nottingham may be monitored
where permitted by law.
From yazan.mualla at utbm.fr Fri Feb 12 10:43:16 2021
From: yazan.mualla at utbm.fr (Yazan Mualla)
Date: Fri, 12 Feb 2021 11:43:16 +0100 (CET)
Subject: [Haskell] Open Position of Research Engineer on AI and mobility
simulation at the CIAD Lab (UTBM) France
In-Reply-To:
References:
Message-ID: <683565700.11772560.1613126596621.JavaMail.zimbra@utbm.fr>
Dear All,
Kindly find below an announcement for a position of Research Engineer at the CIAD laboratory (France, [ http://www.ciad-lab.fr%29/ | http://www.ciad-lab.fr ] ) in the context of our H2020 REDREAM project.
Best Regards,
Dr. Yazan Mualla
Researcher and Lecturer
Laboratoire Connaissance et Intelligence Artificielle Distribuées (CIAD) EA 7533
Université de Bourgogne Franche-Comté
Postal Address:
Université de Technologie de Belfort-Montbéliard,
13, rue Ernest Thierry-Mieg,
90010 Belfort Cedex, FRANCE
From: "Stéphane GALLAND"
Cc: "Yazan Mualla" , "Abdeljalil Abbas-Turki"
Sent: Friday, 12 February, 2021 11:26:36
Subject: Open Position of Research Engineer on AI and mobility simulation at the CIAD Lab (UTBM) France
Dear all.
A position of Research Engineer is open at the CIAD laboratory (France, [ http://www.ciad-lab.fr%29/ | http://www.ciad-lab.fr ] ) in the context of our H2020 REDREAM project.
The topics of this position are to contribute to an AI-based mobility simulator in the context of the local energy market.
Details on the new position could be found on one of the three websites:
[ http://www.ciad-lab.fr/job-offers-at-ciad-laboratory/ | http://www.ciad-lab.fr/job-offers-at-ciad-laboratory/ ]
[ https://www.ubfc.fr/recrutement-2/ ] [ https://www.ubfc.fr/recrutement-2/ | https://www.ubfc.fr/recrutement-2/ ]
[ https://euraxess.ec.europa.eu/jobs/604054 | https://euraxess.ec.europa.eu/jobs/604054 ]
All the best.
--
[ http://www.ciad-lab.fr/ ]
Laboratoire C onnaissance et I ntelligence A rtificielle D istribuées
CIAD UMR 7533
[ http://www.utbm.fr/ ]
Prof. Dr. Stéphane GALLAND
Full Professor of Computer Science and Multiagent Systems
[ http://www.ubfc.fr/ ]
Deputy Director of [ http://ciad.fr/ | CIAD ]
French Head of ARFITEC ARF-17-11 & ARF-19-11 "Energy, Transport, Industry, Challenges for tomorrow"
Senior member of the [ http://www.ciad-lab.fr/ | Multiagent Group ]
Member of [ http://afia.asso.fr/ | AFIA ]
[ https://www.ic-arts.eu/ ] Université de Technologie de Belfort-Montbéliard - UBFC
13, rue Ernest Thierry-Mieg
90010 Belfort Cedex, FRANCE
CIAD Lab: [ http://www.ciad-lab.fr/ | www.ciad-lab.fr ]
Web: [ http://www.ciad-lab.fr/author-10836/ | www.ciad-lab.fr/author-10836 ]
Phone: +33 384 583 418 (work office)
Mobile: +33 662 274 442 (private)
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
From trupill at gmail.com Sat Feb 13 20:20:40 2021
From: trupill at gmail.com (Alejandro Serrano Mena)
Date: Sat, 13 Feb 2021 20:20:40 +0000
Subject: [Haskell] Request for Nominations to the GHC Steering Committee
Message-ID:
Dear Haskell community,
The three-year term limit of some of the GHC Steering committee
members has expired. We are really grateful for the awesome work
that Iavor, Richard, and Joachim have done through these years
(especially the latter, who has acted as secretary.) As a result, the
GHC Steering committee is seeking nominations for new members.
The committee scrutinizes, nitpicks, improves, weights and eventually
accepts or rejects proposals that extend or change the language
supported by GHC and other (public-facing) aspects of GHC.
Our processes are described at
https://github.com/ghc-proposals/ghc-proposals
which is also the GitHub repository where proposals are proposed.
We are looking for members who have the ability
* to understand such language extension proposals,
* to find holes and missing corner cases in the specifications,
* foresee the interaction with other language features and
specifications,
* comment constructively and improve the proposals,
* judge the cost/benefit ratio and
* finally come to a justifiable conclusion.
We look for committee members who have some of these properties:
* have substantial experience in writing Haskell applications or
libraries, which they can use to inform judgements about the
utility or otherwise of proposed features,
* have made active contributions to the Haskell community, for
some time,
* have expertise in language design and implementation, in either
Haskell or related languages, which they can share with us.
The committee’s work requires a small, but non-trivial amount of time,
especially when you are assigned a proposal for shepherding. We
estimate the workload to be around 2 hours per week, and our process
works best if members usually respond to technical emails within 1-2
weeks (within days is even better). Please keep that in mind if your
email inbox is already overflowing.
The GHC developers themselves are already well represented already. We
seek Haskell _users_ more than GHC hackers.
There is no shortage of people who are eager to get fancy new
features into the language, both in the committee and the wider
community. But each new feature imposes a cost, to implement, to learn,
(particularly) through its unexpected interaction with other features.
We need to strike a balance, one that encourages innovation (as GHC
always has) while still making Haskell attractive for real-world
production use and for teaching. We therefore explicitly invite
“conservative” members of the community to join the committee.
To make a nomination, please send an email to me (as the interim committee
secretary) at trupill at gmail.com until February 28th. I will
distribute the nominations among the committee, and we will keep the
nominations and our deliberations private.
We explicitly encourage self-nominations. You can nominate others, but
please obtain their explicit consent to do so. (We don’t want to choose
someone who turns out to be unable to serve.)
On behalf of the committee,
Alejandro Serrano
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
From emilia at confscience.com Mon Feb 15 13:59:45 2021
From: emilia at confscience.com (Emilia Marc)
Date: Mon, 15 Feb 2021 14:59:45 +0100
Subject: [Haskell] International Conference on Applied Data Science and
Intelligence - (ADSI 2021) -Prague
Message-ID: <00c201d703a2$d129c5c0$737d5140$@confscience.com>
Call for papers
*************************************************
International Conference on Applied Data Science and Intelligence - (ADSI
2021)
Prague- Czech Republic, October 14-15, 2021
https://confscience.com/adsi/
Submission deadline: April 1, 2021
All papers accepted in ADSI 2021 will be published in Springer CCIS
(Communications in Computer and Information Science).
CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical
Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings
Citation (Former ISI Proceedings)
***************************************************************************
IMPORTANT DATES:
- Paper Submission: April 1, 2021
- Acceptance Notification: July 1, 2021
- Final Manuscript Due: September 1, 2021
***************************************************************************
The ADSI 2021 conference will be held in Conjunction with:
International Conference on Recent Theories and Applications in
Transportation and Mobility (RTATM 2021)
International Conference on Informatics Revolution for Smarter Healthcare
(IRSH 2021)
***************************************************************************
TOPICS:
Authors are invited to submit their original papers to address the topics of
the conference, including but not limited to:
FUNDAMENTALS AND THEORIES
- Theoretical Models
- Spatial and temporal multi-models
- Multi-dimensional data
- Data acquisition and pre-processing
- Data inference
- Data Classification and Taxonomy
- Data Metrics
- New approaches for collaboration and competition
- Self-organization, self-healing, fault-tolerance approaches
- Spatial reasoning
- Context awareness
- Intelligent mobility
- New approaches to supervised and unsupervised learning
- New approaches for security, privacy, trust, and ethics in data science
- Real-time data analytics
- Multi-Agent Systems for data science
- Distributed data analytics
- Data authenticity
- New theories and approaches for Deep learning
- New approaches for Business Intelligence
- Fuzzy logic
- Decision trees
- Support vector machines
- Evolutionary computation
- Statistical methods
- Collaborative filtering
- Data engineering
- Content mining
- Indexing schemes
- Information retrieval
- Metadata use and management
INTELLIGENT DATA PROCESSING AND ANALYTICS
- Multi-level data processing
- Data analytics optimization
- Smart data mining
- Machine Learning
- Deep Learning
- Bio-Inspired Computing
- Secure data analytics
- Privacy in data analytics
- Trust in Big Data
- Business intelligence
- Visualization Analytics
- Intelligence as a Service (IaaS)
- Data Science as a Service (DSaaS)
- Natural Language Processing
- Signal Processing
- Simulation and Modeling
- Data-Intensive Computing
SYSTEMS AND INFRASTRUCTURES
- Data storage infrastructure
- Data warehouses
- Data Query and Indexing Technologies
- Software Defined Infrastructures
- Software Defined Networks (SDN)
- Distributed data systems
- Smart grid computing
- Intelligent data management
- Big Data computing
- Smart data networking
- Internet of Things
- Cyber Physical Systems
- Blockchain
- Fog and Edge intelligence
- Parallel Computing systems
- Open Source systems for data science
- Embedded intelligence
- Embedded data science
- In-Memory computing
- Intelligent drones
- Internet of Drones
- Real-time data acquisition systems
APPLICATIONS
- Intelligent Hazard management
- Intelligent data science in healthcare
- Intelligent data science in farming
- Intelligent data science in Oil and Gas
- Smart logistics
- Intelligent data science in transportation
- Intelligent data science in surveillance
- Xtech (Fintech, Agritech, etc.)
- Intelligent drones
- Digital transformation
- Bioinformatics
- Marketing
- Social Science
- E-learning and E-services
***************************************************************************
OUTSTANDING PAPERS:
Based on the peer review scores as well as the presentations at the
conference, the authors of outstanding papers will be invited to extend
their works for a potential publication in journals special issues with high
impact factors.
***************************************************************************
PAPER SUBMISSION:
Papers must be submitted electronically as PDF files via easychair
(https://easychair.org/conferences/?conf=adsi2021).
All papers will be peer reviewed.
Length of Full papers: 12-15 pages long (written in the LNCS/CCIS one-column
page format, 400 words per page)
Length of Short papers: less than 12 pages
For more information, please refer to the conference website:
https://confscience.com/adsi/
***************************************************************************
CONTACT
For more information, please send an email to info-adsi at confscience.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
From hemdanimayssa at gmail.com Mon Feb 15 14:42:29 2021
From: hemdanimayssa at gmail.com (Mayssa HEMDANI)
Date: Mon, 15 Feb 2021 18:42:29 +0400
Subject: [Haskell] CFP : International Conference on Recent Theories and
Applications in Transportation and Mobility
Message-ID:
Call for papers
*************************************************
International Conference on Recent Theories and Applications in
Transportation and Mobility - (RTATM 2021)
Prague - Czech Republic, October 14-15, 2021
https://confscience.com/rtatm/
Submission deadline: April 1, 2021
All papers accepted in RTATM 2021 will be published in Springer CCIS
(Communications in Computer and Information Science).
CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical
Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings
Citation (Former ISI Proceedings)
***************************************************************************
IMPORTANT DATES:
- Paper Submission: April 1, 2021
- Acceptance Notification: July 1, 2021
- Final Manuscript Due: September 1, 2021
***************************************************************************
The RTATM 2021 conference will be held in Conjunction with:
International Conference on Applied Data Science and Intelligence (ADSI
2021)
International Conference on Informatics Revolution for Smarter Healthcare
(IRSH 2021)
***************************************************************************
TOPICS:
Authors are invited to submit their original papers to address the topics
of the conference, including but not limited to:
FUNDAMENTALS AND THEORIES
- Modelling and Simulation Algorithms
- Vehicular Wireless Medium Access Control
- V2X communications
- Routings and Protocols for Connected Vehicles
- Mobility Models and Architectures
- Distribution Strategies
- Traffic Incident Management Systems
- Bio-Inspired Approaches
- Optimization and Collaboration
- Automatic Control in Vehicular Networks
- Energy-aware Connected Mobility
- Programming Languages
- Sustainable Transportation
- Multimodal Transportation Networks and Systems
- Systems’ Integration
- Driver Behavior Models and Simulation
- Human Factors and Travel Behaviour
- Green Mobility
- Regulations and Bylaws for Intelligent
- Transportation and Mobility
SMART TRANSPORTATION AND LOGISTICS
- Mobility Management
- Connected Vehicles
- VANETs
- Predictive Logistics
- Spatio-Temporal Event Tracking
- Decision Support Systems
- Emergency Management
- Logistics and E-Commerce
- Supply Chain Design and Execution
- Supply Chain Management
- Advanced Planning Systems
- Fleet Management
- Multi-Agent Systems
- Machine Learning for Smart Logistics
- Intelligent Infrastructures
- Real-time Analysis of Comprehensive Supply Chain Data
- Smart Synchronization of Logistics Processes
- New Approaches for Cost Transparency
- Big Data for Smart Logistics
- Logistics 4.0
- Mobile Networks
- Next-Generation Smart Logistics
- Performance Management Approaches
- Tests and Deployment
- Software Defined Networks
- Smart Freight Management
- Smart Shipment Management
- Smart Warehousing
- Smart Inventory management
DATA AND SERVICES
- Real-Time transportation Data Acquisition
- Event Detection and Monitoring
- Data Warehouses for connected mobility
- Data mining and Data analytics
- Data Worthiness in Connected Vehicles
- Data Trustworthiness for effective transportation and mobility
- Road Traffic Data Analytics
- Structured and Unstructured Data for Connected Mobility
- Volunteered Geographic Information (VGI)
- Data Representation for Connected Mobility
- Transportation Data Mining
- Transportation and mobility Data Visualization
- Cognitive and Context-aware Intelligence
- Transportation Decision Support Systems
- Mobility as a Service (MaaS)
- Intelligent Transportation Services
- Smart Mobility Services
- Big Data and Vehicle Analytics
- Massive Data Management
- Collective and connected Intelligence
- Next Generation Services
- Driver Behaviour Analysis
- Geo-Spatial Services
- Service-Oriented Architecture (SOA)
- Web and Mobile Services
SAFETY, SECURITY, AND HAZARD MANAGEMENT
- Security Issues in Vehicular Communications
- Safety Applications of Connected Vehicles
- Weather-related Safety solutions
- V2V, V2I and I2V Road Safety Applications
- Connected Mobility for Hazard Management
- Risk Management
- Road Traffic Crashes Analytics
- Traffic Jam Prediction
- Resource Allocation for Hazard Management
- Trust and Privacy Issues in Logistics
- Management of Exceptional Events
- New approaches to Networking Security for Transportation Applications
- Failure modes, human factors, software safety
- Automated Failure Analysis
- Performance and Human Error Analysis
- Design and Reliability of Control Systems
- Dispersion Modelling Software
- Quantification of Risk
***************************************************************************
OUTSTANDING PAPERS:
Based on the peer review scores as well as the presentations at the
conference, the authors of outstanding papers will be invited to extend
their works for a potential publication in journals special issues with
high impact factors.
***************************************************************************
PAPER SUBMISSION:
Papers must be submitted electronically as PDF files via easychair (
https://easychair.org/conferences/?conf=rtatm2021).
All papers will be peer reviewed.
Length of Full papers: 12-15 pages long (written in the LNCS/CCIS
one-column page format, 400 words per page)
Length of Short papers: less than 12 pages
For more information, please refer to the conference website:
https://confscience.com/rtatm/
***************************************************************************
CONTACT
For more information, please send an email to info-rtatm at confscience.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
From stefan.wehr at gmail.com Wed Feb 17 07:28:27 2021
From: stefan.wehr at gmail.com (Stefan Wehr)
Date: Wed, 17 Feb 2021 08:28:27 +0100
Subject: [Haskell] Final Call for Participation: BOB 2021 (February 26,
online)
Message-ID:
============================================================================
BOB 2021
Conference
“What happens if we simply use what’s best?”
February 26, 2021, online
(UTC+0100)
http://bobkonf.de/2021/
Program: http://bobkonf.de/2021/program.html
Registration: http://bobkonf.de/2021/registration.html
============================================================================
BOB conference is a place for developers, architects and decision-makers
to explore technologies beyond the mainstream in software development,
and to find the best tools available to software developers today. Our
goal is for all participants of BOB to return home with new insights
that enable them to improve their own software development
experience.
The program features 14 talks and 8 tutorials on current topics:
http://bobkonf.de/2021/program.html
The subject range includes functional programming, logic programming,
revision control, formal methods, mindfulness, event sourcing,
front-end development, and more.
Jeremy Gibbons will give the keynote talk.
BOB 2021 will take place online. We are working towards fostering
lively exchange of exciting ideas and enable meaningful social
interactions.
Registration is open online:
http://bobkonf.de/2021/registration.html
Registration is €30 for a regular ticket, €15 for a student ticket.
(If you need financial aid, let us know.) We intend to make this the
most diverse, colorful, fun BOB ever!
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
From J.Hage at uu.nl Wed Feb 17 12:26:49 2021
From: J.Hage at uu.nl (Hage, J. (Jurriaan))
Date: Wed, 17 Feb 2021 12:26:49 +0000
Subject: [Haskell] First Call for Papers for the Haskell Symposium 2021
Message-ID: <2FCB042C-3B0D-4801-A1DD-051F695451A6@uu.nl>
Dear all,
This is the first call for papers for the upcoming Haskell Symposium.
Please forward to anyone that you believe might be interested.
Apologies for receiving multiple copies of this announcement.
Best regards,
Jurriaan Hage
Chair
PS. Note that the website is not up yet (but will be soon).
================================================================================
ACM SIGPLAN CALL FOR SUBMISSIONS
Haskell Symposium 2021
** virtual **
Thu 26 -- Fri 27 August, 2021
http://www.haskell.org/haskell-symposium/2021/
================================================================================
The ACM SIGPLAN Haskell Symposium 2021 will be co-located with the 2021
International Conference on Functional Programming (ICFP). Due to COVID-19
it will take place **virtually** this year.
Like last year, we will be using a lightweight double-blind reviewing process.
See further information below. Different from last year is that
we offer a new submission category: the tutorial. Details can be found below.
The Haskell Symposium presents original research on Haskell,
discusses practical experience and future development of the language, and
promotes other forms of declarative programming.
Topics of interest include:
* Language design, with a focus on possible extensions and modifications of
Haskell as well as critical discussions of the status quo;
* Theory, such as formal semantics of the present language or future
extensions, type systems, effects, metatheory, and foundations for
program analysis and transformation;
* Implementations, including program analysis and transformation,
static and dynamic compilation for sequential, parallel, and distributed
architectures, memory management, as well as foreign function and
component interfaces;
* Libraries, that demonstrate new ideas or techniques for functional
programming in Haskell;
* Tools, such as profilers, tracers, debuggers, preprocessors,
and testing tools;
* Applications, to scientific and symbolic computing, databases, multimedia,
telecommunication, the web, and so forth;
* Functional Pearls, being elegant and instructive programming examples;
* Experience Reports, to document general practice and experience in
education, industry, or other contexts;
* Tutorials, to document how to use a particular language feature,
programming technique, tool or library within the Haskell ecosystem;
* System Demonstrations, based on running software rather than novel
research results.
Regular papers should explain their research contributions in both general and
technical terms, identifying what has been accomplished, explaining why it is
significant, and relating it to previous work, and to other languages where
appropriate.
Experience reports and functional pearls need not necessarily report original
academic research results. For example, they may instead report reusable
programming idioms, elegant ways to approach a problem, or practical experience
that will be useful to other users, implementers, or researchers. The key
criterion for such a paper is that it makes a contribution from which other
Haskellers can benefit. It is not enough simply to describe a standard solution
to a standard programming problem, or report on experience where you used
Haskell in the standard way and achieved the result you were expecting.
A new submission category for this year's Haskell Symposium is the tutorial.
Like with the experience report and the functional pearl, the key criterion for
such a paper is that it makes a contribution from which other Haskellers can
benefit. What distinguishes a tutorial is that its
focus is on explaining an aspect of the Haskell language and/or ecosystem in a
way that is generally useful to a Haskell audience. Tutorials for many
such topics can be found online; the distinction here is that by writing it up
for formal review it will be vetted by experts and formally published.
System demonstrations should summarize the system capabilities that would be
demonstrated. The proposals will be judged on whether the ensuing session is
likely to be important and interesting to the Haskell community at large,
whether on grounds academic or industrial, theoretical or practical, technical,
social or artistic. Please contact the program chair with any questions about
the relevance of a proposal.
If your contribution is not a research paper, please mark the title of your
experience report, functional pearl, tutorial or system demonstration as such,
by supplying a subtitle (Experience Report, Functional Pearl, Tutorial Paper, System Demonstration).
Submission Details
==================
Early and Regular Track
-----------------------
The Haskell Symposium uses a two-track submission process so that some papers
can gain early feedback. Strong papers submitted to the early track are
accepted outright, and the others will be given their reviews and invited to
resubmit to the regular track. Papers accepted via the early and regular
tracks are considered of equal value and will not be distinguished in the
proceedings. Although all papers may be submitted to the early track, authors
of functional pearls and experience reports are particularly encouraged to use
this mechanism. The success of these papers depends heavily on the way they
are presented, and submitting early will give the program committee a chance
to provide feedback and help draw out the key ideas.
Formatting
----------
Submitted papers should be in portable document format (PDF), formatted using
the ACM SIGPLAN style guidelines. Authors should use the `acmart` format, with
the `sigplan` sub-format for ACM proceedings. For details, see:
http://www.sigplan.org/Resources/Author/#acmart-format
It is recommended to use the `review` option when submitting a paper;
this option enables line numbers for easy reference in reviews.
Functional pearls, experience reports, tutorials and demo proposals should be
labelled clearly as such.
Lightweight Double-blind Reviewing
----------------------------------
Haskell Symposium 2021 will use a lightweight double-blind reviewing process.
To facilitate this, submitted papers must adhere to two rules:
1. Author names and institutions must be omitted, and
2. References to authors' own related work should be in the third person
(e.g., not "We build on our previous work" but rather "We build on the work of ").
The purpose of this process is to help the reviewers come to an initial
judgment about the paper without bias, not to make it impossible for them to
discover the authors if they were to try. Nothing should be done in the name
of anonymity that weakens the submission or makes the job of reviewing the
paper more difficult (e.g., important background references should not be
omitted or anonymized). In addition, authors should feel free to disseminate
their ideas or draft versions of their paper as they normally would. For
instance, authors may post drafts of their papers on the web or give talks on
their research ideas.
A reviewer will learn the identity of the author(s) of a paper after a review
is submitted.
Page Limits
-----------
The length of submissions should not exceed the following limits:
Regular paper: 12 pages
Functional pearl: 12 pages
Tutorial: 12 pages
Experience report: 6 pages
Demo proposal: 2 pages
There is no requirement that all pages are used. For example, a
functional pearl may be much shorter than 12 pages. In all cases,
the list of references is not counted against these page limits.
Deadlines
---------
Early track:
Submission deadline: 19 March 2021 (Fri)
Notification: 23 April 2021 (Fri)
Regular track and demos:
Submission deadline: 21 May 2021 (Fri)
Notification: 23 June 2021 (Wed)
Deadlines are valid anywhere on Earth.
Submission
----------
Submissions must adhere to SIGPLAN's republication policy
(http://sigplan.org/Resources/Policies/Republication/), and authors
should be aware of ACM's policies on plagiarism
(https://www.acm.org/publications/policies/plagiarism).
Program Committee members are allowed to submit papers, but their papers will
be held to a higher standard.
The paper submission deadline and length limitations are firm.
There will be no extensions, and papers violating the length
limitations will be summarily rejected.
Papers should be submitted through HotCRP at:
https://haskell21.hotcrp.com/
Improved versions of a paper may be submitted at any point before the
submission deadline using the same web interface.
Supplementary material: Authors have the option to attach supplementary
material to a submission, on the understanding that reviewers may choose not
to look at it. This supplementary material should not be submitted as part of
the main document; instead, it should be uploaded as a separate PDF document
or tarball. Supplementary material should be uploaded at submission time, not by
providing a URL in the paper that points to an external repository.
Authors can distinguish between anonymized and non-anonymized supplementary
material. Anonymized supplementary material will be visible to reviewers
immediately; non-anonymized supplementary material will be revealed to
reviewers only after they have submitted their review of the paper and learned
the identity of the author(s).
Resubmitted Papers: authors who submit a revised version of a paper that has
previously been rejected by another conference have the option to attach an
annotated copy of the reviews of their previous submission(s), explaining how
they have addressed these previous reviews in the present submission. If a
reviewer identifies him/herself as a reviewer of this previous submission and
wishes to see how his/her comments have been addressed, the conference chair
will communicate to this reviewer the annotated copy of his/her previous
review. Otherwise, no reviewer will read the annotated copies of the previous
reviews.
Proceedings
===========
Accepted papers will be included in the ACM Digital Library. Their authors
will be required to choose one of the following options:
- Author retains copyright of the work and grants ACM a non-exclusive
permission-to-publish license (and, optionally, licenses the work with a
Creative Commons license);
- Author retains copyright of the work and grants ACM an exclusive
permission-to-publish license;
- Author transfers copyright of the work to ACM.
For more information, please see ACM Copyright Policy
(http://www.acm.org/publications/policies/copyright-policy) and ACM Author
Rights (http://authors.acm.org/main.html).
Accepted proposals for system demonstrations will be posted on the
symposium website but not formally published in the proceedings.
Publication date: The official publication date of accepted papers is
the date the proceedings are made available in the ACM Digital
Library. This date may be up to two weeks prior to the first day of the
conference. The official publication date affects the deadline for any
patent filings related to published work.
Artifacts
=========
Authors of accepted papers are encouraged to make auxiliary material (artifacts
like source code, test data, etc.) available with their paper. They can opt to
have these artifacts published alongside their paper in the ACM Digital Library
(copyright of artifacts remains with the authors).
If an accepted paper's artifacts are made permanently available for retrieval in a
publicly accessible archival repository like the ACM Digital Library, that paper
qualifies for an Artifacts Available badge
(https://www.acm.org/publications/policies/artifact-review-badging#available).
Applications for such a badge can be made after paper acceptance and will be
reviewed by the PC chair.
Program Committee
=================
Edwin Brady University of St Andrews
Koen Claessen Chalmers University of Technology
Dominique Devriese Vrije Universiteit Brussel
Andy Gill University of Kansas
Jurriaan Hage (chair) Universiteit Utrecht
Zhenjiang Hu Peking University
Ranjit Jhala University of California
Patricia Johann Appalachian State University
Yukiyoshi Kameyama University of Tsukuba
George Karachalias Tweag
Ralf Laemmel University of Koblenz-Landau
Daan Leijen Microsoft Research
Ben Lippmeier Ghost Locomotion
Neil Mitchell Facebook
Alberto Pardo Universidad de la Republica, Uruguay
Matt Roberts Macquarie University
Janis Voigtlaender University of Duisburg-Essen
Nicolas Wu Imperial College London
If you have questions, please contact the chair at: j.hage at uu.nl
================================================================================
From orven.llantos at g.msuiit.edu.ph Fri Feb 19 08:24:33 2021
From: orven.llantos at g.msuiit.edu.ph (Orven Llantos)
Date: Fri, 19 Feb 2021 16:24:33 +0800
Subject: [Haskell] The 18th International Conference on Mobile Systems and
Pervasive Computing
Message-ID:
-- Apologies for Cross-Posting ---
The 18th International Conference on Mobile Systems and Pervasive Computing
August 9-12, 2021, Leuven, Belgium
http://cs-conferences.acadiau.ca/mobispc-21
Important Dates
Workshop Proposal: February 21, 2021
Submission Deadline March 19, 2021
Author Notification: May 17, 2021
Final Manuscript Due: June 15, 2021
Mobile system and Pervasive computing have evolved into an active area of
research and development, due to the tremendous advances in a broad
spectrum of technologies and topics including wireless networking, mobile
and distributed computing, sensor systems, RFID technology, and the
ubiquitous mobile phone. MobiSPC-2021 solicits papers that focus on the
theory, system, practice and challenge of providing users with a successful
mobile or wireless experience. This includes how mobile computing changes
how people pervasively use their computer, computing resources and
applications, as well the systems, services and technology enabling those
applications.
MobiSPC-2021 will provide a leading edge, scholarly forum for researchers,
engineers, and students alike to share their state-of-the-art research and
developmental work in the broad areas of pervasive computing and
communications. The topics include but are not limited to:
Component-based IoT
- Cloud support for the IoT
- Composition of IoT services and components
- Distribution and binding models for IoT applications
- Experiences applying component-based design to IoT systems
- Interoperability of IoT services and components
- Modelling, development and simulation support for the IoT
- Modular hardware/software co-design
- Modular or component based FPGA development
- Novel component models for the IoT
- Privacy of modular IoT systems
- Security of modular IoT systems
Enabling Technologies and Emerging Topics
- Agents and Intelligent Computing
- Big data
- Cyber Physical Social Systems
- Mobile Applications
- Mobile Crowd-sourcing and Human-in-the-Loop Design
- Mobile Services and Platforms
- Mobile Sensor Based Personal Informatics
- Mobile Web
- Near Field Communication
- New Mobile Sensing Hardware
- Robotic Sensor Networking
- Vehicular Social Networks
- Wearable Augmented Reality Systems
Internet of Things (IoT)
- Data Mining on IoT systems
- Edge Computing solutions for IoT
- IoT applied to Cultural Heritage
- IoT for e-health
- IoT platforms for Data analytics on pervasive and mobile environments
- IoT tools and applications
- Network Design and Architecture
- Sensor networks, Remote Diagnosis and Development
Mobile Cloud Computing
- Advertisement
- Computing Performance Evaluation
- Contest Based Sensing
- Data and Storage Architecture
- Data Storage Management for Mobile Cloud Computing Service Provider and
Users
- Games
- Multimedia Services
- Privacy Protection
- Quality of Experiences and (QoE) Studies
- Security
- Service Models
- Service Platform
- Software Development Platform and Enabled New Applications
- Virtualization and Programmable Infrastructure
Mobile Data Management
- Context-aware Computing for Intelligent Mobile Services
- Data Management for Emerging Smart Urban Systems
- Data management for Next-Gen Mobile and Ad-Hoc Networks
- Data Management for the Internet of Things (IoT)
- Data Management in the Mobile Cloud
- Data replication, migration and dissemination in mobile environments
- Data stream processing in mobile/sensor network
- Mobile Activity Recognition
- Mobile Data Analytics
- Mobile Data and User/Behavioural Understanding
- Mobile Location-Based Social Networks
- Mobile Situation Inference
- Query Processing for moving objects/users
- Recommendations for Mobile Users
- Semantic Data Management for Mobile Devices/Applications
- Transactions and workflows in mobile environments
Mobile Social Networking
- MSN Advertising, Business to Business (B2B) Marketing
- MSN Algorithms for Social Search
- MSN Analytics
- MSN Architecture
- MSN Brand Management (social brand strategic development and product
management)
- MSN Data Mining and Machine Learning
- MSN Infrastructure Support
- MSN Marketing (digital, direct and mobile marketing)
- MSN Privacy in Data Collection and Management
- Trust and Reputations in MSN
Pervasive Computing
- Adaptive, Autonomic and Context-Aware Computing
- Architectures, Protocols, and Technologies for Pervasive Communications
- Cognitive Computing in Pervasive Systems
- Context Modelling and Reasoning
- Data Management for Pervasive Computing
- Energy-Efficient and Green Pervasive Computing
- Innovative Pervasive Computing Applications
- Machine Learning for Activity Recognition
- Middleware for Pervasive Services and Applications
- Mobile/Wearable Computing Systems and Services in Pervasive Computing
- Multimodal Sensing and Context for Pervasive Applications
- Opportunistic Networking and Sensing in Pervasive Systems
- Participatory and Social Sensing
- Pervasive Computing Aspects of Social Networks
- Positioning and Tracking Technologies
- Programming Paradigms for Pervasive Systems
- Sensors and RFID in Pervasive Systems
- Smart Devices and Intelligent Environments
- Social and Economic Models for Pervasive Systems
- Software Evolution and Maintenance in Pervasive Systems
- Trust, Security and Privacy Issues in Pervasive Systems
- User Interface, Interaction, and Persuasion
- Virtual Immersive Communications
Honorary Chair
Luc De Schepper, Rector, Hasselt University, Belgium
General Chair
Danny Hughes, KU Leuven, Belgium
Program Chairs
Hossam Hassanein, Queen's University, Canada
Ansar Yasar, Hasselt University, Belgium
Workshops Chair
Muhammad Adnan, Hasselt University, Belgium
Tracks Chairs
Longbiao Chen, Xiamen University, China
Salimur Choudhury, Lakehead University, Canada
Stéphane Galland, Université de Technologie de Belfort-Montbéliard, France
Uneb Gazger, University of Bahrain, Bahrain
Camille Kamga, The City College of New York, USA
Yongrui (Louie) Qin, University of Huddersfield, UK
Hamid Mcheick, UQAC, Canada
Wendy Osborn, University of Lethbridge, Canada
Rahim Rahmani, Stockholm University, Sweden
Qussai Yaseen, Jordan University of Science and Technology, Jordan
International Journals Chair
Atta Badii, Reading University, UK
Publicity Chairs
El Arbi Abdellaoui Alaoui, EIGSI-Casablanca, Morocco
Orven E. Llantos, MSU-IIT, Philippines
Advisory Committee
Flavien Balbo, Ecole Nationale Supérieure des Mines de Saint Etienne, France
Erol Gelenbe, Imperial College, UK
Vincenzo Loia, University of Salerno, Italy
Ralf Steinmetz, Technische Universitaet Darmstadt, Germany
Mohamed Younis, University of Maryland Baltimore County, USA
Steering Committee
Elhadi Shakshuki, Acadia University, Canada (Chair and MobiSPC Founder)
--
Orven E. Llantos, PhD
Associate Professor
School of Computer Studies
MSU-IIT
--
---*DISCLAIMER AND CONFIDENTIALITY NOTICE* The Mindanao State
University-Iligan Institute of Technology
(MSU-IIT) makes no warranties of any kind, whether expressed or implied,
with respect to the MSU-IIT e-mail resources it provides. MSU-IIT will not
be responsible for damages resulting from the use of MSU-IIT e-mail
resources, including, but not limited to, loss of data resulting from
delays, non-deliveries, missed deliveries, service interruptions caused by
the negligence of a MSU-IIT employee, or by the User's error or omissions.
MSU-IIT specifically denies any responsibility for the accuracy or quality
of information obtained through MSU-IIT e-mail resources, except material
represented as an official MSU-IIT record. Any views expressed in this
e-mail are those of the individual sender and may not necessarily reflect
the views of MSU-IIT, except where the message states otherwise and the
sender is authorized to state them to be the views of MSU-IIT. The
information contained in this e-mail, including those in its attachments,
is confidential and intended only for the person(s) or entity(ies) to which
it is addressed. If you are not an intended recipient, you must not read,
copy, store, disclose, distribute this message, or act in reliance upon the
information contained in it. If you received this e-mail in error, please
contact the sender and delete the material from any computer or system.
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
From muhammad.adnan at uhasselt.be Fri Feb 19 09:38:15 2021
From: muhammad.adnan at uhasselt.be (Muhammad ADNAN)
Date: Fri, 19 Feb 2021 10:38:15 +0100
Subject: [Haskell] MobiSPC 2021 : Call for Workshop Proposals (The 18th
International Conference on Mobile Systems and Pervasive Computing
Message-ID:
******** Call for Workshops
Proposals ********
The 18th International Conference on Mobile Systems
and Pervasive Computing
http://cs-conferences.acadiau.ca/mobispc-21/#workshop_call
August 9-12,
2021
Leuven,
Belgium
Important Dates
===========
- Workshop Proposal Due: February 21, 2021
- Acceptance Notification: February 25, 2021
The MobiSPC 2021 organizing committee invites proposals for workshops. The
main objective of the workshops is to provide a forum for researchers and
professionals to discuss a specific topic from the field of MobiSPC 2021
and its related areas. All papers accepted for workshops will be included
in the MobiSPC 2021 proceedings, which will be published by Elsevier. The
authors must follow Elsevier guidelines as given in MobiSPC 2021 Website.
Proposal Format
===========
- Title of the workshop
- Workshop Website: tentative address, or old address (if applicable)
- Draft Call for paper of the workshop
- Tentative list of TPC members
Workshops' Chair
==============
Dr. Muhammad Adnan, Hasselt University, Belgium (
muhammad.adnan at uhasselt.be)
--
Dr. Muhammad Adnan
Senior Navorser - Senior Researcher
Instituut voor Mobiliteit (IMOB) - Transportation Research Institute
T +32(0)11 26 91 47 - F +32(0)11 26 91 99
www.uhasselt.be\imob
Universiteit Hasselt - Campus Diepenbeek
Wetenschapspark 5 bus 6 - B-3590 Diepenbeek
Kantoor WETP5-0.10
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
From muhammad.adnan at uhasselt.be Fri Feb 19 15:08:54 2021
From: muhammad.adnan at uhasselt.be (Muhammad ADNAN)
Date: Fri, 19 Feb 2021 16:08:54 +0100
Subject: [Haskell] FNC 2021: Call for Workshop Proposals (The 16th
International Conference on Future Networks and Communications)
Message-ID:
******** Call for Workshops
Proposals ********
The 16th International Conference on Future Networks
and Communications
http://cs-conferences.acadiau.ca/fnc-21/#workshop_call
August 9-12,
2021
Leuven,
Belgium
Important Dates
===========
- Workshop Proposal Due: February 21, 2021
- Acceptance Notification: February 25, 2021
The FNC 2021 organizing committee invites proposals for workshops. The main
objective of the workshops is to provide a forum for researchers and
professionals to discuss a specific topic from the field of FNC 2021 and
its related areas. All papers accepted for workshops will be included in
the FNC 2021 proceedings, which will be published by Elsevier. The authors
must follow Elsevier guidelines as given in FNC 2021 Website.
Proposal Format
===========
- Title of the workshop
- Workshop Website: tentative address, or old address (if applicable)
- Draft Call for paper of the workshop
- Tentative list of TPC members
Workshops' Chair
==============
Dr. Muhammad Adnan, Hasselt University, Belgium (
muhammad.adnan at uhasselt.be)
--
Dr. Muhammad Adnan
Senior Navorser - Senior Researcher
Instituut voor Mobiliteit (IMOB) - Transportation Research Institute
T +32(0)11 26 91 47 - F +32(0)11 26 91 99
www.uhasselt.be\imob
Universiteit Hasselt - Campus Diepenbeek
Wetenschapspark 5 bus 6 - B-3590 Diepenbeek
Kantoor WETP5-0.10
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
From hemdanimayssa at gmail.com Sun Feb 21 12:09:51 2021
From: hemdanimayssa at gmail.com (Mayssa HEMDANI)
Date: Sun, 21 Feb 2021 16:09:51 +0400
Subject: [Haskell] CFP : International Conference on Informatics Revolution
for Smarter Healthcare
Message-ID:
Call for papers
**************************************************************************
International Conference on Informatics Revolution for Smarter Healthcare
(IRSH 2021)
Prague- Czech Republic, October 14-15, 2021
https://confscience.com/irsh/
Submission deadline: April 1, 2021
All papers accepted in IRSH 2021 will be published in Springer CCIS
(Communications in Computer and Information Science).
CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical
Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings
Citation (Former ISI Proceedings)
***************************************************************************
IMPORTANT DATES:
- Paper Submission: April 1, 2021
- Acceptance Notification: July 1, 2021
- Final Manuscript Due: September 1, 2021
***************************************************************************
The IRSH 2021 conference will be held in Conjunction with:
International Conference on Applied Data Science and Intelligence (ADSI
2021)
International Conference on Recent Theories and Applications in
Transportation and Mobility - (RTATM 2021)
***************************************************************************
TOPICS:
Authors are invited to submit their original papers to address the topics
of the conference, including but not limited to:
FUNDAMENTALS AND THEORIES
- Interoperability and Data Integration
- Confidentiality and Data Security
- Data protection
- Data Sharing
- Security, Privacy, and Trust
- Emergent healthcare standards
- Emergent healthcare architectures
- ICT, Ageing and Disability
- Physiological and behavioural modelling
- Pandemic and disease modeling
- Usability and user experience of medical devices
- Human behaviour
- Clinical investigation regulatory frameworks
- Integrated healthcare approaches
- eHealth data standards and interoperability (e.g. HL7/FHIR)
- Databases and data warehousing
- Big Data and Open Data for healthcare
- Design and Development of Methodologies for Healthcare
- Emergent Communication Technologies
- Real-time interaction theories
- Emergent Technologies for Ambient Assisted Living
- User Interface Design for healthcare
- Sustainability
- New approaches for accuracy and effectiveness
- Data mining and bioinformatics
- Enhanced living environments
- Analysis and evaluation of healthcare systems
INTELLIGENT HEALTHCARE
- Pattern recognition and Machine
- Learning for healthcare
- Cognitive Informatics
- Big Data in Healthcare
- Wellbeing Informatics
- Data Mining and Data Analytics
- Data Visualization
- Smart environments
- Smart Ambient Assisted Living
- Intelligent healthcare solutions
- Agent-based solutions for healthcare
- Collaboration systems
- Intelligent Electronic Health Records
- Internet of Things for healthcare
- Cyber-Physical Systems for healthcare
- Ambient Computing and Reasoning
- Context Awareness
- Smart devices for eldercare
- Autonomy and active ageing
- Emergent technologies for intelligent Computer Vision
- Service production and delivery
- Gamification
- Multi-modal interaction
- Computer-aided detection and diagnosis
- Crowdsourcing for smarted healthcare
SERVICES, SYSTEMS, AND INFRASTRUCTURES
- Emergent healthcare services
- Pervasive health systems and services
- Remote healthcare management
- Emergent healthcare infrastructure
- Industry Revolution 4.0 for healthcare
- eHealth
- Electronic health records
- Assistive technologies
- Disease surveillance and patient monitoring systems
- Prevention and detection systems
- Home monitoring
- Healthcare management systems
- ICT-based therapeutic systems
- ICT-based rehabilitation technologies
- Wearable health informatics
- Emergent technologies for data analytics
- Ambient Assisted Leaving (AAL)
- Decision Support Systems
- Emergent Technologies for Remote AAL Monitoring
- Emergent Technologies and Accessibility
- 5G for healthcare
- Healthcare supply chain and logistics
- Wireless Body Networks
- Telemedicine and mobile telemedicine
- Mobile Systems
- Software Defined infrastructures
- Patient empowerment systems
- Smart technology for remote patient visits
- Biosensors
- Medical devices
APPLICATIONS
- eHealth applications
- Application of health informatics in clinical cases
- Mobile technologies for healthcare applications
- Software Systems in healthcare
- Social networking and healthcare
- Case Studies
- Personalization and patient experience
- AR and VR applications
- Patient billing
- Accounting systems
- Personnel and payroll
- Materials management
- Voice recognition systems
- Asset management solutions
- Disease management
- Feedback integration
- Clinical software
- Crowd-computing applications
- Future directions
- Drone-based solutions
- Software Defined Networks for healthcare
***************************************************************************
OUTSTANDING PAPERS:
Based on the peer review scores as well as the presentations at the
conference, the authors of outstanding papers will be invited to extend
their works for a potential publication in journals special issues with
high impact factors.
***************************************************************************
PAPER SUBMISSION:
Papers must be submitted electronically as PDF files via easychair (
https://easychair.org/conferences/?conf=irsh2021).
All papers will be peer reviewed.
Length of Full papers: 12-15 pages long (written in the LNCS/CCIS
one-column page format, 400 words per page)
Length of Short papers: less than 12 pages
For more information, please refer to the conference website:
https://confscience.com/irsh/
***************************************************************************
CONTACT
For more information, please send an email to info-irsh at confscience.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
From emilia at confscience.com Sun Feb 21 12:51:56 2021
From: emilia at confscience.com (Emilia Marc)
Date: Sun, 21 Feb 2021 13:51:56 +0100
Subject: [Haskell] International Conference on Recent Theories and
Applications in Transportation and Mobility - (RTATM 2021) -Prague
Message-ID: <000801d70850$57652010$062f6030$@confscience.com>
Call for papers
*************************************************
International Conference on Recent Theories and Applications in
Transportation and Mobility - (RTATM 2021)
Prague - Czech Republic, October 14-15, 2021
https://confscience.com/rtatm/
Submission deadline: April 1, 2021
All papers accepted in RTATM 2021 will be published in Springer CCIS
(Communications in Computer and Information Science).
CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical
Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings
Citation (Former ISI Proceedings)
***************************************************************************
IMPORTANT DATES:
- Paper Submission: April 1, 2021
- Acceptance Notification: July 1, 2021
- Final Manuscript Due: September 1, 2021
***************************************************************************
The RTATM 2021 conference will be held in Conjunction with:
International Conference on Applied Data Science and Intelligence (ADSI
2021)
International Conference on Informatics Revolution for Smarter Healthcare
(IRSH 2021)
***************************************************************************
TOPICS:
Authors are invited to submit their original papers to address the topics of
the conference, including but not limited to:
FUNDAMENTALS AND THEORIES
- Modelling and Simulation Algorithms
- Vehicular Wireless Medium Access Control
- V2X communications
- Routings and Protocols for Connected Vehicles
- Mobility Models and Architectures
- Distribution Strategies
- Traffic Incident Management Systems
- Bio-Inspired Approaches
- Optimization and Collaboration
- Automatic Control in Vehicular Networks
- Energy-aware Connected Mobility
- Programming Languages
- Sustainable Transportation
- Multimodal Transportation Networks and Systems
- Systemsb Integration
- Driver Behavior Models and Simulation
- Human Factors and Travel Behaviour
- Green Mobility
- Regulations and Bylaws for Intelligent
- Transportation and Mobility
SMART TRANSPORTATION AND LOGISTICS
- Mobility Management
- Connected Vehicles
- VANETs
- Predictive Logistics
- Spatio-Temporal Event Tracking
- Decision Support Systems
- Emergency Management
- Logistics and E-Commerce
- Supply Chain Design and Execution
- Supply Chain Management
- Advanced Planning Systems
- Fleet Management
- Multi-Agent Systems
- Machine Learning for Smart Logistics
- Intelligent Infrastructures
- Real-time Analysis of Comprehensive Supply Chain Data
- Smart Synchronization of Logistics Processes
- New Approaches for Cost Transparency
- Big Data for Smart Logistics
- Logistics 4.0
- Mobile Networks
- Next-Generation Smart Logistics
- Performance Management Approaches
- Tests and Deployment
- Software Defined Networks
- Smart Freight Management
- Smart Shipment Management
- Smart Warehousing
- Smart Inventory management
DATA AND SERVICES
- Real-Time transportation Data Acquisition
- Event Detection and Monitoring
- Data Warehouses for connected mobility
- Data mining and Data analytics
- Data Worthiness in Connected Vehicles
- Data Trustworthiness for effective transportation and mobility
- Road Traffic Data Analytics
- Structured and Unstructured Data for Connected Mobility
- Volunteered Geographic Information (VGI)
- Data Representation for Connected Mobility
- Transportation Data Mining
- Transportation and mobility Data Visualization
- Cognitive and Context-aware Intelligence
- Transportation Decision Support Systems
- Mobility as a Service (MaaS)
- Intelligent Transportation Services
- Smart Mobility Services
- Big Data and Vehicle Analytics
- Massive Data Management
- Collective and connected Intelligence
- Next Generation Services
- Driver Behaviour Analysis
- Geo-Spatial Services
- Service-Oriented Architecture (SOA)
- Web and Mobile Services
SAFETY, SECURITY, AND HAZARD MANAGEMENT
- Security Issues in Vehicular Communications
- Safety Applications of Connected Vehicles
- Weather-related Safety solutions
- V2V, V2I and I2V Road Safety Applications
- Connected Mobility for Hazard Management
- Risk Management
- Road Traffic Crashes Analytics
- Traffic Jam Prediction
- Resource Allocation for Hazard Management
- Trust and Privacy Issues in Logistics
- Management of Exceptional Events
- New approaches to Networking Security for Transportation Applications
- Failure modes, human factors, software safety
- Automated Failure Analysis
- Performance and Human Error Analysis
- Design and Reliability of Control Systems
- Dispersion Modelling Software
- Quantification of Risk
***************************************************************************
OUTSTANDING PAPERS:
Based on the peer review scores as well as the presentations at the
conference, the authors of outstanding papers will be invited to extend
their works for a potential publication in journals special issues with high
impact factors.
***************************************************************************
PAPER SUBMISSION:
Papers must be submitted electronically as PDF files via easychair
(https://easychair.org/conferences/?conf=rtatm2021).
All papers will be peer reviewed.
Length of Full papers: 12-15 pages long (written in the LNCS/CCIS one-column
page format, 400 words per page)
Length of Short papers: less than 12 pages
For more information, please refer to the conference website:
https://confscience.com/rtatm/
***************************************************************************
CONTACT
For more information, please send an email to info-rtatm at confscience.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
From yazan.mualla at utbm.fr Tue Feb 23 14:04:42 2021
From: yazan.mualla at utbm.fr (Yazan Mualla)
Date: Tue, 23 Feb 2021 15:04:42 +0100 (CET)
Subject: [Haskell] The 3rd International Workshop on EXplainable and
TRAnsparent AI and Multi-Agent Systems (EXTRAAMAS 2021)
Message-ID: <1051134965.1702300.1614089082464.JavaMail.zimbra@utbm.fr>
Please, accept our apologies in case of multiple copies of this CFP.
*************************************************************************************************************************************
The 3rd International Workshop on EXplainable and TRAnsparent AI and Multi-Agent Systems (EXTRAAMAS 2021)
https://extraamas.ehealth.hevs.ch/
held in conjunction with:
20th International Conference on Autonomous Agents and Multiagent Systems May 17-21, 2021 London, UK
https://aamas2021.soton.ac.uk/
**************************************************************************************************************************************
Aim and Scope
============
The workshop aims to gather researchers interested in developing explainable approaches to artificial intelligence, in particular to explainable agency, learning, reasoning, and their intersections. Participants are invited to submit papers addressing whichever phase of explainability (e.g., generation, communication, and reception) fostering transparency in autonomous agents and Multi-Agent Systems (MAS), robots, and other intelligent systems. Compliance with such requirements is becoming necessary in most systems where agent-oriented approaches are increasingly employed.
Important Dates:
=============
Deadline for Submissions: 22 February 2021 1 March 2021 (extended)
Notification of acceptance: 7 April 2021
Camera-ready: 20 May 2021
Workshop day: 5-7 May 2021
Topics:
======
# Special Focus: Explainable Reasoning in Face of Contradictions
- Principle-based symbolic reasoning and explainable loop-busting
- XAI and formal models of human reasoning
- Neuro-symbolic approaches to explainable and principle-based reasoning
- Principle-based and explainable legal reasoning
- Cross-disciplinary explainable reasoning and contradiction resolution
# Explainable Agents and Robots
- Explainable agent architectures
- Personalized XAI
- Explainable & Expressive robots
- Explainable human-robot collaboration
- Reinforcement Learning Agents
- Multi-modal explanations
# Interdisciplinary Aspects
- Cognitive and social sciences perspectives on explanations
- HCI for XAI
- Legal aspects of explainable agents
- Explanation visualization
# XAI & Ethics
- Social XAI
- AI, ethics, and explainability
- XAI vs AI
# XAI Machine learning and Knowledge Representation
- Bridging symbolic and subsymbolic XAI
- Knowledge generation from interpretations
- Explanation visualization
- Explainable knowledge generation
# XAI & MAS
- Multi-actors interaction in XAI
- XAI for agent/robots teams
- Simulations for XAI
Chairs:
======
Davide Calvaresi, HES-SO, Switzerland
Amro Najjar, University of Luxembourg, Luxembourg
Kary Framling, Umea University, Sweden
Michael Winikoff, Victoria University of Wellington, in Aotearoa, New Zealand
Timotheus Kampik, Signavio GmbH/Umeå University (Industry Chair)
Advisory Board:
============
Tim Miller, School of Computing and Information Systems at The University of Melbourne
Leon van der Torre, University of Luxembourg
Virginia Dignum, Umea University, Sweden
Michael Ignaz Schumacher, HES-SO, Switzerland
Dov Gabbay (keynote speaker), Professor emeritus, King’s College, London, UK
Assistant Chairs:
=============
Giovanni Ciatto, Università di Bologna, Italy
Sviatlana Höhn, University of Luxembourg
Submission:
==========
https://easychair.org/conferences/?conf=extraamas2021
All accepted papers can be published in the Springer post-proceedings Lecture Notes in Artificial Intelligence (LNAI). Participants are therefore invited to submit papers up to 16 pages in length (5 pages incl. references for demo papers), addressing the topics of the workshop. Papers must be edited using the LNCS format (applying the LNCS post-proceedings template) and have to be submitted electronically as PDF files via the EasyChair submission page.
Special Issue:
===========
Selected accepted papers that present relevant formal results will be invited to a special issue in the Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications (ISSN (E): 055-3714, ISSN (P): 2055-3706).
Contact:
=======
For questions regarding the Workshop, please contact the conference organizers at davide.calvaresi at hevs.ch, amro.najjar at uni.lu, tkampik at cs.umu.se.
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
From emilia at confscience.com Thu Feb 25 10:57:32 2021
From: emilia at confscience.com (Emilia Marc)
Date: Thu, 25 Feb 2021 11:57:32 +0100
Subject: [Haskell] International Conference on Informatics Revolution for
Smarter Healthcare (IRSH 2021) -Prague
Message-ID: <010b01d70b65$04907f20$0db17d60$@confscience.com>
Call for papers
*************************************************
International Conference on Informatics Revolution for Smarter Healthcare
(IRSH 2021)
Prague- Czech Republic, October 14-15, 2021
https://confscience.com/irsh/
Submission deadline: April 1, 2021
All papers accepted in IRSH 2021 will be published in Springer CCIS
(Communications in Computer and Information Science).
CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical
Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings
Citation (Former ISI Proceedings)
***************************************************************************
IMPORTANT DATES:
- Paper Submission: April 1, 2021
- Acceptance Notification: July 1, 2021
- Final Manuscript Due: September 1, 2021
***************************************************************************
The IRSH 2021 conference will be held in Conjunction with:
International Conference on Applied Data Science and Intelligence (ADSI
2021)
International Conference on Recent Theories and Applications in
Transportation and Mobility - (RTATM 2021)
***************************************************************************
TOPICS:
Authors are invited to submit their original papers to address the topics of
the conference, including but not limited to:
FUNDAMENTALS AND THEORIES
- Interoperability and Data Integration
- Confidentiality and Data Security
- Data protection
- Data Sharing
- Security, Privacy, and Trust
- Emergent healthcare standards
- Emergent healthcare architectures
- ICT, Ageing and Disability
- Physiological and behavioural modelling
- Pandemic and disease modeling
- Usability and user experience of medical devices
- Human behaviour
- Clinical investigation regulatory frameworks
- Integrated healthcare approaches
- eHealth data standards and interoperability (e.g. HL7/FHIR)
- Databases and data warehousing
- Big Data and Open Data for healthcare
- Design and Development of Methodologies for Healthcare
- Emergent Communication Technologies
- Real-time interaction theories
- Emergent Technologies for Ambient Assisted Living
- User Interface Design for healthcare
- Sustainability
- New approaches for accuracy and effectiveness
- Data mining and bioinformatics
- Enhanced living environments
- Analysis and evaluation of healthcare systems
INTELLIGENT HEALTHCARE
- Pattern recognition and Machine
- Learning for healthcare
- Cognitive Informatics
- Big Data in Healthcare
- Wellbeing Informatics
- Data Mining and Data Analytics
- Data Visualization
- Smart environments
- Smart Ambient Assisted Living
- Intelligent healthcare solutions
- Agent-based solutions for healthcare
- Collaboration systems
- Intelligent Electronic Health Records
- Internet of Things for healthcare
- Cyber-Physical Systems for healthcare
- Ambient Computing and Reasoning
- Context Awareness
- Smart devices for eldercare
- Autonomy and active ageing
- Emergent technologies for intelligent Computer Vision
- Service production and delivery
- Gamification
- Multi-modal interaction
- Computer-aided detection and diagnosis
- Crowdsourcing for smarted healthcare
SERVICES, SYSTEMS, AND INFRASTRUCTURES
- Emergent healthcare services
- Pervasive health systems and services
- Remote healthcare management
- Emergent healthcare infrastructure
- Industry Revolution 4.0 for healthcare
- eHealth
- Electronic health records
- Assistive technologies
- Disease surveillance and patient monitoring systems
- Prevention and detection systems
- Home monitoring
- Healthcare management systems
- ICT-based therapeutic systems
- ICT-based rehabilitation technologies
- Wearable health informatics
- Emergent technologies for data analytics
- Ambient Assisted Leaving (AAL)
- Decision Support Systems
- Emergent Technologies for Remote AAL Monitoring
- Emergent Technologies and Accessibility
- 5G for healthcare
- Healthcare supply chain and logistics
- Wireless Body Networks
- Telemedicine and mobile telemedicine
- Mobile Systems
- Software Defined infrastructures
- Patient empowerment systems
- Smart technology for remote patient visits
- Biosensors
- Medical devices
APPLICATIONS
- eHealth applications
- Application of health informatics in clinical cases
- Mobile technologies for healthcare applications
- Software Systems in healthcare
- Social networking and healthcare
- Case Studies
- Personalization and patient experience
- AR and VR applications
- Patient billing
- Accounting systems
- Personnel and payroll
- Materials management
- Voice recognition systems
- Asset management solutions
- Disease management
- Feedback integration
- Clinical software
- Crowd-computing applications
- Future directions
- Drone-based solutions
- Software Defined Networks for healthcare
***************************************************************************
OUTSTANDING PAPERS:
Based on the peer review scores as well as the presentations at the
conference, the authors of outstanding papers will be invited to extend
their works for a potential publication in journals special issues with high
impact factors.
***************************************************************************
PAPER SUBMISSION:
Papers must be submitted electronically as PDF files via easychair
(https://easychair.org/conferences/?conf=irsh2021).
All papers will be peer reviewed.
Length of Full papers: 12-15 pages long (written in the LNCS/CCIS one-column
page format, 400 words per page)
Length of Short papers: less than 12 pages
For more information, please refer to the conference website:
https://confscience.com/irsh/
***************************************************************************
CONTACT
For more information, please send an email to info-irsh at confscience.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
From hemdanimayssa at gmail.com Thu Feb 25 18:26:30 2021
From: hemdanimayssa at gmail.com (Mayssa HEMDANI)
Date: Thu, 25 Feb 2021 22:26:30 +0400
Subject: [Haskell] CFP : International Conference on Applied Data Science
and Intelligence - (ADSI 2021)
Message-ID:
Call for papers
**************************************************************************
International Conference on Applied Data Science and Intelligence - (ADSI
2021)
Prague- Czech Republic, October 14-15, 2021
https://confscience.com/adsi/
Submission deadline: April 1, 2021
All papers accepted in ADSI 2021 will be published in Springer CCIS
(Communications in Computer and Information Science).
CCIS is abstracted/indexed in Scopus, SCImago, EI-Compendex, Mathematical
Reviews, DBLP, Google Scholar, and Thomson Reuters Conference Proceedings
Citation (Former ISI Proceedings)
***************************************************************************
IMPORTANT DATES:
- Paper Submission: April 1, 2021
- Acceptance Notification: July 1, 2021
- Final Manuscript Due: September 1, 2021
***************************************************************************
The ADSI 2021 conference will be held in Conjunction with:
International Conference on Recent Theories and Applications in
Transportation and Mobility (RTATM 2021)
International Conference on Informatics Revolution for Smarter Healthcare
(IRSH 2021)
***************************************************************************
TOPICS:
Authors are invited to submit their original papers to address the topics
of the conference, including but not limited to:
FUNDAMENTALS AND THEORIES
- Theoretical Models
- Spatial and temporal multi-models
- Multi-dimensional data
- Data acquisition and pre-processing
- Data inference
- Data Classification and Taxonomy
- Data Metrics
- New approaches for collaboration and competition
- Self-organization, self-healing, fault-tolerance approaches
- Spatial reasoning
- Context awareness
- Intelligent mobility
- New approaches to supervised and unsupervised learning
- New approaches for security, privacy, trust, and ethics in data science
- Real-time data analytics
- Multi-Agent Systems for data science
- Distributed data analytics
- Data authenticity
- New theories and approaches for Deep learning
- New approaches for Business Intelligence
- Fuzzy logic
- Decision trees
- Support vector machines
- Evolutionary computation
- Statistical methods
- Collaborative filtering
- Data engineering
- Content mining
- Indexing schemes
- Information retrieval
- Metadata use and management
INTELLIGENT DATA PROCESSING AND ANALYTICS
- Multi-level data processing
- Data analytics optimization
- Smart data mining
- Machine Learning
- Deep Learning
- Bio-Inspired Computing
- Secure data analytics
- Privacy in data analytics
- Trust in Big Data
- Business intelligence
- Visualization Analytics
- Intelligence as a Service (IaaS)
- Data Science as a Service (DSaaS)
- Natural Language Processing
- Signal Processing
- Simulation and Modeling
- Data-Intensive Computing
SYSTEMS AND INFRASTRUCTURES
- Data storage infrastructure
- Data warehouses
- Data Query and Indexing Technologies
- Software Defined Infrastructures
- Software Defined Networks (SDN)
- Distributed data systems
- Smart grid computing
- Intelligent data management
- Big Data computing
- Smart data networking
- Internet of Things
- Cyber Physical Systems
- Blockchain
- Fog and Edge intelligence
- Parallel Computing systems
- Open Source systems for data science
- Embedded intelligence
- Embedded data science
- In-Memory computing
- Intelligent drones
- Internet of Drones
- Real-time data acquisition systems
APPLICATIONS
- Intelligent Hazard management
- Intelligent data science in healthcare
- Intelligent data science in farming
- Intelligent data science in Oil and Gas
- Smart logistics
- Intelligent data science in transportation
- Intelligent data science in surveillance
- Xtech (Fintech, Agritech, etc.)
- Intelligent drones
- Digital transformation
- Bioinformatics
- Marketing
- Social Science
- E-learning and E-services
***************************************************************************
OUTSTANDING PAPERS:
Based on the peer review scores as well as the presentations at the
conference, the authors of outstanding papers will be invited to extend
their works for a potential publication in journals special issues with
high impact factors.
***************************************************************************
PAPER SUBMISSION:
Papers must be submitted electronically as PDF files via easychair (
https://easychair.org/conferences/?conf=adsi2021).
All papers will be peer reviewed.
Length of Full papers: 12-15 pages long (written in the LNCS/CCIS
one-column page format, 400 words per page)
Length of Short papers: less than 12 pages
For more information, please refer to the conference website:
https://confscience.com/adsi/
***************************************************************************
CONTACT
For more information, please send an email to info-adsi at confscience.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
From pangjun at gmail.com Fri Feb 26 07:36:43 2021
From: pangjun at gmail.com (Jun PANG)
Date: Fri, 26 Feb 2021 08:36:43 +0100
Subject: [Haskell] Formal Methods 2021 -- Call for papers
In-Reply-To:
References:
Message-ID:
******************************************************************
FM 2021: 24th International Symposium on Formal Methods
Beijng, China, November 20 - 26, 2021
https://lcs.ios.ac.cn/fm2021/
******************************************************************
FM 2021 is the 24th international symposium in a series organised by
Formal Methods Europe (FME), an independent association whose aim is
to stimulate the use of, and research on, formal methods for software
development. The symposia have been notably successful in bringing
together researchers and industrial users around a programme of
original papers on research and industrial experience, workshops,
tutorials, reports on tools, projects, and ongoing doctoral work. FM
2021 will be both an occasion to celebrate and a platform for
enthusiastic researchers and practitioners from a diversity of
backgrounds to exchange their ideas and share their experience.
FM 2021 will highlight the development and application of formal
methods in a wide range of domains including software, cyber-physical
systems and integrated computer-based systems. We are in particular
interested in the application of formal methods in the areas of
systems-of-systems, security, artificial intelligence, human-computer
interaction, manufacturing, sustainability, power, transport, smart
cities, healthcare, biology. We also welcome papers on experiences
from application of formal methods in industry, and on the design and
validation of formal methods tools.
We are monitoring closely the COVID-19 situation and, although we hope
for an in-person event, we are also planning carefully for a virtual
event or a hybrid virtual/person event, in case there will be travel
restrictions or health advisories following the global Covid-19
crisis. We will announce a decision on the nature of the meeting in
due course.
----------------
Important Dates
----------------
Abstract submission: April 30, 2021, 23:59 AoE
Full paper submission: May 6, 2021, 23:59 AoE
Notification: July 16, 2021
Camera ready: August 16, 2021
Conference: November 20-26, 2021
----------------
Topics of Interest
----------------
FM 2021 encourages submissions on formal methods in a wide range of
domains including software, computer-based systems,
systems-of-systems, cyber-physical systems, security, human-computer
interaction, manufacturing, sustainability, energy, transport, smart
cities, and healthcare. We particularly welcome papers on techniques,
tools and experiences in interdisciplinary settings. We also welcome
papers on experiences of formal methods in industry, and on the design
and validation of formal methods tools. The broad topics of interest
for FM 2021 include, but are not limited to:
● Interdisciplinary formal methods: Techniques, tools and experiences
demonstrating the use of formal methods in interdisciplinary settings.
● Formal methods in practice: Industrial applications of formal
methods, experience with formal methods in industry, tool usage
reports, experiments with challenge problems. The authors are
encouraged to explain how formal methods overcame problems, led to
improved designs, or provided new insights.
● Tools for formal methods: Advances in automated verification, model
checking, and testing with formal methods, tools integration,
environments for formal methods, and experimental validation of tools.
The authors are encouraged to demonstrate empirically that the new
tool or environment advances the state of the art.
● Formal methods in software and systems engineering: Development
processes with formal methods, usage guidelines for formal methods,
and method integration. The authors are encouraged to evaluate process
innovations with respect to qualitative or quantitative improvements.
Empirical studies and evaluations are also solicited.
● Theoretical foundations of formal methods: All aspects of theory
related to specification, verification, refinement, and static and
dynamic analysis. The authors are encouraged to explain how their
results contribute to the solution of practical problems with formal
methods or tools.
----------------
Submission Guidelines
----------------
Papers should be original work, not published or submitted elsewhere,
in Springer LNCS format, written in English, submitted through
EasyChair:
https://easychair.org/conferences/?conf=fm2021
Each paper will be evaluated by at least three members of the
Programme Committee. Authors of papers reporting experimental work are
strongly encouraged to make their experimental results available for
use by the reviewers. Similarly, case study papers should describe
significant case studies, and the complete development should be made
available at the time of review. The usual criteria for novelty,
reproducibility, correctness and the ability for others to build upon
the described work apply. Tool papers and tool demonstration papers
should explain enhancements made compared to previously published
work. A tool demonstration paper need not present the theory behind
the tool, but can focus on the tool’s features, how it is used, its
evaluation, and examples and screenshots illustrating the tool’s use.
Authors of tool and tool demonstration papers should make their tool
available for use by the reviewers.
We solicit various categories of papers:
● Regular Papers (max 15 pages)
● Long tool papers (max 15 pages)
● Case study papers (max 15 pages)
● Short papers (max 6 pages), including tool demonstration papers.
Besides short tool demo papers, short papers are encouraged for any
topic that can be described within the page limit, and in particular
for novel ideas without an extensive experimental evaluation. Short
papers will be given short presentations at the conference.
All page limits do not count references and appendices.
For all papers, an appendix can provide additional material such as
details on proofs or experiments. The appendix is not part of the page
count and not guaranteed to be read or taken into account by the
reviewers. It should not contain information necessary for the
understanding and the evaluation of the presented work. Papers will be
accepted or rejected in the category in which they were submitted.
At least one author of an accepted paper is expected to present the
paper at the conference as a registered participant.
----------------
Best Paper Award
----------------
At the conference, the PC Chairs will present an award to the authors
of the submission selected as the FM 2021 Best Paper.
----------------
Publication
----------------
Accepted papers will be published in the Symposium Proceedings to
appear in Springer’s Lecture Notes in Computer Science in the subline
on Formal Methods. Traditionally, extended versions of selected papers
will be invited for publication in a special issue of one or more
journals.
----------------
Invited Speakers
----------------
● Prof. Clark Barrett, Stanford University, USA
● Prof. Mingsheng Ying, University of Technology Sydney, Australia
● Prof. Assia Mahboubi, INRIA, France
● Prof. Paula Herber, University of Münster, Germany
----------------
General Chair
----------------
Huimin Lin, Chinese Academy of Sciences, China
----------------
Program Committee Chairs
----------------
Marieke Huisman, University of Twente, Netherlands
Corina Pasareanu, Carnegie Mellon University, USA
Naijun Zhan, Chinese Academy of Science, China
----------------
Program Committee
----------------
Bernhard K. Aichernig, TU Graz, Austria
Christel Baier, TU Dresden, Germany
Gustavo Betarte, Universidad de la República, Uruguay
Ivana Cerna, Masaryk University, Czech
Pedro R. D'Argenio, Universidad Nacional de Córdoba – CONICET, Argentina
Alessandro Fantechi, DINFO - Universita' di Firenze, Italy
Bernd Fischer, Stellenbosch University, South Africa
Martin Fränzle, Carl von Ossietzky Universität Oldenburg, Germany
Vijay Ganesh, University of Waterloo, Canada
Fatemeh Ghassemi, University of Tehran, Iran
Stefania Gnesi, ISTI-CNR, Italy
Ichiro Hasuo, National Institute of Informatics, Japan
Paula Herber, University of Münster, Germany
Peter Höfner, Australian National University, Australia
Marieke Huisman, University of Twente, Netherlands
Nils Jansen, Radboud University, Netherlands
Einar Broch Johnsen, University of Oslo, Norway
Jan Kofron, Charles University, Czech
Dorel Lucanu, Alexandru Ioan Cuza University, Romania
Radu Mateescu, INRIA, France
Anastasia Mavridou, SGT Inc. / NASA Ames Research Center, USA
Annabelle McIver, Macquarie University, Australia
Rosemary Monahan, Maynooth University, Ireland
Nina Narodytska, VMware Research, USA
David Naumann, Stevens Institute of Technology, USA
Jose Oliveira, University of Minho, Portugal
Jun Pang, University of Luxembourg, Luxembourg
Dave Parker, University of Birmingham, UK
Corina Pasareanu, CMU/NASA Ames Research Center, USA
Gustavo Petri, IRIF, Université Paris Diderot, France
Akshay Rajhans, MathWorks, USA
Tamara Rezk, INRIA, France
Partha Roop, University of Auckland, New Zealand
Jun Sun, Singapore Management University, Singapore
Maurice H. ter Beek, ISTI-CNR, Italy
Elena Troubitsyna, KTH, Sweden
Sebastian Uchitel, University of Buenos Aires and Imperial College London, UK
Mattias Ulbrich, Karlsruhe Institute of Technology, Germany
Tarmo Uustalu, Reykjavik University, Iceland
Jaco van de Pol, Aarhus University, Denmark
Michael Whalen, University of Minnesota, USA
Ji Wang, National Laboratory for Parallel and Distributed Processing, China
Anton Wijs, Eindhoven University of Technology, Netherlands
Jim Woodcock, University of York, UK
Naijun Zhan, Institute of Software, Chinese Academy of Sciences, China
Lijun Zhang, Institute of Software, Chinese Academy of Sciences, China
----------------
Publicity Chair
----------------
Eunsuk Kang, Carnegie Mellon University, US
Jun Pang, University of Luxembourg, Luxembourg
----------------
Local Organizers
----------------
Naijun Zhan (chair), Chinese Academy of Sciences, China
Bai Xue, Chinese Academy of Sciences, China
Bohua Zhan Chinese Academy of Sciences, China
Zhilin Wu, Chinese Academy of Sciences, China
Andrea Turrini, Chinese Academy of Sciences, China
David Jansen, Chinese Academy of Sciences, China
Peng Wu, Chinese Academy of Sciences, China
----------------
Web Team
----------------
Bohua Zhan, Chinese Academy of Sciences, China
Bai Xue, Chinese Academy of Sciences, China
Andrea Turrini, Chinese Academy of Sciences, China
From yazan.mualla at utbm.fr Sun Feb 28 18:41:55 2021
From: yazan.mualla at utbm.fr (Yazan Mualla)
Date: Sun, 28 Feb 2021 19:41:55 +0100 (CET)
Subject: [Haskell] Open Position of Research Engineer on AI and mobility
simulation at the CIAD Lab (UTBM) France
In-Reply-To: <683565700.11772560.1613126596621.JavaMail.zimbra@utbm.fr>
References:
<683565700.11772560.1613126596621.JavaMail.zimbra@utbm.fr>
Message-ID: <1918609843.9802210.1614537715654.JavaMail.zimbra@utbm.fr>
Dear All,
Kindly find below an announcement for a position of Research Engineer at the CIAD laboratory (France, [ http://www.ciad-lab.fr%29/ | http://www.ciad-lab.fr ] ) in the context of our H2020 REDREAM project.
Best Regards,
Dr. Yazan Mualla
Researcher and Lecturer
Laboratoire Connaissance et Intelligence Artificielle Distribuées (CIAD) EA 7533
Université de Bourgogne Franche-Comté
Postal Address:
Université de Technologie de Belfort-Montbéliard,
13, rue Ernest Thierry-Mieg,
90010 Belfort Cedex, FRANCE
From: "Stéphane GALLAND"
Cc: "Yazan Mualla" , "Abdeljalil Abbas-Turki"
Sent: Friday, 12 February, 2021 11:26:36
Subject: Open Position of Research Engineer on AI and mobility simulation at the CIAD Lab (UTBM) France
Dear all.
A position of Research Engineer is open at the CIAD laboratory (France, [ http://www.ciad-lab.fr%29/ | http://www.ciad-lab.fr ] ) in the context of our H2020 REDREAM project.
The topics of this position are to contribute to an AI-based mobility simulator in the context of the local energy market.
Details on the new position could be found on one of the three websites:
[ http://www.ciad-lab.fr/job-offers-at-ciad-laboratory/ | http://www.ciad-lab.fr/job-offers-at-ciad-laboratory/ ]
[ https://www.ubfc.fr/recrutement-2/ ] [ https://www.ubfc.fr/recrutement-2/ | https://www.ubfc.fr/recrutement-2/ ]
[ https://euraxess.ec.europa.eu/jobs/604054 | https://euraxess.ec.europa.eu/jobs/604054 ]
All the best.
--
[ http://www.ciad-lab.fr/ ]
Laboratoire C onnaissance et I ntelligence A rtificielle D istribuées
CIAD UMR 7533
[ http://www.utbm.fr/ ]
Prof. Dr. Stéphane GALLAND
Full Professor of Computer Science and Multiagent Systems
[ http://www.ubfc.fr/ ]
Deputy Director of [ http://ciad.fr/ | CIAD ]
French Head of ARFITEC ARF-17-11 & ARF-19-11 "Energy, Transport, Industry, Challenges for tomorrow"
Senior member of the [ http://www.ciad-lab.fr/ | Multiagent Group ]
Member of [ http://afia.asso.fr/ | AFIA ]
[ https://www.ic-arts.eu/ ] Université de Technologie de Belfort-Montbéliard - UBFC
13, rue Ernest Thierry-Mieg
90010 Belfort Cedex, FRANCE
CIAD Lab: [ http://www.ciad-lab.fr/ | www.ciad-lab.fr ]
Web: [ http://www.ciad-lab.fr/author-10836/ | www.ciad-lab.fr/author-10836 ]
Phone: +33 384 583 418 (work office)
Mobile: +33 662 274 442 (private)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: