KindSoft http://kind.ucd.ie/ KindSoftware: Software Engineering with Applied Formal Methods Emacs 22.3.2 en Wed, 23 Dec 2009 12:07:00 GMT Wed, 23 Dec 2009 12:07:00 GMT Joe Kiniry is on the Program Committee of CBSE 2010 and PMMPS 2010. http://kind.ucd.ie/documents/news/2009.html Wed, 23 Dec 2009 12:07:00 GMT Kiniry-PC-CBSE-PMMPS-2010 Joe Kiniry has accepted an Associate Professor position at IT University of Copenhagen (ITU). http://kind.ucd.ie/about/people/jrk.html Mon, 2 Nov 2009 15:07:00 GMT ITU A paper on configuration processes by Mikoláš Janota et al. was accepted to SOFSEM '10. http://kind.ucd.ie/documents/published Sun, 11 Oct 2009 15:07:00 GMT SOFSEM10 Eight new MSc students have joined the group. http://kind.ucd.ie/about/people/ Thu, 27 Aug 2009 15:07:00 GMT MSc09 Joe Kiniry is on the Program Committee of ICECCS 2010. http://kind.ucd.ie/documents/news/2009.html Tues, 25 Aug 2009 17:20:00 GMT Kiniry-PC-ICECCS2010 A paper, "A Verification-centric Software Development Process for Java," by Joe Kiniry and Dan Zimmerman> is being presented by Dan in Korea at QSIC 2009. http://kind.ucd.ie/documents/news/2009.html Mon, 10 Aug 2009 09:38:00 GMT Janota-STTI09 Mikoláš Janota presented the command line library CLOPS at DSL WC. http://kind.ucd.ie/documents/news/2009.html Thu, 23 Jul 2009 14:00:00 GMT Janota-DSLWC09 Mikoláš Janota was invited to give a talk at a Czecho-Slovakian conference on current trends in theoretical computer science and wrote a blogpost about it. http://kind.ucd.ie/documents/news/2009.html Sun, 14 Jun 2009 21:30:00 GMT Janota-STTI09 Joe Kiniry is on the Program Committee of VSTTE 2010, RE-VOTE 2009, and SAVCBS 2009. http://kind.ucd.ie/documents/news/2009.html Fri, 15 May 2009 21:55:00 GMT Kiniry-PCs-May Joe Kiniry was invited to participate in four Schloss Dagstuhl seminars this year, and is co-running one of his own. http://kind.ucd.ie/documents/news/2009.html Fri, 15 May 2009 21:55:00 GMT Kiniry-Dagstuhls "CLOPS: A DSL for Command Line Options" was accepted to DSL WC. http://kind.ucd.ie/documents/published/ Tue, 14 Apr 2009 00:00:00 GMT CLOPS-accepted-announce Postdoc position soon open. http://kind.ucd.ie/about/positions/ Tue, 23 Dec 2008 13:09:00 GMT CHARTER-postdoc-pre-announce Final release of ESC/Java2. http://kind.ucd.ie/products/opensource/ESCJava2 Tue, 2 Dec 2008 18:50:00 GMT ESCJava2-release Joe Kiniry is on the Program Committee of CBSE 2009. http://kind.ucd.ie/documents/news/2008.html Mon, 1 Dec 2008 18:50:00 GMT CBSE09 Mikoláš Janota gave a presentation on interactive model construction at MODELS 2008. http://kind.ucd.ie/documents/news/2008.html Sun, 12 Sep 2008 20:00:00 GMT MODELS08-talk A configurator using a SAT solver is available for download. /products/opensource/Config Sun, 12 Sep 2008 19:55:00 GMT Config-release Mikoláš Janota gave a talk on the use of a SAT solver in configuration at ASPL '08. http://kind.ucd.ie/documents/news/2008.html Sun, 12 Sep 2008 19:50:00 GMT ASPS08-talk Joe Kiniry is on the Program Committee of TOOLS 2009. http://kind.ucd.ie/documents/news/2008.html Wed, 1 Oct 2008 15:55:00 GMT TOOLS09 Joe Kiniry is co-chair of the VSTTE 2008 workshop 'VS-EXPERIMENTS: Experiments in Verified Software.' http://kind.ucd.ie/documents/news/2008.html Mon, 18 Aug 2008 09:45:00 GMT VS-EXPERIMENTS08 Mikoláš Janota visited his collaborator Andrzej Wąsowski at the IT University of Copenhagen. http://kind.ucd.ie/documents/news/2008.html Sun, 17 Aug 2008 13:00:00 GMT ITU-visit Joe Kiniry is giving a course entitled 'Verification-centric Software Engineering' at the GLOBAN Summer School in September 2008. http://kind.ucd.ie/documents/news/2008.html Mon, 11 Aug 2008 13:00:00 GMT GLOBAN08 Mikoláš Janota's paper 'Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax' has been accepted to MODELS 2008. http://kind.ucd.ie/documents/news/2008.html Mon, 11 Aug 2008 12:00:00 GMT MODELS08 Mikoláš Janota's paper 'Do SAT Solvers Make Good Configurators?' has been accepted to ASPL 2008. http://kind.ucd.ie/documents/news/2008.html Mon, 11 Aug 2008 13:00:00 GMT ASPL08 Joe Kiniry has been nominated as the Chair of Working Group #4: "Tool Integration" of the COST Program Action IC0701 "Formal Verification of Object-Oriented Software." He also sits on the Management Committee as he formally represents Ireland within the Action. http://kind.ucd.ie/documents/news/2008.html 11 Jun 2008 COST08 Joe Kiniry is on the Program Committee of SLE 2008. http://kind.ucd.ie/documents/news/2008.html 10 Jun 2008 SLE08 Joe Kiniry gave a talk this week on 'The Mobius Program Verification Environment' at Formal Methods 2008. http://kind.ucd.ie/documents/news/2008.html 03 Jun 2008 PVE-talk08 Joe Kiniry and Dan Zimmerman are giving a talk this week on their FM'08 paper 'Secret Ninja Formal Methods' at Formal Methods 2008. http://kind.ucd.ie/documents/news/2008.html 27 May 2008 FM08-talk Joe Kiniry is giving a talk this week on 'Verified Gaming' at the GC6 Workshop on Pilot Projects for the Grand Challenge in Verified Software at Formal Methods 2008. http://kind.ucd.ie/documents/news/2008.html 27 May 2008 VerifiedGaming Our two open senior positions are now listed on the UCD HR website. http://kind.ucd.ie/about/positions/ 14 May 2008 sensetile-positions Our ETAPS 2008 tutorial 'Verification-centric Development in Java with JML and ESC/Java2' was a big success. http://kind.ucd.ie/documents/news/2008.html 30 Mar 2008 ETAPS08 Mikoláš Janota presented a paper Formal Approach to Integrating Feature and Architecture Models, written with Goetz Botterweck, at FASE'08. http://kind.ucd.ie/documents/news/2008.html 08 May 2008 FASE08 We have one open position for a Ph.D. student and two open positions for research software and hardware engineers. http://kind.ucd.ie/about/positions/index.html 20 Feb 2008 positions Joseph Kiniry and Daniel Zimmerman's paper 'Secret Ninja Formal Methods' has been accepted to the 15th International Symposium on Formal Methods (FM 2008). http://kind.ucd.ie/documents/news/2008.html 28 Feb 2008 FM08 Joe Kiniry was an invited speaker at the British Computer Society-FACS Town Hall meeting at the BCS offices in London. His talk was titled 'Program Verification for the Masses.' http://kind.ucd.ie/documents/news/2008.html 04 Feb 2008 FACS08 Joe Kiniry is on the Program Committee of several workshops and conferences http://kind.ucd.ie/documents/news/2008.html 2 Feb 2008 ictac08 Our ETAPS 2008 tutorial 'Verification-centric Development in Java with JML and ESC/Java2' has been scheduled for 30 March 2008. http://kind.ucd.ie/documents/tutorials/etaps08.html 23 Jan 2008 etaps08 ESC/Java 2.0 b4 has been released http://kind.ucd.ie/products/opensource/ESCJava2/ 16 Jan 2008 escjava-20-b4 Joe Kiniry is on the Program Committee of CBSE 2007 http://kind.ucd.ie/documents/news/2007.html 14 Dec 2007 cbse-2007 KOA Remote Voting System http://kind.ucd.ie/products/opensource/KOA/ Mon, 10 Dec 2007 16:43:36 +0000 koa-remote-voting-system Open Source Software http://kind.ucd.ie/products/opensource/ Mon, 10 Dec 2007 16:42:55 +0000 open-source-software Published Papers http://kind.ucd.ie/documents/published/ Mon, 10 Dec 2007 16:42:23 +0000 published-papers Javafe 2.0.6 released http://kind.ucd.ie/products/opensource/JavaFE/ Mon, 10 Dec 2007 12:20:25 +0000 javafe-206-released Recent News http://kind.ucd.ie/documents/news Mon, 10 Dec 2007 12:06:36 +0000 recent-news