[ 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 advertis
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
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
, 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
[ 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 conjunct
chine
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.
[ 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 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 i
[ 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.o
cBlox, 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)
J
[ 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
postgraduate/apply
For more information please contact Vaishak Belle (vais...@ed.ac.uk) and/or
James Cheney (jche...@inf.ed.ac.uk).
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
[ 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, starti
[ 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 Provena
[ 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 t
[ 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
[ 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 ne
[ 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/Re
Funding available: 4 years stipend and tuition for student of any
nationality
Contact: James Cheney
More information: http://homepages.inf.ed.ac.uk/jcheney/group/skye.html
* Topic: Declarative programming for data science
Funding available: 4 years stipend and tuition for student of any
[ 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 a
postdoctoral research position in programming languages. The position is
for 24 months, starting on or around Septe
ions 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
Tor
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 =
excellent research environment offered by LFCS, can be found on the above
web pages and I am happy to answer any questions by email.
--James
On Tue, Dec 15, 2015 at 3:53 PM, James Cheney
wrote:
> Hi,
>
> As a result of recent funding awards, I expect to be able to advertise two
> postdo
automatic vulnerability
prediction)
Contact: David Aspinall
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
More
[ 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
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[I'm certainly hoping some people working on PL/types/probabilistic
programming/static analysis applied to big data will apply. --James]
== Alan Turing Fellowships ==
This is a unique oppor
ions 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
Tor
--
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
: 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
[ 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, suitable for candidates holding a PhD in foundations of
programming languages, databases, or language-b
tions 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
DBPL 2015.
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
, Feb 19, 2015 at 7:08 PM, James Cheney
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
[ 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 programmin
ld 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 Universi
software defined networks, or automatic vulnerability
prediction)
Contact: David Aspinall
More information: http://secpriv.inf.ed.ac.uk/phds/
* Topic: Nominal Logic and Type Theory
Contact: James Cheney
More information:
http://wcms.inf.ed.ac.uk/lfcs/graduate%20study/nominal-logic-automated
[ 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 h
[ 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 Octobe
[ 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, 20
[ 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 provide
[ 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
[ 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 Pervasiv
[ 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-b
[ 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 o
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[Sorry if this is already well-advertised elsewhere - I did a quick search
of the archives and could not find an earlier posting. There is a strong
alignment between the interests of readers
Anderson (dcsp...@ed.ac.uk) to discuss their
suitability for the project before applying. If you have already applied
and are interested in this position please let us know (it is not necessary
to re-apply).
--James
On Wed, Nov 21, 2012 at 6:24 PM, James Cheney wrote:
> Hi,
>
> I am r
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
.)
--James
On Wed, Jul 25, 2012 at 4:08 PM, James Cheney wrote:
>CALL FOR PARTICIPATION
>
> XLDI 2012
>
> First International Workshop on
>Cross-Model Language Design and Implementation
>
> http:
-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
in 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
Ma
r 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
ORGAN
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 (AT&T Labs)
Alin Deutsch (UC San Diego)
Gianluigi Greco (Calabr
ikhail Atallah (Purdue)
Toon Calders (Eindhoven)
Diego Calvanese (Free U. Bolzano)
James Cheney (Edinburgh)
Graham Cormode (AT&T Labs)
Alin Deutsch (UC San Diego)
Gianluigi Greco (Calabria)
T.J. Green (UC Davis)
Martin Grohe (HU Berlin)
Marc Gyssens (Hasselt)
T.S. Jayram (IBM Almaden &
.
* 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
, 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 Millik
* 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, Santa Cruz
Val Tannen, University of Pennsylvania
** Questions?
Contact your p
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Hi,
Quoting from the proposal:
| * Other conferences are moving to a year-round refereeing process
| closer to that used by journals; for instance VLDB is now linked to
| a journal PVLDB.
[ 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 Pract
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 (Univers
[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
Progr
tification: 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 Universi
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
l 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 registrati
2007.
Workshop: November 19-20, 2007.
--Workshop organizers
Peter Buneman
James Cheney
Bertram Ludaescher
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
I am happy to announce on behalf of Christian Urban as well as myself the availability of a paper on nominal logic programming. Although the technical content of the paper concerns defining
66 matches
Mail list logo
