[TYPES/announce] PhD student positions in the Functional Programming group at Chalmers

[Alejandro Russo]

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

** Apologies for multiple copies **

Two PhD student positions in Functional Programming for guaranteed 
security in

the Internet of Things

The Octopi Project is led by Alejandro Russo, with Koen Claessen, John 
Hughes,
Carl-Johan Seger and Mary Sheeran as PIs. We will develop new ways to 
program
securely for the Internet of Things, working on everything from the 
programming
model to hardware design. We have already appointed three doctoral 
students, and
now we want to appoint two more, with emphasis on ways to express 
locality in
computations and also on designing hardware for executing functional 
languages
directly and efficiently. Carl-Johan Seger and Mary Sheeran will 
supervise the
two new students, and they will join an amazing team. This is a real job 
with a

decent salary for five years, and Gothenburg is a great place to live.

The following link gives more details and it is through the link that 
you apply

by pressing the button labelled Ansök. The deadline is October 31.



Please consider applying, or advising your best students to apply.

Mary Sheeran, Carl-Johan Seger and the Octopi team
()

[TYPES/announce] ARITH-26, first CFP

[Sylvie Boldo]

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


Please note that research on formal proofs related to computer arithmetic is 
very welcome!


==
 CALL FOR PAPERS
 ARITH-26

26th IEEE Symposium on Computer Arithmetic
June 10 – 12, 2019,  Kyoto, Japan


  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 and datapath design for artificial intelligence, machine 
learning, and deep learning

Numerics for artificial intelligence, machine learning, and deep learning
Arithmetic algorithms and their analysis
Floating-point units, algorithms, and numerical analysis
Elementary and special function implementations
Power-efficient or low-energy arithmetic units and processors
Industrial implementation of arithmetic units and processors
Test, validation, and formal verification techniques for arithmetic 
implementations

Fault/error-tolerance in arithmetic implementations
Arithmetic for FPGAs and reconfigurable logic
Design automation for computer arithmetic implementations
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

NEW: Short and Industry Papers

For ARITH 26, we are also inviting short papers (4 pages maximum) to
describe industry applications, work-in-progress ideas, or interim results.
PhD students are especially welcome and may present their work in an informal
session.

All submissions, whether regular full papers, short or industry papers, or PhD
presentations, will have a full presentation slot scheduled.


NEW: Call for Special Sessions

For ARITH 26 we also invite proposals for special sessions in selected topics.
Examples of special sessions in previous ARITH conferences are "FPGA
arithmetic", "realizing efficient matrix computation", and "DSP in arithmetic".
Organizers of special sessions will provide topics, invite speakers, and review
the submitted extended abstracts. Special session invitees will also have the
option of submitting a short paper for peer review.  Interested organizers are
invited to contact the PC chairs (at arit...@easychair.org) for acceptance
before November 30th, 2018.


=== Procedure for submission ===

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

NEW: an abstract submission deadline has been set to January 14th. This initial
submission must include title, author(s), and abstract. The paper is due on
January 21st.

Papers under review elsewhere are not acceptable for submission to ARITH 26. 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
26. 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 and PhD presentations 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 ===

Special session proposal November 30th, 2018
Abstract submission  January 14th, 2019
Full paper submissionJanuary 21st, 2019
Paper notification   Early April, 2019
Paper camera-ready   

[TYPES/announce] CADE-27: Call for Papers, Workshops, Tutorials and System Competitions

[Pascal Fontaine]

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

The 27th International Conference on Automated Deduction (CADE-27)

Natal, Brazil

25-30 August 2019

http://www.cade-27.info

CALL FOR PAPERS

CADE is the major international forum for presenting research on all 
aspects of automated deduction. High-quality submissions on the general 
topic of automated deduction, including foundations, applications, 
implementations, theoretical results, practical experiences and user 
studies are solicited.


Key dates:
  Abstract deadline:    15 February 2019
  Submission deadline:  22 February 2019

* Logics of interest include propositional, first-order, equational, 
higher-order, classical, description, modal, temporal, many-valued, 
constructive, other non-classical, meta-logics, logical frameworks, type 
theory, set theory, as well as any combination thereof.


* Paradigms of interest include theorem proving, model building, 
constraint solving, computer algebra, model checking, proof checking, 
and their integration.


* Methods of interest include resolution, superposition, completion, 
saturation, term rewriting, decision procedures, model elimination, 
connection methods, tableaux, sequent calculi, natural deduction, as 
well as their supporting algorithms and data structures, including 
matching, unification, orderings, induction, indexing techniques, proof 
presentation and explanation, proof planning.


* Applications of interest include program analysis, verification and 
synthesis of software and hardware, formal methods, computational logic, 
computer mathematics, natural language processing, computational 
linguistics, knowledge representation, ontology reasoning, deductive 
databases, declarative programming, robotics, planning, and other areas 
of artificial intelligence.


Submissions can be made in two categories: regular papers and system 
descriptions. The page limit in Springer LNCS style is 15 pages 
excluding references for regular papers and 10 pages excluding 
references for system descriptions. Submissions must be unpublished and 
not submitted for publication elsewhere. They will be judged on 
relevance, originality, significance, correctness, and readability. 
System descriptions must contain a link to a working system and will 
also be judged on usefulness and design. Proofs of theoretical results 
that do not fit in the page limit, executables of systems, and input 
data of experiments should be made available, via a reference to a 
website or in an appendix of the paper. For papers containing 
experimental evaluations, all data needed to rerun the experiments must 
be available. Reviewers will be encouraged to consider this additional 
material, but submissions must be self-contained within the respective 
page limit; considering the additional material should not be necessary 
to assess the merits of a submission. The review process will include a 
feedback/rebuttal period where authors will have the option to respond 
to reviewer comments. The PC chair may solicit further reviews after the 
rebuttal period.


The proceedings of the conference will be published in the Springer 
LNCS/LNAI series. Formatting instructions and the LNCS style files can 
be obtained at


http://www.springer.de/comp/lncs/authors.html

At every CADE conference the Program Committee selects one of the 
accepted papers to receive the CADE Best Paper Award. The award 
recognizes a paper that the Program Committee collegially evaluates as 
the best in terms of originality and significance, having substantial 
confidence in its correctness. Overall technical quality, completeness, 
scholarly accuracy, and readability are also considered. Characteristics 
associated with a best paper include, for instance, introduction of a 
strong new technique or approach, solution of a long-standing open 
problem, introduction and solution of an interesting and important new 
problem, highly innovative application of known ideas or existing 
techniques, and presentation of a new system of outstanding power. Under 
exceptional circumstances, the Program Committee may give two awards (ex 
aequo) or give no award.


IMPORTANT DATES
  Abstract deadline:    15 February 2019
  Submission deadline:  22 February 2019
  Rebuttal phase:   2  April    2019
  Notification: 15 April    2019
  Final version:    27 May  2019

SUBMISSION INSTRUCTIONS

Papers should be submitted via

https://easychair.org/conferences/?conf=cade27

CADE-27 ORGANIZERS

Conference Chair:
  Elaine Pimentel    Federal University of Rio Grande do Norte, Brazil

Organizers:
  Carlos Olarte  Federal University of Rio Grande do Norte, Brazil
  Joao Marcos    Federal University of Rio Grande do Norte, Brazil
  Claudia Nalon  University of Brasilia, Brazil
  Giselle Reis   CMU, Qatar

Program Committee Chair:
  Pascal Fontaine