[TYPES/announce] Curry On 2017 - Call for Presentations

[Heather Miller]

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

--

  Curry On Barcelona!
(Curry On 2017)

 Barcelona, Spain, June 19-20, 2017
co-located with PLDI + ECOOP

  www.curry-on.org/2017

--

Curry On has two central goals.

Bringing industry and academia together to have an open conversation.

Exploring the intersection of programming or programming languages with emerging
challenges in industry, such as security, big data, or machine learning. Talks
can cover topics as varied as an academic idea applied to a surprising problem
domain in a real-world system, to something racy like “programming language
academia is irrelevant and here’s why”.

We give no firm guidelines on topics (go wild!), however we particularly seek
talks that can provoke thought and discussion, or even (more idealistically) can
elicit or encourage new ideas or change.

Areas of particular interest to the conference include:

- distributed systems/big data
- machine learning
- security
- concurrency
- types
- functional or logic programming
- databases
- compilers and virtual machines
- PL approaches to front-end development
- probabilistic programming
- next generation tooling

We're probably the first academic conference ever to have sold out of tickets
(last year), so please do consider joining our lineup of excellent speakers!


Some of our excellent speakers so far:
==

KEYNOTEs
- Martin Odersky, EPFL, (creator of Scala language)
- Brian Goetz, Oracle, (Java)
- José Valim, Platformatec, (creator of Elixir language)
- Roberto Ierusalimschy, PUC-Rio, (Lua)

INVITED
- Jean Yang, CMU (privacy & security + PL)
- Niko Matsakis, Mozilla Research (Rust)
- Julien Verlaguet, Facebook (Hack)
- Dave Thomas, Kx Systems (Array programming)
- Helena Edelson, (big data, distributed systems, Scala)
- Martin Abadi, Google (security, PL, TensorFlow)
- Matt Might, University of Utah (precision medicine, static analysis)
- John Hughes, Chalmers University, (property-based testing, FP)


Talk Formats


Accepted speakers can choose from:

- Normal talk slot (40 minutes)
 = or =
- Chesstimer talk slot (20 minutes speaker time, 20 minutes audience time)


About Chess-Timer Talks
---

One of Curry On's prime goals is to bring industry and academia together to have
an open conversation. But one speaker addressing hundreds of people is hardly a
conversation. So, we're changing that.

Chess-timer talks aim to make tech conferences a more interactive, more fun, and
better place for learning and discussions.

Chess-timer talks primarily seek to get more audience members participating in
the presentation. Speakers who choose to give a chess-timer talk are allowed 20
minutes of solo speaking time, and 20 minutes of discussion time. A Curry On
representative operates a chess-timer during the presentation, switching between
solo + discussion time budgets. When an audience member interrupts the talk to
ask a question, for example, we switch the timer to deduct from discussion time.
This style of giving talks has been demoed in small (20-30 person) academic
workshops to great success. In those workshops, it has incentivized speakers to
strategically insert fodder for discussion points into their presentations so as
to try and elicit audience members to ask questions.

Speakers with selected talks will have the opportunity to choose whether or not
they would like to give a chess-timer talk. Curry On will feature a limited
number of chess-timer sessions, meaning that a majority of talks will still be
standard conference talks.


Deadlines
=

- Call for presentations closes:
  -> Friday, April 14th, 2017 <-

- Speakers notified/program announced:
  -> Friday, April 21st, 2017 <-


-- 
Heather Miller
EPFL, Scala Center
Executive Director, Research Scientist
http://people.epfl.ch/heather.miller
+41 21 693 64 83
+41 78 625 20 23

[TYPES/announce] Journal of Functional Programming - Call for PhD Abstracts

[Graham Hutton]

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

Dear all,

If you or one of your students recently completed a PhD in the
area of functional programming, please submit the dissertation
abstract for publication in JFP: simple process, no refereeing,
deadline 30th April 2017.  Please share!

Best wishes,

Graham Hutton




CALL FOR PHD ABSTRACTS

Journal of Functional Programming

Deadline: 30th April 2017

http://tinyurl.com/jfp-phd-abstracts



PREAMBLE:

Many students complete PhDs in functional programming each
year.  As a service to the community, the Journal of Functional
Programming publishes the abstracts from PhD dissertations
completed during the previous year.

The abstracts are made freely available on the JFP website,
i.e. not behind any paywall.  They do not require any transfer
of copyright, merely a license from the author.  A dissertation
is eligible for inclusion if parts of it have or could have
appeared in JFP, that is, if it is in the general area of
functional programming.  The abstracts are not reviewed.

Please submit dissertation abstracts according to the instructions
below.  We welcome submissions from both the PhD student and PhD
advisor/supervisor although we encourage them to coordinate.



SUBMISSION:

Please submit the following information to Graham Hutton
 by 30th April 2017.

o Dissertation title: (including any subtitle)

o Student: (full name)

o Awarding institution: (full name and country)

o Date of PhD award: (month and year; depending on the
institution, this may be the date of the viva, corrections
being approved, graduation ceremony, or otherwise)

o Advisor/supervisor: (full names)

o Dissertation URL: (please provide a permanently accessible
link to the dissertation if you have one, such as to an
institutional repository or other public archive; links
to personal web pages should be considered a last resort)

o Dissertation abstract: (plain text, maximum 1000 words;
you may use \emph{...} for emphasis, but we prefer no
other markup or formatting in the abstract, but do get
in touch if this causes significant problems)

Please do not submit a copy of the dissertation itself, as
this is not required.  JFP reserves the right to decline
to publish abstracts that are not deemed appropriate.



PHD ABSTRACT EDITOR:

Graham Hutton
School of Computer Science
University of Nottingham
Nottingham NG8 1BB
United Kingdom






This message and any attachment are intended solely for the addressee
and may contain confidential information. If you have received this
message in error, please send it back to me, and immediately delete it. 

Please do not use, copy or disclose the information contained in this
message or in any attachment.  Any views or opinions expressed by the
author of this email do not necessarily reflect the views of the
University of Nottingham.

This message has been checked for viruses but the contents of an
attachment may still contain software viruses which could damage your
computer system, you are advised to perform your own checks. Email
communications with the University of Nottingham may be monitored as
permitted by UK legislation.

[TYPES/announce] postdoctoral position at Wesleyan University

[Dan Licata]

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

Hi,

The Department of Mathematics and Computer Science at Wesleyan University 
(Middletown, CT, USA) invites applications for a Postdoctoral Research 
Associate. The postdoc will work with Professors Norman Danner and Dan Licata 
on the topic of certified cost analysis of functional programs, and have the 
freedom to pursue their own research agenda as well.  Candidates with 
backgrounds in any of programming languages, logic, algorithms, and proof 
assistants are especially encouraged to apply.  

The position is for 1 year, with possibility of renewal for a second year.  It 
is grant-funded, so teaching is not required, but there is a possibility of 
teaching 1 class per year for applicants who would like to build their teaching 
portfolio.  

Please find information on applying for the job here:
https://careers.wesleyan.edu/postings/5800
We will review applications as they are received.  

Thanks, 
-Dan

[TYPES/announce] Postdoc Position at Queen Mary

[Nikos Tzevelekos]

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

We are hiring one research fellow with a strong background in 
programming languages and verification, who can contribute to the design 
and implementation of a Java heterogeneous compilation tool, informed by 
semantic models.


The deadline for applications is 08 MAY 2017.

The position is for 12 months with the possibility of extension to 30 
months. It is based in the School of Electronic Engineering and Computer 
Science, Queen Mary University of London, under the supervision of Nikos 
Tzevelekos, and is part of a joint project with Dan Ghica and the 
University of Birmingham.


The project is financed by the EPSRC grant "System-Level Game Semantics: 
A semantic framework for composing systems”, in collaboration with 
external partners Aarhus University, Yale University, and Facebook.


Informal inquiries can be sent to nikos.tzevele...@qmul.ac.uk.
Job link: http://bit.ly/2ohUkEM

Please share.


Nikos Tzevelekos
Senior Lecturer in Computer Science
Queen Mary University of London

Valuing Diversity & Committed to Equality
QMUL is proud to be a London Living Wage Employer

[TYPES/announce] CFP: 2nd Workshop on Design and Analysis of Robust Systems (DARS), co-located with CAV 2017

[Roopsha Samanta]

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

>
> ***
> The Second Workshop on Design and Analysis of Robust Systems
>  (DARS 2017)
>
> July 22, 2017
>  Co-located with CAV 2017, Heidelberg, Germany
>  Webpage: https://darsworkshop.github.io/dars2017/
> 
>
> Important Dates:
> --
> Extended abstract submission: ***April 28, 2017***
> Author notification: May 25, 2017
> Workshop: July 22, 2017
>
> Scope:
> -
> Robustness refers to the ability of a system to behave reliably in the
> presence
> of perturbation in the system parameters or irregularities in the system's
> operating environment. This is particularly important in the context of
> embedded and cyber-physical systems and software, which interact with a
> physical environment through sensors and actuators and communicate over
> wired
> or wireless networks. Such systems are routinely subject to deviations
> arising
> from sensor or actuation noise, quantization and sampling of data,
> uncertainty
> in the physical environment, and delays or packet drops over unreliable
> network
> channels. When deployed in safety critical applications, system robustness
> in
> the presence of uncertainty is not just desirable, but crucial.
>
> Our aim is to foster dialogue and exchange of ideas and techniques across
> several disciplines with an interest in robustness such as formal
> verification,
> programming languages, fault tolerance, control theory, and hybrid systems.
>
> Domains of interest include, but are not limited to: reactive, timed,
> hybrid or
> probabilistic programs/circuits/systems/networks, approximate computing and
> fault tolerance of distributed systems.
>
> Call for submission:
> --
> We solicit extended abstracts of no more than 3 pages (including
> references) that
> provide an overview of recently published work of the authors or work in
> progress. We expect that the extended abstracts will focus on providing
> intuitions (main results and their implications), rather than technical
> details
> (formal definitions). The extended abstracts along with a one paragraph
> abstract (for announcement on the webpage, if accepted) can be uploaded to
> Easychair using the following link:
> https://easychair.org/conferences/?conf=dars2017
>
> Organizers:
> ---
> Pavithra Prabhakar, Kansas State University
> Roopsha Samanta, Purdue University
>
> Program Committee:
> ---
> Swarat Chaudhuri. Rice University
> Georgios Fainekos, Arizona State University
> Barbara Jobstmann, EPFL and Cadence Design Systems
> Necmiye Ozay, University of Michigan
> Pavithra Prabhakar, Kansas State University
> Roopsha Samanta, Purdue University
> Paulo Tabuada, UCLA
> Thomas Wahl, Northeastern University

[TYPES/announce] CALL FOR PAPERS - ICTAC 2017

[son...@shanghaitech.edu.cn]

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

[Please accept our apologies if you receive multiple copies of this Call for 
Papers (CFP)]

Due to some requests from authors, we have decided to extend the submission 
deadline by 10 days. 
The new submission deadline is April 22, 2017.
=


CALL FOR PAPERS - ICTAC 2017

14th International Colloquium on Theoretical Aspects of Computing 
23-27 October 2017, Hanoi, Vietnam 
http://fit.uet.vnu.edu.vn/ictac2017/
=

ICTAC 2017 will be held in the Department of Software Engineering,
University of Engineering and Technology, Vietnam National University (VNU-UET),
Hanoi, Vietnam, during 23--27 October, 2017.

Established in 2004 by the International Institute for Software
Technology of the United Nations University (UNU-IIST), the ICTAC
conference series aims at bringing together practitioners and
researchers from academia, industry and government to present research
and to exchange ideas and experience addressing challenges in both
theoretical aspects of computing and in the exploitation of theory
through methods and tools for system development. ICTAC also aims to
promote cooperation in research and education between participants and
their institutions, from developing and industrial countries. The
proceedings of the ICTAC conference series are published by Springer
in the LNCS series.

THEMES AND TOPICS OF PAPERS 

ICTAC 2017 will have a technical program for five days
including two days for tutorials and three days for a conference.

Topics of interest include theories of computation and programming, 
foundations of software engineering and formal techniques in software 
design and verification, as well as tools that support formal techniques 
for system modeling, design and verification. 


The topical areas of the conference include, but are not limited to 

* Automata theory and formal languages;
* Principles and semantics of programming languages;
* Theories of concurrency, mobility and reconfiguration;
* Theory of distributed, grid and cloud computing;
* Software architectures and their models, refinement and verification;
* Models of concurrency, security, and mobility;
* Real-time, embedded, hybrid and cyber-physical systems;
* Program static and dynamic analysis and verification;
* Software specification, refinement, verification and testing;
* Logics and their applications;
* Automated and Interactive Theorem Proving; SAT and SMT solving;
* Model checking;
* Coordination and feature interaction;
* Service-oriented architectures: models and development methods;
* Domain-specific modeling and technology: examples, frameworks and experience.
* Case studies, theories, tools and experiments of verified systems.


SUBMISSION AND PUBLICATION

We call for submissions, related to the above areas and topics, 
according to the following three categories:

* Regular papers, with original research contributions; 
* Short papers, on recent work or proposals of emerging challenges; 
* Tool papers, on tools that support formal techniques for software 

Submissions to the conference must not have been published or be
concurrently considered for publication elsewhere. All submissions
will be judged on the basis of originality, contribution to the field,
technical and presentation quality, and relevance to the workshop.

Submissions should adhere to the LNCS format (see
http://www.springer.de/comp/lncs/authors.html for details). Regular
papers should not exceed 18 pages. Short and tool papers should not
exceed 10 pages.

The proceedings will be published by Springer in the
Lecture Notes in Computer Science series (www.springeronline.com/lncs)
by Springer-Verlag.

SUBMISSION LINK 

https://easychair.org/conferences/?conf=ictac2017

IMPORTANT DATES

April 22, 2017: Paper submission deadline
June 8, 2017: Paper acceptance/rejection notification
July 12, 2017: Camera-ready copy deadline
October 23-27, 2017: Main conference & Tutorials

INVITED SPEAKERS

* Joose-Pieter Katoen, RWTH Aachen University, Germany,
http://www-i2.informatik.rwth-aachen.de/~katoen/

* June Andronick, UNSW, Australia,
http://ssrg.nicta.com.au/people/?cn=June+Andronick

* Rustan M. Leino, Microsoft Research, Redmond, USA
http://research.microsoft.com/en-us/um/people/leino/



STEERING COMMITTEE

Ana Cavalcanti, University of York (UK)
John Fitzgerald, Newcastle University (UK)
Martin Leucker, University of Luebeck (DE)
Zhiming Liu, Birmingham City University (UK)
Tobias Nipkow, Technical University Munich (DE)
Augusto Sampaio, Federal University of Pernambuco (BR)
Natarajan Shankar, SRI International (US)

GENERAL CHAIR

Viet-Ha Nguyen, Rector of VNU-UET

PROGRAM CO-CHAIRS

Dang Van Hung (VNU-UET)
Deepak Kapur (University of New Mexico)

PROGRAM COMMITTEE

Bernhard K. Aichernig (Austria)
Farhad Arbab (Hollands)
Ana Cavalcanti (UK)
Wei-Ngan Chin (Singapore)
Hung Dang-Van 

[TYPES/announce] FEVER 2017 @ CAV - Call for Presentations

[Nils Jansen]

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

The FEVER workshop solicits presentations of ongoing or previously published 
work to enable discussions on a broad range of topics. These presentations will 
not be subject to proceedings publication. 


 Call for informal presentations (abstracts)

  FEVER 2017

Workshop on Formal approaches to Explainable VERification
JULY 23, 2017, HEIDELBERG, GERMANY

Co-Located with CAV 2017

http://fever.nilsjansen.org 



This workshop will focus on the problem of rendering the results of formal 
verificaton more understandable to humans, and on the inherent problem of 
requiring explanations for the results of formal verification.
As we are also interested in formal measures to explainability, this is the 
problem of 'Formal approaches to Explainable VERification’ (FEVER).

Traditionally, formal verification aims to provide guarantees on the behavior 
of a system model. We believe, however, that the FEVER problem is not 
sufficiently addressed by state-of-the-art techniques.
We see FEVER as a significant new research opportunity for the Computer-Aided 
Verification community. 
The traditional modeling and verification processes suffer from their inherent 
complexity, which makes it hard for non-specialists to understand and rely on 
them. 
Formal measures of explainability will contribute to establishing  trust in 
such methods.

The workshop seeks to bring together researchers with diverse expertises, 
including CAV, AI, VR (Virtual Reality), and HCI (Human-Computer Interaction), 
to lay down the foundations for this new topic and to discuss existing 
approaches, ideas, and challenges.

Topics include, but are not limited to:

+  understandable modeling languages, such as probabilistic programs
+  accessible synthesis results and abstraction techniques
+  explainable counterexamples and controllers

As there are no formal proceedings for the workshop, the main focus is on a 
broad range of topics that trigger lively discussions.


==
INVITED SPEAKERS 
==
* Roderick Bloem, TU Graz, Austria
* Holger Hermanns, Saarland University, Germany


==
IMPORTANT DATES
==
Abstract submission: May 22, 2017
Notification: May 30, 2017
Workshop: July 23, 2017


==
 SUBMISSIONS 
==
We encourage all interested authors to submit an abstract of their presentation 
through Easychair 

https://easychair.org/conferences/?conf=fever2017 


We particularly invite work recently accepted to top conferences and ongoing 
work.
The submission should be a pdf of at most two pages in the llncs style.
Accepted presentations will not be subject to proceedings publication. 


==
 PC CHAIRS
==
* Benoît Delahaye, University of Nantes, France
* Nils Jansen, The University of Texas at Austin, USA
* Scott A. Smolka, Stony Brook University, USA
* Ufuk Topcu, The University of Texas at Austin, USA

[TYPES/announce] 2 PhD positions and 1 Postdoc position on the Mercedes project in Twente (Netherlands): Maximal Reliability of Concurrent and Distributed Software

[m.huisman]

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

2 PhD positions and 1 Postdoc position

on the Mercedes project in Twente (Netherlands):

Maximal Reliability of Concurrent and Distributed Software



University of Twente

Group: Formal Methods and Tools

Contact: Prof.Dr. Marieke Huisman (m.huis...@utwente.nl)



Job Description

You will be working on the Mercedes project, a 1,5 million euro personal grant 
for Marieke Huisman, funded by NWO.



Goal of the Mercedes project is to develop techniques to ensures the maximal 
reliability of concurrent and distributed software. This is achieved by 
developing a technique to construct an abstract mathematical model from a 
concurrent or distributed application, such that program logics can be used to 
prove the formal connection between the software and its abstraction.



The framework will be general, capturing many different concurrent and 
distributed programming paradigms. An important goal of the project is to 
support automated reasoning, by developing techniques to automatically generate 
the necessary additional annotations. The project will also investigate the use 
of the abstraction theory in the opposite direction, to derive a correct 
program via refinement.



Two PhD positions are available to work on the following subprojects:

- Abstraction theory: a general compositional abstraction theory for models of 
concurrent and distributed software

- Code-level Verification: algorithms for automated verification of non-trivial 
program properties



One Post Doc position is available to work on the following subproject:

- Refinement: a refinement technique to derive concrete program code from an 
abstract model



All results of the Mercedes project will be integrated in the VerCors tool set 
for verification of concurrent software, which is a result of Marieke Huisman’s 
earlier ERC project on verification of concurrent software.



For more information about the concrete subprojects, please contact Marieke 
Huisman: m.huis...@utwente.nl.



We seek

- Two PhD students with an MSc degree (or equivalent) in Computer Science

- One post doc with a PhD degee in Computer Science (or equivalent)



The candidates should be enthousiastic, and have a thorough theoretical 
background, a demonstrable interest in program verification, and some knowledge 
about multithreaded programming (in Java/C/C++).



We are looking for a researcher with an independent mind who is willing to 
cooperate in our team. It is understood that he or she works on the

topics listed above.  Further we ask for good communicative and collaboration 
skills. Candidates should be prepared to prove their English language skills.



As a research outcome we expect publications, (prototype) tools, and for the 
PhD students a PhD thesis.



Starting date of the position: as soon as possible, preferably before June 1, 
2017.



We offer

- Two PhD position for four years (38 hrs/week)

- One post doc position for two years (38 hrs/week), with a possibility of 
extension of upto 3 more years.

- A stimulating scientific environment

- Full status as an employee at the University of Twente, including pension and 
health care benefits.

- Gross salary PhD student: ranging from € 2.191,00 (1st year) to € 2.801,00 
(4th year) per month, plus holiday allowance (8%) and end-of-year bonus (8.3%).

- Gross salary for a Postdoc is dependent on experience and background, but 
will minimally be € 3.068,00 per month (scale 10.4), plus holiday allowance 
(8%) and end-of-year bonus (8.3%).

- Excellent facilities for professional and personal development.

- Good secondary conditions, in accordance with the collective labour agreement 
CAO-NU for Dutch universities

- A green Campus with lots of sports facilities



The PhD student will be a member of the Twente Graduate School in the research 
programme 'Dependable and Secure Computing'. The research programme offers 
advanced courses to deepen your scientific knowledge in preparation to your 
future career (within or outside academia). We provide our PhD students with 
excellent opportunities to broaden their personal knowledge and to 
professionalise their academic skills. Participation

in national and/or international summer schools and workshops, and visits to 
other prestigious research institutes and universities can be part of this 
programme.



Further information

- FMT group: http://fmt.cs.utwente.nl/

- Prof.Dr. Marieke Huisman 
(m.huis...@utwente.nl): 
http://wwwhome.cs.utwente.nl/~marieke/

- Project webpage: http://fmt.ewi.utwente.nl/research/projects/Mercedes/



Application

To apply for the PhD position directly:

https://www.utwente.nl/en/organization/careers/vacancies/!/vacature/1019842

To apply for the post doc position directly:

https://www.utwente.nl/en/organization/careers/vacancies/!/vacature/1019858



Please use the Apply Now button 

[TYPES/announce] Seventh Summer School on Formal Techniques, May 21-26, 2017, Menlo College, Atherton

[Sam Owre]

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

 Seventh Summer School on Formal Techniques, May 21 - May 26, 2017,
  Menlo College
  Atherton, California
  http://fm.csl.sri.com/SSFT17

Techniques based on formal logic, such as model checking, satisfiability, static
analysis, and automated theorem proving, are finding a broad range of 
applications
in modeling, analysis, verification, and synthesis. This school, the sixth in 
the
series, will focus on the principles and practice of formal techniques, with a
strong emphasis on the hands-on use and development of this technology. It
primarily targets graduate students and young researchers who are interested in
studying and using formal techniques in their research. A prior background in
formal methods is helpful but not required. Participants at the school will 
have a
seriously fun time experimenting with the tools and techniques presented in the
lectures during laboratory sessions.

The lecturers at the school include:

*  Stephanie Delaune (IRISA France):
   Verification of security protocols: from confidentiality to privacy

*  Marijn Heule (University of Texas at Austin):
   State-of-the-art SAT Solving

*  K. Rustan M. Leino (Microsoft Research, Redmond WA):
   Verified programs and proofs in Dafny

*  Sam Blackshear (Facebook):
   Building compositional static analyzers with Infer

*  Ashish Tiwari (SRI International Computer Science Laboratory):
   Formal Techniques for Analyzing Hybrid Systems

The main lectures in the summer school will be preceded by a background course 
on
logic taught by  Natarajan Shankar (SRI)and Stephane Graham-Lengrand (Ecole 
Polytechnique)
on  "Speaking Logic".   We will also have special invited talks presented by

* Paolo Mancosu, UC Berkeley
* Vaughan Pratt, Stanford
* Maria Paola Bonacina, Università degli Studi di Verona

Note: The school is preceded by the 9th NASA Formal Methods Symposium
(NFM) 2017 (https://ti.arc.nasa.gov/events/nfm-2017/) and the
associated sixth Automated Formal Methods (AFM) 2017
(http://fm.csl.sri.com/AFM17/) workshop. On May 20 there will be an
AFM tutorial day that students are encouraged to attend.

Information about previous Summer Schools on Formal Techniques can be found at
  http://fm.csl.sri.com/SSFT16

We expect to provide support for the travel and accommodation for a limited 
number
of students registered at US universities, but welcome applications from non-US
students as well as non-students (if space permits).  Non-US students will have 
to
cover their own travel and will be charged around US$600 for meals and lodging.
Applications should be submitted at the website http://fm.csl.sri.com/SSFT17

Applicants are urged to submit their applications before April 30, 2017, since
there are only a limited number of spaces available.  Non-US applicants 
requiring
US visas are requested to apply early.  We strongly encourage the participation 
of
women and under-represented minorities in the summer school. 

[TYPES/announce] Logic Colloquium 2017: 2nd Announcement and Call for Submissions and Participation

[Roussanka Loukanova]

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

Logic Colloquium 2017:
Second Announcement and Call for Submissions and Participation

** Registration is now open **

August 14-20, 2017, Stockholm, Sweden

https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2
--

The Logic Colloquium 2017 (LC2017) is the 2017 Annual European summer
meeting of the Association for Symbolic Logic (ASL) and will be held during
August 14-20, 2017, at the main campus of Stockholm University. The Logic
Colloquium 2017 is organised and hosted jointly by the Departments of
Mathematics and Philosophy at Stockholm University, and is also supported
by the KTH Royal Institute of Technology.

LC2017 will be co-located with several other logic-related events, all
taking place at Stockholm University:
- the 3rd Nordic Logic Summer School, NLS2017, August 7-11
- the 26th EACSL Annual Conference on Computer Science Logic, CSL2017,
August 20-24
- Workshop on Logic and Algorithms in Computational Linguistics 2017,
LACompLing2017, August 16-19
- Workshop on Logical Aspects of Multi-Agent Systems,  LAMAS2017, August 25
- Workshop on Logic and Automata Theory in memory of Zoltan Esik, August 25

There will be a joint session of CSL2017 and LC2017 in the morning of
August 20.
Further information about all events can be found at:

https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2

INVITED SPEAKERS
--
Plenary speakers:
- David Aspero (University of East Anglia)
- Alessandro Berarducci (Pisa)
- Elisabeth Bouscaren (Paris 11)
- Christina Brech (Sao Paolo)
- Sakae Fuchino (Kobe University)
- Denis Hirschfeldt (University of Chicago)
- Wilfrid Hodges (British Academy)
- Emil Jerabek (Prague)
- Per Martin-Löf (Stockholm University)
- Dag Prawitz (Stockholm University)
- Sonja Smets (University of Amsterdam)

Tutorial speakers:
- Patricia Bouyer-Decitre (LSV ENS Cachan)
- Mai Gehrke (Paris 7)

LC-CSL joint session highlight speakers:
- Veronica Becher (Buenos Aires)
- Pierre Simon (UC Berkeley)

SPECIAL SESSIONS
-
Category theory and type theory in honor of Per Martin-Löf on his 75th
birthday
Dates: August 17-19, 2017

Speakers:
- Thierry Coquand (Göteborg University)
- Richard Garner (Macquarie University, Sidney)
- André Joyal (University of Quebec, Montreal)
- Vladimir Voevodsky (Institute of Advanced Study, Princeton)

Computability
Organizers: Verónica Becher  and Denis Hirschfeldt

Speakers:
- Emmanuel Jeandel  (University of Lorraine, France)
- Klaus Meer (Syddansk Universitet Odense M, Denmark)
- Arno Pauly (Clare college, Cambridge University)
- Theodore Slaman (University of California, Berkeley)
- Mariya Soskova (Sofia University, Bulgaria)
- Keita Yokoyama (University of California, Berkeley)

History of Logic:  TBA

Model Theory:  TBA

Philosophical Logic
Organizer: Mirna Dzamonja

Speakers:
- Michele Friend (Gerorge Washington University)
- Juliette Kennedy (Helsinki University)
- Benedikt Loewe (University of Amsterdam and Hamburg)
- Sara Negri (Helsinki University)
- Davide Rizza (University of East Anglia)
- one more speaker TBA

Proof Theory
Organizers:  Jan von Plato and Andreas Weiermann

Speakers: TBA

Set Theory
Organizers:  Christina Brech and Assaf Rinot

Speakers:
- William Chen (Ben Gurion University, Israel)
- Brent Cody (Virginia Commonwealth University, USA)
- Ashutosh Kumar (Hebrew University, Jerusalem)
- Giorgio Laguzzi (Freiburg University)
- Yann Pequignot (University of California, Los Angeles)
- Sandra Uhlenbrock (University of Vienna)

SUBMISSIONS OF CONTRIBUTED TALKS
-
Abstracts of contributed talks must be submitted as pdf files via this
EasyChair page:

https://easychair.org/conferences/?conf=lc2017
(If you do not have an EasyChair-account yet, you can create one at the
submission site.)

The abstracts must be prepared according to the ASL instructions here:

http://www.aslonline.org/rules_abstracts.html

Please:
- enter Title and Abstract as plain text
- as the first keyword, put the AMS 2010 classification: 03xxx
- indicate whether you are submitting for presentation at the colloquium,
for publication in the Bulletin of Symbolic Logic, or for both

Abstracts of contributed talks submitted by ASL members, which are accepted
and prepared according to the ASL Rules for Abstracts, will be published in
the Bulletin of Symbolic Logic. Upon notification of acceptance, authors
will be requested to submit the LaTeX source files.

REGISTRATION
--
The early registration fee, for students and participants from developing
countries, is 1400 SEK including VAT (approx. 140 Euros) per participant,
and includes coffee breaks and conference materials. For all others, the
early registration fee is 2000 SEK including VAT. Late registration is 2800
SEK  for regular fee participants, and 2000