credits.html revision 3cbe795704877174d29dd463b98fd60daf0853bd
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu<html xmlns="http://www.w3.org/1999/xhtml">
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu<head>
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu<title>CoLoSS - Credits</title>
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu<link rel="stylesheet" href="main.css" type="text/css" />
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu</head>
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu<body class="secondary">
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <table>
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <tr>
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <td>
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <h3>Individuals</h3>
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu </td>
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <td />
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu </tr>
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <tr>
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <td />
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <td>
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <a href="http://www.informatik.uni-bremen.de/~lschrode/" target="_blank">PD. Dr. Lutz Schr&ouml;der</a>, Senior Researcher - Safe & Secure Cognitive Systems, DFKI Lab Bremen.
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <br />
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <a href="http://www.doc.ic.ac.uk/~dirk/" target="_blank">Dr. Dirk Pattinson</a>, Lecturer - Department of Computing, Imperial College London.
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <br /><br />
3cbe795704877174d29dd463b98fd60daf0853bdGeorgel Calin <a href="http://www.informatik.uni-bremen.de/~hausmann/" target="_blank">Dipl. Inf. Daniel Hausmann</a> - Bremen University
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <br />
3cbe795704877174d29dd463b98fd60daf0853bdGeorgel Calin B.Sc. Georgel Calin - Jacobs University Bremen.
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <br />
3cbe795704877174d29dd463b98fd60daf0853bdGeorgel Calin M.Sc. Rob Myers - Imperial College London.
3cbe795704877174d29dd463b98fd60daf0853bdGeorgel Calin <br />
3cbe795704877174d29dd463b98fd60daf0853bdGeorgel Calin Diana Timofte - Jacobs University Bremen.
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <br />
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu </tr>
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <!--
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <tr>
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <td>
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <h3>Additional Thanks</h3>
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu </td>
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <td />
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu </tr>
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <tr>
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <td />
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <td>
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu To the people from the <a href="http://www.lwb.unibe.ch/" target="_blank">LWB</a> for allowing the use of their Logics Benchmarks.
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu </td>
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu </tr>
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu -->
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu</table>
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu</body>
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu</html>