[TYPES/announce] Theory and Practice of Differential Privacy (TPDP): Deadline Extension

[Justin Hsu]

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

CALL FOR PAPERS (Extended Deadline)
TPDP 2017
Third Workshop on the Theory and Practice of Differential Privacy
October 30th 2017, Dallas, TX, USA
Affiliated with CCS 2017
Website: http://tpdp.cse.buffalo.edu/2017/

Differential privacy is a promising approach to privacy-preserving data
analysis. Differential privacy provides strong worst-case guarantees about
the harm that a user could suffer from participating in a differentially
private data analysis, but is also flexible enough to allow for a wide
variety of data analyses to be performed with a high degree of utility.
Having already been the subject of a decade of intense scientific study, it
has also now been deployed in products at government agencies such as the
U.S. Census Bureau and companies like Apple and Google.

Researchers in differential privacy span many distinct research
communities, including algorithms, computer security, cryptography,
databases, data mining, machine learning, statistics, programming
languages, social sciences, and law. This workshop will bring researchers
from these communities together to discuss recent developments in both the
theory and practice of differential privacy.


** Invited Speakers **

Dan Kifer - Pennsylvania State University

(Others to be announced)


** Important Dates **

Submission --- August 11th, 2017 *Extended* (Anywhere on Earth)
Notification --- September 4th, 2017
Workshop --- October 30, 2017


** Submissions **

The goal of TPDP is to stimulate the discussion on the relevance of
differentially private data analyses in practice. For this reason, we seek
contributions from different research areas of computer science and
statistics.  Authors are invited to submit a short abstract (2-4 pages
maximum) of their work. Submissions will undergo a lightweight review
process and will be judged on originality, relevance, interest and clarity.
Submission should describe novel works or works that have already appeared
elsewhere but that can stimulate the discussion between different
communities at the workshop. Accepted abstracts will be presented at the
workshop either as a talk or a poster.


** Topics **

Specific topics of interest for the workshop include (but are not limited
to):

-- theory of differential privacy
-- privacy preserving machine learning
-- differential privacy and statistics
-- differential privacy and security
-- differential privacy and data analysis
-- trade-offs between privacy protection and analytic utility
-- differential privacy and surveys
-- programming languages for differential privacy
-- relaxations of the differential privacy definition
-- differential privacy vs other privacy notions and methods
-- experimental studies using differential privacy
-- differential privacy implementations
-- differential privacy and policy making
-- applications of differential privacy


** Organizing and Program Committee **

Rachel Cummings - Caltech and Georgia Tech
Marco Gaboardi - University of Buffalo, SUNY
Justin Hsu - University of Pennsylvaia
Aleksandra Korolova - University of Southern California
Ashwin Machanavajjhala - Duke University
Gerome Miklau - UMass Amherst
Abhradeep Guha Thakurta - UC Santa Cruz
Jonathan Ullman (chair) - Northeastern University

[TYPES/announce] Open position: Professorship of COMPUTER AIDED VERIFICATION at TU Wien (successor of Helmut Veith)

[Maffei Matteo]

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

The TU Wien (Vienna University of Technology) invites applications for a full 
professorship according to § 98 University Act 2002 at the Faculty of 
Informatics. The position is affiliated to the Institute of Information 
Systems. The candidate will become the head of the already existing and valid 
established research group Formal Methods in Systems Engineering, previously 
headed by Helmut Veith. The estimated starting date is October 1, 2018.

The applicant is required to have an outstanding academic record in the field 
of Computer Aided Verification (CAV). Correctness, safety, and reliability of 
electronic systems are paramount in today’s software- controlled world. The 
focus of the professorship on CAV will be on automated techniques to verify 
soft- and hardware. Besides a proven ability in CAV core methods (Computational 
Logic, Theoretical Computer Science), the candidate will also have a strong 
interdisciplinary background, especially in relation to Embedded Information 
Systems, Software Verification, Synthesis or Distributed Algorithms. This 
position will strengthen the area of Logic and Computation as well as form a 
link to other research foci of the faculty. Duties include teaching informatics 
curricula courses (in English or German) as well as supervising graduates and 
PhD students working on their theses. The professor is expected to contribute 
to usual management and faculty service tasks.

The appointment will be made at tenure level, full time and permanent. If this 
is a candidate’s first appointment as a full professor, the initial appointment 
is for 5 years and will then be made permanent following a positive evaluation.

The TU Wien is among the most successful technical universities in Europe and 
it is Austria’s largest scientific technical research and educational 
institution. The Faculty of Informatics, one of the eight faculties at the TU 
Wien, plays an active role in national and international research and has an 
excellent reputation. The main areas of research include Logic and Computation, 
Computer Engineering, Distributed and Parallel Systems, Media Informatics and 
Visual Computing, as well as Business Informatics.

The Faculty of Informatics offers

- Excellent working conditions in an attractive research environment.

- An attractive salary, including additional contributions to a pension fund.

- Additional financial research support during the first few years (equipment 
etc.).

- Support for relocating to Vienna (if required).

- A position in a city with an exceptional quality of life.

For a more detailed announcement and information on how to apply, see the 
attached announcement or visit 
www.informatik.tuwien.ac.at/vacancies.

Application Deadline: October 16, 2017