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.

 

Visit website

Join an ACM SIG

Network with like-minded professionals and enjoy unique opportunities to share technical expertise and first-hand knowledge of the latest trends.

SIGGRAPH Asia 2019, November 17 to 20, Brisbane, Australia

The 12th ACM SIGGRAPH Asia Conference and Exhibition on Computer Graphics and Interactive Techniques will showcase some of the world’s top professionals, academics and creative minds at the forefront of digital imaging, research, science, art, animation, gaming, interactivity, education and emerging technologies. Keynote speakers are Donna J. Cox (National Center for Supercomputing Applications), Jeffrey Shaw (City University of Hong Kong) and Inigo Quilez (Shadertoy).

SC19, November 17 to 22, Denver, Colorado

At the International Conference for High Performance Computing, Networking, Storage and Analysis, panels will address exascale; democratization of HPC; quantum computing; Big Data and AI; sustainability of research; and more. The program also includes a series of activities geared toward students, and a Visualization & Data Analytics video showcase. Steven Squyres, Principal Scientist for the Mars Exploration Rover Project, will deliver the keynote.