Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
* [Caml-list] Call for participation (FCRC+LCTES)
@ 2015-05-04 14:56 Klaus Havelund
  0 siblings, 0 replies; only message in thread
From: Klaus Havelund @ 2015-05-04 14:56 UTC (permalink / raw)
  To: Klaus Havelund, Yliès Falcone

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

FCRC’15 <http://fcrc.acm.org/>

Early bird registration is now open for FCRC 2015, the event that assembles
a spectrum of affiliated research conferences and workshops into a
week-long coordinated meeting. FCRC 2015 will be held at the Oregon
Convention Center, in Portland, Oregon from June 13 – 19, 2015. Early
Registration ends May 18th.

This year’s plenary speakers include: Michael Stonebraker, MIT CSAIL, 2014
ACM Turing Award Winner, who will deliver the 2014 ACM Turing Lecture;
Andrew Yao, Tsinghua University; Olivier Temam, Google; Don Syme, Microsoft
Research; Kathy Yelick, University of California at Berkeley and Balaji
Prabhakar, Stanford University

Computational Complexity Conference

CRA-W 2015 Career Mentoring Workshops

EC 2015 [The 16th ACM Conference on Economics and Computation]

HPDC 2015 [The 24th International Symposium on High-Performance Parallel
and Distributed Computing]

ISCA 2015 [The 42nd International Symposium on Computer Architecture]

ISMM 2015 [ACM SIGPLAN International Symposium on Memory Management]

IWQoS 2015 [IEEE/ACM International Symposium on Quality of Service]

LCTES 2015  [ACM SIGPLAN/SIGBED International Conference on Languages,
Compilers and Tools for Embedded Systems]

PADL 2015 [17th Symposium on Practical Aspects of Declarative Languages]

PLDI 2015 [36th ACM SIGPLAN Conference on Programming Language Design and
Implementation]

SIGMETRICS 2015 [International Conference on Measurement and Modeling of
Computer Systems]

SPAA 2015 [ACM Symposium on Parallelism in Algorithms and Architectures]

STOC 2015 [47th ACM Symposium on Theory of Computing]

TRANSACT [10th ACM SIGPLAN Workshop on Transactional Computing]

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

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2015-05-04 14:56 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2015-05-04 14:56 [Caml-list] Call for participation (FCRC+LCTES) Klaus Havelund

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox