[TYPES/announce] CFP ARITH-2020, IEEE Symposium on Computer Arithmetic, June 7-10, Portland, OR, USA

[Arnaud Tisserand]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Our apologies for multiple emails on this CFP.

--
 CALL FOR PAPERS
   ARITH-2020
27th IEEE Symposium on Computer Arithmetic
   June 7 - 10, 2020, Portland, OR, USA
  http://www.arithsymposium.org

--

=== Scope 

Since 1969, the ARITH symposia have served as the flagship conference for 
presenting scientific work on the latest research in computer arithmetic. 
Computer arithmetic is now driving the most important innovations and product 
directions in our industry, such as artificial intelligence and security.

Authors are invited to submit papers describing recent advances on all aspects
related to computer arithmetic, its applications or implementations. This 
includes, but is not restricted to, the following topics:

 * Foundations of number systems and arithmetic
 * Arithmetic processor design and implementation
 * Arithmetic algorithms and their analysis
 * Floating-point units, algorithms, and numerical analysis
 * Elementary and special function implementations
 * Test, validation, and formal verification techniques for arithmetic 
implementations
 * Power-efficient or low-energy arithmetic units and processors
 * Industrial implementation of arithmetic units and processors
 * Fault/error-tolerance in arithmetic implementations
 * Arithmetic for FPGAs and reconfigurable logic
 * Design automation for computer arithmetic implementations
 * Arithmetic, datapath design and numerics for artificial intelligence, 
machine/deep learning
 * Computer arithmetic for approximate computing
 * Computer arithmetic for security and cryptography
 * Arithmetic to enhance accuracy or reliability (multiple-precision, interval 
arithmetic, ...)
 * Arithmetic challenges in HPC and exascale computing (accuracy, 
reproducibility, ...)
 * Arithmetic for specific application domains (big-data analytics, signal 
processing, computer graphics, multimedia, computer vision, finance, ...)
 * Computer arithmetic in emerging technologies
 * Non-conventional computer arithmetic and applications


=== Specific Sessions ===

Besides inviting submissions for regular sessions (8 pages maximum papers),
ARITH-2020 will also propose specific sessions. All accepted submissions, 
whether regular full papers, specific topics, short or industry papers or 
student forum presentations, will have a presentation slot scheduled.

-- Short and Industry Papers --

For ARITH-2020, we are also inviting short papers (4 pages maximum) to 
describe industry applications, work-in-progress ideas, or interim results. 

-- Specific Topic Sessions --

We are also inviting people to co-organize a few sessions on specific topics. 
Please identify the targeted session for submissions (e.g. use the 
anonymous author field). Submissions (4-page and 8-page) must comply to 
the procedure below and will be reviewed as all other types of sessions.

  Co-organizers have to contact the PC Chairs 
   before Dec. 30th, 2019 to propose a topic.

-- Student Forum --

We invite students at any level to present their work in an informal 
session without papers in the proceedings.


=== Procedure for submission for all sessions ===

An abstract submission deadline has been set to January 8th. This
initial submission must include title, author(s), keywords and abstract.
The full paper is due on January 22nd.

Submission site: https://easychair.org/conferences/?conf=arith2020

Papers under review elsewhere are not acceptable for submission to
ARITH-2020. A double-blind peer review policy will be enforced. Please,
remove authors' names, acknowledgments or any obvious references to the
authors before submission. By submitting a paper you implicitly confirm
you are solely submitting it to ARITH-2020. The final submissions of
accepted regular session papers cannot exceed 8 pages (NO extra pages)
using the IEEE Computer Society Conference format (two columns).
However, for review, authors may submit a paper with a maximum of 20
pages, 12pt font size, single column and double spacing. The final
submissions for short and industry papers cannot exceed 4 pages (NO
extra pages) using the IEEE Computer Society Conference format (two
columns). For review, the paper may have up to 10 pages, in 12pt font
size, single column and double spacing.

Formatting instructions:
http://www.ieee.org/conferences_events/conferences/publishing/templates.html

=== Important Dates 

Initial paper submissionsJanuary 8th, 2020
   (must include title, authors, keywords, abstract
Final submission with complete paperJanuary 22nd, 2020
Paper notification

[TYPES/announce] Third call for draft papers for TFPIE 2020 (Trends in Functional Programming in Education)

[Jurriaan Hage]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Hello,

Please, find below the third call for draft papers for TFPIE 2020.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.

best regards,
Jurriaan Hage
Chair of TFPIE 2020




TFPIE 2020 Call for papers


http://www.staff.science.uu.nl/~hage0101/tfpie2020/index.html

February 12th 2020, Krakow, Poland
(co-located with TFP 2020 and Lambda Days)


*NEW* Invited Speaker

We are happy to announce the invited speaker for TFPIE 2020, Thorsten
Altenkirch, who also speaks at Lambda Days. At TFPIE 2020 he shall be
talking
about his new book, Conceptual Programming With Python.

*NEW* Registration

This year TFPIE takes place outside of the Lambda Days/TFP organisation,
although it takes place near their location. This means you do need to
register
separately for TFPIE; it also means you can register for TFPIE without
registering for TFP/LambdaDays, and vice versa.

Registration is mandatory for at least one author of every paper that is
presented at the workshop. Only papers that have been presented at TFPIE
may be
submitted to the post-reviewing process. Registration is 25 euro per
person.


TFPIE 2020 welcomes submissions describing techniques used in the classroom,
tools used in and/or developed for the classroom and any creative use of
functional programming (FP) to aid education in or outside Computer Science.
Topics of interest include, but are not limited to:

  FP and beginning CS students
  FP and Computational Thinking
  FP and Artificial Intelligence
  FP in Robotics
  FP and Music
  Advanced FP for undergraduates
  FP in graduate education
  Engaging students in research using FP
  FP in Programming Languages
  FP in the high school curriculum
  FP as a stepping stone to other CS topics
  FP and Philosophy
  The pedagogy of teaching FP
  FP and e-learning: MOOCs, automated assessment etc.
  Best Lectures - more details below

In addition to papers, we are requesting best lecture presentations. What's
your
best lecture topic in an FP related course? Do you have a fun way to
present FP
concepts to novices or perhaps an especially interesting presentation of a
difficult topic? In either case, please consider sharing it. Best lecture
topics
will be selected for presentation based on a short abstract describing the
lecture and its interest to TFPIE attendees. The length of the presentation
should be comparable to that of a paper. On top of the lecture itself,
the presentation can also provide commentary on the lecture.

Submissions
Potential presenters are invited to submit an extended abstract (4-6 pages)
or a
draft paper (up to 20 pages) in EPTCS style. The authors of accepted
presentations will have their preprints and their slides made available on
the
workshop's website. Papers and abstracts can be submitted via easychair at
the
following link: https://easychair.org/conferences/?conf=tfpie2020 . After
the
workshop, presenters will be invited to submit (a revised version of) their
article for review. The PC will select the best articles that will be
published in the Electronic Proceedings in Theoretical Computer Science
(EPTCS).
Articles rejected for presentation and extended abstracts will not be
formally
reviewed by the PC.

Dates
  Submission deadline: January 14th 2020, Anywhere on Earth.
  Notification: January 17th 2020
  TFPIE Registration Deadline: January 20th 2020
  Workshop: February 12th 2020
  Submission for formal review: April 19th 2020, Anywhere on Earth.
  Notification of full article: June 6th 2020
  Camera ready: July 1st 2020

Program Committee
  Olaf Chitil - University of Kent
  Youyou Cong - Tokyo Institute of Technology
  Marko van Eekelen - Open University of the Netherlands and Radboud
University Nijmegen
  Jurriaan Hage (Chair) - Utrecht University
  Marco T. Morazan - Seton Hall University, USA
  Sharon Tuttle - Humboldt State University, USA
  Janis Voigtlaender - University of Duisburg-Essen
  Viktoria Zsok - Eotvos Lorand University

Note: information on TFP is available at
http://www.cse.chalmers.se/~rjmh/tfp/

[TYPES/announce] PhD position "Efficient and natural proofs and algorithms" at University of Bath

[Willem Heijltjes]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

We are recruiting for a PhD position "Efficient and natural proofs and 
algorithms"

  Funding:  Competition funded (EU/UK)
  Deadline:  9 February  2020
  Start:28 September 2020 (anticipated)

  People:   Dr. Alessio Guglielmi   a.guglie...@bath.ac.uk
Dr. Willem Heijltjesw.b.heijlt...@bath.ac.uk

  Mathematical Foundations Group
  Department of Computer Science
  University of Bath


= Description =

Proofs and algorithms are everyday objects in our discipline, but they are 
still very mysterious. Suffice to say that we are currently unable to decide 
whether two given proofs or two given algorithms are the same; this is an old 
problem that dates back to Hilbert. Also, proofs and algorithms are intimately 
connected in the most famous open problem in mathematics: P vs NP. 

We make progress by trying to unveil the fundamental structure behind proofs 
and algorithms, what we call their semantics. In other words, we are interested 
in the following questions: 

  What is a proof? 
  What is an algorithm? 
  How can we define them so that they have efficient and natural semantics? 

The questions above are interesting in their own right, but we note that 
answering them will enable technological advances of great impact on the 
society and the economy. For example, it will be possible to build a worldwide, 
universal tool for developing, validating, communicating and teaching 
mathematics. Also, quickly producing provably bug-free and secure software will 
become possible, so solving one of the most complex and important open 
engineering problems. 

In order to understand proofs and algorithms we create new mathematics starting 
from proof theory and semantics. The methods we use are mostly discrete, 
algebraic and combinatorial, but there is a growing geometrical component. The 
recent advances which our methods are mostly based on are linear logic, game 
semantics and deep inference. 

You can find more information at 

  http://alessio.guglielmi.name/res/cos/ 
  http://www.bath.ac.uk/projects/mathematical-foundations-of-computation/

Our group is very well financed via several grants. Thanks to our international 
relations, working with us means having a truly multicultural experience 
together with all the researchers at the forefront of this worldwide research 
effort. As a result, all our graduates work and publish at the highest level. 
For example, one of our recent PhDs, Anupam Das, has won a prestigious UKRI 
Future Leaders Fellowship in 2019, worth £1.5M. The facilities at the 
University of Bath are outstanding and the city is so beautiful that UNESCO 
recognises it as a World Heritage Site. 


= Contact =

For questions about the project or the application process, please contact us: 
  Alessio Guglielmi   a.guglie...@bath.ac.uk
  Willem Heijltjesw.b.heijlt...@bath.ac.uk


= How to apply =

Applicants should hold, or expect to gain, a First Class or good Upper Second 
Class Honours degree in Mathematics or Computer Science, or the equivalent from 
an overseas university. A master’s level qualification would be advantageous. 

Formal applications should be made via the University of Bath’s online 
application form for a PhD in Computer Science: 

  
https://samis.bath.ac.uk/urd/sits.urd/run/siw_ipp_lgn.login?process=siw_ipp_app=RDUCM-FP01=0014

Anticipated start date: 28 September 2020.


= Funding =

Research Council funding is available on a competition basis to Home and EU 
students who have been resident in the UK for 3 years prior to the start of the 
project. For more information on eligibility, see:

  
http://epsrc.ukri.org/skills/students/guidance-on-epsrc-studentships/eligibility/

Funding will cover Home/EU tuition fees, a stipend (£15,009 per annum for 
2019/2020) and a training support grant of £1,000 per annum for 3.5 years. 

Applicants classed as Overseas for tuition fee purposes are NOT eligible for 
funding; however, we welcome all-year-round applications from self-funded 
candidates and candidates who can source their own funding.

[TYPES/announce] DisCoTec 2020: call for satellite events

[Ornela Dardha]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]



 Call for Satellite Events: Workshops, Tutorials and Tool Tracks

 15th International Federated Conference on
 Distributed Computing Techniques

 DisCoTec 2020

 University of Malta, Valletta, Malta, 15-19 June 2020

https://www.discotec.org/2020/ 




*** About DisCoTec ***

DisCoTec is one of the major events sponsored by the International
Federation for Information Processing (IFIP). It gathers conferences,
workshops, and tutorials that cover a broad spectrum of distributed
computing subjects, ranging from theoretical foundations and formal
description techniques to systems research issues. Its 15th edition will
take place at University of Malta, Valletta, Malta, 15-19 June 2020.



*** Main Conferences ***

- COORDINATION (https://www.discotec.org/2020/coordination 
)
  22nd IFIP International Conference on Coordination Models and Languages
- DAIS (https://www.discotec.org/2020/dais )
  20th IFIP International Conference on Distributed Applications and
Interoperable Systems
- FORTE (https://www.discotec.org/2020/forte 
)
  40th IFIP International Conference on Formal Techniques for
Distributed Objects, Components and Systems



*** Workshops ***

The DisCoTec 2020 organizing committee invites proposals for workshops
to complement the three main conferences. The workshops should fall in
the areas of the DisCoTec conferences. The aim is to provide a vivid and
open forum for discussions, presentations of preliminary research
results and ongoing work, as well as presentations of research work to a
focused audience.

Workshops will be held in conjunction with
the main events. Prospective workshop organizers are requested to
contact the workshop chairs providing the following information:
- contact information of the organizers
- name of the satellite event
- number of participants (expected)
- brief description of the topic of the event (max. 500 words)
- any other relevant information (e.g., invited speakers)
- duration of the workshop and dates (15-19) in order of preference

Important Dates:

* January 10, 2020: Deadline for workshop proposals
* January 24, 2020: Notification of accepted workshops
* Mid April 2020:   Submission of workshop papers (suggested)
* Mid May 2020: Notification of accepted workshop papers (suggested)

Submission and notification deadlines of the workshops are at the
discretion of the individual workshop organizers, however notification
must be no later than the early registration deadline for DisCoTec 2020
(to be announced).



*** Tutorials ***

The DisCoTec 2020 organizing committee invites proposals for tutorials
by experts on topics related to those of the three main conferences of
DisCoTec. Tutorials will be held in conjunction with the main events.
Prospective speakers should contact the workshop chairs providing the
following information:
- contact information of the speaker
- title of the tutorial
- abstract of the tutorial (max. 500 words)
- description of the tutorial (max. two A4 pages)
- duration of the tutorial and dates (15-19) in order of preference

Important Dates:

* April 10, 2020:   Deadline for tutorial proposals
* May 1, 2020:  Notification of accepted tutorials



*** Tool track ***

The DisCoTec 2020 organizing committee invites proposals for tool
demonstrations on topics related to those of the three main conferences
of DisCoTec. The call is open to anyone, but authors of papers accepted
at the conferences of DisCoTec are strongly invited to present the tool
accompanying their publication. Demos will be held in conjunction with
the main events. Prospective speakers should contact the workshop chairs
providing the following information:
- contact information of the speaker
- title of the demo and of the tool
- brief description of the actual demonstration (max. three A4 pages)

Important Dates:

* April 24, 2020:   Deadline for demo proposals
* May 8, 2020:  Notification of accepted demos

* DisCoTec 2020 workshop chairs *

Antonis Achilleos (Reykjavik Univerisity, Iceland)
Duncan Attard (University of Malta, Malta)
Ornela Dardha (University of Glasgow, UK)


*** Further information ***

For further information, please contact the workshop chairs at
mailto:discotec2...@easychair.org>>