[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
We're extending the paper submission deadline and still welcome your contributions! Paper (extended abstract) submission - September 30, 2023 > List of Topics > -------------- > > Research, work in progress, position and student papers are welcome. > Topics of interest include (but are not limited to): > > - formalisms for program semantics > - formal models and semantics of programs and systems > - semantics of programming and specification languages > - formal description techniques > - logics for formal specification and verification > - deductive program verification > - automatic theorem proving > - model checking of programs and systems > - static and dynamic analysis of programs > - formal approach to testing and validation > - program analysis and verification tools > - theory of programming languages > - type theory > - program synthesis and transformations > > > Submission Guidelines > --------------------- > > Program Committee consider the following types of submissions: > > - regular research submissions in the form of an extended detailed abstract > (6-8 pages in English excluding references but including obligatory section > on related works) to be reviewed by 3 PC members; > - work in progress, position, poster and student research reports > in the form of an extended abstract (2-4 pages in English including > main references and a paragraph on related works) to be reviewed by > a PC member. > > Please send your submissions through the EasyChair: > https://urldefense.com/v3/__https://easychair.org/cfp/PSSV-2023__;!!IBzWLUs!V6PU14iF4DcET1f2ABPQo9hRQqE5MMiZFaT5dChB0lHlJY3-Gpl7jrVZNXAfgYJgPfLvTlwM-M7dWfZqWeKJhi_tbjWH_CGH$ > > > Important Dates > --------------- > > - Abstract registration (optional) - September 16, 2023 > - Paper (extended abstract) submission - September 23, 2023 > - Notification for extended abstracts - October 15, 2023 > - Workshop - November 3-4, 2023 > - Invitations to post-proceedings - November 8, 2023 > - Submission of revised papers to post-proceedings - November 15, 2023 > - Notification for extended abstracts - November 22, 2023 > > > Venue > ----- > > The conference will be held in a hybrid mode: > > - in person at Innopolis Universty > (https://urldefense.com/v3/__https://innopolis.university/en/__;!!IBzWLUs!V6PU14iF4DcET1f2ABPQo9hRQqE5MMiZFaT5dChB0lHlJY3-Gpl7jrVZNXAfgYJgPfLvTlwM-M7dWfZqWeKJhi_tbvDVAGv-$ > ) > located in Innopolis city > (https://urldefense.com/v3/__https://en.wikipedia.org/wiki/Innopolis__;!!IBzWLUs!V6PU14iF4DcET1f2ABPQo9hRQqE5MMiZFaT5dChB0lHlJY3-Gpl7jrVZNXAfgYJgPfLvTlwM-M7dWfZqWeKJhi_tbpIFYs0-$ > ), > Republic of Tatarstan, Russia > - and online (platform TBD) > > Additional Information > ---------------------- > > https://urldefense.com/v3/__https://persons.iis.nsk.su/en/PSSVfrom2022towards2023__;!!IBzWLUs!V6PU14iF4DcET1f2ABPQo9hRQqE5MMiZFaT5dChB0lHlJY3-Gpl7jrVZNXAfgYJgPfLvTlwM-M7dWfZqWeKJhi_tbtNRJAdG$ > > > > Best regards, > Alexander Chichigin