Kein Betreff

</i>
<p>


</p></li><li><a href=3D"http://www.tcs.hut.fi/%7Eini/" target=3D"_blank">Il=
kka Niemela</a> (Helsinki University of Technology)<br>
<i>
Stable Models and Difference Logic
</i>
<p>


</p></li><li><a href=3D"http://math.ucsd.edu/%7Eremmel/" target=3D"_blank">=
Jeff Remmel</a> (University of California at San Diego)<br>
<i>
A Mathematician Looks at Answer Set Programming
</i>
<p>


</p></li><li>
<a href=3D"http://www.ececs.uc.edu/%7Eschlipf/" target=3D"_blank">John Schl=
ipf</a> (University of Cincinnati)
and
<a href=3D"http://www.cs.kuleuven.ac.be/%7Emarcd/" target=3D"_blank">Marc D=
enecker</a> (Katholieke Universiteit Leuven)
<br>
<i>
Complexity of First Order ID-Logic
</i>
<p>


</p></li><li><a href=3D"http://www.ipipan.waw.pl/%7Emarians/" target=3D"_bl=
ank">Marian Srebrny</a> (Polish Academy of Sciences)<br>
<i>
SAT as a programming environment for linear algebra and cryptography
</i>
<p>


</p></li><li><a href=3D"http://www.cs.uky.edu/%7Emirek" target=3D"_blank">M=
iroslaw
Truszczynski</a> (University of Kentucky)<br>
<i>
Hyperequivalence of programs and operators</i></li></ul>Please, refer to <a=
 href=3D"http://isaim2008.unl.edu/" target=3D"_blank">http://isaim2008.unl.=
edu</a> for details.<br><a href=3D"http://isaim2008.unl.edu/" target=3D"_bl=
ank">
</a>

------=_Part_9675_3742428.1198158552229--