document.writeln('		<!DOCTYPE style PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">');
document.writeln('<style type="text/css">');
document.writeln('			<!--');
document.writeln('			#sitemason_ehXl96 .sitemason_title {');
document.writeln('				background-color: #660000;');
document.writeln('				color: #FFFFFF;');
document.writeln('				font-family: Arial, Verdana, Helvetica, sans-serif;');
document.writeln('				font-size: 12px;');
document.writeln('				font-weight: bold;');
document.writeln('				padding: 2px 4px 2px 4px;');
document.writeln('				margin: 0px;');
document.writeln('			}');
document.writeln('			');
document.writeln('			#sitemason_ehXl96 .sitemason_header {');
document.writeln('				background-color: #CCCC99;');
document.writeln('				color: #000000;');
document.writeln('				font-family: Arial, Verdana, Helvetica, sans-serif;');
document.writeln('				font-size: 12px;');
document.writeln('				font-weight: bold;');
document.writeln('				padding: 2px 4px 2px 4px;');
document.writeln('				margin: 0px;');
document.writeln('				clear: both;');
document.writeln('			}');
document.writeln('			');
document.writeln('			#sitemason_ehXl96 .sitemason_body, #sitemason_ehXl96 .sitemason_error, #sitemason_ehXl96 .sitemason_notice {');
document.writeln('				background-color: #FFFFFF;');
document.writeln('				color: #000000;');
document.writeln('				font-family: Arial, Verdana, Helvetica, sans-serif;');
document.writeln('				font-size: 12px;');
document.writeln('				font-weight: normal;');
document.writeln('				margin: 2px 8px 2px 8px;');
document.writeln('				min-height: 1px;');
document.writeln('			}');
document.writeln('			');
document.writeln('			#sitemason_ehXl96 .sitemason_error {');
document.writeln('				color: #CC0000;');
document.writeln('				margin: 8px 8px 2px 8px;');
document.writeln('			}');
document.writeln('			');
document.writeln('			#sitemason_ehXl96 .sitemason_notice {');
document.writeln('				font-weight: bold;');
document.writeln('				margin: 8px 8px 2px 8px;');
document.writeln('			}');
document.writeln('			');
document.writeln('			#sitemason_ehXl96 .sitemason_match {');
document.writeln('				font-weight: bold;');
document.writeln('			}');
document.writeln('			');
document.writeln('			-->');
document.writeln('		</style>');
document.writeln('		<table id="sitemason_ehXl96" class="sitemason_page" border="0" cellspacing="0" cellpadding="0" style="width:100%;">			<tr>');
document.writeln('					<td class="sitemason_body">');
document.writeln('		');
document.writeln('		<div>');
document.writeln('  <div class="sitemason_body" style="text-align:left; border-style:none; margin-bottom:14px; ">');
document.writeln('    <div><span style="font-weight: bold">AIM &amp; SCOPE<br />');
document.writeln('<br />');
document.writeln('</span>');
document.writeln('<div align="left">Recent years have witnessed increased research activity on the interface between logic and universal algebra. In particular, the use of algebraic methods has proved to be fruitful in the study of non-classical logics - such as modal logic, fuzzy logic, and substructural logics - with ordered structures playing a central role in this relationship. The conference aims to bring together researchers from all these research fields in order to foster collaboration and further research.<br />');
document.writeln('<br />');
document.writeln('The featured areas include, but are not limited to, the following (in alphabetical order):');
document.writeln('<div align="left">');
document.writeln('<ul>');
document.writeln('    <li>Algebraic logic</li>');
document.writeln('    <li>Algebraic theory of quasivarieties</li>');
document.writeln('    <li>Algorithmic problems in algebra</li>');
document.writeln('    <li>Applications of universal algebra to logics</li>');
document.writeln('    <li>Binary systems</li>');
document.writeln('    <li>Complexity and other algorithmic problems</li>');
document.writeln('    <li>Duality theory for algebraic structures</li>');
document.writeln('    <li>Finite axiomatizability problems</li>');
document.writeln('    <li>Modal logics</li>');
document.writeln('    <li>Non-classical logics</li>');
document.writeln('    <li>Numerical invariants of locally finite varieties</li>');
document.writeln('    <li>Ordered algebraic structures</li>');
document.writeln('    <li>Ordered topological spaces</li>');
document.writeln('    <li>Representations of lattices</li>');
document.writeln('    <li>Residuated structures</li>');
document.writeln('    <li>Substructural logics</li>');
document.writeln('    <li>Tame congruence theory and applications</li>');
document.writeln('    <li>Topological methods in algebra and logic</li>');
document.writeln('</ul>');
document.writeln('</div>');
document.writeln('<div align="left">The conference will be held in conjunction with the annual <a href="http://www.math.vanderbilt.edu/shanksconf.html">Shanks Lecture Series</a>. This year\'s Shanks lecturer is Keith Kearnes of the University of Colorado at Boulder. The scientific programme of the congress will include invited lectures and contributed talks. Researchers whose interests fit the general aims of the conference are encouraged to participate.<br />');
document.writeln('<br />');
document.writeln('All talks/lectures will be held in Stevenson Center on the Vanderbilt campus, and will begin at 9:10 a.m. on Tuesday, June 12, 2007, and end on Saturday, June 16, 2007 at 3:50 p.m.&nbsp; Lectures will be held in the following rooms: 1307, 1308, 4309, 4327, and 5211.<br />');
document.writeln('<br />');
document.writeln('This conference precedes the <a target="_blank" href="http://www.math.mcmaster.ca/uacsp2007/">&quot;Workshop on Universal Algebra and the Constraint Satisfaction Problem.&quot;</a> The workshop will be held at Vanderbilt University during June 17-20, 2007 and participants in the conference are encouraged to attend.');
document.writeln('<h4>CONTACT</h4>');
document.writeln('Please visit this site for additional information and regular updates, and use the conference e-mail address <a href="mailto:oal2007@vanderbilt.edu">oal2007@vanderbilt.edu</a> to reach the local organizers.</div>');
document.writeln('</div><br clear="all" />');
document.writeln('    </div>');
document.writeln('  </div>');
document.writeln('</div>');
document.writeln('');
document.writeln('				</td>');
document.writeln('			</tr>');
document.writeln('			</table>');