SIGLOG - Logic and Computation
SIGLOG Alonzo Church Award
Awarded annually for an outstanding paper (or collection of papers) in the area of logic and computation that appeared in a journal during the previous twenty years. The award includes a prize of $2,000. Sponsored jointly with the European Association for Computer Science Logic (EACSL), the European Association for Theoretical Computer Science (EATCS) and the Kurt Gödel Society. Presented alternately at LICS,ICALP and CSL.
The International Conference for High Performance Computing, Networking, Storage and Analysis will gather the HPC community with a program of invited talks, panels, research papers, tutorials, workshops, posters, and birds-of-a-feather sessions, as well as student programs to engage and foster the next generation of HPC professionals. Philip Diamond, Director General of the international Square Kilometer Array (SKA) project, will be the keynote speaker.