caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] SAS 2018 - Call for Participation
@ 2018-06-18 16:01 Urban  Caterina
  0 siblings, 0 replies; 1+ messages in thread
From: Urban  Caterina @ 2018-06-18 16:01 UTC (permalink / raw)
  To: Urban  Caterina

[-- Attachment #1: Type: text/plain, Size: 2910 bytes --]

---------------------------------------------------------------------

                        CALL FOR PARTICIPATION

                               SAS 2018
                    25th Static Analysis Symposium
      Freiburg im Breisgau, Germany, August 29th-August 31st, 2018
               http://staticanalysis.org/sas2018

---------------------------------------------------------------------

ABOUT
Static Analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary venue for the presentation of theoretical, practical, and application advances in the area. The 25th Static Analysis Symposium, SAS 2018, will be held in Freiburg im Breisgau, Germany.

REGISTRATION
Registration is now open. Please visit:
http://staticanalysis.org/sas2018/registration.html

STUDENT GRANTS
A limited number of students grants will be available. The grant will cover the cost for lodging during the conference and a contribution to travel expenses. For further information, please send an informal email to the PC Chair via sas2018-0@easychair.org<mailto:sas2018-0@easychair.org>.

INVITED TALKS
- Aws Albarghouthi (University of Wisconsin-Madison, USA)
  Program Fairness through the Lens of Formal Methods
- Zak Kincaid (Princeton University, USA)
  Non-linear Invariant Generation via Recurrence Analysis
- Ruzica Piskac (Yale University, USA)
  Firewall Repair and Verification of Configuration Files
- Sharon Shoham (Tel Aviv University, Israel)
  Verification of Distributed Systems Using First-Order Logic

INVITED TUTORIALS
- Roberto Bagnara (University of Parma/BUGSENG, Italy)
  MISRA C and its Role in the Development of Safety- and Security-Critical Embedded Software
- Ken McMillan (Microsoft Research, USA), Oded Padon (Tel Aviv University, Israel)
  Ivy: Safety Verification by Interactive Generalization
- Peter O'Hearn (University College London/Facebook, UK)
  Experiences developing and deploying a concurrency analysis at Facebook

ACCEPTED PAPERS
The list of accepted papers is available at:
http://staticanalysis.org/sas2018/accepted.html

AFFILIATED EVENTS
- 9th Workshop on Static Analysis and Systems Biology (SASB 2018)
  Chairs: Tatjana Petrov (University of Konstanz, Germany) and Ankit Gupta (ETH Zurich, Switzerland)
- 9th Workshop on Tools for Automatic Program Analysis (TAPAS 2018)
  Chair: Fausto Spoto (University of Verona/Julia Srl, Italy)

Hope to see you in Freiburg!

Andreas Podelski, Program Chair
Caterina Urban, Publicity Chair


-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[-- Attachment #2: Type: text/html, Size: 4880 bytes --]

^ permalink raw reply	[flat|nested] 1+ messages in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-06-18 16:01 [Caml-list] SAS 2018 - Call for Participation Urban  Caterina

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox