from:"James Cheney"

[TYPES/announce] Chancellor's Fellowships at the University of Edinburgh

2022-11-08 Thread James Cheney

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

Dear types-announce,

The University of Edinburgh is advertising up to 30 Chancellor's Fellowship
posts across all areas, with 10 in the College of Science and Engineering,
which the advertisement describes as "5-year tenure track fellowships,
designed to provide talented early career researchers with the support
required to develop into a leading research-active academic at the
University of Edinburgh."  Candidates are expected to have two or more
years postdoctoral experience.

The School of Informatics welcomes applications in  "all areas of computer
science, artificial intelligence and data science" and specifically
encourages applications in "quantum computing systems, formal verification,
computer architecture, and computer science and artificial intelligence for
sustainability" [1].  Cross-disciplinary research that might span one or
more Schools in the University is also welcome, particularly aligned with
the priority areas "AI and Data Science; Health and Life; Climate and
Environmental Sustainability".  Several of these topics (perhaps all)
overlap with topics discussed in this mailing list/community, and I wanted
to highlight that because the

The posts are not pre-allocated to specific schools within the College
(such as Informatics) and shortlisting and hiring decisions will be made
based on the strength of applications to different Schools.  Historically,
the School of Informatics has attracted a disproportionate number of
high-quality applicants and been able to make multiple appointments through
this type of mechanism.

Appointments at lecturer or senior lecturer/reader grade are possible based
on experience. Candidates who already hold (or have been awarded)
prestigious externally-funded fellowships such as Royal Society, EPSRC,
UKRI or ERC are also welcome to apply, and applications from candidates
with backgrounds not currently well-represented in science and engineering
are specifically strongly encouraged.

I am not an official contact person for these positions but since the
University webpage [1] and application page [2] are somewhat vague about
what area(s) are in scope and opaque about to whom applicants can direct
questions, I am happy to forward any questions I receive to someone
appropriate if I don't know the answer myself.

--James

[1]
https://urldefense.com/v3/__https://www.ed.ac.uk/science-engineering/staff/human-resources/chancellors-fellows__;!!IBzWLUs!UOkFTlMHnzDSoa4p1WInpP0ps_BVNtsqXwM1MICOXG2lVwS3LmG4GKgOPDogn89YLIiFYbqRnneoMulKCDyvJEjgYup0PKCPhF1_$
  
[2]
https://urldefense.com/v3/__https://elxw.fa.em3.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_1001/job/5516__;!!IBzWLUs!UOkFTlMHnzDSoa4p1WInpP0ps_BVNtsqXwM1MICOXG2lVwS3LmG4GKgOPDogn89YLIiFYbqRnneoMulKCDyvJEjgYup0PAWNP8yT$

[TYPES/announce] Call for Participation: 24th International Symposium on Practical Aspects of Declarative Languages (PADL 2022)

2021-12-14 Thread James Cheney

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

=== Call for Participation ===


24th International Symposium on Practical Aspects of Declarative Languages
(PADL 2022)

Philadelphia, Pennsylvania, United States
17-18th January 2022

https://urldefense.com/v3/__https://popl22.sigplan.org/home/PADL-2022__;!!IBzWLUs!Hjx7VD4dcgmg1EIIe2pqzahuW6H8OxSwMe5YYel-wMDT-OKN9Vw3d2adIEOKGHILJeUpp0nZ1QRinA$
 

Co-located with POPL 2022


== Venue and Conference Format ==

PADL 2022 is co-located with POPL 2022, which will be held in-person in
Philadelphia at the Westin Philadelphia (
https://urldefense.com/v3/__https://www.marriott.com/hotels/travel/phlwi-the-westin-philadelphia__;!!IBzWLUs!Hjx7VD4dcgmg1EIIe2pqzahuW6H8OxSwMe5YYel-wMDT-OKN9Vw3d2adIEOKGHILJeUpp0nSbk4KKQ$
 ).

Authors that are unable to be at PADL in person can give their talk
remotely. All talks will be recorded, and all recordings will be available
either as a livestream or soon afterwards.

For more details visit the POPL 2022 website:
https://urldefense.com/v3/__https://popl22.sigplan.org/__;!!IBzWLUs!Hjx7VD4dcgmg1EIIe2pqzahuW6H8OxSwMe5YYel-wMDT-OKN9Vw3d2adIEOKGHILJeUpp0lgjpbVSg$
 


== Program ==

Conference program can be found at:
https://urldefense.com/v3/__https://popl22.sigplan.org/home/PADL-2022*program__;Iw!!IBzWLUs!Hjx7VD4dcgmg1EIIe2pqzahuW6H8OxSwMe5YYel-wMDT-OKN9Vw3d2adIEOKGHILJeUpp0nSmxaTwQ$
 

== Invited Talks==

PADL 2022 features two invited talks:

“People, Ideas, and the Path Ahead”
by Marcello Balduccini 
(https://urldefense.com/v3/__https://www.sju.edu/faculty/marcello-balduccini/__;!!IBzWLUs!Hjx7VD4dcgmg1EIIe2pqzahuW6H8OxSwMe5YYel-wMDT-OKN9Vw3d2adIEOKGHILJeUpp0k5SKgEQA$
 )

“Declarative Programming and Education”
by  Shriram Krishnamurthi 
(https://urldefense.com/v3/__https://cs.brown.edu/*sk/__;fg!!IBzWLUs!Hjx7VD4dcgmg1EIIe2pqzahuW6H8OxSwMe5YYel-wMDT-OKN9Vw3d2adIEOKGHILJeUpp0n4b0vLfQ$
 )


== Registration ==
Registration is open at:
https://urldefense.com/v3/__https://popl22.sigplan.org/attending/registration__;!!IBzWLUs!Hjx7VD4dcgmg1EIIe2pqzahuW6H8OxSwMe5YYel-wMDT-OKN9Vw3d2adIEOKGHILJeUpp0k_HAMqAA$
 
The early registration deadline is January 3. At least one author of each
accepted paper must get registered.

== Conference Description ==

Declarative languages comprise several well-established classes of
formalisms, namely, functional, logic, and constraint programming.  Such
formalisms enjoy both sound theoretical bases and the availability of
attractive frameworks for application development. Indeed, they have been
already successfully applied to many different real-world situations,
ranging from database management to active networks to software engineering
to decision support systems.

New developments in theory and implementation fostered applications in new
areas. At the same time, applications of declarative languages to novel and
challenging problems raise many interesting research issues, including
designing for scalability, language extensions for application deployment,
and programming environments. Thus, applications drive the progress in the
theory and implementation of declarative systems, and benefit from this
progress as well.

PADL is a well-established forum for researchers and practitioners to
present original work emphasizing novel applications and implementation
techniques for all forms of declarative programming, including functional
and logic programming, database and constraint programming, and theorem
proving.


== Program Chairs ==

- James Cheney, University of Edinburgh
- Simona Perri, University of Calabria

== Program Committee ==

Andres Löh, WellTyped
Chiaki Sakama, Wakayama University
Daniela Inclezan, Miami University
Ekaterina Komendantskaya, Heriot-Watt University
Esra Erdem, Sabanci University
Francesco Calimeri, University of Calabria
Jan Christiansen, Flensburg University of Applied Sciences
Konstantin Schekotihin, University of Klagenfurt
Lionel Parreaux, Hong Kong University of Science and Technology
Lukasz Ziarek, University at Buffalo, United States
Marco Maratea, University of Genova
Marina De Vos, University of Bath
Martin Erwig, Oregon State University
Martin Gebser, University of Klagenfurt
Michael Greenberg, Stevens Institute of Technology
Paul Tarau, University of North Texas
Pavan Kumar Chittimalli, TCS Research, India
Pedro Cabalar, University of Corunna
Roly Perera, The Alan Turing Institute
Tomas Petricek, University of Kent
Torsten Grust, University of Tübingen
Tran Cao Son, New Mexico State University
Yukiyoshi Kameyama, University of Tsukuba

[TYPES/announce] Second Call for Papers: 24th International Symposium on Practical Aspects of Declarative Languages (PADL 2022)

2021-09-22 Thread James Cheney

 version for journal publication after the symposium. For
papers related to logic programming, in the journal Theory and Practice of
Logic Programming (TPLP)
https://urldefense.com/v3/__https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming__;!!IBzWLUs!CUJkoXwB8YNFMYqTMfQi2nh4iTf9ciyiOgXisWIQad8MjfyaW32SNxVOhvcN_r4yW7xtDKxs8GspBg$
 ,
and for papers related to functional programming, in Journal of Functional
Programming (JFP)
https://urldefense.com/v3/__https://www.cambridge.org/core/journals/journal-of-functional-programming__;!!IBzWLUs!CUJkoXwB8YNFMYqTMfQi2nh4iTf9ciyiOgXisWIQad8MjfyaW32SNxVOhvcN_r4yW7xtDKyvrUjIFA$
 .
The extended journal submissions should include roughly 30% more content
including, for example, explanations for which there was no space,
illuminating examples and proofs, additional definitions and theorems,
further experimental results, implementational details and feedback from
practical/engineering use, extended discussion of related work and such
like.

Invited Speakers

PADL 2022 features two invited talks by:

- Marcello Balduccini 
(https://urldefense.com/v3/__https://www.sju.edu/faculty/marcello-balduccini/__;!!IBzWLUs!CUJkoXwB8YNFMYqTMfQi2nh4iTf9ciyiOgXisWIQad8MjfyaW32SNxVOhvcN_r4yW7xtDKwwcoNDhg$
 )
- Shriram Krishnamurthi 
(https://urldefense.com/v3/__https://cs.brown.edu/*sk/__;fg!!IBzWLUs!CUJkoXwB8YNFMYqTMfQi2nh4iTf9ciyiOgXisWIQad8MjfyaW32SNxVOhvcN_r4yW7xtDKzL3u-GDA$
 )

Chairs
--

- James Cheney, University of Edinburgh
- Simona Perri, University of Calabria

Programme Committee
---

Andres Löh, WellTyped
Chiaki Sakama, Wakayama University
Daniela Inclezan, Miami University
Ekaterina Komendantskaya, Heriot-Watt University
Esra Erdem, Sabanci University
Francesco Calimeri, University of Calabria
Jan Christiansen, Flensburg University of Applied Sciences
Konstantin Schekotihin, University of Klagenfurt
Lionel Parreaux, Hong Kong University of Science and Technology
Marco Maratea, University of Genova
Marina De Vos, University of Bath
Martin Erwig, Oregon State University
Martin Gebser, University of Klagenfurt
Michael Greenberg, Stevens Institute of Technology
Paul Tarau, University of North Texas
Pavan Kumar Chittimalli, TCS Research, India
Pedro Cabalar, University of Corunna
Roly Perera, The Alan Turing Institute
Tomas Petricek, University of Kent
Torsten Grust, University of Tübingen
Tran Cao Son, New Mexico State University
Yukiyoshi Kameyama, University of Tsukuba

[TYPES/announce] CFP: 24th International Symposium on Practical Aspects of Declarative Languages (PADL 2022)

2021-08-04 Thread James Cheney

 related to functional programming, in Journal of Functional
Programming (JFP)
https://www.cambridge.org/core/journals/journal-of-functional-programming.
The extended journal submissions should include roughly 30% more content
including, for example, explanations for which there was no space,
illuminating examples and proofs, additional definitions and theorems,
further experimental results, implementational details and feedback from
practical/engineering use, extended discussion of related work and such
like.

Chairs
--

- James Cheney, University of Edinburgh
- Simona Perri, University of Calabria

Programme Committee
---

Andres Löh, WellTyped
Chiaki Sakama, Wakayama University
Daniela Inclezan, Miami University
Ekaterina Komendantskaya, Heriot-Watt University
Esra Erdem, Sabanci University
Francesco Calimeri, University of Calabria
Jan Christiansen, Flensburg University of Applied Sciences
Konstantin Schekotihin, University of Klagenfurt
Lionel Parreaux, Hong Kong University of Science and Technology
Marco Maratea, University of Genova
Marina De Vos, University of Bath
Martin Erwig, Oregon State University
Martin Gebser, University of Klagenfurt
Michael Greenberg, Pomona College
Paul Tarau, University of North Texas
Pavan Kumar Chittimalli, TCS Research, India
Pedro Cabalar, University of Corunna
Roly Perera, The Alan Turing Institute
Tomas Petricek, University of Kent
Torsten Grust, University of Tübingen
Tran Cao Son, New Mexico State University
Yukiyoshi Kameyama, University of Tsukuba

[TYPES/announce] CfP: International Symposium on Database Programming Languages (DBPL 2021) @ VLDB 2021

2021-03-24 Thread James Cheney

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

**
2nd CALL FOR PAPERS

The 18th International Symposium on Database Programming Languages (DBPL
2021)

In conjunction with VLDB 2021

August 16th, 2021, Copenhagen, Denmark
Submission: May 2nd 2021

Web: https://sites.google.com/view/dbpl2021
**

** Important Message on Covid-19 **

We are monitoring the evolution of the covid-19 pandemic.  Currently we
plan to operate the workshop for 1/2 a day as a physical workshop and 1/2 a
day as an online virtual event.

** Aims of the Workshop **

For over 30 years, DBPL has established itself as the principal venue for
publishing and discussing new ideas and problems at the intersection of
data management and programming languages.  Many key contributions relevant
to the formal foundations, design, implementation, and evaluation of query
languages (e.g., for object-oriented, nested, or semi-structured data) were
first announced at DBPL.

As an established destination for such new ideas, DBPL aims to solicit
submissions from researchers in databases, programming languages or any
other community interested in the design, implementation or foundations of
languages and systems for data-centric computation. Our main goal is to
provide an interdisciplinary venue where current trends, and open problems
as well as insights about research methodology for potential solutions can
be shared and discussed between the two communities.

** Topics of Interest **

Suggested, but not exclusive, topics of interest for submissions include:

- Language-Integrated Query Mechanisms
- Emerging and Nontraditional Data Models
- Compiling Query Languages to Modern Hardware
- Data-Centric Programming Abstractions, Comprehensions, Monads
- Data Integration, Exchange, and Interoperability
- Data Synchronization and Bidirectional Transformations
- Declarative Data Centers (e.g., distributed query processing, serverless
computing platforms, social computing platforms, etc)
- Language-Based Security in Data Management
- Managing Uncertain and Imprecise Information
- Metaprogramming and Heterogeneous Staged Computation
- Programming Language Support for Data-Centric Programming (e.g.,
databases, web programming, machine learning, etc)
- Query Compilation and In-memory Databases
- Query Language Design and Implementation
- Query Transformation and Optimization
- Schema Mapping and Metadata Management
- Semantics and Verification of Database Systems
- Stream Data Processing and Query Languages
- Type and Effect Systems for Data-Centric Programming

** Workshop Chairs **

- Amir Shaikhha, University of Edinburgh
- Norman May, SAP SE

** Program Comittee **

- Evelyne Contejean (Universit?? Paris-Sud)
- Fritz Henglein (University of Copenhagen)
- Jan Hidders (Birkbeck, University of London)
- Vojin Jovanovic (Oracle)
- Oleg Kiselyov (Tohoku University)
- Thomas Neumann (TU Munich)
- Nate Nystrom (RelationalAI)
- Lionel Parreaux (Hong Kong University of Science and Technology)
- Manuel Rigger (ETH Zurich)
- Maximilian Schleich (University of Washington)
- Kai Zeng (Alibaba)

** Important Dates **

- Paper submission:  May 2nd 2021 PT
- Notification of acceptance: June 7th 2021 PT
- Workshop: August 16th 2021 PT

** Submission **

Prospective authors are invited to submit full papers in English presenting
original research. Submitted papers must be unpublished and not submitted
for publication elsewhere.  Submissions should be no more than 10 pages
long using the ACM Standard proceedings template.

Short papers of at most 4 pages using the ACM Standard proceedings template
describing work in progress, demos, research challenges or visions are also
welcome.  Accepted short papers may be included or excluded from the formal
proceedings, whichever the author(s) prefer.

Each submission should begin with a succinct statement of the problem and a
summary of the main results. Authors may provide more details to
substantiate the main claims of the paper by including a clearly marked
appendix at the end of the submission, which is not included in the page
limit and is read at the discretion of the committee.

Review is single-blind, so authors do not need to anonymize their
submissions. PC submissions are allowed, except for the co-chairs.

At least one author of each accepted paper must attend the symposium to
present their work.

Accepted papers will be included within the informal online proceedings at
the website. Additionally, all accepted papers will be published online in
the ACM digital library. Therefore, the papers must include the standard
ACM copyright notice on the first page.

For further information on the conference, venue, further CfPs, formatting
instructions, submission guidelines, please refer to the DBPL 2021 website:

[TYPES/announce] PhD positions in programming languages in LFCS/University of Edinburgh

2020-12-09 Thread James Cheney

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

LFCS and the School of Informatics more broadly is home to academic staff
members with interests across the range of PL research topics. Recently
several new academic staff members working on programming languages topics
have joined the School and are actively seeking PhD students for funded
projects starting in the 2021-22 academic year (or earlier subject to
discussion).

A representative sample of our current research interests and (where
available) funded projects is listed below.

* Dr. Ohad Kammar (ohad.kam...@ed.ac.uk)
- My research is in programming language theory, and applications of
logic and category theory. I'm also interested in the intersection of
programming language foundations and statistical modelling and data
science, sometimes known as probabilistic programming or differentiable
programming.

* Dr. Sam Lindley (sam.lind...@ed.ac.uk)
- interests: effect handlers, session-typing, meta programming,
programming language design, functional programming, type systems, semantics
- funded project: effect handler oriented programming

* Dr. Elizabeth Polgreen (elizabeth.polgr...@ed.ac.uk)
- interests: synthesis engines, especially syntax-guided; applications of
synthesis, for example in software engineering, verification, robotics, or
other engineering disciplines

* Dr. Amir Shaikhha (amir.shaik...@ed.ac.uk)
- interests: Compilation-based systems for universal data analytics
(machine learning and analytical databases), using domain-specific
languages, differentiable, and probabilistic programming.

* Dr. Michel Steuwer (https://michel.steuwer.info/)
- Interests:
Domain Specific Compilers, Compilers for Machine Learning, Machine
Learning for Compilers,
Programming Languages for GPUs and Accelerators, Program Optimizations
via Rewriting

* Prof. Phil Wadler:
- funded project: Verifying smart contracts for Blockchain (
http://web.inf.ed.ac.uk/cdt/cyber-security-privacy-and-trust-dtc/projects-open-for-recruitment
)

* Dr. James Cheney (jche...@inf.ed.ac.uk)
- databases, language-integrated query, type inference, metaprogramming,
provenance, verification

In addition to funded projects listed above, funding is potentially
available centrally from the School, from doctoral training centres such as
the School's Cyber Security and trust DTC. Depending on nationality
additional funding applications and deadlines may apply.

Prospective applicants are encouraged to contact potential supervisors
directly in addition to consulting the School's general information about
applications: https://www.ed.ac.uk/informatics/postgraduate/applT

[TYPES/announce] Postdoctoral position in programming languages at Edinburgh LFCS

2020-09-01 Thread James Cheney

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

We are now accepting applications for a postdoctoral position in
programming languages in the Laboratory for Foundations of Computer
Science, School of Informatics, University of Edinburgh. The position is
for 18 months, starting on as soon as possible and by March 1, 2021 at the
latest. Funding is provided by a €1.99M Consolidator Grant from the
European Research Council on the project: "Skye: A programming language
bridging theory and practice for scientific data curation".

https://www.vacancies.ed.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.jobspec?p_id=052844

A second position may become available for this post depending on future
funding.

Funding from this ERC grant, and certain national funding schemes, is also
available to help support travel/accommodation costs for visits from
students, researchers or faculty at other institutions whose research
aligns with the project. Please get in touch if interested.

== Research associate (£33,797 - £40,322) ==

This postdoctoral research position is on programming language design in
the Skye project. This project builds on the Links web programming
language to add built-in support for scientific data management needs,
based on Links's already strong support for language-integrated
query/update (ICFP 2013, SIGMOD 2014, ICFP 2018), type inference with
first-class polymorphism (PLDI 2020), and Elm-style model-view-update
programming (ECOOP 2020). Links also has support for distributed
programming with session types (POPL 2019) and algebraic effects and
handlers (JFP 2020), which may find further applications to the project.

A broad range of programming language design topics potentially within the
scope of this project. The successful candidate will work on extending the
Links web programming language with stronger support for database
programming (e.g. language-integrated query), client/server web
programming, programming with effects (e.g. graded monads, algebraic
effects/handlers), heterogeneous meta-programming/staging, modular language
extensibility, or concurrent/distributed programming, and develop
applications of these capabilities.

The ideal candidate will have a strong background in programming languages
or databases. Familiarity with programming language foundations is also
desirable, as is experience with functional programming (e.g. Scala, OCaml,
Haskell). Candidates with a strong background in either database or
programming language research will be considered as long as there is clear
evidence of ability to learn the complementary background.

== What about COVID-19? ==

Remote working is possible and encouraged. Candidates are encouraged to
make contact to discuss their needs or concerns, and to discuss any
relevant visa/immigration issues.

== To apply ==

For more information about the project, and about other related activities
in my group, LFCS, and Edinburgh, please write to me or consult the
following page:

http://homepages.inf.ed.ac.uk/jcheney/group/skye.html

Applications must be received by 5pm, September 21, 2020. To apply, visit
the University job posting for this position:

Research Associate

https://www.vacancies.ed.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.jobspec?p_id=052844

then click "apply" and follow the instructions. Please note that
applicants must first register with the University's application system,
and it is recommended that applicants complete registration well before the
deadline, since the system automatically stops accepting applications after
the deadline.

== Environment ==

The University of Edinburgh School of Informatics brings together
world-class research groups in theoretical computer science, artificial
intelligence and cognitive science. The School led the UK 2014 REF rankings
in volume of internationally recognized or internationally excellent
research. In 2013, the School of Informatics received an Athena Swan Silver
Award, in recognition of its commitment to advancing the careers of women
in science, technology, engineering, mathematics and medicine (STEMM)
employment in higher education and research. Overall the University of
Edinburgh has achieved a Silver Award.

LFCS hosts a wide variety of research on programming languages, and
collaborates with researchers in compilers/systems elsewhere in the School
of Informatics as well as with colleagues across Scotland as part of the
Scottish Programming Languages & Verification community. PL research in
the School has recently been strengthened by new arrivals with interests in
verification, program synthesis, DSLs for performance-portable parallelism,
and databases.

[TYPES/announce] Postdoctoral position on Web/database programming languages at Edinburgh LFCS

2020-05-15 Thread James Cheney

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

Hi,

We are now accepting applications for a postdoctoral position in
Web/database programming languages. The position is for 24 months,
starting on September 1, 2020 or earlier. Funding is provided by a €1.99M
Consolidator Grant from the European Research Council on the project:
"Skye: A programming language bridging theory and practice for scientific
data curation".

https://www.vacancies.ed.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.jobspec?p_id=052075

== Research associate (£33,797 - £40,322) ==

This postdoctoral research position is on Web/database programming and
scientific data curation techniques in the Skye project. This project
builds on the Links web programming language to add built-in support for
scientific data management needs, particularly data archiving,
transformation and provenance. Currently Links supports sophisticated
database access via language-integrated query (ICFP 2013), but only for
relational databases; other data models and query languages are not
supported, and Links's capabilities for rewriting or transforming queries
or updates is limited.

Links also has other advanced capabilities such as support for type
inference with first-class poplymorphism (PLDI 2020), distributed
programming with session types (POPL 2019) and algebraic effects and
handlers (JFP 2020), and interactions between these features and database
programming or new applications to database programming are in scope.

The ideal candidate will have a strong background in programming languages
or databases, with a specialization in Web programming or database
programming including familiarity with different distributed programming
techniques or query languages and data models. Familiarity with
programming language foundations is also desirable, as is experience with
functional programming (e.g. Scala, OCaml, Haskell). Candidates with a
strong background in either database or programming language research will
be considered as long as there is clear evidence of ability to learn the
complementary background.

== What about COVID-19 then? ==

Remote working is possible and encouraged. Successful candidates who are
eligible to work in the UK without a visa (= UK or EEA nationals) will be
able to take up the post and work remotely prior to arrival in Edinburgh.
Candidates currently in the UK on Tier 4 student visas will also be able to
begin work while waiting for a Tier 2 visa. Candidates in other situations
may be able to start work remotely but this depends on UKVI guidelines
which are in flux; such candidates are advised to contact us to discuss the
situation.

== To apply ==

For more information about the project, and about other related activities
in my group, LFCS, and Edinburgh, please write to me or consult the
following page:

http://homepages.inf.ed.ac.uk/jcheney/group/skye.html

Applications must be received by 5pm GMT, June 9, 2020. To apply, visit
the University job posting for this position:

Research Associate

https://www.vacancies.ed.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.jobspec?p_id=052075

then click "apply" and follow the instructions. Please note that
applicants must use the University's application system above, which
involves some account registration and form-filling, and it is recommended
that applicants complete this process well before the deadline, since the
system automatically stops accepting applications after the deadline.

== Environment ==

LFCS hosts a wide variety of

[TYPES/announce] Call for Papers: DBPL 2020

2020-03-27 Thread James Cheney

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

DBPL 2020: 18th International Symposium on Database Programming Languages
September 4, 2020. Tokyo, Japan (co-located with VLDB 2020)

First Call For Papers http://dbpl.vldb2020.org

Submission deadline: May 4, 2020

DBPL 2020 solicits theoretical and practical papers in all areas of
Data-Centric Programming Languages.

For over 30 years, DBPL has established itself as the principal venue
for publishing and discussing new ideas at the intersection of broadly
understood databases and programming languages. Many key contributions
in query languages for object-oriented data, persistent databases,
nested relational data, and semistructured data, as well as
fundamental ideas in types for query languages, were first announced
at DBPL. Today, this creative research area is broadening into a
subfield of data-centric computation, currently scattered among a
range of venues. DBPL is an established destination for such new ideas
and solicits submissions from researchers in databases, programming
languages or any other community interested in the design,
implementation or foundations of data-centric computation.

Suggested, but not exclusive, topics of interest for submissions include:
  * Language-Integrated Query Mechanisms
  * Emerging and Nontraditional Data Models
  * Compiling Query Languages to Modern Hardware
  * Data-Centric Programming Abstractions, Comprehensions, Monads
  * Data Integration, Exchange, and Interoperability
  * Data Synchronization and Bidirectional Transformations
  * Declarative Data Centers (e.g., distributed query processing, serverless
computing platforms, social computing platforms, etc)
  * Language-Based Security in Data Management
  * Managing Uncertain and Imprecise Information
  * Metaprogramming and Heterogeneous Staged Computation
  * Programming Language Support for Data-Centric Programming (e.g.,
databases,
web programming, machine learning, etc)
  * Query Compilation and In-memory Databases
  * Query Language Design and Implementation
  * Query Transformation and Optimization
  * Schema Mapping and Metadata Management
  * Semantics and Verification of Database Systems
  * Stream Data Processing and Query Languages
  * Type and Effect Systems for Data-Centric Programming


Submissions

We invite submissions in two categories: full and short
papers. Submissions in either category must be written in English and
submitted, by the submission deadline, as PDF files formatted
according to the EPTCS style (http://info.eptcs.org)
https://easychair.org/conferences/?conf=dbpl2020

*Full papers* are expected to present original research or
development. They should be no more than 12 pages long, excluding
references. Each submission should begin with a succinct statement of
the problem and the summary of main results. Authors may provide
more details to substantiate claims of the paper by including
a clearly marked appendix at the end of the submission, which is not
included in the page limit and is read at the discretion of the
committee.

*Short papers* of at most 6 pages may describe work in progress,
demos, research challenges or visions. Accepted short papers may be
excluded from the formal proceedings at authors' request.

Submissions must be unpublished and not submitted for publication
elsewhere.  Work that already appeared in unpublished or informally
published workshops proceedings may be submitted.

Review is single-blind, so authors do not need to anonymize their
submissions.
PC submissions are allowed, except for the co-chairs.

Accepted papers will be published by EPTCS (Electronic Proceedings in
Theoretical Computer Science) and will be freely accessible.

Important Dates

Submission deadline: May 4, 2020 (Anywhere on Earth)
Author notification: June 28, 2020
Final version due: July 26, 2020
Symposium: September 4, 2020

*IMPORTANT NOTE*: We, and the VLDB organizers, are continuously
monitoring the COVID-19 situation. The symposium is half a year away,
and we are hopeful that the COVID-19 emergency will pass over and the
symposium will be held in September, as planned. If necessary,
alternative solutions such as remote presentations are to be
considered.


Organizers
Yasunori Ishihara, Nanzan University, Japan
Oleg Kiselyov, Tohoku University, Japan

Program Committee

Alexander Alexandrov  (VMWare, Bulgaria)
Aggelos Biboudis  (EPFL, Switzerland)
George H. L. Fletcher (Eindhoven University of Technology, Netherlands)
Torsten Grust  (Universitaet Tuebingen, Germany)
Hideyuki Kawashima(Keio University, Japan)
Hsiang-Shang Ko   (Academia Sinica, Taiwan)
Sebastian Link(The University of Auckland, New Zealand)
Filip Murlak  (University of Warsaw, Poland)
Sławek Staworko   (University of Lille, France)

[TYPES/announce] CfP: ProvenanceWeek, IPAW, and TaPP 2020

2019-12-10 Thread James Cheney

 impact

Important Dates:


- Proposal Submission: Febuary 1st, 2020
- Notification of Acceptance: Feburary 15th, 2020


===
TaPP PC
===

Adriane Chapman (University of Southampton, UK)
Ana Trisovic (Harvard University, USA)
Ashish Gehani (SRI, USA)
Berrada Ghita (King’s College London, UK)
Elisa Bertino (Purdue University, USA)
David Eyers (University of Otago, New Zealand)
Irini Fundulaki (ICS-FORTH, Greece)
Khalid Belhajjame (Paris-Dauphine University, France)
Lukas Rupprech (IBM, USA)
Matteo Interlandi (Microsoft, USA)
Marta Mattoso (COPPEFederal Univ Rio de Janeiro, Brazil)
Mercè Crosas (Harvard University, USA)
Melanie Herschel (University of Stuttgart, Germany)
Nicole Bidoit-Tollu (University Paris Sud, France)
Sebastian Schelter (New York University, USA)
Xiao Yu (NEC Laboratories America, USA)
Xueyuan (Michael) Han (Harvard University, USA)
Yulai Xie (Huazhong University of Science and Technology, China)

===
IPAW PC
===

Andreas Schreiber (German Aerospace Center (DLR), Germany)
Barbara Lerner (Mount Holyoke College, USA)
Beth Plale (Indiana University, USA)
Daniel de Oliveira (Fluminense Federal University, Brazil)
Daniel Garijo (University of Southern California, USA)
David Corsar (Robert Gordon University, UK)
Dong Huynh (King’s College of London, UK)
Fernando Chirigati (New York University, USA)
Grigoris Karvounarakis (LogicBlox, USA)
Hala Skaf-Molli   (Nantes University, France)
Ilkay Altintas (San Diego Supercomputer Center, USA)
Jacek Cala (Newcastle University, UK)
James Cheney (University of Edinburgh, UK)
James Frew (University of California, Santa Barbara, USA)
James Myers (University of Michigan, USA)
Jan Van Den Bussche (Universiteit Hasselt, Belgium)
Luc Moreau (King’s College London, UK)
Luiz M. R. Gadelha Jr. (LNCC, Brazil)
Paolo Missier (Newcastle University, UK)
Paul Groth (University of Amsterdam, Netherlands)
Pinar Alper (Luxembourg Centre for Systems Biomedicine, Luxembourg)
Shawn Bowers (Gonzaga University, USA)
Simon Miles (King’s College London, UK)
Tanu Malik (DePaul University, USA)
Timothy Clark (University of Virginia, USA)

[TYPES/announce] Postdoctoral position on database programming languages at Edinburgh LFCS

2019-06-19 Thread James Cheney

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

Hi,

We are now accepting applications for a postdoctoral position in database
programming languages. The position is for 24 months, starting on
September 2, 2019 at the earliest. Funding is provided by a five-year,
€1.99M Consolidator Grant from the European Research Council on the
project: "Skye: A programming language bridging theory and practice for
scientific data curation".

== Research associate (£33,199 - £39,609) ==

This postdoctoral research position is on database programming and data
curation techniques in the Skye project. This project builds on the Links
web programming language to add built-in support for scientific data
management needs, particularly data archiving, transformation and
provenance. Currently Links supports sophisticated database access via
language-integrated query, but only for relational databases; other data
models and query languages are not supported, and Links's capabilities for
rewriting or transforming queries or updates is limited.

The overall research goal of the Skye project is to identify, develop, and
implement extensibility or metaprogramming capabilities to make advanced
database programming easy. The successful candidate will focus on
developing language-integrated query support for new data models/query
languages, such as graph or RDF databases, and will work with other Skye
project members to incorporate these techniques into Links.
Links also has other advanced capabilities such as distributed programming
with session types, and algebraic effects and handlers, and interactions
between these features and database programming or new applications to
database programming are in scope.

The ideal candidate will have a strong background in database research,
including familiarity with different query languages and models.
Familiarity with programming language foundations is also desirable, as is
experience with functional programming (e.g. Scala, OCaml, Haskell).
Candidates with a strong background in either database or programming
language research will be considered as long as there is clear evidence of
ability to learn the complementary background.

== To apply ==

For more information about the project, and about other related activities
in my group, LFCS, and Edinburgh, please write to me or consult the
following page:

http://homepages.inf.ed.ac.uk/jcheney/group/skye.html

Applications must be received by 5pm GMT, July 18, 2019. To apply, visit
the University job posting for this position:

Research Associate

https://www.vacancies.ed.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.jobspec?p_id=048311

== Environment ==

[TYPES/announce] PhD studentship on "Probabilistic Property-Based Testing" at the University of Edinburgh

2018-12-14 Thread James Cheney

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

We are now accepting applications for 3-year PhD studentship on a project
called "Probabilistic property-based testing" in the School of Informatics,
University of Edinburgh.

http://homepages.inf.ed.ac.uk/jcheney/group/ppbt.html

The aim of the project is to explore the hypothesis that property-based
testing (e.g. QuickCheck) is a form of probabilistic programming.
Property-based testing is a widely used and powerful form of lightweight
randomized testing, but it has been developed largely independently of
increasingly sophisticated probabilistic programming languages and
inference algorithms. This project will study the consequences of adopting
the perspective that property-based testing is a form of probabilistic
programming, and investigate subproblems such as inducing good properties
from programs or test data; testing complex programs using advanced
sampling techniques that provide error bounds; and synthesizing suitable
data generators or automatically providing concise explanations why a
property fails to hold.

Possible application areas include randomized testing of programming
language designs and type systems themselves (following e.g. PLT Redex or
logic programming-based approaches to language specification), as well as
traditional system specification and testing problems.

The studentship is tenable for 3 years, for a student of any nationality,
and includes a stipend of £14,777 per year (tax free and increasing with
inflation), supported by Huawei. The School is also partnered with data
science and AI centres of excellence such as The Alan Turing Institute in
London and the Bayes center in Edinburgh, and there will be ample
opportunities to engage with these institutes, via workshops and other
schemes.

The ideal candidate would have a strong background in functional or logic
programming (e.g. Haskell, OCaml, Erlang, Prolog), or a strong background
in machine learning. Candidates already familiar with probabilistic
programming or symbolic machine learning (e.g. relational learning,
probabilistic logic programming) are especially welcome.

Applications from prospective students interested in starting a PhD in the
next academic year should be submitted by March 18, 2019 at the latest.
Applications received by January 31, 2019 will receive full consideration;
after that date applications will be considered until the position is
filled. The anticipated start date is September 2019 but earlier start
dates may be possible.

To apply, please submit an application to the 3-year CISA PhD programme:

https://www.star.euclid.ed.ac.uk/public/urd/sits.urd/run/siw_ipp_lgn.login?process=siw_ipp_app=PRPHDINFMT9F=0122

Further instructions and information about PhD study at CISA and the
University of Edinburgh is available here:

http://web.inf.ed.ac.uk/cisa/study-with-us
https://www.ed.ac.uk/informatics/postgraduate/apply

For more information please contact Vaishak Belle (vais...@ed.ac.uk) and/or
James Cheney (jche...@inf.ed.ac.uk).

[TYPES/announce] [CFP] Bx 2019: 8th International Workshop on Bidirectional Transformations (Deadline: Feb. 19)

2018-11-09 Thread James Cheney

 to participate
in the workshop to present it. Authors of accepted tool papers are also
expected to be available to demonstrate their tool at the event.


Proceedings and Special Issue
=

The workshop proceedings, including all accepted papers (except talk
proposals), will be published electronically by CEUR (http://ceur-ws.org).
A special issue open to all authors of papers in BX workshops over the past
few years is planned.


Program committee
=

* Co-chairs

- James Cheney, University of Edinburgh, UK
- Hsiang-Shang ‘Josh’ Ko, National Institute of Informatics, Japan

* Members

- Leopoldo Bertossi, Carleton University, Canada
- Ravi Chugh, University of Chicago, US
- Zinovy Diskin, McMaster University, Canada
- Paolo Guagliardo, University of Edinburgh, UK
- Jules Hedges, University of Oxford, UK
- Michael Johnson, Macquarie University, Australia
- Leen Lambers, Hasso Plattner Institute, University of Potsdam, Germany
- Kazutaka Matsuda, Tohoku University, Japan
- Anders Miltner, Princeton University, US
- Alfonso Pierantonio, University of L'Aquila, Italy
- Perdita Stevens, University of Edinburgh, UK
- Daniel Strüber, University of Koblenz and Landau, Germany
- Manuel Wimmer, Vienna University of Technology, Austria
- Nicolas Wu, University of Bristol, UK

[TYPES/announce] Postdoctoral & development positions on PL for data curation at Edinburgh LFCS

2018-08-20 Thread James Cheney

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

Hi,

I am pleased to announce that we are now accepting applications for *two*
postdoctoral positions in programming languages for scientific data
management. Both are for 24 months, starting on October 1, 2018 at the
earliest. Funding is provided by a five-year, €1.99M Consolidator Grant
from the European Research Council on the project: "Skye: A programming
language bridging theory and practice for scientific data curation".

== Research software engineer (£32,548 - £38,833) ==

This position is aimed at developing scientific database case studies using
Links, a programming language with strong support for Web programming,
database programming, algebraic effects and distributed programming using
session types. Applications are welcome from either experienced scientific
database developers with an interest in functional programming, or
programming languages or database researchers with an interest in
principled software development.

== Senior researcher (£39,992 - £47,722) ==

This position is intended for someone who has significant research
experience and an independent research agenda relevant to the topics of the
project: types, database programming, metaprogramming, language
extensibility, etc. The senior researcher will help to lead a substantial
part of the Skye project and participate in supervision of some of the
students and staff working on the project.

Funding from this ERC grant can also be used to help support
travel/accommodation costs for extended visits from established researchers
(e.g. faculty at other institutions) whose research aligns with the
project. Please get in touch if interested.

== To apply ==

For more information about the project, and about other related activities
in my group, LFCS, and Edinburgh, please write to me or consult the
following page:

http://homepages.inf.ed.ac.uk/jcheney/group/skye.html

Applications must be received by 5pm GMT, September 13, 2018. To apply,
visit the University job posting for these positions:

Research software engineer

https://www.vacancies.ed.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.jobspec?p_id=044830

Senior researcher

https://www.vacancies.ed.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.jobspec?p_id=044794

== Environment ==

[TYPES/announce] ProvenanceWeek 2018 call for papers

2018-02-09 Thread 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

[TYPES/announce] Postdoctoral position on graph data mining and anomaly detection

2017-05-31 Thread James Cheney

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

Dear types/announce,

I am advertising a postdoctoral position on graph data mining and anomaly
detection, with applications to security.  I realize this may seem like an
off-the-wall topic to advertise here, but thought I would try anyway in
case there is anyone out there with a background in probabilistic
programming or PL techniques for data science who might like to try out
such techniques on a new application area.  Further details below.

--James

I am pleased to announce that we are now accepting applications for a
postdoctoral research position in graph data mining and anomaly detection.
The position is for 18 months, starting on or around September 1, 2017 and
by January 1, 2018 at the latest.  Funding is provided by a DARPA grant on
the project: "ADAPT: A diagnostics approach to advanced persistent threat
detection", part of the $60M Transparent Computing program.

The ADAPT project is led by Galois, Inc. in collaboration with Oregon State
University and the University of Edinburgh.  The overall aim of the project
is to manage and analyze large / high-volume streams of provenance data
recording low-level operating system activity in order to detect small,
"anomalous" subgraphs that may comprise system attacks.  This is a
challenging problem because available attack data is sparse and unlabeled,
and future attackers can be expected to mimic normal system behavior and
avoid previous attack patterns.

This postdoctoral position will contribute to applying existing anomaly
detection techniques to this new domain, identifying the most useful
techniques for this data or developing new, better-suited approaches, and
integrating them into an analysis and visualization pipeline to aid
security investigation.

Applications must be received by 5pm GMT, June 27, 2016.  Applications must
include a current CV and short (1-3 page) statement of research interests
and their relevance to the project.  To apply, visit the University job
posting for this position:

https://www.vacancies.ed.ac.uk/pls/corehrrecruit/erq_
jobspec_version_4.jobspec?p_id=039859

then click "apply" and follow the instructions.  Please note that
applicants must use the University's application system above, which
involves some account registration and form-filling, and it is recommended
that applicants complete this process well before the deadline, since the
system automatically stops accepting applications after the deadline.

[TYPES/announce] TaPP 2017 call for participation

2017-05-29 Thread James Cheney

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

** 9th International Workshop on Theory and Practice of Provenance**
June 22-23, 2017
Seattle, WA
http://batesa.web.engr.illinois.edu/tapp17/

TaPP 2017 continues the tradition of providing a genuine workshop
environment for discussing and developing new ideas and exploring
connections between disciplines and between academic research on provenance
and practical applications. TaPP will take place June 22-23, 2017 in
Seattle, WA, USA on the University of Washington campus.

TaPP Registration is open now at:
  http://batesa.web.engr.illinois.edu/tapp17/#registration

Note: on-time registration will close on June 8th.

This year, TaPP features two invited talks:

* Professor Tyson Condie, UCLA

* Dr. David Archer, Galois Inc.

Poster Session: Space is still available for the TaPP’17 poster session. To
participate, please submit a 1-page poster proposal to tap...@easychair.org,
by the June 5th in order to receive notification prior to the registration
deadline. Details at
http://batesa.web.engr.illinois.edu/tapp17/#submissionsite

*
Preliminary TAPP’17 Schedule

June 22 (Thursday)

14.00 - 20.00   Registration begins
18.00 - 20.00   Informal Welcome Reception

June 23 (Friday)

08.30 - 09.00Registration and Coffee Station opens
09.00 - 09.10Welcome
09.10 - 10.10Keynote Speaker: Tyson Condie, UCLA
10.10 - 10.45Coffee Break
10.45 - 12.00Research Session I
12.00 - 13.30Lunch & Poster Session
13.30 - 14.15Invited Talk: David Archer, Galois
14.15 - 15.30Research Session II
15.45 - 16.00Coffee Break
16.00 - 17:40Research Session III
17:40 - 18:00Town  Hall and Concluding Remarks

*

TaPP 2017 will take place on the in the Grand Room of Maple Hall on the
University of Washington Campus (1101 NE Campus Parkway, Seattle, WA 98105).

For information about the venue:
https://www.washington.edu/area01/the-great-room/

For information about accommodations:
http://batesa.web.engr.illinois.edu/tapp17/#lodging

For information about visa and letter of invitation:
http://batesa.web.engr.illinois.edu/tapp17/#visa

If you have any questions or comments, you can reach us at
tap...@easychair.org, and follow the workshop on Twitter under the #TAPP17
hashtag.

Best regards,
Bill Howe and Adam Bates
TaPP 2017 Program Chairs

[TYPES/announce] TaPP 2017 - Call for Papers

2017-01-25 Thread James Cheney

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

9th International Workshop on Theory and Practice of Provenance
Call for Papers

TaPP 2017 continues the tradition of providing a genuine workshop
environment for discussing and developing new ideas and exploring
connections between disciplines and between academic research on provenance
and practical applications. TaPP will take place June 22-23, 2017 in
Seattle, WA, USA on the University of Washington campus.

We invite innovative and creative contributions, including papers outlining
new challenges for provenance research, promising formal approaches to
provenance, innovative use of provenance, experience-based insights,
resourceful experiments, and visionary (and possibly risky) ideas.
Proposals for tutorials, panel or group discussions, reports on early stage
research, or any other activities that will create a successful workshop
are encouraged.

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:

  Abstract Registration Due: March 13, 2017
  Paper submission deadline: March 20, 2017
  Acceptance Notification: May 1, 2017
  Camera-ready deadline: TBD
  (All deadlines are 23:59:59 UTC-11)

Submission Instructions:

  •Not published or under review elsewhere
  •Formatted according to the ACM SIGPLAN two-column format (
http://www.sigplan.org/Resources/Author/ )
  •Typically 4 pages, and no longer than 8 pages. An extra 4 pages of
supporting material may be submitted, but the reviewers will not be obliged
to read them
  •"Short papers" of 4 pages or less need not make an original research
contribution and will be evaluated on the basis of originality, relevance,
and contribution to the workshop
  •Proposals for tutorials, demos, discussions or other activities
should be submitted as short papers

As in previous years, contributions to TaPP will be published online as
open access; authors retain copyright to their submissions and full-length
papers based on TaPP contributions may be submitted to other venues.

Further instructions, including a link to the submission site, will be
available shortly at
 http://batesa.web.engr.illinois.edu/tapp17/

Best regards,
Bill Howe and Adam Bates
TaPP 2017 Program Chairs

[TYPES/announce] Lecturer/Senior Lecturer/Reader positions in Security & Privacy, Artificial Intelligence at Edinburgh

2017-01-04 Thread James Cheney

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

Dear TYPES/announce,

The School of Informatics, University of Edinburgh is hiring in the
following areas relevant to / overlapping with types and verification:

* Lecturer/Senior Lecturer/Reader in Security & Privacy

https://www.vacancies.ed.ac.uk/pls/corehrrecruit/erq_
jobspec_version_4.jobspec?p_id=037885

Types, verification and programming languages have well-known applications
to security & privacy.  Our current Security & Privacy group covers
"applied and theoretical cryptography, software security, human factors,
protocol analysis, verification and quantum/post-quantum cryptography."

For further details of the S group see: http://web.inf.ed.ac.uk/
security-privacy

* Lecturer/Senior Lecturer/Reader in Artificial Intelligence

https://www.vacancies.ed.ac.uk/pls/corehrrecruit/erq_
jobspec_version_4.jobspec?p_id=038357

This includes research on AI based on "human-intelligible [symbolic]
representations", "logical inference", "explanation and justification of
decisions" and "verification of AI systems", and does not mean "machine
learning" - we have a separate search going on for that.

For further details of the AI group (CISA) see:
http://web.inf.ed.ac.uk/cisa/

--James

[TYPES/announce] 4-year PhD studentship on "Declarative Programming for Data Science"

2016-02-22 Thread James Cheney

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

===
EPSRC Centre for Doctoral Training in Data Science, University of Edinburgh

Industry CDT Studentship on "Declarative Programming for Data Science"
Website: datascience.inf.ed.ac.uk
Project description: homepages.inf.ed.ac.uk/jcheney/group/dpds.html
Deadline:
* 18 March 2016
===

The EPSRC Centre for Doctoral Training (CDT) in Data Science is now
inviting applications for a fully-funded, 4-year Master's + PhD
studentship in Declarative Programming for Data Science at the
University of Edinburgh, to start in September 2016.

Students with a strong background in computer science, especially with
interests in programming languages, databases, or logic, are strongly
encouraged to apply.  This studentship will be supervised by Dr. James
Cheney.  Thanks to a generous gift from LogicBlox, Inc., this
studentship is open to applicants of any nationality.


== About the project ==

This project seeks to explore the design space opened up by recent
advances by LogicBlox researchers such as the use of meta-programming
to dramatically simplify their query engine (MetaLogiQL, VLDB 2015;
incremental view maintenance using leapfrog tree join, work in
progress) and current research interests such as bidirectional data
transformations (view update/data synchronization), provenance
management, declarative Web programming and user interfaces.

LogicBlox welcomes collaboration driven by fundamental research
interests of the academic partner, and we hope to recruit an
exceptional student who aims to become a world-class researcher and
leader in declarative programming for data science.   The student
supported by this studentship would also have the opportunity to visit
LogicBlox (or other CDT industrial partners) as an intern to gain
experience applying their system to practical problems.

LogicBlox's business is founded on applying declarative programming
and database research to practical problems of large-scale data
analysis in industry. Applying machine learning models to large
datasets is a core application area for the LogicBlox system.
LogicBlox collaborates with over 50 faculty members at over 25 leading
universities, and is an industrial partner in the Data Science CDT.
The student supported by this studentship would also have the
opportunity to visit LogicBlox (or other CDT industrial partners) as
an intern to gain experience applying their system to practical
problems.

For additional information about the project and research background,
please see the project description web page:
homepages.inf.ed.ac.uk/jcheney/group/dpds.html

== About the Data Science CDT ==

The CDT focuses on the computational principles, methods, and systems
for extracting knowledge from data. Large data sets are now generated
by almost every activity in science, society, and commerce --- ranging
from molecular biology to social media, from sustainable energy to
health care. Data science asks: How can we efficiently find patterns
in these vast streams of data? Many research areas have tackled parts
of this problem:

* machine learning focuses on finding patterns and making predictions from data;
* databases are needed for efficiently accessing data and ensuring its quality;
* ideas from algorithms are required to build systems that scale to
big data streams;
* the mathematical fields of statistics and optimization provide
foundational tools and theory;
* natural language processing, computer vision, and speech processing
consider the analysis of different types of unstructured data.

Recently, these distinct disciplines have begun to converge into a
single field called data science.

The CDT is a 4-year programme: the first year provides Masters level
training in the core areas of data science, along with a significant
project. In years 2-4 students will carry out PhD research in Data
Science, guided by PhD supervisors from within the centre. The CDT is
funded by EPSRC and the University of Edinburgh.

Edinburgh has a large, world-class research community in data science
to support the work of the CDT student cohort.  The city of Edinburgh
has often been voted the 'best place to live in Britain', and has many
exciting cultural and student activities.

== Application information ==

Application Deadline:
Applications will be considered now until the position is filled.
Applications must be received by
* 18 March 2016

See datascience.inf.ed.ac.uk/apply for further information and
application forms.

A complete application includes a research proposal outlining the
applicant's research interests and proposed topic.  To ensure full
consideration, prospective applicants are strongly encouraged to
contact the project supervisor, Dr. James Cheney,

[TYPES/announce] PhD studentships at LFCS, University of Edinburgh

2015-12-21 Thread James Cheney

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

Several funded PhD studentships are available in topics relating to
programming languages in the Laboratory for Foundations of Computer
Science, School of Informatics, University of Edinburgh.  Admission is
generally for autumn 2016; earlier admission is possible depending on
availability of funding.

Expressions of interest from applicants interested in PhD study on any
topic relating to theoretical computer science are welcome.  Programming
languages research topics of particular interest (some with funding already
secured) include:

* Topic: Proof Engineering
  Contact: David Aspinall <david.aspin...@ed.ac.uk>
  More information: http://homepages.inf.ed.ac.uk/da/proofeng.shtml

* Topic: Security and verification (including secure concurrent programming,
  verification of software defined networks, or automatic vulnerability
prediction)
  Contact: David Aspinall <david.aspin...@ed.ac.uk>
  More information: http://secpriv.inf.ed.ac.uk/phds/


* Topic: Heterogeneous Metaprogramming for Data-Centric Applications
  Funding available:  4 years stipend and tuition for student of any
nationality
  Contact: James Cheney <jche...@inf.ed.ac.uk>
  More information:
http://wcms.inf.ed.ac.uk/lfcs/graduate%20study/data-centric-programming-and-provenance,
http://homepages.inf.ed.ac.uk/jcheney/linq/

* Topic: Mechanized metatheory, nominal logic and type theory
  Contact: James Cheney <jche...@inf.ed.ac.uk>
  More information:
http://wcms.inf.ed.ac.uk/lfcs/graduate%20study/nominal-logic-automated-reasoning-and-type-theory


* Topic: Categorical semantics for quantum computing
  Funding available: stipend and UK/EU tuition
  Contact: Chris Heunen <chris.heu...@ed.ac.uk>


* Topic: C3: Scalable & Verified Shared Memory via Consistency-directed
Cache Coherence
  Funding available: stipend and UK/EU tuition
  Contact: Vijay Nagarajan <vijay.nagara...@ed.ac.uk>
  More information:
http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/M027317/1


* Topic: Complexity Metrics for Testing Concurrent Programs
  Funding available: stipend and UK/EU tuition
  Contact: Ajitha Rajan <ara...@staffmail.ed.ac.uk>
  More information:
http://wcms.inf.ed.ac.uk/lfcs/graduate%20study/complexity-metrics-for-testing-concurrent-programs

* Topic: GPUs Applied to Software Testing
  Funding available: stipend and UK/EU tuition
  Contact: Ajitha Rajan <ara...@staffmail.ed.ac.uk>


* Topic: A Basis for Concurrency and Distribution
  Funding available: stipend and UK/EU tuition
  Contact: Philip Wadler <wad...@inf.ed.ac.uk>
  More information:
http://homepages.inf.ed.ac.uk/wadler/abcd-phd-advert.html


The LFCS web page lists additional possible supervisors, research
interests, and project suggestions:

http://wcms.inf.ed.ac.uk/lfcs/graduate%20study/research-topics
http://wcms.inf.ed.ac.uk/lfcs/people


Applicants with interests related to parallel programming, distributed
computation, or high-performance computing, databases, machine learning,
statistics, or optimization may also apply for funded, 4-year combined
Master's and PhD programmes offered by one of Edinburgh's two EPSRC Centres
for Doctoral Training:

Centre for Doctoral Training in Pervasive Parallelism
  http://pervasiveparallelism.inf.ed.ac.uk/

Centre for Doctoral Training in Data Science
  http://datascience.inf.ed.ac.uk/apply/

These Centres have separate application processes.  Please consult their
respective websites for details.

In any case it is strongly recommended for applicants to discuss their
interests with a prospective supervisor before applying.


== Application instructions ==

Applicants from outside the UK/EU must apply as soon as possible in order
be considered for full funding.  All applicants should apply by March 18,
2016.  However, early application is advisable.

Internal funding decisions are typically made based on applications
received by early February, so it is advisable to apply for admission and
and applicable funding sources by February 1, 2016.

To apply, please follow the instructions at:

https://wcms.inf.ed.ac.uk/lfcs/graduate%20study/apply/

and apply to the LFCS 3-year PhD program.  The direct application link is:
https://www.star.euclid.ed.ac.uk/public/urd/sits.urd/run/siw_ipp_lgn.login?process=siw_ipp_app=PRPHDINFMT7F=0087
).

Please get in touch early in case of questions about the application
process, project ideas or study in the UK or Edinburgh.


== Funding ==

As noted above, some topics are associated with funded projects, including
a stipend of approximately £14,000 per year, and covering UK/EU tuition or
(for some projects) full tuition for a student of any nationality.

Students interested in topics for which full funding is not available are
strongly encouraged to apply for additional University or external funding,
and are encouraged to apply to one of the School's

[TYPES/announce] Postdoctoral and PhD positions in LFCS on graph databases, provenance, and programming languages

2015-12-15 Thread James Cheney

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

Hi,

As a result of recent funding awards, I expect to be able to advertise two
postdoctoral positions and a PhD position at the Laboratory for Foundations
of Computer Science, University of Edinburgh in the near future:

* The first postdoc position will be advertised early in January to start
as soon as possible (in practice, this likely means February 2016 at the
absolute earliest; I'd prefer to have someone by March or April if
possible).

The position will require a mix of research and development skills, to
contribute to the development of a system for processing and analyzing
provenance graph data in order to identify and mitigate advanced persistent
threat attacks.  Preferred programming languages among other project
members include Haskell, Scala and Python.  Experience with graph databases
such as Titan/Cassandra or the Gremlin query language would be a big plus.

I would like to hire someone to work on this project whose research
dovetails well with the development needed for the project.  This could
mean a systems-oriented PL researcher interested in gaining experience with
graph databases, provenance or security, or a researcher in one of these
areas interested in gaining experience with PL.

This position is part of the ADAPT project (A Diagnostics Approach for
Advanced Persistent Threat Detection) funded by the DARPA Transparent
Computing Program.  The other partners in ADAPT are Galois, Inc., Xerox
PARC, and Oregon State University.  The funding is secure until June 2017
and funding after that point is contingent on continuation of the project
by DARPA, until the program ends in June 2019.

* The second postdoc and PhD studentship position will be advertised later
in 2016 for a start date of mid-to-late 2016.  Both will be part of the
ERC-funded project "Skye: A programming language bridging theory and
practice for scientific data curation".

Relevant topics/background include heterogeneous metaprogramming,
language-integrated query, and scientific data management and provenance.

Both positions will have funding for up to 4 years in the period 2016-2021
(pending finalization of the grant agreement).

This message does not constitute a formal advertisement of an employment
opportunity; formal advertisements will follow when the details are
finalized.  Please contact me if interested in any of these opportunities
or with any questions about the projects, and research environment, and
preferably including a CV and summary of your research interests and how
they relate to the position(s) you are interested in.

--James

[TYPES/announce] Call for papers: Special issue of JFP on PL for Big Data

2015-11-09 Thread James Cheney

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

   A Special Issue of the Journal of Functional Programming
  on
  Programming Languages for Big Data
 http://j.mp/PL-for-Big-Data

   CALL FOR PAPERS

Ideas from programming languages play an important role in a range of
advanced applications of databases, in database system implementation,
distributed programming (MapReduce), streaming computation, and
high-performance (GPU/multicore) computation. This creative research
area is broadening into a subfield of data-centric computation.
Although the interaction of databases and programming has a long
history (the 15th biennial Database Programming Languages symposium
was held in 2015), there has been a recent renewal of and broadening
of interest in programming language techniques for dealing with data
from several quarters in the last few years, including workshops at
Microsoft Research (RADICAL 2010), ICFP (XLDI 2012), POPL (DDFP 2013,
DCM 2014) and a Dagstuhl Seminar on Programming Languages for Big Data
(December 2014).  To recognise and encourage the publication of mature
research contributions in this area, a special issue of the Journal of
Functional Programming (JFP) will be devoted to the same theme.

Full-length, archival-quality submissions are solicited on topics
including both theoretical and practical contributions to
functionally-inspired or declarative techniques for databases, data
analysis, or high-performance computation. Examples include, but are
not limited to:

  Data-Centric Programming Abstractions
and Optimisations (Comprehensions, Monads);
  Emerging and Nontraditional Data Models;
  Language-Integrated Query Mechanisms;
  Language Support for Concurrency, Parallelism
or Heterogeneous Computation;
  Probabilistic Programming and Machine Learning;
  Semantics and Verification of Data-Centric Systems;
  Type Systems for Data-Centric Programming;
  Language-Inspired Database System Implementation Techniques;
  Functionally-Inspired Translation
Techniques (Continuations, Fusion)

Reports on applications of these techniques to real-world problems are
especially encouraged, as are submissions that relate ideas and
concepts from several of these topics, or bridge the gap between
theory and practice.

Contributors to recent events mentioned above are encouraged to
submit, but submission is open to everyone.  Papers will be reviewed
as regular JFP submissions, and acceptance in the special issue will
be based on both JFP's quality standards and relevance to the theme.
The special issue also welcomes high-quality survey and position
papers that would benefit a wide audience.

Authors are encouraged to indicate interest in submitting by April 1,
2016, to aid in identifying suitable reviewers.  The submission
deadline is May 1, 2016. The suggested submission length is 25-35
pages, excluding bibliography and appendices.  Shorter submissions are
encouraged; prospective authors of longer submissions should discuss
their plans with the special issue editors in advance.

Submissions that are based on previously-published conference or
workshop papers must clearly describe the relationship with the
initial publication, and must differ sufficiently that the author can
assign copyright to Cambridge University Press.  Prospective authors
are welcome to discuss such submissions with the editors to ensure
compliance with this policy.


Submissions should be sent through the JFP Manuscript Central system:

https://mc.manuscriptcentral.com/cup/jfp_submit

For other submission details, please consult an issue of the Journal of
Functional Programming or see the Journal's web page at

http://journals.cambridge.org/jid_JFP

To contact the editors with questions about this special issue, please
use the following mail alias:

pl-for-big-data-jfp-special-is...@googlegroups.com

Guest Editors:

James Cheney
University of Edinburgh
School of Informatics
Laboratory for Foundations of Computer Science
10 Crichton Street
Edinburgh EH8 9AB
Scotland

Torsten Grust
University of Tübingen
Department of Computer Science
Lehrstuhl für Datenbanksysteme
Sand 13
72076 Tübingen
Germany

Editor in Chief:

Jeremy Gibbons
University of Oxford
Department of Computer Science
Wolfson Building
Parks Road
Oxford OX1 3QD
United Kingdom



Schedule:

Apr 1 2016: expressions of interest
May 1 2016: submission deadline
Oct 1 2016: first round of reviews
Dec 1 2016: revision deadline
Feb 1 2017: second round of reviews
May 1 2017: final accepted versions due

[TYPES/announce] DBPL 2015: Call for Participation

2015-07-22 Thread James Cheney

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

   The 15th International Symposium
  on Database Programming Languages
   http://2015.splashcon.org/track/dbpl2015
Pittsburgh, Pennsylvania, USA
  October 27, 2015
 hosted as part of SPLASH 2015

Call for Participation


DBPL has a long tradition of bringing databases and programming
languages together. This year we continue this tradition by co-locating
DBPL with SPLASH 2015, and presenting an interesting mix of papers with
programming language and database aspects. In addition to these papers
we have an excellent invited talk by Marko Rodriguez of DataStax
about Gremlin: A Stream-Based Functional Language for OLTP and OLAP Graph
Computing. We hope to see you in Pittsburgh!

DBPL is held in cooperation with ACM SIGPLAN, and gratefully acknowledges
support from LogicBlox, Inc.


Keynote Speaker
---

DBPL 2015 will feature an invited talk by Dr. Marko A. Rodriguez
(http://markorodriguez.com) of DataStax, on the topic

  Gremlin: A Stream-Based Functional Language for OLTP and OLAP
Graph Computing

Accepted Papers
-

Function Inlining in XQuery 3.0 Optimization
L. Wörteler, M. Grossniklaus, C. Grün, M. Scholl

Relational Foundations for Functorial Data Migration
R. Wisnesky, D. Spivak

A Datalog-based Protocol for Lazy Data Migration in Agile NoSQL
Application Development
S. Scherzinger, U. Störl, M. Klettke

Requesting heterogeneous data sources with array comprehensions in Hop.js
Y. Couillec, M. Serrano

Relative Expressive Power of Downward Fragments of Navigational Query
Languages on Trees and Chains
J. Hellings, M. Gyssens, Y. Wu, D. Van Gucht, J. Bussche, S.
Vansummeren, G. Fletcher

Using Dependent Types and Tactics to Enable Semantic Optimization of
Language-Integrated Queries
R. Wisnesky, G. Malecha

Abstract Rewriting Approach to Solve Datalog Programs
F. Morales, F. Ishikawa, S. Honiden

Typing Regular Path Query Languages for Data Graphs
D. Colazzo, C. Sartiani

A common data manipulation language for nested data in heterogeneous
environments
J. Seco, H. Lourenço, P. Ferreira

Relational Algebra by way of Adjunctions
J. Gibbons, F. Henglein, R. Hinze, N. Wu

DBPL Co-Chairs
--
 James Cheney, University of Edinburgh
 Thomas Neumann, Technische Universität München


Program Committee
-
 Véronique BenzakenUniversité Paris-Sud, France
 Torsten Grust Universität Tübingen, Germany
 Jan Hidders   TU Delft, Netherlands
 Georg Lausen  Universität Freiburg, Germany
 Sam Lindley   University of Edinburgh, Scotland
 Klaus Ostermann   Universität Tübingen, Germany
 Christopher RéStanford University, USA
 Stefanie Scherzinger  OTH Regensburg, Germany
 Ryan Wisnesky   Massachusetts Institute of Technology, USA

[TYPES/announce] Second Call for Papers: DBPL 2015

2015-05-14 Thread James Cheney

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

The 15th International Symposium
   on Database Programming Languages
http://2015.splashcon.org/home/dbpl2015
 Pittsburgh, Pennsylvania, USA
October 27, 2015
  hosted as part of SPLASH 2015

Call for Papers

For over 25 years, DBPL has established itself as the principal venue
for publishing and discussing new ideas at the intersection of
databases and programming languages. Many key contributions in query
languages for object-oriented data, persistent databases, nested
relational data, and semistructured data, as well as fundamental ideas
in types for query languages, were first announced at DBPL. Today,
this creative research area is broadening into a subfield of
data-centric computation, currently scattered among a range of
venues. DBPL is an established destination for such new ideas and
solicits submissions from researchers in databases, programming
languages or any other community interested in the design,
implementation or foundations of data-centric computation.


Keynote Speaker
---

DBPL 2015 will feature an invited talk by Dr. Marko A. Rodriguez
(http://markorodriguez.com) of DataStax, on the topic

  Gremlin: A Stream-Based Functional Language for OLTP and OLAP
Graph Computing

Scope
-

  DBPL solicits practical and theoretical papers in all topics at the
  intersection of databases and programming languages. Papers
  emphasizing new topics or emerging areas are especially
  welcome. Suggested, but not exclusive, topics of interest for
  submissions include:

  -  Compiling Query Languages to Modern Hardware
  -  Data-Centric Programming Abstractions, Comprehensions, Monads
  -  Data Integration, Exchange, and Interoperability
  -  Data Synchronization and Bidirectional Transformations
  -  Declarative Data Centers
  -  Emerging and Nontraditional Data Models
  -  Language-Based Security in Data Management
  -  Language-Integrated Query Mechanisms
  -  Managing Uncertain and Imprecise Information
  -  Metaprogramming and Heterogeneous Staged Computation
  -  Programming Language Support for Databases
  -  Query Compilation and In-memory Databases
  -  Query Language Design
  -  Query Transformation and Optimization
  -  Schema Mapping and Metadata Management
  -  Semantics and Verification of Database Systems
  -  Stream Data Processing and Query Languages
  -  Type Systems for Data-Centric Programming
  -  Validation, Type-checking



Author Guidelines
-

  Prospective authors are invited to submit full papers in English
  presenting original research. Submitted papers must be unpublished
  and not submitted for publication elsewhere. Submissions should be
  no more than 10 pages long in the [ACM SIGPLAN] format.

  Each submission should begin with a succinct statement of the
  problem and a summary of the main results. Authors may provide more
  details to substantiate the main claims of the paper by including a
  clearly marked appendix at the end of the submission, which is not
  included in the page limit and is read at the discretion of the
  committee.

  At least one author of each accepted paper must attend the symposium
  to present their work.

  Short papers of at most 4 pages ([ACM SIGPLAN] format) describing
  work in progress, demos, research challenges or visions are also
  welcome. Accepted short papers may be included or excluded from the
  formal proceedings, whichever the author(s) prefer.

  Full and short papers are both due on the deadline, June 15, 2015.
  Abstracts of full papers should be submitted by June 10 to aid
  reviewer selection.

  The [submission site] is now open for submissions.


  [ACM SIGPLAN] http://www.sigplan.org/Resources/Author/
  [submission site]  https://dbpl2015.hotcrp.com/

Important Dates
---

  - Abstract Submission (full papers only): June 10, 2015
  - Paper Submission: June 15, 2015 (midnight GMT)
  - Notification: July 15, 2015
  - Final versions due: August 14, 2015
  - Symposium: October 27, 2015


Proceedings
---

  It is expected that accepted DBPL 2015 papers will appear as part of
  the ACM International Conference Proceedings series.


Program Committee
-

   *Program Co-Chairs*
  James Cheney  University of Edinburgh, Scotland
  Thomas NeumannTU Munich, Germany
   *Program Committee*
  Véronique BenzakenUniversité Paris-Sud, France
  Torsten Grust Universität Tübingen, Germany
  Jan Hidders   TU Delft, Netherlands
  Georg LausenUniversität Freiburg, Germany
  Sam LindleyUniversity of Edinburgh, Scotland
  Klaus OstermannUniversität Tübingen, Germany
  Christopher RéStanford University, USA
  Stefanie

[TYPES/announce] Second call for papers: TaPP 2015

2015-04-07 Thread James Cheney

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

[Submissions relating topics such as types, programming languages, or
language-based security are welcome.]



TaPP'15 - Second Call for Papers
7th USENIX Workshop on the Theory and Practice of Provenance
July 8-9, 2015; Edinburgh, UK
Preliminary website: http://workshops.inf.ed.ac.uk/tapp2015/

Note: this year TAPP is co-located with The British Database Conference
(BICOD, July 6-8)  http://conferences.inf.ed.ac.uk/BICOD2015/

== News ==

We are pleased to announce that TaPP will feature two invited speakers:

Professor Renee Miller, University of Toronto/IBM (joint invited speaker
with BICOD 2015)
Professor Trevor Martin, University of Bristol
We gratefully acknowledge support from the Scottish Informatics and
Computer Science Alliance (SICSA) for this event. Thanks to their generous
support, we will be able to offer free registration to up to 6 PhD students
at Scottish institutions for TaPP/BICOD.

== Focus ==

Provenance provides needed insight into the origins and derivation of data,
as well as formal documentation that can be instrumental in data quality
assessment, program debugging, and search. Research topics of relevance to
TAPP span the entire metadata lifecycle: from modelling to capture,
storage, usage, querying and mining, to security and interoperable exchange
across systems. TAPP also invites application-oriented contributions, on
provenance-aware systems and other practical usage of provenance.

== Workshop Format==

In keeping with its successful tradition, TaPP?15 is a workshop, as opposed
to a mini-conference. We aim to provide a platform for presenting and
discussing a range of fresh ideas, and actively encourage
inter-disciplinary work beyond the confines of the data management
community.

=== Research papers ===

Contributions are typically 4 and never more than 6 pages long. They should
describe challenges for provenance research, brief descriptions of new
applications, pie-in-the sky research ideas, and anything else that will
help engage the researchers? minds. While brief and readable descriptions
of research are encouraged, recycled conference submissions are strongly
discouraged.

Contributions are collected into online proceedings, hosted by Usenix and
indexed by DBLP, Google Scholar, etc.

Details of the workshop format are decided based on the volume and type of
submissions that we receive. We expect a mixture of presentations and
discussions. Anyone with an accepted submission should expect ample
opportunity to present their ideas at the workshop.

=== Posters ===

*NEW*  In addition to papers, we anticipate inviting posters for a
dedicated poster session, possibly jointly with BICOD.

== Important Dates ==
Abstracts Due: April 20th, 2015
Submission Deadline: April 27th, 2015
Poster Abstracts Due: May 25th, 2014 (To be aligned with BICOD)
Notification of Acceptance: June 1st, 2015
Camera ready submission due: June 15th, 2015
Workshop: July 8-9th, 2015

== How and What to Submit ==
Submissions should be no more than 4 pages in ACM SIGPLAN (two-column)
format. If supporting material is needed, an extra 4 pages may be
submitted, but the committee will not be obliged to read them.

All contributions should be submitted online at:
https://www.easychair.org/conferences/?conf=tapp15. As in previous years,
accepted TaPP papers will be open access via a USENIX web site.

== Conference Chairs ==
Paolo Missier, Newcastle University, PC co-chair
Jun Zhao, Lancaster University, PC co-chair
James Cheney, The University of Edinburgh - local chair

== Program Committee ==

Vanessa Braganholo, UFF, Brasil
Adriane Chapman, The MITRE Corporation, USA
Sarah Cohen-Boulakia, LRI, Universite Paris-Sud, France
Vasa Curcin, King's College, London, UK
Tom De Nies, Ghent University - iMinds, Belgium
Lois Delcambre, Portland State University, USA
Irini Fundulaki, ICS-FORTH, Greece
Floris Geerts, University of Antwerp, Belgium
Ashish Gehani, SRI International, USA
Boris Glavic, Illinois Institute of Technology, USA
Paul Groth, Elsevier, NL
Melanie Herschel,  University of Stuttgart, Germany
Bertram Ludaescher, University of Illinois (UIUC), USA
Sudeepa Roy, University of Washington, USA
Perdita Stevens, University of Edinburgh, UK

Re: [TYPES/announce] New mailing list: Data-Centric Programming

2015-02-20 Thread James Cheney

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

Hi,

Moments after sending this it was pointed out to me that while I gave the
email address for posting to the mailing list, I did not include any useful
information about *joining* said list.

The mailing list can be joined at this web page:

https://groups.google.com/d/forum/data-centric-programming

using Google Account credentials (which can be associated with any email
address).

Apologies for the omission (and to those of you not interested in either
message).

--James

On Thu, Feb 19, 2015 at 7:08 PM, James Cheney james.che...@gmail.com
wrote:

 Hi,

 I am pleased to announce the creation of a new mailing list for discussion
 and announcements related to data-centric programming.  Data-centric
 programming broadly refers to programming techniques for database,
 data-parallel, distributed, or streaming computation models (e.g. LINQ,
 MapReduce/Hadoop, multicore or GPGPU programming).

 It may be of interest to readers of the TYPES list, since ideas from types
 and programming languages have historically influenced research in this
 area, and continue to do so today.

 It is hosted, for the time being, by Google Groups:

 data-centric-programm...@googlegroups.com

 Its creation was motivated by discussion at a recent Dagstuhl seminar [1]
 concerning how to improve communication and build community among
 researchers in different areas with common interests, such as databases,
 systems, high-performance computation, programming languages, or
 security/privacy.

 This mailing list is intended as a public forum for researchers and
 practitioners  interested in programming languages and data-centric
 computation.  It is intended to be a lightweight and low-traffic forum for
 discussion of research ideas and community-building activities to help
 strengthen ties among those in this area.

 --James

 [1] http://www.dagstuhl.de/de/programm/kalender/semhp/?semnr=14511

[TYPES/announce] New mailing list: Data-Centric Programming

2015-02-19 Thread James Cheney

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

Hi,

I am pleased to announce the creation of a new mailing list for discussion
and announcements related to data-centric programming.  Data-centric
programming broadly refers to programming techniques for database,
data-parallel, distributed, or streaming computation models (e.g. LINQ,
MapReduce/Hadoop, multicore or GPGPU programming).

It may be of interest to readers of the TYPES list, since ideas from types
and programming languages have historically influenced research in this
area, and continue to do so today.

It is hosted, for the time being, by Google Groups:

data-centric-programm...@googlegroups.com

Its creation was motivated by discussion at a recent Dagstuhl seminar [1]
concerning how to improve communication and build community among
researchers in different areas with common interests, such as databases,
systems, high-performance computation, programming languages, or
security/privacy.

This mailing list is intended as a public forum for researchers and
practitioners  interested in programming languages and data-centric
computation.  It is intended to be a lightweight and low-traffic forum for
discussion of research ideas and community-building activities to help
strengthen ties among those in this area.

--James

[1] http://www.dagstuhl.de/de/programm/kalender/semhp/?semnr=14511

[TYPES/announce] TaPP 2015 Preliminary Call for Papers

2014-12-16 Thread James Cheney

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

TaPP'15 - 7th USENIX Workshop on the Theory and Practice of Provenance
Call for Papers
  July 8-9, 2015; Edinburgh, UK
  Preliminary website: http://workshops.inf.ed.ac.uk/tapp2015/

Note:
this year TAPP is co-located with The British Database Conference (BICOD,
July 6-8)  http://conferences.inf.ed.ac.uk/BICOD2015/
Renee Miller (U Toronto) will give a joint TAPP/BICOD keynote talk on July
8th.

** Timeline and Important Dates **
Abstracts Due: April 20th, 2015
Submission Deadline: April 27th, 2015
Poster Abstracts Due: May 25th, 2014 (To be aligned with BICOD)
Notification of Acceptance: June 1st, 2015
Camera ready submission due: June 15th, 2015
Workshop: July 8-9th, 2015

** Focus **
Provenance provides needed insight into the origins and derivation of
data, as well as formal documentation that can be instrumental in data
quality assessment, program debugging, and search.
Research topics of relevance to TAPP span the entire metadata lifecycle:
from modelling to capture, storage, usage, querying and mining, to
security and interoperable exchange across systems.
TAPP also invites application-oriented contributions, on provenance-aware
systems and other practical usage of provenance.

** Workshop Format **
In keeping with its successful tradition, TaPP¹15 is a workshop, as
opposed to a mini-conference. We aim to provide a platform for presenting
and discussing a range of fresh ideas, and actively encourage
inter-disciplinary work beyond the confines of the data management
community.

** What to Submit **
Contributions are typically 4 and never more than 6 pages long. They
should describe challenges for provenance research, brief descriptions of
new applications, pie-in-the sky research ideas, and anything else that
will help engage the researchers¹ minds.
While brief and readable descriptions of research are encouraged, recycled
conference submissions are strongly discouraged.
Contributions are collected into online proceedings, hosted by Usenix and
indexed by DBLP, Google Scholar, etc.

We expect the program to include a mixture of presentations and
discussions.
Authors should expect ample opportunity to present their ideas at the
workshop.

*NEW*  In addition to papers, we anticipate inviting posters for a
dedicated poster session, possibly jointly with BICOD.

Submissions should be no more than 4 pages in ACM SIGPLAN (two-column)
format.
If supporting material is needed, an extra 4 pages may be submitted, but
the committee will not be obliged to read them.

All contributions should be submitted online at:
https://www.easychair.org/conferences/?conf=tapp15.
As in previous years, accepted TaPP papers will be open access via a
USENIX web site.

Organizers
Paolo Missier, Newcastle University, PC co-chair
Jun Zhao, Lancaster University, PC co-chair
James Cheney, The University of Edinburgh - local chair

Program Committee

Vanessa Braganholo, UFF, Brasil
Adriane Chapman, The MITRE Corporation, USA
Sarah Cohen-Boulakia, LRI, Universite Paris-Sud, France
Vasa Curcin, King's College, London, UK
Tom De Nies, Ghent University - iMinds, Belgium
Lois Delcambre, Portland State University, USA
Irini Fundulaki, ICS-FORTH, Greece
Floris Geerts, University of Antwerp, Belgium
Ashish Gehani, SRI International, USA
Boris Glavic, Illinois Institute of Technology, USA
Paul Groth, Elsevier, NL
Melanie Herschel,  University of Stuttgart, Germany
Bertram Ludaescher, UIUC and NCSA, USA
SimonMiles King¹s College London, UK
LucMoreau University of Southampton, UK
Sudeepa Roy, University of Washington, USA
Perdita Stevens, University of Edinburgh, UK

[TYPES/announce] Postdoctoral and PhD opportunities in language-based security and provenance in LFCS

2014-10-16 Thread James Cheney

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

A postdoctoral research position has become available in LFCS, University
of Edinburgh, in language-based security and provenance.  The position is
available January 1, 2015 (the start date has some flexibility) and is for
12 months initially, with possible extension contingent on availability of
funding and performance.

A PhD studentship is also available; please see the following page for
further information about both opportunities:

http://homepages.inf.ed.ac.uk/jcheney/lbps.html

== Project description ==

Provenance, or metadata describing the process by which a computation
produced some data or by which a data resource has been constructed over
time, is important in a variety of contexts, including science,
intelligence gathering, and audit of business data, but so far there is
relatively poor understanding of the theoretical foundations of provenance.
The overarching goal is to develop foundational understanding of provenance
based on ideas from programming languages and language-based security, and
in particular, how the transparency and accountability goals of provenance
tracking might conflict with or complement traditional security policies
and mechanisms.

Applicants should have, at a minimum, a PhD degree (or be close to
completion) in computer science, with a track record of high quality
publications.  A strong background in foundations of programming languages,
databases, or language-based security is required.  Ideal candidates will
have both solid theoretical grounding and experience applying principles in
practical systems.  Previous research experience concerning provenance or
related topics such as trust, program slicing, information flow security,
concurrency, or verification/dependently-typed programming would be
desirable.


The successful applicant will play an important role in one or more of the
following project tasks:


* Enrich and extend formal models of provenance from simple programming
  languages or database query languages to handle features such as
concurrency,
  references, side-effects, notions of location, time, or boundaries of
control.
* Analyze existing proposals for provenance security mechanisms, and
identify
  shortcomings or generalizations leading to a richer understanding of
policies and
  correct mechanisms for provenance
* Develop efficient techniques for integrating provenance-tracking
techniques into
  programming languages or other frameworks.
* Formalize and verify provenance techniques in mechanized proof systems or
  dependently-typed languages such as Coq, Agda or Isabelle/HOL.

For more information about the project background, please consult our
recent publications page here:

http://wcms.inf.ed.ac.uk/lfcs/research/groups-and-projects/database/provenance/#provenance-and-security

== Application instructions ==

A complete application consists of a CV and a 1-2 page research statement
summarizing your background, previous research experience, and how they
relate to this position.

Applications must be submitted by 5pm GMT on November 24, 2014, through the
University of Edinburgh recruitment site:

http://vacancies.ed.ac.uk
Reference number:  031702

or directly by following this link:

https://www.vacancies.ed.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.jobspec?p_id=031702

Interviews will likely be held during the first half of December.

== About the University of Edinburgh and LFCS ==

The University of Edinburgh School of Informatics brings together
world-class research groups in theoretical computer science, artificial
intelligence and cognitive science. The School led the UK 2008 RAE rankings
in volume of internationally recognised or internationally excellent
research.

The Laboratory for Foundations of Computer Science was established by
Burstall, Milner and Plotkin in 1986, and is recognized worldwide for
groundbreaking research on topics in programming languages, semantics, type
theory, proof theory, algorithms and complexity, databases, security, and
systems biology.

Programming Languages and Foundations is one of the largest research
activities in LFCS, including 15 academic staff, 8 postdoctoral
researchers, and 10 current PhD students, working on functional
programming, types, verification, semantics, software engineering,
language-based security and new programming models. We participate in a
thriving PL research community across Scotland, with Scottish Programming
Languages Seminars hosted every 3-4 months by PL groups at Glasgow,
Strathclyde, Heriot-Watt, St. Andrews, Dundee and Edinburgh.

For more information about Edinburgh and research activity in PL, see these
pages:

* Explore Edinburgh
   (http://www.ed.ac.uk/about/city)
* Programming Languages and Foundations at LFCS
   (http://wcms.inf.ed.ac.uk/lfcs/research/groups-and-projects/pl)

[TYPES/announce] Lecturer and Reader in Cyber Security/Privacy, University of Edinburgh

2014-07-14 Thread James Cheney

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

[posted on behalf of David Aspinall]

University of Edinburgh -- Posts in Cyber Security and Privacy
Lecturer (Assistant Professor) and Reader (Associate Professor).
Starting date: 1st October 2014 or as soon as possible thereafter.
Salary: £38,511 - £45,954 (Lecturer); £48,743 - £54,841 (Reader)
Closing date: 22nd Aug 2014.

Online applications, official vacancy pages:

Lecturer: https://www.vacancies.ed.ac.uk reference 030850
Reader: https://www.vacancies.ed.ac.uk reference 030849

Informal Enquiries:

David Aspinall, david.aspin...@ed.ac.uk

Full advert: http://secpriv.inf.ed.ac.uk/secpriv-jobs/

[TYPES/announce] PhD studentship in data-centric programming at LFCS, University of Edinburgh

2014-04-07 Thread James Cheney

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

A fully-funded 3-year PhD studentship has become available in LFCS in data-
centric programming.  Applications and expressions of interest are welcome
now, with a closing date of April 28, 2014.

This studentship is partly funded by a EU FP7 project (DIACHRON) and partly
by a Google Research Award.  The funding includes UK/EU tuition and fees,
and a non-taxable stipend of approximately £13,800 per year for 3 years; a
small amount of additional funding is available that may be used flexibly
for equipment, travel or additional stipend support.

The topic of the studentship is flexible within the general area of
data-centric programming languages; possible topics include:

* Types and language design for integrating multiple data-centric
programming models (e.g. language-integrated database query, GPU, or
MapReduce programming)
* Extending bidirectional programming for synchronizing data across datamodels
* Language-based techniques for data curation and preservation, provenance
tracking, or archiving
* Query and update techniques for longitudinal or provenance-aware queries.
 (http://wcms.inf.ed.ac.uk/lfcs/graduate%20study/data-centric-programming
-and-provenance)

A strong candidate for this studentship will have, or expect to receive, a
first-class undergraduate degree or a strong performance in a master's
degree. She or he should also be familiar with foundations of programming
languages and databases, expert in at least one of these areas, and excited
about research in this fast-moving area.

The student will benefit from LFCS's strong research groups in both
Programming Languages and Databases, from Scotland's active programming
languages research community, and from proximity to Edinburgh's Centres for
Doctoral Training on Pervasive Parallelism or Data Science, which offer
4-year combined Master's + PhD programs and have strong links to industry
forming the basis for internships. It may be possible for us to offer the
successful applicant an additional year of funded study through one of
these programs.


== Application instructions ==

The application deadline is April 28, 2014.  Applications will be reviewed
on a rolling basis as they are received and an offer will be made to the
strongest candidate as soon as possible after the closing date.  Due to
restrictions on the funding, applicants with UK/EU citizenship or residence
will be prioritized.  Please get in touch early in case of questions about
the application process, project ideas or study in the UK or Edinburgh.

Current applicants to other Edinburgh PhD programs can be considered for
this funding.  If you are interested in this project and your application
to another Edinburgh PhD program is currently under review, please contact
me (jche...@inf.ed.ac.uk) to discuss how to proceed.

To apply, please follow the instructions at:

http://wcms.inf.ed.ac.uk/lfcs/graduate%20study/apply/

== About the University of Edinburgh and LFCS ==

The University of Edinburgh School of Informatics brings together
world-class research groups in theoretical computer science, artificial
intelligence and cognitive science. The School led the UK 2008 RAE rankings
in volume of internationally recognised or internationally excellent
research.

The Laboratory for Foundations of Computer Science was established by
Burstall, Milner and Plotkin in 1986, and is recognized worldwide for
groundbreaking research on topics in programming languages, semantics, type
theory, proof theory, algorithms and complexity, databases, security, and
systems biology.  Programming Languages and Foundations is one of the
largest research activities in LFCS, including 15 academic staff, 9
postdoctoral researchers and 6 current PhD students. We participate in a
thriving PL research community across Scotland, with Scottish
ProgrammingLanguages Seminars hosted every 3-4 months by PL groups at
Glasgow,
Strathclyde, Heriot-Watt, St. Andrews, Dundee and Edinburgh.

For more information about Edinburgh and studying here, see these pages:

* Explore Edinburgh
   (http://www.ed.ac.uk/about/city)
* Overview for prospective postgraduates
   (http://www.ed.ac.uk/schools-departments/informatics/postgraduate)
* Programming Languages and Foundations at LFCS
   (http://wcms.inf.ed.ac.uk/lfcs/research/groups-and-projects/pl)
* Edinburgh Database Group
   (https://wcms.inf.ed.ac.uk/lfcs/research/groups-and-projects/database)

[TYPES/announce] CFP: 6th Workshop on the Theory and Practice of Provenance (TaPP 2014)

2014-02-25 Thread James Cheney

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

Call for Papers
6th Workshop on the Theory and Practice of Provenance (TaPP'14)
In cooperation with USENIX
June 12-13, 2014
German Aerospace Center (DLR), Cologne, Germany

Provenance provides needed insight into the origins and derivation of data.
Provenance provides documentation that is an essential part of data quality
assessments, debugging and search. Topics in provenance range from:
capture, storage, usage, security, interoperability. Of particular interest
are the fundamental areas that must be solved in order to make provenance a
useful and usable tool in the world today. What theoretical problems need
to be solved? What practical problems can we tackle? What lessons have we
learned from real implementations?

Workshop Format
As with the previous editions of the workshop, the Program Committee is
determined to make TaPP'14 a real workshop at which new ideas are discussed
and developed and where the participants can learn how other disciplines
make use of provenance. While the workshop will have online proceedings
(indexed through DBLP), we do not want the workshop to become another
mini-conference with only paper presentations. Instead, we are eager to
receive short papers and vision papers describing challenges for provenance
research, brief descriptions of new applications, pie-in-the sky research
ideas, and anything else that will create a successful workshop. While
brief and readable descriptions of research are encouraged, recycled
conference submissions are strongly discouraged.

After the submission date for these various contributions, the Program
Committee will decide on the details of the workshop format. It is expected
to be a mixture of presentations, discussions, poster sessions, and a panel
(in conjunction with IPAW'14 as part of Provenance Week). Anyone with an
accepted submission will have ample opportunity to present their ideas at
the workshop.

How and What to Submit
Submissions should be no more than 4 pages in ACM SIGPLAN (two-column)
format. If supporting material is needed, an extra 4 pages may be
submitted, but the committee will not be obliged to read them.
All contributions must be submitted online at:
https://www.easychair.org/conferences/?conf=tapp14.

Venue
The 6th TaPP will be co-located with IPAW during Provenance Week (June
9-13, 2014) at the German Aerospace Center (DLR) in Cologne, Germany.

Important Dates
- Submission deadline: March 14, 2014
- Notification: April 11, 2014
- Final version due: May 9, 2014
- TaPP Workshop: June 12-13, 2014
- Provenance Week: June 9-13, 2014

Organization:
- Adriane Chapman, MITRE, USA (PC co-chair)
- Bertram Ludäscher, UC Davis, USA (PC co-chair)
- Andreas Schreiber, DLR, Germany (local chair)

Program Committee:
Sarah Cohen-Boulakia, LRI Universite Paris-Sud
Susan Davidson, University of Pennsylvania
Lois Delcambre, Portland State University
Irini Fundulaki, ICS-FORTH
Floris Geerts, University of Antwerp
Ashish Gehani, SRI International
Boris Glavic, Illinois Institute of Technology
Carole Goble, The University of Manchester
Todd Green, LogicBlox and University of California, Davis
Paul Groth, VU University Amsterdam
Melanie Herschel, Université Paris Sud 11
H. V. Jagadish, University of Michigan
Andrew Martin, University of Oxford
Renee J. Miller, Department of Computer Science, University of Toronto
Paolo Missier, School of Computing Sciences, Newcastle University
Perdita Stevens, University of Edinburgh
Jun Zhao, Lancaster University

[TYPES/announce] 10 fully-funded PhD studentships in Data Science at the University of Edinburgh

2013-12-18 Thread James Cheney

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

[Posting on behalf of the department.  This is *in addition* to the
studentships in the Pervasive Parallelism program advertised already.
Topics such as types/static analysis for data-centric programming
languages, or programming languages for machine learning, would be in scope
for this Centre.]

===
 10 PhD places in new Centre for Doctoral Training in Data Science
 Web site: http://datascience.inf.ed.ac.uk/
 Application deadline: 27 January 2014 (first round)
===

The Edinburgh Centre for Doctoral Training (CDT) in Data Science is
now inviting applications for 10 fully-funded PhD studentships, to
start in September 2014. Students with a strong background in computer
science, mathematics, physics, or engineering are particularly
encouraged to apply.

The CDT focuses on the computational principles, methods, and systems
for extracting knowledge from data. Large data sets are now generated
by almost every activity in science, society, and commerce - ranging
from molecular biology to social media, from sustainable energy to
health care. Data science asks: How can we efficiently find patterns
in these vast streams of data?  Many research areas have tackled parts
of this problem: machine learning focuses on finding patterns and
making predictions from data; databases are needed for efficiently
accessing data and ensuring its quality; ideas from algorithms are
required to build systems that scale to big data streams; and separate
research areas have grown around different types of unstructured data
such as text, images, sensor data, video, and speech.  Recently, these
distinct disciplines have begun to converge into a single field called
data science.

The CDT is a 4-year programme: the first year provides Masters level
training in the core areas of data science, along with a significant
project. In years 2-4 students will carry out PhD research in Data
Science, guided by PhD supervisors from within the centre. The CDT is
funded by EPSRC and the University of Edinburgh.

Edinburgh has a large, world-class research community in data science
to support the work of the CDT student cohort.  The city of Edinburgh
has often been voted the 'best place to live in Britain', and has many
exciting cultural and student activities.

Because of constraints from funding agencies, there are different
rules for funding depending on your fee status:
   * UK and EU students: Full funding (fees and stipend) is available.
   * Non-EU students: Funding is significantly more competitive;  see
 http://datascience.inf.ed.ac.uk/apply/information-for-non-eu-students/
 for details.

See http://datascience.inf.ed.ac.uk/apply/ for further information and
application forms. Enquiries via datascie...@inf.ed.ac.uk .

There are two deadlines for applications:

 * First round deadline for full consideration. Apply by 27 January
   2014. (Any non-EU candidates must apply by this date, as well as
   following the specific instructions for non-EU residents.)

 * Second round: Any remaining scholarships will be awarded in a
   second round of applications. The deadline for the second round is
   31 March 2014.

[TYPES/announce] Fully funded PhD studentships in Pervasive Parallelism at Edinburgh

2013-12-06 Thread James Cheney

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

[Forwarded on behalf of the department.  Types, languages, and verification
for parallel, concurrent or distributed programming are possible topics.]

Centre for Doctoral Training in Pervasive Parallelism

http://pervasiveparallelism.inf.ed.ac.uk/

The EPSRC-funded Centre for Doctoral Training in Pervasive Parallelism at
the University of Edinburgh is pleased to offer 12 fully funded four year
studentships across all areas relevant to the pervasive parallelism
challenge. Students undertake an initial MSc by Research year, followed by
three years of PhD study.


Research Topics in Pervasive Parallelism

The computing industry faces its most disruptive challenge for fifty years.
For performance and energy reasons, parallelism permeates all layers of the
computing infrastructure, from the manycore CPUs and GPGPUs inside
smartphones up to supercomputers and globally networked distributed
systems. These systems generate fascinating research challenges in many
areas of Computer Science, from theory to practice.

 * How should we design parallel programming languages and compilers?

 * How should we design and implement parallel architectures and
   communication networks?

 * What theories do we need to prove properties of such systems, or to
   model and reason about their performance?

 * How can concurrent and distributed systems be made secure?

 * How can we trade performance for energy in context sensitive ways?

 * How can we make algorithms and applications robust against the failures
   inevitable in exascale systems?

 * How can we effectively debug, trace, or understand the provenance of
results
   of complex parallel, concurrent or distributed programs?

Students at the CDT in Pervasive Parallelism  will address such pervasive
parallelism challenges, undertaking the fundamental research required to
transform methods and practices.  They will develop not only deep expertise
in their own specialism, but crucially, an awareness of its relationships
to other facets of the challenge. Our industrial partnership and engagement
programme will ensure that our research is informed by real world
case-studies and will provide a source of diverse internship opportunities
for our students.


Studentships

The Centre is now recruiting its first cohort of students, to begin study
in September 2014.  Funding is predominantly for UK and EU qualified
applicants, but a smaller number of excellent international students may
also be supported. Applicants must have a good first degree in Computer
Science, Mathematics, Electronics, or a similar discipline relevant to the
area in which they plan to work.

For more information, including application details see:

http://pervasiveparallelism.inf.ed.ac.uk/



About the School of Informatics and the Edinburgh Parallel Computing Centre.

The CDT in Pervasive Parallelism is a collaboration between the School of
Informatics and the Edinburgh Parallel Computing Centre (EPCC). The School
of Informatics is Europe's largest computing department, highest rated for
research and ranked 'excellent' in the UK according to the most recent
research assessment exercises. The size and reputation of the Schools means
that it is big enough to provide outstanding facilities for students which
in turn attracts some of the brightest minds to study and teach there. The
School has an extremely successful track record of generating spin-out
activity, with an estimated 44% of all University of Edinburgh spin outs
since 2008 emerging from the School of Informatics alone. Recently awarded
a Silver Athena SWAN Award, it is also recognised as an institution with a
commitment to advancing women's careers.

For more information about postgraduate study opportunities at the School
of Informatics see:

http://www.ed.ac.uk/schools-departments/informatics/postgraduate/

The EPCC is the UK's largest supercomputing centre. It aims to accelerate
the effective exploitation of novel computing throughout industry, academia
and commerce. This is achieved through a range of activities spanning
undergraduate and advanced training programmes, service provision,
industrial affiliation, research and contract work. EPCC houses an
exceptional range of supercomputers, with 75 staff committed to the
solution of real-world problems. EPCC plays a leading role in PRACE
(Partnership for Advanced Computing in Europe).

For more information about EPCC see

http://www.epcc.ed.ac.uk/

[TYPES/announce] PhD opportunities in data-centric programming at LFCS, University of Edinburgh

2013-11-05 Thread James Cheney

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

Hi,

I would like to recruit 1-2 PhD students, working on any of the following
topics (with further details given at the associated links).

* Language-based provenance security: Provenance-based security and audit;
applications to slicing, failure analysis for system configuration
languages; information-flow and provenance-tracking for multi-tier
programs; designing new [functional/declarative] languages or dynamic
information flow analyses for secure, high-reliability datacenter
programming
 (
http://wcms.inf.ed.ac.uk/lfcs/graduate%20study/language-based-provenance-security
)

* Data-centric programming and provenance: Types and language design for
integrating multiple data-centric programming models; language-integrated
query; extending bidirectional programming for synchronizing data across
data models;  language-based techniques for data curation and preservation,
provenance tracking, or archiving; query and update techniques for
longitudinal or provenance-aware queries.
 (
http://wcms.inf.ed.ac.uk/lfcs/graduate%20study/data-centric-programming-and-provenance
)

One position is funded by a Microsoft Research PhD studentship, joint with
Paul Anderson and Dimitrios Vytiniotis (MSR-Cambridge).  The funding
includes a laptop for the student and there may be additional opportunities
for collaboration or internships (at the discretion of MSR).  A second
funded position may be available.

Other PhD studentships are also available, including on topics related to
types and programming languages.  Please contact me (jche...@inf.ed.ac.uk)
or others in LFCS to discuss alternative project ideas.
  (
http://wcms.inf.ed.ac.uk/lfcs/research/groups-and-projects/pl#phd-or-postdoctoral-opportunities
)


== Application instructions ==

The first-round application deadline is December 13, 2013.  Applications
received after this deadline may be considered subject to available
funding. Applicants from outside the UK/EU must apply by December 13, 2013
in order be considered for full funding.  Please get in touch early in case
of questions about the application process, project ideas or study in the
UK or Edinburgh.

To apply, please follow the instructions at:

http://www.ed.ac.uk/schools-departments/informatics/postgraduate/apply/

and apply to the LFCS PhD program (or just jump directly to
http://www.ed.ac.uk/studying/postgraduate/degrees?id=493cw_xml=details.php).



== About the University of Edinburgh and LFCS ==

The University of Edinburgh School of Informatics brings together
world-class research groups in theoretical computer science, artificial
intelligence and cognitive science. The School led the UK 2008 RAE rankings
in volume of internationally recognised or internationally excellent
research.

The Laboratory for Foundations of Computer Science was established by
Burstall, Milner and Plotkin in 1986, and is recognized worldwide for
groundbreaking research on topics in programming languages, semantics, type
theory, proof theory, algorithms and complexity, databases, security, and
systems biology.  Programming Languages and Foundations is one of the
largest research activities in LFCS, including 15 academic staff, 9
postdoctoral researchers and 6 current PhD students. We participate in a
thriving PL research community across Scotland, with Scottish Programming
Languages Seminars hosted every 3-4 months by PL groups at Glasgow,
Strathclyde, Heriot-Watt, St. Andrews, Dundee and Edinburgh.

For more information about Edinburgh and studying here, see these pages:

* Explore Edinburgh
   (http://www.ed.ac.uk/about/city)
* Overview for prospective postgraduates
   (http://www.ed.ac.uk/schools-departments/informatics/postgraduate)
* Programming Languages and Foundations at LFCS
   (http://wcms.inf.ed.ac.uk/lfcs/research/groups-and-projects/pl)

[TYPES/announce] postdoctoral PhD opportunities at Edinburgh

2013-06-21 Thread James Cheney

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

Hi,

Applications are invited for postdoctoral and PhD studentships in the
Edinburgh Database Group.  The Database Group is part of the Laboratory for
Foundations of Computer Science, which offers an excellent environment for
research in all areas of theoretical computer science, and has a strong
tradition of research in subjects related to Types, including topics in the
intersection of databases and programming languages.


The postdoctoral position is associated with the DIACHRON project (
http://www.diachron-fp7.eu/, EU FP7 Integration Project).  The project as a
whole is about Linked Data preservation, citation, archiving and
provenance.  In detail, the position will involve a mix of foundational or
systems research, development (extending existing prototypes in our group
and elsewhere) and engagement with partners in other universities, in
industry, and at the European Molecular Biology Laboratory, thus, strong
communication skills and interest in cross-disciplinary work are needed for
this position.   Applicants should have a PhD in computer science and
expertise in database or programming languages research.  Familiarity or
expertise with dynamic information flow, Web programming,
language-integrated query, data citation, provenance, or other research
areas relevant to the project would be a plus (from my point of view at
least).

The closing date is July 19, 5pm GMT.  The position is initially available
starting September 1, 2013 for up to 24 months with potential renewal
contingent on funding.   It is on the UE07 scale (£30,424 - £36,298).  For
more details or to apply, see:

http://www.jobs.ac.uk/job/AGT765/research-associate-in-data-provenance-citation-and-archiving/
https://www.vacancies.ed.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.jobspec?p_id=015193


Two fully-funded PhD studentships on related topics are also available:

 - one on a topic to be determined (within the scope of the DIACHRON
project)

 - one funded by Microsoft Research, to develop language-based security
techniques for provenance in system configuration languages (
http://homepages.inf.ed.ac.uk/jcheney/msr-phd.html)

Full funding (3 years fees + stipend of approximately £13,000) is available
for a strong PhD applicant from the UK/EU, and may be available for
excellent applicants from other countries; prospective applicants should
contact us before applying to discuss the position.  The studentships are
available starting September 2013 or September 2014.

Please contact Stratis Viglas (svig...@inf.ed.ac.uk), Peter Buneman (
o...@inf.ed.ac.uk), or me (jche...@inf.ed.ac.uk),  for additional
information about the DIACHRON postdoctoral or PhD positions, and me or
Paul Anderson (dcsp...@ed.ac.uk) concerning the Microsoft studentship.

--James

[TYPES/announce] PhD opportunities at the University of Edinburgh

2012-11-22 Thread James Cheney

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

Hi,

I am recruiting for at least one funded PhD studentship at the University
of Edinburgh, working with me on one of the following topics (with further
details given at the associated links).

* Nominal logic, automated reasoning and type theory (
http://wcms.inf.ed.ac.uk/lfcs/study/nominal-logic-automated-reasoning-and-type-theory
)

* Provenance, programming languages, and security (
http://wcms.inf.ed.ac.uk/lfcs/study/provenance-programming-languages-and-security
)

* XML query/update languages and static analysis (
http://wcms.inf.ed.ac.uk/lfcs/study/xquery-update-static-analysis)

* Provenance, curation, and archiving for scientific data (
http://wcms.inf.ed.ac.uk/lfcs/study/provenance-curation-and-archiving-for-scientific-data
)

Projects in other areas related to programming languages, data management,
or their intersection are also possible; prospective applicants are
encouraged to contact James Cheney (jche...@inf.ed.ac.uk), Stratis Viglas (
svig...@inf.ed.ac.uk), Peter Buneman (o...@inf.ed.ac.uk) or Paul Anderson (
dcsp...@ed.ac.uk) to discuss potential project ideas.  Possible research
topics with others in LFCS are listed at
http://wcms.inf.ed.ac.uk/lfcs/study/research-topics along with contact
information for prospective supervisors.

Available funding can cover full fees and a stipend for a 3-year PhD
project for a student from the UK or EU.  Additional studentships on
similar terms may be available contingent on funding decisions.  For
students from other countries, the School provides assistance identifying
and applying for appropriate sources of funding to cover additional
applicable fees.

To apply, please follow the instructions at:

http://www.ed.ac.uk/schools-departments/informatics/postgraduate/apply/

and apply to the LFCS PhD program (or just jump directly to
http://www.ed.ac.uk/studying/postgraduate/degrees?id=493cw_xml=details.php).
The first deadline for applications is *December 14*; applications received
by this date will receive full consideration for available funding
sources.  Please get in touch early in case of questions about the
application process, project ideas or study in the UK or Edinburgh.

--James

[TYPES/announce] XLDI 2012: Cross-Model Language Design and Implementation (Call for Participation)

2012-07-25 Thread James Cheney

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

   CALL FOR PARTICIPATION

 XLDI 2012

  First International Workshop on
   Cross-Model Language Design and Implementation

  http://workshops.inf.ed.ac.uk/xldi2012/

   Affiliated with ICFP 2012, Copenhagen, Denmark
  Sponsored by ACM SIGPLAN

September 9, 2012 (Sunday before ICFP)


You need an ICFP Sunday pass to participate in XLDI 2012.
Early registration ends August 1, 2012.  For details on
ICFP registration please see

 http://icfpconference.org/icfp2012/registration.html


XLDI 2012 focuses on the foundations, design, implementation,
and  applications of languages that smoothly integrate different
execution or data models.

We have assembled an interesting program of 7 presentations, covering
software-defined networks, Haskell DSLs for interactive web services,
typing of massive JSON datasets, rewrite optimization of dataflow
programs, and languages designed to build domain-specific runtimes.

INVITED SPEAKERS:

- Fritz Henglein (DIKU, University of Copenhagen)
- Christopher Re (University of Wisconsin)


SCIENTIFIC PROGRAMME:

- Naga Praveen Katta, Jennifer Rexford, David Walker:
  Logic Programming for Software Defined Networks

- Andrew Farmer, Andy Gill:
  Haskell DSLs for Interactive Web Services

- Dario Colazzo, Giorgio Ghelli, Carlo Sartiani:
  Typing Massive JSON Datasets

- Fabian Hueske, Aljoscha Krettek, Kostas Tzoumas:
  Enabling Rewrite Optimizations of Data Flow Programs
  Through Static Code Analysis

- Panchapakesan Shyamshankar, Zachary Palmer, Yanif Ahmad:
  K3: Language Design for Building Multi-Platform,
  Domain-Specific Runtimes


SPONSORS:

XLDI 2012 is sponsored by ACM SIGPLAN and LogicBlox.


We are looking forward to see you in Copenhagen,

   --James Cheney, Torsten Grust
 (XLDI co-chairs)



More information about XLDI 2012:
http://workshops.inf.ed.ac.uk/xldi2012/

More information about ICFP 2012:
http://icfpconference.org/icfp2012/

Re: [TYPES/announce] XLDI 2012: Cross-Model Language Design and Implementation (Call for Participation)

2012-07-25 Thread James Cheney

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

A correction: The early registration in the above announcement is
August 9, the same as for all ICFP-affiliated events, not August 1.
Sorry!  (and thanks to Adam Chlipala for noticing.)

--James

On Wed, Jul 25, 2012 at 4:08 PM, James Cheney james.che...@gmail.com wrote:
CALL FOR PARTICIPATION

  XLDI 2012

   First International Workshop on
Cross-Model Language Design and Implementation

   http://workshops.inf.ed.ac.uk/xldi2012/

Affiliated with ICFP 2012, Copenhagen, Denmark
   Sponsored by ACM SIGPLAN

 September 9, 2012 (Sunday before ICFP)


 You need an ICFP Sunday pass to participate in XLDI 2012.
 Early registration ends August 1, 2012.  For details on
 ICFP registration please see

  http://icfpconference.org/icfp2012/registration.html


 XLDI 2012 focuses on the foundations, design, implementation,
 and  applications of languages that smoothly integrate different
 execution or data models.

 We have assembled an interesting program of 7 presentations, covering
 software-defined networks, Haskell DSLs for interactive web services,
 typing of massive JSON datasets, rewrite optimization of dataflow
 programs, and languages designed to build domain-specific runtimes.

 INVITED SPEAKERS:

 - Fritz Henglein (DIKU, University of Copenhagen)
 - Christopher Re (University of Wisconsin)


 SCIENTIFIC PROGRAMME:

 - Naga Praveen Katta, Jennifer Rexford, David Walker:
   Logic Programming for Software Defined Networks

 - Andrew Farmer, Andy Gill:
   Haskell DSLs for Interactive Web Services

 - Dario Colazzo, Giorgio Ghelli, Carlo Sartiani:
   Typing Massive JSON Datasets

 - Fabian Hueske, Aljoscha Krettek, Kostas Tzoumas:
   Enabling Rewrite Optimizations of Data Flow Programs
   Through Static Code Analysis

 - Panchapakesan Shyamshankar, Zachary Palmer, Yanif Ahmad:
   K3: Language Design for Building Multi-Platform,
   Domain-Specific Runtimes


 SPONSORS:

 XLDI 2012 is sponsored by ACM SIGPLAN and LogicBlox.


 We are looking forward to see you in Copenhagen,

--James Cheney, Torsten Grust
  (XLDI co-chairs)



 More information about XLDI 2012:
 http://workshops.inf.ed.ac.uk/xldi2012/

 More information about ICFP 2012:
 http://icfpconference.org/icfp2012/

[TYPES/announce] XLDI 2012: Cross-Model Language Design and Implementation (2nd Call for Papers)

2012-04-17 Thread James Cheney

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

 CALL FOR PAPERS

XLDI 2012

 First international workshop on
  Cross-Model Language Design and Implementation

 http://workshops.inf.ed.ac.uk/xldi2012/

  Affiliated with ICFP 2012, Copenhagen, Denmark
 Sponsored by ACM SIGPLAN

September 9, 2012 (Sunday before ICFP)


There has recently been a burst of systems research
advocating high-performance commodity big data or
massively parallel computing models, often using simpler
high-level languages or interfaces as front-ends. This work
is often described as part of a shift towards a new cloud
computing paradigm, but these buzzwords mask the major
problems these techniques face: both big data and massively
parallel systems currently employ systems-based methods and
testing regimes that cannot offer guarantees of safety,
security, correctness and evolvability. Language-based
techniques, particularly formalization, verification,
abstraction, and representation independence, offer the
promise to reconcile the performance benefits of new
execution models with the advantages of modern programming
languages.


Cross-model programming is not a new problem: for example,
smooth integration of relational database programming models
into general-purpose programming languages has been a
long-standing challenge, with some approaches now in
mainstream use (such as Microsoft's LINQ). But in the last
few years there has been a dramatic increase in the number
of domain-specific languages or libraries for interfacing
with different computing models (data-parallelism, sensor
networks, MapReduce-style fault-tolerant parallelism,
distributed programming, Bayesian inference engines,
declarative networking, or multi-tier Web programming), as
well as techniques for language-integrated querying or
processing data over other data models. Cross-model programs
that execute in multiple (possibly heterogeneous)
environments have much more challenging security, debugging,
validation, and optimization problems.

- Language designs for simplifying cross-model programming
 with database queries, data parallelism, networking,
 distributed programming, Web programming, or security
 primitives.
- Formalizations or comparisons of existing
 languages, libraries or extensions for integrating
 multiple execution models
- Monads, comprehensions,
 arrows, applicative functors, formlets, and other
 abstractions for combining or embedding models
- Compilation and implementation techniques for cross-model
 programs
- Type systems (polymorphism, dependent types,
 GADTs, modal types, refinement types) to support safe
 cross-model programming
- Domain-specific embedded
 languages or libraries, syntax extensions,
 meta-programming facilities, or staged computation.
- Language support for programming with XML, RDF, JSON, or
 other data interchange formats, or for programming Web
 services or other distributed programming formalisms.
- Techniques for securing, debugging, performance profiling,
 optimization, or provenance tracking in cross-model
 programs.


INVITED SPEAKERS:

- Fritz Henglein (DIKU, University of Copenhagen)
- Christopher Re (University of Wisconsin)


SUBMISSIONS:

Submission should consist of short papers of at most 3 pages
in ACM SIGPLAN conference format (sigplanconf.cls).
Submissions will be accepted electronically. The submission
site will be advertised around one month before the
submission deadline. Simultaneous submission to another
workshop, conference or journal is not allowed. An author of
each accepted paper is expected to present the paper at the
workshop. There will be no formal proceedings, but
submissions will be made available from the workshop web
page. Authors will retain the copyright.


IMPORTANT DATES:

Submission:   May 15
Notification: July 1
Final papers due: August 1
Workshop: September 9
ICFP 2012:September 10-12


ORGANIZATION:

Program committee:

James Cheney, University of Edinburgh (co-chair)
Kathleen Fisher, Tufts University
Matthew Fluet, Rochester Institute of Technology
Nate Foster, Cornell University
Torsten Grust, University of Tuebingen (co-chair)
Anastasios Kementsietsidis, IBM Research
Shriram Krishnamurthi, Brown University
Peter Thiemann, University of Freiburg
Atsushi Ohori, Tohoku University
Jan van den Bussche, University of Hasselt

[TYPES/announce] PODS 2012: Second call for papers

2011-11-08 Thread James Cheney

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

[PODS is the leading database theory conference.  This year PODS explicitly
solicits work emerging database environments and applications, including
topics involving types, programming languages, and web or database
programming. --James]


CALL FOR PAPERS

31st ACM SIGMOD-SIGACT-SIGART Symposium on
PRINCIPLES OF DATABASE SYSTEMS (PODS 2012)
May 21-May 23 2012, Scottsdale, Arizona, USA

Submission is now open at:

http://www.easychair.org/conferences/?conf=pods2012

The PODS symposium series, held in conjunction with the SIGMOD
conference series, provides a premier annual forum for the
communication of new advances in the theoretical foundations of
database systems. For the 31st edition, original research papers
providing new insights in the specification, design, or implementation
of data-management tools are called for.

Topics of Interest

Topics that fit the interests of the symposium include the following (as
they pertain to databases):

-- languages for semi-structured data; search query languages;
-- distributed and parallel aspects of databases;
-- dynamic aspects of databases;
-- incompleteness, inconsistency, and uncertainty in databases;
-- schema and query extraction; data integration; data exchange;
-- provenance; workflows; metadata management; meta-querying;
-- data mining and machine learning techniques for databases;
-- constraints; privacy and security; Web services;
-- automatic verification of database-driven systems;
-- model theory, logics, algebras and computational complexity;
-- data modeling; data structures and algorithms for data management;
-- design, semantics, and optimization of query and database languages;
-- domain-specific databases (multi-media, scientific, spatial, temporal,
text).

In addition, we especially welcome papers addressing *emerging
database environments and applications*. An External Review Committee
will assist the Core PC (listed further below) in reviewing papers in
the following multi-disciplinary areas of particular interest to this
edition of PODS.

-- Querying and Mining of Unstructured Data:
Anhai Doan (Kosmix  U. Wisconsin), Aristides Gionis (Yahoo! Labs),
Djoerd Hiemstra (Twente), Stefano Leonardi (University of Rome La
Sapienza), Evimaria Terzi (Boston University)

-- Web Services, Web Programming and Data-Centric Workflow:
Wil van der Aalst (Eindhoven), Anders M¯ller (Aarhus), Farouk Toumani
(ISIMA), David Walker (Princeton), Karsten Wolf (Rostock)

-- Learning of Data Models and Queries:
Deepak Agarwal (Yahoo! Labs), James Cussens (York U.), Amol Deshpande
(U. Maryland), Kristian Kersting (Fraunhofer Institute IAIS, U. Bonn)

-- Cloud Computing and Next-generation Distributed Query Processing:
Shivnath Babu (Duke), Phillip Gibbons (Intel Labs), Monica Lam
(Stanford), Boon Thau Loo (U. Penn), Volker Markl (TU Berlin)

-- Semantic, Linked, Networked, and Crowdsourced Data:
Panos Ipeirotis (NYU), David Karger (MIT), Carsten Lutz (Bremen),
Boris Motik (Oxford)

Important Dates:

  Abstract submission: 20 November 2011
  Manuscript submission: 27 November 2011
  Notification: 15 February 2012

Submission Guidelines

Submitted papers should be at most twelve pages, including
bibliography, using reasonable page layout and font size of at least
9pt (note that the SIGMOD style file does not have to be
followed). Additional details may be included in an appendix, which,
however, will be read at the discretion of the PC. Papers longer than
twelve pages (excluding the appendix) or in font size smaller than 9pt
risk rejection without consideration of their merits.

The submission process will be through the website. Note that, unlike
the SIGMOD conference, PODS does not use double-blind reviewing, and
therefore PODS submissions should be eponymous (i.e., the names and
affiliations of authors should be listed on the paper).

The results must be unpublished and not submitted elsewhere, including
the formal proceedings of other symposia or workshops. Authors of an
accepted paper will be expected to sign copyright release forms, and
one author is expected to present it at the conference.

Best Paper Award: An award will be given to the best submission, as
judged by the PC.

Best Student Paper Award: There will also be an award for the best
submission, as judged by the PC, written exclusively by a student or
students. An author is considered as a student if at the time of
submission, the author is enrolled in a program at a university or
institution leading to a doctoral/master's/bachelor's degree.


Organization:

PODS General Chair: Maurizio Lenzereni (University of Rome La Sapienza)
PODS Program Chair: Michael Benedikt (Oxford)
Publicity  Proceedings Chair: Markus Kroetzsch (Oxford)

Core Program Committee:
Mikhail Atallah (Purdue)
Toon Calders (Eindhoven)
Diego Calvanese (Free U. Bolzano)
James Cheney (Edinburgh)
Graham Cormode

[TYPES/announce] PODS 2012 Call for Papers

2011-07-27 Thread James Cheney

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

[PODS is the leading database theory conference.  This year PODS explicitly
solicits work emerging database environments and applications, including
topics involving types and programming languages. --James]


CALL FOR PAPERS

31st ACM SIGMOD-SIGACT-SIGART Symposium on
PRINCIPLES OF DATABASE SYSTEMS (PODS 2012)
May 21-May 23 2012, Scottsdale, Arizona, USA

The PODS symposium series, held in conjunction with the SIGMOD
conference series, provides a premier annual forum for the
communication of new advances in the theoretical foundations of
database systems. For the 31st edition, original research papers
providing new insights in the specification, design, or implementation
of data-management tools are called for.

Topics of Interest

Topics that fit the interests of the symposium include the following (as
they pertain to databases):

-- languages for semi-structured data; search query languages;
-- distributed and parallel aspects of databases;
-- dynamic aspects of databases;
-- incompleteness, inconsistency, and uncertainty in databases;
-- schema and query extraction; data integration; data exchange;
-- provenance; workflows; metadata management; meta-querying;
-- data mining and machine learning techniques for databases;
-- constraints; privacy and security; Web services;
-- automatic verification of database-driven systems;
-- model theory, logics, algebras and computational complexity;
-- data modeling; data structures and algorithms for data management;
-- design, semantics, and optimization of query and database languages;
-- domain-specific databases (multi-media, scientific, spatial, temporal,
text).

In addition, we especially welcome papers addressing *emerging
database environments and applications*. An External Review Committee
will assist the Core PC (listed further below) in reviewing papers in
the following multi-disciplinary areas of particular interest to this
edition of PODS.

-- Querying and Mining of Unstructured Data:
Anhai Doan (Kosmix  U. Wisconsin), Aristides Gionis (Yahoo! Labs),
Djoerd Hiemstra (Twente), Stefano Leonardi (University of Rome La
Sapienza), Evimaria Terzi (Boston University)

-- Web Services, Web Programming and Data-Centric Workflow:
Wil van der Aalst (Eindhoven), Anders M¯ller (Aarhus), Farouk Toumani
(ISIMA), David Walker (Princeton), Karsten Wolf (Rostock)

-- Learning of Data Models and Queries:
Deepak Agarwal (Yahoo! Labs), James Cussens (York U.), Amol Deshpande
(U. Maryland), Kristian Kersting (Fraunhofer Institute IAIS, U. Bonn)

-- Cloud Computing and Next-generation Distributed Query Processing:
Shivnath Babu (Duke), Phillip Gibbons (Intel Labs), Monica Lam
(Stanford), Boon Thau Loo (U. Penn), Volker Markl (TU Berlin)

-- Semantic, Linked, Networked, and Crowdsourced Data:
Panos Ipeirotis (NYU), David Karger (MIT), Carsten Lutz (Bremen),
Boris Motik (Oxford)

Important Dates:

  Abstract submission: 20 November 2011
  Manuscript submission: 27 November 2011
  Notification: 15 February 2012

Submission Guidelines

Submitted papers should be at most twelve pages, including
bibliography, using reasonable page layout and font size of at least
9pt (note that the SIGMOD style file does not have to be
followed). Additional details may be included in an appendix, which,
however, will be read at the discretion of the PC. Papers longer than
twelve pages (excluding the appendix) or in font size smaller than 9pt
risk rejection without consideration of their merits.

The submission process will be through the website. Note that, unlike
the SIGMOD conference, PODS does not use double-blind reviewing, and
therefore PODS submissions should be eponymous (i.e., the names and
affiliations of authors should be listed on the paper).

The results must be unpublished and not submitted elsewhere, including
the formal proceedings of other symposia or workshops. Authors of an
accepted paper will be expected to sign copyright release forms, and
one author is expected to present it at the conference.

Best Paper Award: An award will be given to the best submission, as
judged by the PC.

Best Student Paper Award: There will also be an award for the best
submission, as judged by the PC, written exclusively by a student or
students. An author is considered as a student if at the time of
submission, the author is enrolled in a program at a university or
institution leading to a doctoral/master's/bachelor's degree.


Organization:

PODS General Chair: Maurizio Lenzereni (University of Rome La Sapienza)
PODS Program Chair: Michael Benedikt (Oxford)
Publicity  Proceedings Chair: Markus Kroetzsch (Oxford)

Core Program Committee:
Mikhail Atallah (Purdue)
Toon Calders (Eindhoven)
Diego Calvanese (Free U. Bolzano)
James Cheney (Edinburgh)
Graham Cormode (ATT Labs)
Alin Deutsch (UC San Diego)
Gianluigi Greco (Calabria)
T.J. Green (UC Davis)
Martin Grohe (HU

[TYPES/announce] Last CFP: Workshop on Compilers by Rewriting, Automated (COBRA 2011)

2011-03-15 Thread James Cheney

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

 LAST CALL FOR PAPERS

  COBRA 2011
 First Workshop on Compilers by Rewriting, Automated

  http://www.rdp2011.uns.ac.rs/workshops/cobra.html
 Sunday, May 29, 2011

COBRA is a new workshop intended to promote research in and
collaboration on in the application of rewriting to compilers across
academia and industry.  We hope to provide a forum for presentation,
exchange, and discussion, of directions, developments, and results, as
well as surveys, tutorials, experience reports, and proposals, for
what is possible in this area!

The basic idea is that rewriting can be used to transform programs,
and indeed is used in that many compilers include some kind of rewrite
engine to realize optimizations such as algebraic rewrites, SSA tree
rewrites, type inference, static reduction, etc.  In this workshop it
is our hope that focusing on the rewrite transformations as proper
rewrite systems with formal rewrite rules can help us understand how
we can give access to generic formal rewriting techniques in a way
that can be directly exploited by the compiler writer without
sacrificing performance and expressiveness of the analyses and
transformations.

So in short: if you have used or thought about using rewriting in a
compiler, either a formal system or implemented a custom rewrite
mechanism, then we would like to hear about it!

The workshop will take place on Sunday, May 29, 2011, in Novi Sad,
Serbia, colocated with the 22nd International Conference on Rewriting
Techniques and Applications (RTA 2011) as a satellite event of the
Federated Conference on Rewriting, Deduction, and Programming (RDP
2011).

TOPICS

We invite submissions in the form of extended abstracts on the
following topics:

* Issues on using in algebraic, rewriting, logic, and other formal
  notations, as compiler specification languages.

* Formal notations for specifying specific compiler components such as
  normalization, intermediate languages, translation schemes,
  analysis, optimization, static reductions, code generation, data
  flow analysis.

* The role of type and sort systems in compiler specifications.

* The benefits and difficulties of higher order and first order
  formalisms in compiler specifications; the use of higher order
  abstract syntax and other encodings of binders.

* Formal code generation issues such as typed assembly language.

* How to generate efficient and even industrial strength compilers
  fully automatically from the specifications; how to deal with large
  sets of rewrite rules.

* The development cycle for generated compilers including issues of
  development environments and debugging of formal compiler
  specifications.

* Position papers on whether compiler generation based on rewriting
  can become a factor in mainstream compiler writing in industry and
  academia.

* Experience reports on and demonstrations of compilers based on
  formal rewrite systems using systems such as ASF+SDF, IMP, Rascal,
  MetaPRL, Coq, or even ANTLR TreeGrammars.

* System descriptions for new or extended systems used to build
  rewrite components of compilers, including systems that are
  themselves compilers for rewrite systems or other formalisms used to
  specify compilers.

* Presentations of how certain stages of existing compilers could be
  specified as formal rewrite systems.

Submissions should be no more than 6 pages and uploaded to
http://www.easychair.org/conferences/?conf=cobra2011; if possible
please use the LaTeX style from http://www.easychair.org/easychair.zip.

IMPORTANT DATES

* Last day for submissions: Monday, March 21, 2011.
* Notification: Monday, April 4, 2011.
* Preliminary proceedings version due: Wednesday, April 20, 2011.
* Workshop: Sunday, May 29, 2011.

SELECTION COMMITTEE

* Kristoffer H. Rose (IBM Thomas J. Watson Research Center, chair)
* James Cheney (University of Edinburgh)
* Kevin Millikin (Google)

For further information see the links on the conference web site,
http://www.rdp2011.uns.ac.rs/workshops/cobra.html, or contact
Kristoffer H. Rose, krisr...@us.ibm.com.

[TYPES/announce] CFP: Workshop on Theory and Practice of Provenance (TAPP 2011)

2011-02-10 Thread James Cheney

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

[Note: Provenance is a broad topic that touches on many areas of
interest to readers of the TYPES list, including language-based
security, dependency analysis and incremental or bidirectional
computation.  --James]


   TaPP '11 Call for Papers


   3rd USENIX Workshop on the Theory and Practice of Provenance (TaPP '11)
  http://www.usenix.org/events/tapp11/

   June 20-22, 2011
   Heraklion, Crete, Greece

  Sponsored by USENIX

** Overview

With the deluge of digital data we are currently experiencing, it has
become increasingly important to capture and understand the provenance
of data. Provenance provides important documentation that is an
essential part of the quality of data, and it is essential to the
trust we put in, for example, the data we find on the Web and the data
that is derived from scientific experiments.

The meeting is in Crete, the week after the Athens meeting of ACM
SIGMOD (http://www.sigmod2011.org/index.shtml). Crete is a spectacular
island with great beaches, scenery, and food.

** Topics and What to Submit

Submissions are solicited on any topic related to theoretical or
practical aspects of provenance, including but not limited to:
provenance in databases, workflows, programming languages, security,
software engineering, or systems; provenance on the Web; or real-world
applications of or requirements for provenance. The program committee
very much wants to make this a workshop rather than a mini-conference.
Therefore, in addition to papers describing original research, the
committee welcomes any proposal that will make the workshop
interactive and promote discussions, especially discussions across
disciplines.

** The following are possible submissions:

* Short papers and vision papers describing challenges for provenance
research and novel applications (4 pages maximum)
* Proposals for mini-tutorials on some aspect of provenance (4 pages maximum)
* Regular submissions describing original research (8 pages maximum)
* Other proposals (e.g., for panels or small discussion groups)

Besides regular presentations, we plan to hold a poster session where
authors of accepted submissions will have the opportunity to discuss
their work with the other workshop participants.

* Important Dates

   * Submissions due: April 8, 2011, 11:59 p.m. PDT
   * Notification to authors: May 9, 2011
   * Final paper files due: May 23, 2011

** How to Submit

Submissions will be received electronically via a Web form, which will
be available here soon. The Web form will ask for contact information
for the paper and will allow for the submission of your full paper
file in PDF format. Please do not email submissions.

Papers should be formatted in two columns, using 10 point Times Roman
type on 12 point leading, in a text block of 6.5 by 9. If you wish,
you may use the LaTeX template found at
http://www.usenix.org/events/samples/template.la and style file found
at http://www.usenix.org/events/samples/usenix.sty or the RTF template
found at http://www.usenix.org/events/samples/sample.rtf

Simultaneous submission of the same work to multiple venues,
submission of previously published work, or plagiarism constitutes
dishonesty or fraud. USENIX, like other scientific and technical
conferences and journals, prohibits these practices and may take
action against authors who have committed them. See the USENIX
Conference Submissions Policy at
http://www.usenix.org/events/submissionspolicy.html for details.

* Workshop Organizers

** Program Co-Chairs
  Peter Buneman, University of Edinburgh
  Juliana Freire, University of Utah

** Program Committee
  Umut Acar, Max Planck Institute for Software Systems
  Susan Davidson, University of Pennsylvania
  Irini Fundulaki, FORTH
  Dieter Gawlick, Oracle
  HV Jagadish, University of Michigan
  Grigoris Karvounarakis, LogicBlox and FORTH
  Anastasios Kementsietsidis, IBM
  Marta Mattoso, Universidade Federal do Rio de Janeiro, Brazil
  Paolo Missier, University of Newcastle
  Helen Parkinson, European Bioinformatics Institute
  Margo Seltzer, Harvard University
  Matthias Troyer, ETH Zurich
  Dan Suciu, University of Washington
  Jan Van den Bussche, Hasselt University
  Marianne Winslett, University of Illinois

** Local Workshop Chair
  Irini Fundulaki, FORTH

** Workshop Organization and Proceedings Coordinator
  Grigoris Karvounarakis, LogicBlox and FORTH

** Steering Committee
  James Cheney, University of Edinburgh
  Bertram Ludaescher, University of California, Davis
  Margo Seltzer, Harvard University
  Craig Soules, HP Labs
  Wang-Chiew Tan, University of California

[TYPES/announce] CFP: Workshop on the Theory and Practice of Provenance (TaPP '10)

2009-09-30 Thread James Cheney

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

[I organized the first TaPP last year and submissions from PL and
types researchers were/are definitely welcome. --James]


The Program Committee for the 2nd Workshop on the Theory and Practice of
Provenance (TaPP '10) invites you to submit either full papers
describing relatively mature work or short papers on ongoing work.

TaPP '10 will bring together researchers and practitioners doing
innovative work in the area of provenance. Provenance, or
meta-information about computations, computer systems, database queries,
scientific workflows, and so on, is emerging as a central issue in a
number of disciplines. The TaPP workshop series builds upon a set of
Workshops on Principles of Provenance organized in 2007-2009, which
helped raise the profile of this area within diverse research
communities, such as databases, security, and programming languages. We
hope to attract serious cross-disciplinary, foundational, and highly
speculative research and to facilitate needed interaction with the
broader systems community and with industry.

We invite submissions addressing research problems involving provenance
in any area of computer science, including but not limited to:

- Databases
- Programming languages and software engineering
- Systems and security
- Workflows/scientific computation

Submissions are due December 14, 2009.

More information and submission guidelines are available at
http://www.usenix.org/tapp10/cfpa

We look forward to receiving your submissions!

Sincerely,

Margo Seltzer, Harvard University
Wang-Chiew Tan, University of California, Santa Cruz
TaPP '10 Program Chairs
tapp10cha...@usenix.org

--
TaPP '10 Call for Papers
2nd Workshop on the Theory and Practice of Provenance (TaPP '10)
February 22, 2010, San Jose, CA
http://www.usenix.org/tapp10/cfpa
Submissions deadline: December 14, 2009
--

[TYPES/announce] CFP: 1st Workshop on the Theory and Practice of Provenance (TaPP '09)

2008-08-29 Thread James Cheney

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

[Contributions concerning types and foundations of provenance in
bidirectional, adaptive, database, or other programming paradigms are
encouraged.]

 First Call for Papers

  1st Workshop on Theory and Practice of Provenance (TaPP)
   February 23, 2009
   San Francisco, California

http://www.usenix.org/events/tapp09/cfp/

 Sponsored by USENIX, the Advanced Computing Systems Association

co-located with
   the 7th USENIX Conference on File and Storage Technology (FAST 2009)


Provenance, traces, or meta-information about computer systems,
database queries, scientific workflows, and other computations, is
emerging as a central issue in a number of disciplines.  This workshop
continues an informal series of workshops on Principles of Provenance
organized in 2007-8, which helped raise the profile of this area
within diverse research communities, such as databases, security and
programming languages.  We hope to both attract serious
cross-disciplinary, foundational and highly speculative research and
facilitate needed interaction with the broader systems community and
industry.

We invite submissions addressing research problems involving
provenance in any area of computer science, including but not limited
to:

* databases
 - data provenance and lineage
 - uncertainty/probabilistic databases
 - curated databases
 - data quality/integration/cleaning
 - privacy/anonymity
 - data forensics

* programming languages and software engineering
 - bidirectional, adaptive, and self-adjusting computation
 - traceability
 - source code management/version control/configuration management
 - model-driven design and analysis

* systems and security
 - provenance aware/versioned file systems
 - provenance and audit/integrity/information flow security
 - trusted computing
 - traces and reflective/adaptive/self-adjusting systems
 - digital libraries

* workflows/scientific computation
 - efficient/incremental recomputation
 - scientific data exploration and visualization
 - workflow provenance querying
 - user interfaces

We invite submissions of either full papers (max. 10 pages) describing
relatively mature work for publication in the proceedings, or short
papers (max. 4 pages) on ongoing work may be published in the online
proceedings according to the preference of the authors.  Short papers
are meant to allow authors to talk about ongoing work that is not yet
suitable for publication.

Submissions will be made electronically via a Web form, which will be
available at the URL listed above soon.

Papers should be formatted in two columns to fit in either four [4] or
ten [10] pages, using 10 point Times Roman type on 12 point leading,
in a text block of 6.5 by 9.


Important Dates:

Submission deadline:  December 5 2008
Notification: January 22 2009
Final versions:   February 11 2009
Workshop: February 23 2009


Program Committee:

James Cheney (University of Edinburgh, chair)
Juliana Freire (University of Utah)
Jim Frew (University of California, Santa Barbara)
Michael Lesk (Rutgers University)
Gerome Miklau (University of Massachusetts, Amherst)
Vladimiro Sassone (University of Southampton)
Perdita Stevens (University of Edinburgh)
Erez Zadok (Stony Brook University)
Steve Zdancewic (University of Pennsylvania)


Steering Committee:

Michael Hicks (University of Maryland)
Bertram Ludaescher (University of California, Davis)
Craig Soules (HP Labs)
Val Tannen (University of Pennsylvania)

[TYPES/announce] Paper announcement: Mechanizing the Metatheory of LF

2008-05-07 Thread James Cheney

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

On behalf of co-authors Christian Urban and Stefan Berghofer, we are
happy to announce the availability of the following technical report.
This an extended version of a paper to appear in LICS 2008.  Comments
are very welcome.

--James Cheney

http://arxiv.org/abs/0804.1667

Mechanizing the Metatheory of LF

Christian Urban, James Cheney and Stefan Berghofer

Abstract:

LF is a dependent type theory in which many other formal systems can be
conveniently embedded. However, correct use of LF relies on nontrivial
metatheoretic developments such as proofs of correctness of decision
procedures for LF's judgments. Although detailed informal proofs of
these properties have been published, they have not been formally
verified in a theorem prover. We have formalized these properties within
Isabelle/HOL using the Nominal Datatype Package, closely following a
recent article by Harper and Pfenning. In the process, we identified and
resolved a gap in one of the proofs and a small number of minor lacunae
in others. Besides its intrinsic interest, our formalization provides a
foundation for studying the adequacy of LF encodings, the correctness of
Twelf-style metatheoretic reasoning, and the metatheory of extensions to
LF.

[TYPES/announce] Call for Participation: Workshop on Principles of Provenance

2007-10-19 Thread James Cheney

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

[This announcement may be of interest to TYPES readers because
several of the talks that will be presented involve programming language
techniques applied to provenance.]

--
Call for Participation

   Workshop on Principles of Provenance (PROPR)
  Edinburgh, Scotland
 19-20 November, 2007.

   http://homepages.inf.ed.ac.uk/jcheney/propr/
--


Recent research in a variety of settings (databases and data
warehouses, geographic information systems, scientific workflows,
grid computing, and the Semantic Web) has addressed the problem of
keeping track of metadata about creation and modification history,
influences, ownership, and other provenance or lineage information.
Such metadata is essential for making informed judgments about data
quality, integrity, and authenticity.  In addition, ideas about
provenance are now being used in several areas of computer science
such as probabilistic databases, operating systems, file
synchronization, and annotation propagation. Other topics, such as
version control and archiving, may also benefit from better
understanding of provenance.  We believe the time is ripe to
develop the foundations of the topic and address questions such as:

* What is and what isn't provenance?
* What problems do real-world uses of provenance address, and how
can we formalize correctness for proposed solutions to such problems
in computer systems?
* How can we compare models of or approaches to provenance?
* Why does provenance tracking/management seem hard to get right,
despite its seeming obviousness (just record everything about the
history of the data)?
* Where should research efforts be focused in order to best make
progress?

Following an informal meeting in June at the University of
Pennsylvania, we are organizing this workshop with the goal of
bringing together researchers from different backgrounds (including
databases, scientific data  workflow management, and programming
languages) interested in principles of provenance.

The workshop is open to all interested parties.  It will take place
at the International Centre for Mathematical Sciences, located in the
James Clerk Maxwell House in Edinburgh's historic New Town.

If you would like to participate, please contact James Cheney
([EMAIL PROTECTED]) so that we can accurately estimate attendance.
There is no registration fee.

The program has not been finalized.  Please consult the workshop web
page listed above for an up-to-date program.  The abstracts accepted
for presentation include:

* Why provenance needs its own security model
  PASS Team, Harvard University

* The use of provenance in information retrieval
  Simone Stumpf, Erin Fitzhenry, and Thomas G. Dietrich (Oregon
  State University)

* WASABI (Web Accessible Sequence Analysis for Biological
  Inference): A data management framework for AFTOL (Assembling
  the Fungal Tree of Life)
  Frank Kauff (Universitat Kaiserslauten), Cymon Cox (Natural
  History Museum, London, UK), and Francois Lutzoni (Duke
  University)

* Provenance Tracking in Climate Science Data Processing Systems
  Curt Tilmes (NASA Goddard Space Flight Center)

* Combining Provenance and Security Policies in a Web-based
  Document Management System
  Brian J. Corcoran, Nikhil Swamy, and Michael Hicks (University
  of Maryland)

* Towards a social provenance model for the Web
  Andreas Harth, Axel Polleres, and Stefan Decker (National
  University of Ireland, Galway)

* ETL Scenarios: From Formal Specification to Optimization
  Timos Sellis, Dimitris Skoutas (National Technical University
  of Athens), Alkis Simitsis (IBM Almaden), and Panos Vassiliadis
  (University of Ioannina)

* A formal model for dataflows, runs of dataflows, and provenance
  within runs
  Natalia Kwasnikowska and Jan Van den Bussche (Hasselt
  University and Transnational University of Limburg)

* Programming trustworthy provenance
  Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, and James
  Riely (DePaul University)

* Provenance in Semantic Web Applications
  Sergej Sizov, Bernhard Schueler, and Steffen Staab (University
  of Koblenz-Landau)

* The Open Provenance Model
  Luc Moreau (University of Southampton), Juliana Freire
  (University of Utah), Jim Myers, Joe Futrelle (NCSA), and
  Patrick Paulson (PNNL)

* On the expressiveness of implicit provenance in query and
  update languages
  Stijn Vansummeren (Hasselt University and Transnational
  University of Limburg)


There will be no formal proceedings, but we will post talk

49 matches

Mail list logo