[TYPES/announce] PhD openings in Security and Privacy at TU Wien

2021-01-05 Thread Maffei, Matteo 
[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

The Security & Privacy group at TU Wien (https://secpriv.wien) is currently 
looking for
outstanding PhD candidates to conduct cutting edge research in

- web security
- formal methods for security and privacy
- security and privacy in machine learning

Successful candidates will join the newly established SecInt doctoral school at 
TU Wien (https://secint.visp.wien) and will have the opportunity to engage in 
research collaborations within the Vienna Security and Privacy Research Center 
(https://visp.wien).  TU Wien offers an outstanding research environment and 
numerous professional development opportunities.  The Faculty of Informatics is 
the largest one in Austria and is consistently ranked among the best in Europe. 
Finally, Vienna has been consistently ranked by Mercer over the last years the
best city for quality of life worldwide.

The employment is full-time (40 hrs/week) and the salary is internationally 
competitive (the yearly entry-level gross salary is approx. 41.000 EUR, which 
roughly corresponds to 2.400 EUR net per month).

Interested candidates should send at their earliest convenience

- a motivation letter
- transcripts of records (Bachelor and Master)
- a curriculum vitae
- contact information of two referees

to matteo.maf...@tuwien.ac.at. More 
information on the application procedure and on additional hiring opportunities 
is available at https://secpriv.wien/work/

The working language in the group is English, knowledge of German is not 
required.

---
Univ.-Prof. Dr. Matteo Maffei
Security and Privacy Group
TU Wien
Favoritenstrasse 9-11, Stiege 2, 1. Stock
Wien, A-1040
Website: secpriv.tuwien.ac.at
Phone: +43(1)58801184860

[TYPES/announce] CFP: LangSec 2021 (affiliated with IEEE S) due on Jan 15th, 2021

2021-01-05 Thread Gang (Gary) Tan 
[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


Call for Papers
7th Workshop on Language-Theoretic Security (LangSec)
Affiliated with 42nd IEEE Symposium on Security and Privacy (Oakland)
May 27th, 2021

The Language-Theoretic Security (LangSec) workshop solicits
contributions of research papers, work-in-progress reports, and panels
related to the growing area of language-theoretic security.

Submission Guidelines: see http://langsec.org/spw21/

Submission link: https://easychair.org/conferences/?conf=langsec2021

Important Dates:
Research paper submissions due: January 15 2021, AOE
Work-in-progress reports and panels submissions due:
  February 1 2021, AOE
Notification to authors: February 15 2021
Camera ready: March 5 2021

Topics: LangSec posits that the only path to trustworthy computer
software that takes untrusted inputs is treating all valid or expected
inputs as a formal language, and the respective input-handling routine
as a parser for that language. The parsing must be feasible, and the
parser must match the language in required computation power and
convert the input for the consumption of subsequent computation. The
7th installation of the workshop will continue the tradition and
further focus on research that apply the language-theoretic
perspective to policy mechanisms, such as treating policy formulation
and enforcement as language definition and language recognition
problems. The following is a non-exhaustive list of topics that are of
relevance to LangSec:

* formalization of vulnerabilities and exploits in terms of language
  theory
* inference of formal language specifications of data from samples
* generation of secure parsers from formal language specifications
* complexity hierarchy of verifying parser implementations
* science of protocol design: layering, fragmentation and re-assembly,
  extensibility, etc.
* architectural constructs for enforcing limits on computational
  complexity
* empirical data on programming language features/programming styles
  that affect bug introduction rates (e.g., syntactic redundancy)
* systems architectures and designs based on LangSec principles
* computer languages, file formats, and network protocols built on
  LangSec principles
* re-engineering efforts of existing languages, formats, and protocols
  to reduce computational power

Chairs
PC co-chair: Gang Tan (Pennsylvania State University)
PC co-chair: Sergey Bratus (Dartmouth College)

Contact:
All questions about submissions should be emailed to the PC chairs:
Gang Tan (g...@psu.edu) and Sergey Bratus (ser...@cs.dartmouth.edu)

--

Gang (Gary) Tan
Professor, Penn State CSE and ICDS
W358 Westgate Building
http://www.cse.psu.edu/~gxt29
Tel:814-8657364

[TYPES/announce] Third CFP VPT 2021 Ninth International Workshop on Verification and Program Transformation

2021-01-05 Thread Lisitsa, Alexei 
[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

THIRD CALL FOR PAPERS

 Ninth International Workshop on
 Verification and Program Transformation

 Devoted to the achievements of the research career of
   Professor Alberto Pettorossi
   http://www.iasi.cnr.it/~adp/

   March 27th and 28th, 2021, Luxembourg, Luxembourg

http://refal.botik.ru/vpt/vpt2021


Co-Located with the 24th European joint Conference on
Theory and Practice of Software (ETAPS 2021)

The VPT 2021 event will consist of two parts:

Day 1:  Invited and contributed presentations
of the postponed VPT 2020 workshop devoted to
  the achievements of the research career of
 Professor Alberto Pettorossi
http://refal.botik.ru/vpt/vpt2020

The Proceedings of VPT-2020 was published as EPTCS 320:
http://eptcs.web.cse.unsw.edu.au/content.cgi?VPTHCVS2020

Day 2: new Invited and contributed presentations of VPT 2021 workshop.

***
***
VPT-2020 Keynote Speaker:

   Professor Alberto Pettorossi,

Universita di Roma Tor Vergata and
Istituto di Analisi dei Sistemi ed Informatica "A. Ruberti", Italy

   http://www.iasi.cnr.it/~adp/


***
The VPT-2020 Invited Speakers:

Alain Finkel, LSV, ENS Paris-Saclay, CNRS
 Universite Paris-Saclay, France
 http://www.lsv.fr/~finkel/

John P. Gallagher, Roskilde University, Denmark
 and IMDEA Software Institute, Spain
 http://www.ruc.dk/~jpg/

Moa Johansson, Chalmers University, Gothenburg, Sweden
 http://www.cse.chalmers.se/~jomoa/

Neil D. Jones, Professor emeritus at University of Copenhagen,
 Denmark
 http://hjemmesider.diku.dk/~neil/

Michael Leuschel, Heinrich-Heine-Universitaet Duesseldorf, Germany
https://www.cs.hhu.de/en/research-groups/software-engineering-and-programming-languages/our-team/team/michael-leuschel.html

Maurizio Proietti, IASI-CNR, Rome, Italy
 http://www.iasi.cnr.it/~proietti/

Sophie Renault, European Patent Office - The Hague, The Netherlands

Andrzej Skowron, Professor emeritus at University of Warsaw, Poland

***
***
VPT-2021 Invited Speakers:

Nikos Gorogiannis, Middlesex University, UK
 https://ngorogiannis.bitbucket.io/

Fritz Henglein, DIKU, University of Copenhagen, Denmark
 http://hjemmesider.diku.dk/~henglein/

..
.. TBA ...
***

The Ninth International Workshop on Verification and Program
Transformation (VPT 2021) aims to bring together researchers
working in the areas of Program Verification and Program Transformation.

The workshop will be held fully online mode by ETAPS decision,
and remote participation and lectures and talks delivery will be possible.


The previous workshops in this series were:

VPT 2013, Saint Petersburg, Russia
VPT 2014, Vienna, Austria
VPT 2015, London, UK
VPT 2016, Eindhoven, The Netherlands
VPT 2017, Uppsala, Sweden
MARS/VPT 2018, Thessaloniki, Greece
VPT 2019, Genova, Italy
VPT 2020, Dublin, Ireland
  The VPT-2020 Workshop was postponed in-line with ETAPS-2020,
  The Proceedings of VPT-2020 was published as EPTCS 320.


The workshop solicits research, position, application, and
system description papers with a special emphasis on case studies,
demonstrating viability of the interactions between the research fields
of program transformation and program verification in a broad sense.
Also papers in related areas, such as program testing and program synthesis are 
welcomed.

Topics of interest include, but are not limited to:

* Verification by Program Transformation
* Verification Techniques in Program Transformation and Synthesis
* Verification and Certification of Programs Transformations
* Program Analysis and Transformation
* Program Testing and Transformation
* Verifiable Computing and Program Transformation
* Case studies

*Important Dates*

* January 24th, 2021: Regular paper submission deadline (The deadline has been 
extended.)
* January 24th, 2021: Extended abstracts and presentation-only papers 
submission deadline
* February 16th, 2021: Acceptance notification
* March 1st, 2021: Camera ready version (for the informal pre-proceedings)
* March 27th and 28th, 2021: Workshop
* May 10th, 2021: Revised paper submission

[TYPES/announce] ITP2021: Second Call for Workshops (Deadline 11 January 2021)

2021-01-05 Thread itp2021-workshops 
[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

 
ITP2021: Interactive Theorem Proving, 12th International Conference 
2021, June 29-July 1, Rome, Italy 
http://easyconferences.eu/itp2021/ [1]  
 

SECOND CALL FOR WORKSHOPS 

The ITP conference series is concerned with all topics related to 
interactive theorem proving, ranging from theoretical foundations to 
implementation aspects and applications in system verification, 
security, and formalization of mathematics. The 12th ITP conference, 
ITP 2021, will be held in Rome between 29 June and 1 July. 
It will be co-located with LICS and ICTCS conferences. 

ITP will carefully monitor the development of the COVID-19 pandemic, 
and take guidance from the health authorities to determine whether 
ITP21 will be held physically, virtually, or in a hybrid manner. 

Researchers and practitioners are invited to submit proposals for 
co-located workshops on topics relating to interactive theorem 
proving. Workshops can target the ITP community in general, focus on a 
particular ITP system, or highlight more specific issues or recent 
developments. Proposals for in-depth tutorials or tool introductions 
are also welcome. 

Co-located events will take place on 28 June and 2 July and 
will be held on the same premises as the main conference. In case of  
needs, we are ready to discuss and try to accommodate requests for  
two-day workshops. Conference facilities are offered free of charge to  
one of the organizers and one of the invited speakers. Workshop-only  
attendees will enjoy a significantly reduced registration fee. 

Detailed organizational matters such as paper submission and review 
process, or publication of proceedings, are up to the organizers of 
individual workshops. All accepted workshops will be expected to have 
their program ready by 4 June, 2021. 

Proposals for workshops should contain at least the following pieces 
of information: 

* name and contact details of the main organizer(s)
* (if applicable:) names of additional organizers

* title and organizational style of the workshop (tutorial, public
workshop, project workshop, etc.)   * preferred length of the workshop
(half day or full day)
* estimated number of attendees
* short (up to one page) description of the topic

* (if applicable:) pointers to previous editions of the workshop, or
to similar events   * (if applicable:) special needs for an online event

Proposals should be submitted by email to  
itp2021-worksh...@easyconferences.eu, 
no later than 11 January, 2021. 
Selected workshops will be notified by 15 January, 2021. 

Links:
--
[1] http://easyconferences.eu/itp2021/