[TYPES/announce] Postdoc position in software security at Penn State CSE

[Gang (Gary) Tan]

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


Postdoc position at Penn State Computer Science and Engineering

Applications are invited for a full-time postdoctoral researcher
position in the Security of Software (SOS) Lab at Penn State
(http://www.cse.psu.edu/~gxt29/sos/).  The SOS Lab focuses on
methodologies that help create secure software systems.  We are
seeking a highly qualified individual to work in the area of software
security, including topics such as software security verification,
compiler-based software security, binary code analysis and
hardening. An applicant should possess a doctoral degree in Computer
Science or Computer Engineering and have strong background in computer
security, programming languages, or formal methods.  The candidate
must have an excellent track record of original research and the
ability to work as part of a team.

The postdoc will be provided with competitive salary and employment
benefits. The initial appointment will be for one year, with an option
to renew for a second year.

Inquiries about the position should be directed to Dr. Gang Tan
(g...@psu.edu).  Applicants should apply via the following website
and be prepared to provide at least two names of references when
asked. Applications will be reviewed until the position
is filled.

https://psu.wd1.myworkdayjobs.com/en-US/PSU_Academic/job/University-Park-Campus/Postdoctoral-Researcher_REQ_014314-1

Penn State is a major research university ranked 3rd in U.S.  in
industry-sponsored research.  The CSE department is ranked 6th in
computer-security research (as per csrankings.org) and 8th in U.S. in
research expenditures and has strong research programs in security.
The U.S. News and World Report consistently ranks Penn State's College
of Engineering undergraduate and graduate programs among the top in
the nation.

--

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

[TYPES/announce] PhD positions in PL at University of Glasgow: application deadline 31st July

[Ornela Dardha]

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

The School of Computing Science at the University of Glasgow is offering 
studentships to support PhD research for students starting in autumn 2021.

Types of Scholarships being offered: 
Minerva Scholarships. These are Research and Teaching Scholarships.  See 
https://www.gla.ac.uk/schools/computing/postgraduateresearch/prospectivestudents/minervascholarships/
 

 for more information.
Excellence Bursaries. These are Research Scholarships. 
Seehttps://www.gla.ac.uk/schools/computing/postgraduateresearch/prospectivestudents/excellencebursaries
 

 for more information.
 
Whilst the above funding is open to students in all areas of computing science, 
applications in the area of programming languages are most welcomed. Available 
supervisors in this area at the School include (check the PL theme website 
https://www.gla.ac.uk/schools/computing/research/researchthemes/pl-theme/ 
 for 
further details) 

* Dr Ornela Dardha PL Theme Lead (programming languages foundations, logic, 
(session) types for functional/concurrent systems, mechanisation), email 
ornela.dar...@glasgow.ac.uk 
* Prof Simon Gay (programming language theory, verification techniques based on 
session types for concurrent/distributed systems), email 
simon@glasgow.ac.uk 
* Dr Jeremy Singer (compilers, cloud, managed run-times, parallelism, resource 
management), email jeremy.sin...@glasgow.ac.uk 

* Prof Phil Trinder (programming languages, functional programming, 
parallel/distributed systems), email phil.trin...@glasgow.ac.uk 

* Prof Wim Vanderbauwhede (programming languages, compilation, heterogeneous & 
FPGA computing), email wim.vanderbauwh...@glasgow.ac.uk 


Students can apply for admission to PhD study at any time, but to be considered 
for the studentships we are offering at this round, we must receive your 
application by 31 July 2021.  For more information about how to apply, see 
https://www.gla.ac.uk/schools/computing/postgraduateresearch/prospectivestudents/
 
.
  This web page includes information about the research proposal, which is 
required as part of your application.
Applicants are strongly encouraged to contact a potential supervisor and 
discuss an application before the submission deadline.

[TYPES/announce] Call for Book Chapters: Guide to Software Verification with Frama-C

[Julien Signoles]

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


Call for Book Chapters


 Book Title:Guide to Software Verification with Frama-C. Core
 Components, Usages, and Applications.

Edited book to be published by Springer

Editors:Nikolai Kosmatov, Virgile Prevosto, Julien Signoles


 Description

This book aims at presenting Frama-C, an open source platform for 
analyzing C source code. It fosters collaborations between various 
techniques, by letting individual analyzers exchange information about 
the properties they can handle. In a similar manner, the platform is 
meant to be easily extensible, in particular, by third-party developers. 
Finally, Frama-C is aimed at being usable by software engineers that are 
not necessarily experts in formal methods. This implies providing as 
much automation as possible, as well as assessing the performances of 
the platform on real-world case studies. The purpose of this book is to 
provide a panorama of the platform, its core components, its usages, and 
its applications.


Frama-C is not a single tool, but a framework that groups together 
several tools. Each tool is provided as a plug-in. Roughly speaking, the 
plug-ins distributed with the platform can be decomposed in the 
following broad categories:


 *

   verification plug-ins;

 *

   plug-ins supporting the verification process;

 *

   plug-ins for better understanding the analyzed code;

 *

   plug-ins for simplifying the analyzed code;

 *

   plug-ins for extending the expressiveness of other analyzers.


Many industries in various domains rely on Frama-C to ensure safety 
and/or security of their critical applications. The extensibility of the 
platform allowed industrial engineers and tool developers to abstract 
from the groundwork of code parsing and data structure design, and to 
focus on new forms of verification.



 Target Audience

This book targets a large audience of readers interested in software 
verification and validation. They include industrial practitioners 
interested in verification of specific software products or development 
of new verification tools. They also include evaluation and 
certification authorities working on certification of critical software. 
Finally, this book will provide a helpful source of information to 
university professors and students taking courses in software analysis 
and verification.



As a preliminary background, the book will assume only a basic knowledge 
of the C programming language. In particular, the readers will not need 
to be familiar with Formal Methods.



 Information for authors

Authors are invited to submit chapter proposals related to Frama-C on 
the following (non-exhaustive) list of topics:


 *

   core verification techniques,

 *

   advanced usages,

 *

   combination of analysis techniques,

 *

   case studies and industrial applications,

 *

   emerging domains.

A chapter is expected to contain around 20-30 pages. The chapters will 
be blind-reviewed. Whenever possible, authors should try to make 
chapters self-contained.



 Submission

The authors will be asked to use the Springer Latex Template. Precise 
instructions on the Latex template and formatting will be communicated 
later.



 Important dates

 *

   Declaration of intention by the authors with an abstract of a few
   lines: at your earliest convenience, ideally before July 15, 2021

 *

   Chapter Submission deadline: November 1st, 2021

 *

   Notification: February 1, 2022

 *

   Final submission: September 1, 2022

 *

   Expected publication by Springer: End of 2022


 Contact Information

Email: nikolaikosma...@gmail.com , 
virgile.prevo...@cea.fr , 
julien.signo...@cea.fr 

[TYPES/announce] Call for Workshops: FLoC 2022 -- The 2022 Federated Logic Conference

[Sam Staton]

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

Second Call for Workshops- FLoC 2022 — The 2022 Federated Logic Conference
July 31 - August 12, 2022
Haifa, Israel
http://www.floc2022.org/
Deadline on September 27, 2021

[apologies for cross posting]

CALL FOR WORKSHOPS

The Eighth Federated Logic Conference (FLoC 2022) will host the following ten
conferences and affiliated workshops.

LICS (37th Annual ACM/IEEE Symposium on Logic in Computer Science) 
https://lics.siglog.org//
Workshop chair: Frederic Blanqui frederic.blan...@inria.fr

FSCD (7th International Conference on Formal Structures for Computation and 
Deduction) http://fscd-conference.org/
Workshop chair: Nachum Dershowitz nach...@tau.ac.il

ITP (13th International Conference on Interactive Theorem Proving) 
https://itp-conference.github.io/
Workshop chair: Cyril Cohen cyril.co...@inria.fr

IJCAR (International Joint Conference on Automated Reasoning)
http://www.ijcar.org
Workshop chairs: Simon Robillard simon.robill...@imt-atlantique.fr
Sophie Tourret stour...@mpi-inf.mpg.de

CSF (35th IEEE Computer Security Foundations Symposium) 
http://www.ieee-security.org/CSFWweb/
Workshop chair: Musard Balliu mus...@kth.se

CAV (34th International Conference on Computer Aided Verification)
http://i-cav.org/
Workshop chair: TBD

KR (19th International Conference on Principles of Knowledge Representation and 
Reasoning)
http://www.kr.org/
Workshop chair: Stefan Borgwardt stefan.borgwa...@tu-dresden.de

ICLP (38th International Conference on Logic Programming) 
https://www.cs.nmsu.edu/ALP/conferences/
Workshop chair: Daniela Inclezan incl...@miamioh.edu

SAT (25th International Conference on Theory and Applications of Satisfiability 
Testing) http://www.satisfiability.org
Workshop chair: Alexander Nadel alexander.na...@intel.com

CP (25th International Conference on Principles and Practice of Constraint 
Programming) http://a4cp.org/events/cp-conference-series
Workshop chair: TBD

SUBMISSION OF WORKSHOP PROPOSALS

Researchers and practitioners are invited to submit proposals for workshops on
topics in the field of computer science, related to logic in the broad sense.
Each workshop proposal must indicate one affiliated conference of FLoC 2022.

It is strongly suggested that prospective workshop organizers contact the
relevant conference workshop chair before submitting a proposal.

Each proposal should consist of the following two parts.

1) A short scientific justification of the proposed topic, its significance,
and the particular benefits of the workshop to the community, as well as a
list of previous or related workshops (if relevant).
2) An organisational part including:

- contact information for the workshop organizers;
- proposed affiliated conference;
- estimate of the number of workshop participants (please note that small 
workshops, i.e., of less than ~13 participants, will likely be cancelled or 
merged);
- proposed format and agenda (e.g. paper presentations, tutorials, demo 
sessions, etc.);
- potential invited speakers (note that expenses of workshop invited speakers 
are not covered by FLoC);
- procedures for selecting papers and participants;
- plans for dissemination, if any (e.g. a journal special issue);
- duration (which may vary from one day to two days);
- preferred period (pre or post FLoC);
- virtual/hybrid backup plans (including platform preference).
The FLoC Organizing Committee will determine the final list of accepted
workshops based on the recommendations from the Workshop Chairs of the hosting
conferences and availability of space and facilities.

Proposals should be submitted through EasyChair:
https://easychair.org/conferences/?conf=floc2022workshops

Please see the Workshop Guidelines page: https://floc2022.org/workshops/ for 
further details and FAQ.

IMPORTANT DATES

Submission of workshop proposals deadline: September 27, 2021 (note extended 
deadline)
Notification: November 1, 2021
Pre-FLoC workshops: Sunday & Monday, July 31–August 1, 2022 (note corrected 
dates)
Post-FLoC workshops: Thursday & Friday, August 11-12, 2022

CONTACT INFORMATION

Questions regarding proposals should be sent to the workshop chairs of the
proposed affiliated conference. General questions should be sent to:
sha...@technion.ac.il
guillermoalberto.pe...@uantwerpen.be

FLoC 2022 WORKSHOP CHAIRS
Shaull Almagor
Guillermo A. Perez