KindSoft http://kind.ucd.ie/ KindSoftware: Software Engineering with Applied Formal Methods Emacs 22.1.91.2 en Tue, 2 Dec 2008 18:50:00 GMT Tue, 2 Dec 2008 18:50:00 GMT Final release of ESC/Java2. http://kind.ucd.ie/products/opensource/ESCJava2 Tue, 2 Dec 2008 18:50:00 GMT 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 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 A configurator using a SAT solver is available for download. /products/opensource/Config/ Sun, 12 Sep 2008 19:55:00 GMT 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 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 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 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 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 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 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 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 Joe Kiniry is on the Program Committee of SLE 2008. http://kind.ucd.ie/documents/news/2008.html 10 Jun 2008 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 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 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 Our two open senior positions are now listed on the UCD HR website. http://kind.ucd.ie/about/positions/ 14 May 2008 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 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 positions 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 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 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