Submitted by Anonymous on Tue, 07/11/2017 - 4:25pm
Within the Inria project lab HAC SPECIS [1], we offer a post-doctoral position on statistical verification of distributed programs, integrated in the SimGrid platform [2].
Important dates:
* start of post-doctoral position: between November 1, 2017 and January 1, 2018 (somewhat flexible),
* duration: 18 months (somewhat flexible),
* deadline for application: September 30, 2017,
Submitted by Anonymous on Tue, 07/11/2017 - 3:44pm
ACM IUI 2018 is the 23rd annual meeting of the intelligent interfaces community and serves as a premier international forum for reporting outstanding research and development on intelligent user interfaces. ACM IUI is where the Human-Computer Interaction (HCI) community meets the Artificial Intelligence (AI) community. We are also very interested in contributions from related fields, such as psychology, behavioral science, cognitive science, computer graphics, design, the arts, etc.
Submitted by Anonymous on Tue, 07/11/2017 - 3:25pm
CALL FOR PAPERS
Winter Simulation Conference (WSC) 2017
December 3-6, 2017 | Red Rock Casino Resort & Spa | www.wintersim.org
Posters, Case Studies, PhD Colloquium, Vendor tracks
WSC TURNS 50: SIMULATION EVERYWHERE!
With 360 accepted papers, panels, special tracks, and an amazing venue, this 50th Anniversary Winter Simulation Conference promises to be a very exciting event.
Submitted by Katie Dey on Thu, 06/22/2017 - 10:18am
CyberSTEM Camp
Dates: July 17-21, 2017
This 5 day experience provides hands-on activities focused on STEM and cybersecurity topics. Attendees will learn and apply basic concepts of programming, forensics, cryptography, and program management from a series of gaming, modeling, and simulation activities, which explore the interconnections of science, math, technology, and computers.
