henningkerstan.org
Conferences – Henning Kerstan
http://henningkerstan.org/conferences
This is a list of conferences, workshops, summer schools etc. where I have been (or plan to be in the near future). March 2016, Saarbrücken, Germany. Attendee) & CALCO 2015. June 2015, Nijmegen, The Netherlands. May 2015, Leipzig, Germany. March 2015, Kerkrade, The Netherlands. Speaker) and INFINITY 2014. December 2014, New Delhi, India. September 2014, Nijmegen, The Netherlands. Speaker) and ETAPS 2014. April 2014, Grenoble, France. Bellairs Workshop on Probabilistic Systems 2014. May 15, 2016.
cstheory.blogoverflow.com
TCS Conferences and Workshops « Stack Exchange Theoretical Computer Science Blog
http://cstheory.blogoverflow.com/theoretical-computer-science-conferences-and-workshops
Theoretical Computer Science Meta. Explore other Stack Exchange communities. TCS Conferences and Workshops. TCS Conferences and Workshops. Theoretical Computer Science Conferences and Workshops. The following is a list of conferences and workshops in theoretical computer science that were considered important to the CSTheory community. We will update this page periodically; in the meantime, please feel free to add to, or modify, the original community wiki question. On CSTheory about this topic. FCT, Fun...
iisc-seal.net
Aditya Kanade - Software Engineering and Analysis Lab (SEAL), IISc Bangalore
http://www.iisc-seal.net/kanade
Software Engineering and Analysis Lab (SEAL), IISc Bangalore. E0 323: Topics in Automated Verification. E0239: Software Reliability Techniques. MintHint: Automated Synthesis of Repair Hints. New bugs discovered by SparseRacer. Associate Professor of Computer Science and Automation. Indian Institute of Science. Bangalore - 560012, India. Software Engineering and Analysis Lab (SEAL). CSA 209 (first floor). Kanade@csa.iisc.ernet.in. Semi-supervised verified feedback generation [FSE'16]. 2012, ICISS 2012, IC...
labri.fr
Igor Walukiewicz: homepage
http://www.labri.fr/perso/igw
Laboratoire Bordelais de Recherche en Informatique. 351, Cours de la Libération. 33 405, Talence cedex, France. 33 5 40 00 69 03. 33 5 40 00 66 69. International Conference on Concurrency Theory (Quebec City, Canada, August 2016). Logic in Computer Science (New York, USA, July 2016). International Colloquium on Automata, Languages and Programming (Rome, Italy, July 2016). Workshop on Reachability Problems (Aalborg, Denmark, September 2016). Computer Science Logic, (Berlin, Germany, September 2015). A par...
iarcs.org.in
Events - IARCS
http://www.iarcs.org.in/events
The 33rd International Conference on Foundations of Software Technology and Theoretical Computer Science, will held in December, 2013 at IIT Guwahati. The PC chairs are Anil Seth (IIT Kanpur) and Nisheet Vishnoi (Microsoft Research, Bangalore). Formal Methods Update 2013. Will be held at IIT Delhi in July 2013. The 32nd International Conference on Foundations of Software Technology and Theoretical Computer Science, was held in December 2012 in Hyderabad. Formal Methods Update 2012. The 8th TCS Excellence...
pace.cse.iitm.ac.in
PACE Lab, IIT Madras
http://pace.cse.iitm.ac.in/conf.php
Rogramming Languages, A. Mar 14, 2017. Sep 9-13, 2017. Portland, Oregon, USA. Mar 27, 2017. Apr 3, 2017. Nov 12-17, 2017. Mar 31, 2017. Apr 7, 2017. Oct 15-20, 2017. Seoul, South Korea. Apr 13, 2017. Apr 17, 2017. Oct 22-27, 2017. Apr 14, 2017. Apr 20, 2017. Aug 30 - Sep 1, 2017. New York City, USA. Apr 21, 2017. Sep 5-8, 2017. Apr 21, 2017. Oct 3-6, 2017. Apr 24, 2017. May 1, 2017. Oct 19-20, 2017. Seoul, South Korea. May 5, 2017. May 12, 2017. Oct 30-Nov 3, 2017. Urbana-Champaign, Illinois, USA. Orland...
henningkerstan.org
Talks – Henning Kerstan
http://henningkerstan.org/talks
Here is a list of talks I’ve given or will give. Coalgebraic Behavior Analysis From Qualitative To Quantitative Analyses. April 2016, Universität Duisburg-Essen, Germany. For more information on my thesis (including a link to download the thesis and the slides of the defense talk) visit http:/ henningkerstan.org/thesis. Towards Trace Metrics via Functor Lifting. June 2015, CALCO 2015. Nijmegen, The Netherlands. Behavioral Metrics via Functor Lifting. March 2015, D-CON 2015. Kerkrade, The Netherlands.
math.tau.ac.il
Yossi Matias' Home Page
http://www.math.tau.ac.il/~matias
Projects @ Bell Labs. Internet privacy and anti spam. School of Computer Science. Matias www@cs.tau.ac.il. Office: Schreiber building, rm 319. Currently on leave: Head of Google's R&D Center in Israel. The ACM-EATCS Gödel Prize. Recent): Internet 2007 (Beijing). KDD'06 , KDDS'05. IAG - Israel Academic Grid. Internet privacy and SPAM control. The Lucent Personalized Web Assistant, Ad-Hoc Working Group on Unsolicited Commercial Email - Report to the FTC. W3C's report on P3P Guiding Principles. SIGMOD 2006 ...
ijcai-07.org
IJCAI-07 - IJCAI-07 Co-locating Events
http://www.ijcai-07.org/colocation.php
Co-located IT Related Events in India During Dec-Jan 2007. On Natural Language Processing. 4 6 Jan 2007. Fifth Indian Conference on Computer. Vision, Graphics and Image Processing. Wwwcse.iitd.ac.in/ icvgip. Symposium on Algorithms and Computation. 26th Conference on Foundation of SoftwareTech &Theoratical Computer Science. On Cryptology in India. Advance Computing and communication. Wwwadcom2006.nitk.ac.in. On Advance Pattern Recognition. Annual Exhibition of Software/Hardware. CSI Special Issue on AI.
multicore.doc.ic.ac.uk
Multicore Programming Group
http://multicore.doc.ic.ac.uk/service
Alastair F. Donaldson / Multicore Programming Group. Department of Computing, Imperial College London. Awards and Invited Talks. DAC 2016, Design/IP track. Please consider submitting your work to these venues. 4th South of England Regional Programming Languages Seminar, Imperial College London, September 2016 (co-organised with Luís Pina. Getting Started with Vulkan. Meetup, Imperial College London, April 2016. Imperial College London, July 2015 (co-organised with John Wickerson. Dagstuhl Seminar 13142 on.