[Hol-info] Two PhD Positions in Privacy-Preserving Distributed AI, Syracuse University

[Fioretto, Ferdinando]

Apologies for cross-posting - Please forward to anybody who might be interested


** PhD Positions in Privacy-Preserving Distributed Artificial Intelligence **

Two funded PhD positions are available in the area of Privacy-preserving 
Distributed Machine Learning. The PhD candidate will work under the supervision 
of Prof. Ferdinando Fioretto at the EECS Department, Syracuse University. The 
position start date is flexible, with a start date as early as January 2020.
The PhD candidate is committed to conduct independent and original research, to 
report on this research in international publications and conference 
presentations, and to describe the results of the research in a PhD 
dissertation.

** Topic Description **

The recent surge in optimization and machine learning research, in particular, 
deep learning, paved the way for a number of applications, many of which use 
privacy-sensitive user data. The resulting models have been shown to often 
reveal private user information, which may harm individual users. To contrast 
these risks, a new line of research aims at developing variants of optimization 
and ML algorithms that preserve the privacy of the individuals contained in the 
used datasets. Additionally, there is an increasing interest in leveraging 
distributed data shared across organizations to augment AI-powered services. 
Examples include transportation services, sharing location-based data to 
improve on-demand capabilities, and hospitals, sharing data to prevent epidemic 
outbreaks. The proliferation of these applications lead to a transition from 
proprietary data acquisition and processing to data ecosystems where different 
agents learn and make decisions using data owned by different organizations, 
boosting the need for privacy-preserving technologies.
The project focuses broadly on protecting the privacy of individuals without 
losing the benefits of large scale data analysis. Topics of interest include:
-   Privacy-preserving technology, such as Differential Privacy and secure 
multi-party computation
-   Distributed Machine Learning
-   Privacy-preserving Multiagent Systems
-   Privacy-Preserving Adversarial Deep Learning Models
The project will combine fundamental aspects of privacy, optimization and 
distributed computation to design algorithms that perform (distributed) machine 
learning and decision making while guaranteeing they do not violate privacy. 
The ideal candidate will have a strong background and interest in machine 
learning, privacy-preserving technologies, and/or multi-agent systems. 
Publications in leading international venues (such as AAAI, IJCAI, AAMAS, ICML, 
NeurIPS) will be an advantage.

** To Apply **

Applications should be submitted at ffior...@syr.edu 
and candidates should include their resume and transcript (if available).

___
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

[Hol-info] Call for Participation: Formal Aspects on Component Software (FACS 2019), Amsterdam

[Sung-Shik Jongmans]

**
**Call for Participation: FACS 2019
**
**16th International Conference on
**  Formal Aspects of Component Software
**
**  23-25 October 2019, Amsterdam
**
** http://facs2019.org
**


## OVERVIEW

Component-based software development proposes sound engineering principles and 
techniques to cope with the complexity of present-day software systems. 
However, many challenging conceptual and technological issues remain in 
component-based software development theory and practice. Furthermore, the 
advent of service-oriented and cloud computing, cyber-physical systems, and the 
Internet of Things has brought to the fore new dimensions, such as quality of 
service and robustness to withstand faults, which require revisiting 
established concepts and developing new ones.

FACS 2019 is concerned with how formal methods can be applied to 
component-based software and system development. Formal methods have provided 
foundations for component-based software through research on mathematical 
models for components, composition and adaptation, and rigorous approaches to 
verification, deployment, testing, and certification.



## PROGRAM

 > http://facs2019.org/program <

Invited Speakers:

 * Carlo Ghezzi (Polytechnic University of Milan)
 * Kim Larsen (Aalborg University)
 * Wan Fokkink (Vrije Universiteit Amsterdam)

Tutorial:

 * Jan Friso Groote & Tim Willemse: mCRL2 (Eindhoven University of Technology)

Accepted papers:

 * Reynaldo Cobos Mendez, Julio de Oliveira Filho, Douwe Dresscher and Jan 
Broenink. A Bond-graph Metamodel: Physics-based Interconnection of Software 
Components
 * Arpit Sharma. Revisiting Trace Equivalences For Markov Automata
 * Lars Luthmann, Hendrik Göttmann and Malte Lochau. Compositional 
Liveness-Preserving Conformance Testing of Timed I/O Automata
 * Timm Liebrenz, Paula Herber and Sabine Glesner. A Service-oriented Approach 
for Decomposing and Verifying Hybrid System Models
 * Achim D. Brucker and Michael Herzberg. A Formally Verified Model of Web 
Components
 * Petra van den Bos and Frits Vaandrager. State Identification for Labeled 
Transition Systems with Inputs and Outputs
 * Kadir Bulut, Guy-Vincent Jourdan and Uraz Cengiz Turker. Minimizing 
characterizing sets: hardness and effect on test derivation from systems 
modelled as finite state machines
 * Habtom Kahsay Gidey, Alexander Collins and Diego Marmsoler. Modeling and 
Verifying Dynamic Architectures with FACTum Studio
 * Peter Zeller, Annette Bieniusa and Arnd Poetzsch-Heffter. Combining state- 
and event-based semantics to verify highly available programs
 * Kasper Dokter. Multilabeled Petri Nets
 * Tobias Reiher, Alexander Senier, Jeronimo Castrillon and Thorsten Strufe. 
RecordFlux: Formal Message Specification and Generation of Verifiable Binary 
Parsers
 * Christopher Esterhuyse and Hans-Dieter Hiep. Reowolf: Synchronous 
Multi-Party Communication over the Internet


## VENUE

FACS 2019 will be held at Centrum Wiskunde & Informatica (CWI), Amsterdam, the 
Netherlands.



## REGISTRATION

 > http://facs2019.org/registration <

 * Early: until 4 October (AoE)
 * Late: from 5 October


___
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

[Hol-info] cfp ThEdu'19 post-proceedings

[Walther Neuper]

   Open Call for Papers
**
   Postproceedings for ThEdu'19 by EPTCS
Theorem Proving Components for Educational Software
http://www.uc.pt/en/congressos/thedu/thedu19
**
 Workshop ThEdu'19 at CADE27
  http://www.cade-27.info/
**

THedu'19 Postproceedings:

  ThEdu's programme comprised one invited contribution and four regular 
  contributions, whose abstract are in the workshop web-page. Now 
  postproceedings are planned to collect the contributions upgraded to 
  full papers. The contributions' topics are diverse according to ThEdu's 
  scope, and this is a call open for everyone, also those who did not 
  participate in the workshop. All papers will undergo review according to 
  EPTCS standards.

THedu'19 Scope:

  Computer Theorem Proving is becoming a paradigm as well as a 
  technologica base for a new generation of educational software in 
  science, technology, engineering and mathematics. The workshop brings 
  together experts in automated deduction with experts in education in 
  order to further clarify the shape of the new software generation and to 
  discuss existing systems.

Topics of interest include:

 * methods of automated deduction applied to checking students' input;
 * methods of automated deduction applied to prove post-conditions for
   particular problem solutions;
 * combinations of deduction and computation enabling systems to propose 
   next steps;
 * automated provers specific for dynamic geometry systems;
 * proof and proving in mathematics education.

Important Dates

 * Call for papers:16 Sep 2019
 * Submission (full papers):   18 Nov 2019
 * Notification of acceptance: 16 Dec 2019
 * Revised papers due: 20 Jan 2020

Submission

  We welcome submission of papers presenting original unpublished work 
  which is not been submitted for publication elsewhere.

  The authors should comply with the "instructions for authors", LaTeX
  style 
  files and accept the "Non-exclusive license to distribute" of
  EPTCS: Instructions for authors (http://info.eptcs.org/) LaTeX style
  file and formatting instructions (http://style.eptcs.org/) Copyright 
  (http://copyright.eptcs.org/)

  Papers should be submitted via easychair,   
  https://easychair.org/conferences/?conf=thedu19.

  In case the accepted contributions finally do not reach the standards of 
  EPTCS in number, there will be an alternative to publish as a techreport 
  at CISUC https://www.cisuc.uc.pt/publications.

Program Committee

  Francisco Botana, University of Vigo at Pontevedra, Spain
  João Marcos, Universidade Federal do Rio Grande do Norte, Brazil
  Filip Maric, University of Belgrade, Serbia
  Adolfo Neto, Universidade Tecnológica Federal do Paraná, Brazil
  Walther Neuper, Graz University of Technology, Austria (co-chair)
  Pedro Quaresma, University of Coimbra, Portugal (co-chair)
  Philippe R. Richard, Université de Montréal, Canada
  Vanda Santos, University of Aveiro, Portugal
  Wolfgang Schreiner, Johannes Kepler University, Austria

___
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info