[TYPES/announce] CfP: AI aspects of Reasoning, Information, and Memory 2018 (AIRIM'18)

[Roussanka Loukanova]

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

CALL FOR PAPERS

3rd International Workshop on
AI aspects of Reasoning, Information, and Memory 2018 (AIRIM'18)

https://www.fedcsis.org/2018/airim

Poznan, Poland, 9-12 September, 2018

-
SCOPE
There is general realization that computational models of languages and
reasoning can be improved by integration of heterogeneous resources of
information, e.g., multidimensional diagrams, images, language, syntax,
semantics, quantitative data, memory. While the event targets promotion of
integrated computational approaches, we invite contributions from any
individual areas related to information, language, memory, reasoning.

TOPICS

We welcome submissions of papers on the following topics, without limiting
to them, across approaches, methods, theories, and applications:

- Reasoning systems --- theories and applications
- Proof systems and model checkers
- Theories of computation and information
- Interactive computation and reasoning
- Computation and reasoning with heterogeneous information
- Space and time in information, language, memory, and reasoning
- Partiality, underspecification, vagueness, and possibilities
- Detection of and reasoning with inconsistency
- Logic and language --- approaches, theories, methods
- Computational morphology, syntax, semantics, and interfaces between these
- Constraint-based and type-theoretic approaches and grammars
- Logical approaches to multilingual processing
- Logical and computational foundations in machine learning and information
retrieval
- Mathematics for linguistics and cognitive science
- Reasoning, information, and memory in computational neuroscience and life
sciences
- Interdisciplinary approaches to information, language, memory, and
reasoning

IMPORTANT DATES

- Paper submission (strict deadline): May 15 2018 23:59:59 pm HST
- Position paper submission: June 12, 2018
- Authors notification: June 24, 2018
- Final paper submission and registration: July 03, 2018
- Final deadline for discounted fee: August 01, 2018
- Conference dates: September 9-12, 2018

PAPER SUBMISSION and PUBLICATIONS

The publication rules, status, and the submission page for AIRIM'18 are the
same as for AAIA'18 | FedCSIS:

https://www.fedcsis.org/2018/airim

https://www.fedcsis.org/2018/instructions

- Authors should submit draft papers (as Postscript, PDF or MSWord file)
- The total length of a paper should not exceed 10 pages IEEE style
(including tables, figures and references). IEEE style templates are
available at:
https://fedcsis.org/2018/for_authors
- Papers will be refereed and accepted on the basis of their scientific
merit and relevance to the workshop
- Preprints containing accepted papers will be published on a USB memory
stick provided to the FedCSIS participants
- Only papers presented at the conference will be published in Conference
Proceedings and submitted for inclusion in the IEEE Xplore® database
- Conference proceedings will be published in a volume with ISBN, ISSN and
DOI numbers and posted at the conference WWW site
- Conference proceedings will be indexed in BazEkon and submitted for
indexation in: Thomson Reuters - Conference Proceedings Citation Index,
SciVerse Scopus, Inspec, Index Copernicus, DBLP Computer Science
Bibliography and Google Scholar
- Extended versions of selected papers presented during the conference will
be published as Special Issue(s)
- Organizers reserve right to move accepted papers between FedCSIS events

Event Chairs

- Grabowski, Adam, Institute of Informatics, University of Bialystok,
Bialystok, Poland
- Ishihara, Hajime, Japan Advanced Institute of Science and Technology,
Japan
- Loukanova, Roussanka, Stockholm University, Sweden
- Schwarzweller, Christoph, Institute of Informatics, University of Gdansk,
Poland
- van den Herik, Jaap, Leiden University, The Netherlands

CONTACT INFORMATION
Roussanka Loukanova (rloukan...@gmail.com)
-

[TYPES/announce] CFP: HotSoS 2018 - Hot Topics in the Science of Security (HoTSoS) Symposium (Poster Submission Deadline: February 23)

[Tao Xie]

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

 Call for Poster Submissions
5th Annual Hot Topics in the Science of Security (HoTSoS)
Symposium
 April 10-11, 2018, Raleigh, North Carolina
 https://cps-vo.org/group/hotsos


Poster submissions are solicited for the 5th Annual Hot Topics in the
Science of Security (HoTSoS) Symposium, which will be held April 10-11,
2018 at the StateView Hotel in Raleigh, North Carolina on the Centennial
Campus of North Carolina State University. The symposium will include a mix
of invited talks, refereed papers, panels, tutorials, and posters. As in
prior years, papers will appear in the conference proceedings to be
published by ACM Press.

>>> Scope, Goals, and Vision <<<

HoTSoS draws together researchers, practitioners, and thought leaders from
government, industry, and academia. The conference provides a forum for
dialogue centered upon the development and advancement of scientific
foundations in cybersecurity. The technical emphasis of HoTSoS is on
scientific methods, data gathering and analysis, experimental approaches,
mathematical models, and the interactions among those approaches to build a
foundational science of security. The HoTSoS vision is one of engaging and
growing a community—including researchers and skilled practitioners from
diverse disciplines—that is focused around the advancement of scientific
methods.

>>> Topics of Interest <<<

We invite submissions on any topic related to science of security that
aligns with the conference scope and goals listed above. The 2018 HoTSoS
will highlight the following themes:

*. Scalability and composability in the construction of secure systems,

*. Policy-governed collaboration for handling data across different domains
of authority while ensuring security and privacy,

*. Security metrics to guide choice-making in security engineering and
response,

*. Resilient architectures that can deliver service despite compromised
components,

*. Analysis of human behavior, including modeling users, operators, and
adversaries, to support improved design and analysis,

*. Foundational research related to privacy that allows for the ability to
use (i.e., collect, store, and share) data in accordance with requirements,
and

*. Foundations for the security of cyber-physical systems, including
applications to the Internet of Things.

>>> Important Dates <<<

Poster Submissions: February 23, 2018

Conference: April 10-11, 2018

>>> Submission Requirements <<<

~~
Poster submission deadline. Submissions of posters must be made by the
deadline of Friday February 23, 2018 (anywhere on Earth) through
https://cps-vo.org/hotsos18/poster-cfp.

*** Posters. If you are interested in participating in the poster session,
please upload a submission of your poster abstract to. Each abstract
submission should be at most 1 page following the double-column ACM format (
http://www.acm.org/sigs/publications/proceedings-templates) including the
bibliography.

~~
Simultaneity. Submissions must not have been published previously, and may
not be submitted in parallel to any other journal or conference/workshop
with published proceedings. The program chairs reserve the right to consult
confidentially with other chairs and responsible parties if a double
submission is suspected.


HotSoS 2018
General Co-Chairs: Munindar Singh (NCSU), Laurie Williams (NCSU)
Program Co-Chairs: Rick Khun (NIST), Tao XIe (UIUC)
Organization Committee: https://cps-vo.org/group/hotsos/organization
Program Committee: https://cps-vo.org/group/hotsos/program-committee

[TYPES/announce] Post-doc position in Programming Language Theory / Practice, Computing Science, University of Glasgow

[Simon Gay]

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


University of Glasgow
College of Science and Engineering
School of Computing Science

Research Assistant / Associate
Ref: 020019
Grade 6/7: £28,098 - £31,604 / £34,520 - £38,833 per annum

We have a position for a research assistant / associate in the
theory, design and implementation of programming languages. This
position is associated with the project "From Data Types to Session
Types: a Basis for Concurrency and Distribution", which is a Programme
Grant funded by EPSRC for 6 years from 20th May 2013.

The position is available for 1 year, from 1st May or a date to be agreed.

*Project Description*

Just as data types describe the structure of data, session types
describe the structure of communication in concurrent and distributed
systems. Our project has particular emphasis on putting theory into
practice, by embedding session types in a range of programming
languages and applying them to realistic case studies. The project is
joint between the University of Glasgow, the University of Edinburgh,
and Imperial College London, and includes collaboration with Amazon,
Cognizant, Red Hat, VMware and Estafet.

*Principal Duties*

The successful candidates will be responsible for conducting research
on the theory of session types, for designing programming languages
incorporating session types in order to support concurrent and
distributed programming, and for evaluating programming language
designs and implementations in relation to practical case studies
provided by the industrial collaborators.

You should have, or be close to completion of, a PhD in a relevant
area, or have comparable experience; an awarded PhD or equivalent
experience is necessary for appointment at Grade 7. You should have a
track record of publication and communication of research results, a
strong background in programming languages, including semantics, type
systems and implementation, and strong programming and software
engineering skills. It is desirable also to have one or more of the
following: a combination of theoretical and practical skills;
knowledge of the theory or practice of concurrent and distributed
systems; knowledge of the theory of session types and linear logic.

We seek applicants at an international level of excellence. The School
of Computing Science at the University of Glasgow has an international
research reputation, and Glasgow, Scotland's largest city, offers an
outstanding range of cultural resources and a high quality of life.

It is the University of Glasgow’s mission to foster an inclusive
climate, which ensures equality in our working, learning, research and
teaching environment.

We strongly endorse the principles of Athena SWAN, including a
supportive and flexible working environment, with commitment from all
levels of the organisation in promoting gender equity.


For informal enquiries or further information about the project,
please contact Professor Simon Gay .

Online advert at jobs.ac.uk:

http://www.jobs.ac.uk/job/BHP104/research-assistant-associate/

Online application system:

https://www22.i-grasp.com/fe/tpl_glasgow01.asp?newms=jj=94334=14231

Closing date: 12 March 2018


The University of Glasgow, charity number SC004401.

[University of Glasgow: The Times Scottish University of the Year 2018]

[TYPES/announce] ProvenanceWeek 2018 call for papers

[James Cheney]

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

Call for Papers, Posters, Demos, and Workshops

3rd ProvenanceWeek

7th International Provenance and Annotation Workshop (IPAW '18)

10th USENIX Workshop on the Theory and Practice of Provenance (TaPP '18)

July 9-13, 2018, London, UK

http://provenanceweek2018.org/



Overview

The 3rd ProvenanceWeek will take place in London, UK, during the week of
July 9-13, 2018. Following successful ProvenanceWeek events in 2014 and
2016, this year's installment will again co-locate the IPAW and TaPP
workshops as well as several satellite events that focus on novel
directions for provenance. IPAW and TaPP build on a successful history of
provenance workshops that bring together researchers from a wide range of
computer science fields including workflows, semantic web, databases, high
performance computing,  distributed systems, operating systems, programming
languages, and software engineering, as well as researchers from other
fields, such as biology and physics that have urgent provenance needs.

Provenance is increasingly important in data science, cloud computing,
workflow systems, and many other areas. By providing a record of the data
creation process and of dependencies between data, provenance information
is essential for tracing errors in transformed data back to erroneous
inputs, access control, auditing, repeatability and reproducibility,
evaluating data quality, and establishing ownership of data.



Topics

The goal of ProvenanceWeek is to bring together researchers and
practitioners who are studying, applying, and advancing provenance in
scientific and scholarly uses.

Topics of interest include, but are not limited to, the following:

- Provenance management system prototypes and commercial solutions

- Provenance analytics, querying, and reasoning about provenance

- Visualizing provenance information

- Performance aspects of provenance capture, storage, and analytics

- Standardization of provenance models and representations

- Security and privacy implications of provenance

- Applications of provenance in real life settings

- Human interaction with provenance

- Retroactive reconstruction of provenance

- Using provenance for evaluating data quality and trust in data

- Novel methods for capturing provenance

- Integrating provenance information

- Interoperability among provenance-aware systems

- Provenance discovery



Important Dates

- Co-located event proposal deadline: February 12, 2018

- Co-located event acceptance notification: March 5, 2018

- Abstract deadline: March 12, 2018

- Paper deadline: March 19, 2018

- Demo / Poster deadline: April 9, 2018

- Author notification: May 14, 2018

- Camera ready due: June 4, 2018



Conference Organizers

- Ashish Gehani (SRI, USA) - ProvenanceWeek PC Chair

- Khalid Belhajjame (University Paris-Dauphine, France) - IPAW PC Chair

- Melanie Herschel (University of Stuttgart, Germany) - TaPP PC Chair

- Pinar Alper (University of Luxembourg) - Posters / Demos Chair

- Vasa Curcin / Simon Miles (King’s College London, UK) - Local Chairs



Submissions

Authors can submit papers to either the IPAW or TaPP track of
ProvenanceWeek. Submission of the same or closely related work to both
tracks is expressly disallowed. ProvenanceWeek also accepts posters and
demonstration proposals that will be included in the IPAW Springer
proceedings.



IPAW Track Research Papers

Authors are invited to submit original research work. The IPAW track
solicits full research papers (12 pages). The workshop has traditionally
been organized around the presentation of selected, peer-reviewed
high-quality papers, published by Springer.

Papers must be:

- not published or under review elsewhere

- no longer than 12 pages, including references and appendices

- formatted according to the Springer LNCS guidelines (
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines
)

- submitted as PDF files to the IPAW track at:
https://easychair.org/conferences/?conf=provenanceweek2018

A proceedings volume will be published after the event in the Springer
Lecture

Notes in Computer Science (LNCS) series. Springer offers “Open choice” for
authors who wish to provide open access to their papers.

IPAW Program Committee

Pinar Alper, Luxembourg Centre for Systems Biomedicine

Ilkay Altintas, San Diego Supercomputer Center

David Archer, Galois

Khalid Belhajjame, Universite Paris-Dauphine

Vanessa Braganholo, Universidade Federal Fluminense

Kevin Butler, University of Florida

Sarah Cohen Boulakia, Université Paris-Sud

Oscar Corcho, Universidad Politecnica de Madrid

Vasa Curcin, King’s College London

Susan Davidson, University of Pennsylvania

Saumen Dey, University of California, Davis

Alban Gaignard, CNRS, Nantes Academic Hospital

Daniel Garijo, Information Sciences Institute

Paul Groth, Elsevier Labs

Trung Dong Huynh, University of