[TYPES/announce] ARITH-26, deadline extension

[Sylvie Boldo]

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


Sorry for multiple postings.


*Extended deadlines:* abstract: Jan 18th and full paper: Jan 31st


==
 CALL FOR PAPERS
 ARITH-26

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


  http://arith26.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.


We will have two special sessions:
- Industrial Arithmetic, proposed by Elisardo Antelo
- Arithmetic Hardware Generators, proposed by Florent de Dinechin


=== Procedure for submission ===

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

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


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 ===

Abstract submission  January 18th, 2019
Full paper submissionJanuary 31st, 2019
Paper notification   Early April, 2019
Paper camera-ready   Mid-April, 2019
Conference   June 10-12th, 2019

=== Organization ===

= General chair =
Naofumi Takagi, Kyoto University, Japan

= Finance and Publication Chair =
Kazuyoshi Takagi, Kyoto University, Japan

= Program co-chairs =
Sylvie Boldo, Inria, France
Martin Langhammer, Intel


= Program Committee Members =
Elisardo Antelo, University of Santiago de Compostela, Spain
Javier Bruguera, ARM, Austin, USA
Marius Cornea, Intel Corporation, USA
Vassil 

[TYPES/announce] CfP: Workshop on Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Sciences, 5th-9th August 2019

[Martha Lewis]

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

CALL FOR PAPERS

Workshop on Semantic Spaces at the Intersection of NLP, Physics, and Cognitive 
Sciences

Part of ESSLLI 2019 (http://esslli2019.folli.info/ 
)

August 5th - 9th 2019
Riga, Latvia

https://sites.google.com/view/semspace2019/home 




AIMS AND SCOPE
Vector embeddings of word meanings have become a mainstream tool in large scale 
natural language processing tools. The use of vectors to represent meanings in 
semantic spaces or feature spaces is also employed in cognitive science. 
Unrelated to natural language and cognitive science, vectors and vector spaces 
have been extensively used as models of physical theories and especially the 
theory of quantum mechanics. Crucial similarities between the vector 
representations of quantum mechanics and those of natural language are 
exhibited via bicompact linear logic and compact closed categorical structures 
in natural language.

Exploiting the common ground provided by vector spaces, the workshop will bring 
together researchers working at the intersection of NLP, cognitive science, and 
physics, offering to them an appropriate forum for presenting their uniquely 
motivated work and ideas. The interplay between these three disciplines will 
foster theoretically motivated approaches to understanding how meanings of 
words interact with each other in sentences and discourse via grammatical 
types, how they are determined by input from the world, and how word and 
sentence meanings interact logically.

Topics of interests include (but are not restricted to):
Reasoning in semantic spaces
Compositionality in semantic spaces and conceptual spaces
Conceptual spaces in linguistics and natural language processing
Applications of quantum logic in natural language processing and cognitive 
science
Modelling functional words such as prepositions and relative pronouns in 
compositional distributional models of meaning
Diagrammatic reasoning for natural language processing and cognitive science
Modelling so-called ‘non-compositional’ phenomena such as metaphor

IMPORTANT DATES:
25th April 2019: Paper submission
1st June 2019: Notification to contributors
5th-9th August: Workshop dates

CONFIRMED SPEAKERS:
Professor Ruth Kempson FBA, Emeritus Professor of Linguistics, King's College, 
London, UK
Dr Sanjaye Ramgoolam, Reader in Theoretical Physics, Queen Mary University of 
London, UK

SUBMISSIONS:
We invite:
Original contributions (up to 12 pages) of previously unpublished work. 
Submission of substantial, albeit partial results of work in progress is 
welcomed.

Extended abstracts (3 pages) of previously published work that is recent and 
relevant to the workshop. These should include a link to a separately published 
paper or preprint.

Contributions should be submitted at:
https://easychair.org/conferences/?conf=semspace2019 


PROGRAMME COMMITTEE:
Bob Coecke, University of Oxford
Peter Gärdenfors, Lund University
Helle Hvid Hansen, Delft University of Technology
Jules Hedges, University of Oxford
Dimitrios Kartsaklis, Apple
Alexander Kurz, University of Leicester
Antonio Lieto, University of Turin, Department of Computer Science
Richard Moot, CNRS (LIRMM) & University of Montpellier
Dusko Pavlovic, University of Hawaii
Emmanuel Pothos, City University London
Matthew Purver, Queen Mary University of London
Giovanni Sileno, University of Amsterdam
Pawel Sobocinski, University of Southampton
Oriol Valentín, Universitat Politècnica de Catalunya
Dominic Widdows, Serendipity Now!
Geraint Wiggins, Vrije Universiteit Brussel
Frank Zenker, Lund University

ORGANIZATION COMMITTEE:
Martha Lewis, ILLC, University of Amsterdam
Dan Marsden, University of Oxford
Mehrnoosh Sadrzadeh, Queen Mary University of London

[TYPES/announce] Three Postdoctoral Research positions: Security, Reliability and Space Resources

[Ross James HORNE]

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

For the following positions, we welcome experts in type systems and related 
methods.

The University of Luxembourg offer three competitive postdoctoral research 
positions. The positions are suitable for experienced researchers, who are 
ready to think out of the box to tackle fresh problems.

Please find three descriptions below. Two should be interpreted broadly in the 
scope of a new interdisciplinary master program in Space Resources at the 
University of Luxembourg. This is part of the initiative of Luxembourg to 
strategically place itself in an internationally leading role in the 
exploration and utilization of space resources. The third is in the more 
general area of security.

The positions also appear here: http://satoss.uni.lu/vacancies/

===--

1. Postdoctoral Researcher in Space Informatics (Security and Reliability in 
Space)

Space system operate under in extreme conditions hence have reliability 
requirements. Furthermore, as cooperation and competition for space increases, 
security should also be elevated. The ideal candidate for this position would 
be able to propose formal methods to improve the security and reliability of 
space missions.

Euraxes: https://euraxess.ec.europa.eu/jobs/368543
Start: a.s.a.p.
Apply here: 
http://recruitment.uni.lu/en/details.html?id=QMUFK026203F3VBQB7V7VV4S8=25417=41541=karriereseiten=EN


2. Postdoctoral Researcher in Space Informatics (Computer Science / Robotics / 
Telecommunications)

This broader position, also under the Space Resources program seeks a candidate 
familiar with techniques relevant to the engineering of space systems. 
Techniques are not limited to techniques for testing, fault-tollerant 
protocols, coding theory, artificial intelligence, control systems, data 
management, virtualisation, requirements engineering, runtime monitoring, 
fault-tollerant hardware. The ideal candidate should take a broad outlook on 
the problem of how understanding techniques from their area of expertise 
(computer science, robotics or telecommunications) can contribute to the design 
of a successful space mission.

Euraxes: https://euraxess.ec.europa.eu/jobs/368537
Start: a.s.a.p.
Apply here: 
http://recruitment.uni.lu/en/details.html?id=QMUFK026203F3VBQB7V7VV4S8=25476=41939=karriereseiten=EN


3. Postdoctoral researcher in Computer Science (Security and Trust)

The ideal candidate for this position would have experience in the analysis of 
security protocols. Topics are not limited to distance bounding protocols (used 
to avoid relay attacks), and the verification of privacy properties. This 
position carries some important administrative duties.

Euraxes: https://euraxess.ec.europa.eu/jobs/368519
Start: 1 July 2019
Apply here: 
http://recruitment.uni.lu/en/details.html?id=QMUFK026203F3VBQB7V7VV4S8=25656=41899=karriereseiten=EN

===-

The University of Luxembourg is an equal opportunities employer; we encourage 
applicants from groups that are in a minority in computer science (notably 
female candidates). Applications will be considered upon receipt, in order to 
fill positions as soon as possible.

Please do not hesitate to contact us with further questions.


Sincerely,



Dr. Ross Horne,
research associate Computer Science Research Unit, University of Luxembourg
ross.ho...@uni.lu

Prof. Dr. Sjouke Mauw,
professor in SnT and the Computer Science Research Unit, University of 
Luxembourg
sjouke.m...@uni.lu