Goldsmiths College VASTT Homepage

<BODY bgcolor="#ffeee0" text="#000000" link="#9944EE" vlink="#FF0000" alink="#00ff00">  <IMG WIDTH="81" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="next_group" SRC="next_group_motif_gr.gif"> <IMG WIDTH="26" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="up" SRC="up_motif_gr.gif"> <IMG WIDTH="63" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="previous" SRC="previous_motif_gr.gif"> <A NAME="tex2html13" HREF="cfs_tf.html" TARGET="_top"> <IMG WIDTH="65" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="contents" SRC="contents_motif.gif"></A> <A NAME="tex2html2" HREF="index.html" TARGET="_top"><IMG ALIGN="BOTTOM" BORDER="0" SRC="home.gif" ALT="262"></A> <BR> &nbsp <B> <A NAME="tex2html14" HREF="cfs_tf.html" TARGET="_top">Contents</A></B> <BR><BR>  <IMG WIDTH="81" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="next_group" SRC="next_group_motif_gr.gif"> <IMG WIDTH="26" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="up" SRC="up_motif_gr.gif"> <IMG WIDTH="63" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="previous" SRC="previous_motif_gr.gif"> <A NAME="tex2html13" HREF="cfs_tf.html" TARGET="_top"> <IMG WIDTH="65" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="contents" SRC="contents_motif.gif"></A> <A NAME="tex2html2" HREF="index.html" TARGET="_top"><IMG ALIGN="BOTTOM" BORDER="0" SRC="home.gif" ALT="262"></A> <BR> &nbsp <B> <A NAME="tex2html14" HREF="cfs_tf.html" TARGET="_top">Contents</A></B> <BR><BR> <H1 ALIGN="CENTER">Goldsmiths College <A NAME="tex2html1" HREF="http://www.brunel.ac.uk/~csstmmh2/vast/" TARGET="_top">VASTT</A> Homepage</H1> <P ALIGN="CENTER"></P> <P> <DIV ALIGN="center"> <IMG SRC="reduced-logo-3.jpg" WIDTH="230" HEIGHT="229" ALT="VasTT Logo"> </DIV> <P> This is the home page for the Goldsmiths <A NAME="tex2html3" HREF="http://www.brunel.ac.uk/~csstmmh2/vast/" TARGET="_top">VASTT</A> group. It is a subset of the bigger group <A NAME="tex2html4" HREF="http://www.brunel.ac.uk/~csstmmh2/vast/" TARGET="_top">VASTT</A> . The VASTT group's work is concerned with extraction, modification and verification of systems and their components, primarily using techniques associated with slicing and testing. The group is also interested in the integration of other technologies, such as visualization and metaheuristic algorithms to produce automated and semi-automated environments for verification and analysis. <P> Our research group consists of the following people:- <P> <UL> <LI><A NAME="tex2html5" HREF="http://www.mcs.gold.ac.uk/~mas01sd/" TARGET="_top">Sebastian Danicic</A> </LI> <LI><A NAME="tex2html6" HREF="http://homepages.gold.ac.uk/jhowroyd/" TARGET="_top">John Howroyd</A> </LI> <LI><A NAME="tex2html7" HREF="http://homepages.gold.ac.uk/mikelaurence/" TARGET="_top">Michael Laurence</A> </LI> <LI><A NAME="tex2html8" HREF="http://www.mcs.gold.ac.uk/~map01lo" TARGET="_top">Lahcen Ouarbya</A> </LI> <LI><A NAME="tex2html9" HREF="http://www.mcs.gold.ac.uk/~map01mdd" TARGET="_top">Dave Daoudi</A> </LI> <LI><A NAME="tex2html10" HREF="http://www.mcs.gold.ac.uk/~mas01rmz/" TARGET="_top">Robert Zimmer</A> </LI> </UL> <P> <H1><A NAME="SECTION00010000000000000000"> Coming Events</A> </H1> <UL> <LI>The next meeting is at Wednesday 6th December 2000, at Brunel </LI> <LI><A NAME="tex2html11" HREF="http://homepages.gold.ac.uk/mikelaurence/" TARGET="_top">Michael Laurence</A> is going to Aachen to visit <A NAME="tex2html12" HREF="http://www-i2.informatik.rwth-aachen.de/noll/" TARGET="_top">Thomas Noll</A> on 6 December to give a seminar on our recent work on schemas.[<A HREF="cfs_ct.html#dhhhl-00" TARGET="contents">1</A>,<A HREF="cfs_ct.html#dhhhl-01" TARGET="contents">2</A>,<A HREF="cfs_ct.html#dhhhl-02" TARGET="contents">3</A>]. <P></LI> </UL> <P> <H1><A NAME="SECTION00020000000000000000"> Previous Meetings</A> </H1> <P> <OL> <LI>Wednesday 24th May, 2000, at Goldsmiths <BR> Sebastian Danicic, Chris Fox, Mark Harman, Rob Hierons, Lin Hu, Mike Laurence </LI> <LI>Wednesday 28th July 2000, at Goldsmiths <BR> Sebastian Danicic, Chris Fox, Mark Harman, Rob Hierons, John Howroyd, Lin Hu, Mike Laurence </LI> <LI>Wednesday 2nd August 2000, at Goldsmiths <BR> Sebastian Danicic, Chris Fox, Mark Harman, Rob Hierons, John Howroyd, Lin Hu, Mike Laurence </LI> <LI>Wednesday 23rd August 2000, at Goldsmiths <BR> Sebastian Danicic, Chris Fox, Mark Harman, John Howroyd, Lin Hu, Mike Laurence </LI> <LI>Wednesday 6th September 2000, at Goldsmiths <BR> Sebastian Danicic, Chris Fox, Mark Harman, John Howroyd, Mike Laurence, Francis Lin, Nikolay Nikolaev </LI> <LI>Wednesday 27th September 2000, at Goldsmiths <BR> Sebastian Danicic, Chris Fox, Mark Harman, John Howroyd </LI> <LI>Tueasday 21st November 2000, at Goldsmiths <BR> Sebastian Danicic, Dave Daoudi, Chris Fox, Mark Harman, Rob Hierons, John Howroyd, Mike Laurence, Lahcen Ouarbya </LI> </OL> <P> <P> <H2><A NAME="SECTION00030000000000000000"> Bibliography</A> </H2><DL COMPACT><DD><P></P><DT><A NAME="dhhhl-00">1</A> <DD> D<SMALL>ANICIC, </SMALL>S., H<SMALL>ARMAN, </SMALL>M., H<SMALL>IERONS, </SMALL>R., H<SMALL>OWROYD, </SMALL>J., <SMALL>AND </SMALL>L<SMALL>AURENCE, </SMALL>M. <BR>Decidability problems in minimal program slicing. <BR>in prerpation. <P></P><DT><A NAME="dhhhl-01">2</A> <DD> D<SMALL>ANICIC, </SMALL>S., H<SMALL>ARMAN, </SMALL>M., H<SMALL>IERONS, </SMALL>R., H<SMALL>OWROYD, </SMALL>J., <SMALL>AND </SMALL>L<SMALL>AURENCE, </SMALL>M. <BR>Deciding equivalence for schemas that are conservative, free and linear. <BR>in prerpation. <P></P><DT><A NAME="dhhhl-02">3</A> <DD> D<SMALL>ANICIC, </SMALL>S., H<SMALL>ARMAN, </SMALL>M., H<SMALL>IERONS, </SMALL>R., H<SMALL>OWROYD, </SMALL>J., <SMALL>AND </SMALL>L<SMALL>AURENCE, </SMALL>M. <BR>Slicing using schemas. <BR>in prerpation. </DL> </SMALL> <P> <P> <center><IMG SRC=gcaa.gif Height=50 Width=70 ALIGN=CENTER><BR> <H2 ALIGN=left><BR>VasTT</H2><BR></center> <BR> <H2 CLASS="TOC"><A NAME="SECTION00040000000000000000"> Contents</A> </H2>  <DL> <DT><A NAME="tex2html27" HREF="cfs_mn.html" TARGET="main"><SMALL>Coming Events</SMALL></A> <DT><A NAME="tex2html28" HREF="cfs_mn.html#SECTION00020000000000000000" TARGET="main"><SMALL>Previous Meetings</SMALL></A> <DT><A NAME="tex2html29" HREF="cfs_mn.html#SECTION00030000000000000000" TARGET="main"><SMALL>Bibliography</SMALL></A> <DT><A NAME="tex2html30" HREF="cfs_mn.html#SECTION00040000000000000000" TARGET="main"><SMALL>Contents</SMALL></A> </DL>  <DIV><IMG SRC="gcaa.gif" Height=50 Width=70 ALT="VASTT" > </DIV></SMALL> <HR>  <IMG WIDTH="81" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="next_group" SRC="next_group_motif_gr.gif"> <IMG WIDTH="26" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="up" SRC="up_motif_gr.gif"> <IMG WIDTH="63" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="previous" SRC="previous_motif_gr.gif"> <A NAME="tex2html13" HREF="cfs_tf.html" TARGET="_top"> <IMG WIDTH="65" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="contents" SRC="contents_motif.gif"></A> <A NAME="tex2html2" HREF="index.html" TARGET="_top"><IMG ALIGN="BOTTOM" BORDER="0" SRC="home.gif" ALT="262"></A> <BR> &nbsp <B> <A NAME="tex2html14" HREF="cfs_tf.html" TARGET="_top">Contents</A></B> <HR> <ADDRESS> <IMG SRC="gcaa.gif" Height=50 Width=70 ALIGN=right ALT="VASTT"> <DIV ALIGN=left>Mathematical and Computing Sciences<BR> <A HREF="index.html" TARGET="_top">VASTT</A> <BR>Maintained by Sebastian Danicic <BR>Last updated 2002-02-07 <BR></DIV> </ADDRESS>