<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 5.0 Transitional//EN"
"http://www.w3.org/TR/REC-html50/loose.dtd"><HTML>
<HEAD> <LINK REL="SHORTCUT ICON" HREF="ksda2.ico">
<TITLE>KSDA - Graduate Center series</TITLE>
<META NAME="keywords" CONTENT="Differential Algebra, Kolchin,
Differential Galois Theory, Graduate Center, Hunter College,
Differential Equations, Differential Algebraic Group">
<META NAME="descriptions" CONTENT="Welcome to KSDA: Kolchin
Seminar in Differential Algebra, City University of New York">
<!-- do not use underline in links --> <STYLE type="text/css"> <!-- A{text-decoration:none} A:hover{text-decoration:underline!important} --> </STYLE> <!-- caligraphic type --> <style type="text/css">span.cal{font-family:"cursive"}</style>
<!-- horizontal backspace --> <style type="text/css">span.bksp10{margin-left: -10px}</style> <!--Example use, successful- this is<span class="bksp10"></span>a test<br> You can use backspace to make overlapped symbols: <font size="4">¯</font><span class="bksp10"></span><I>A</I> is $\bar A$.-->
<style type="text/css">span.bksp5{margin-left: -5px}</style><!-- Example use successful: displays product with upper and lower limits aligned: Note the use of doubled sup and sub. ∏<sup><sup>1</sup></sup><span class="bksp5"><sub><sub>1</sup></sub></span>-->
<!--Example for integral with limits: <B>∫</B><I><sup><sup>x</sup></sup><span class="bksp5"><sub><sub>a</sub></sub></span></I> <I>f</I>(<I>t</I>)<I>dt</I>-->
<!-- to have blinking text: adjust width=scrollamount, and scrolldelay and use sparingly Source:
http://www.wikihow.com/Make-Blinking-Text-Without-the-Text-Tag-or-JavaScript
https://developer.mozilla.org/en-US/docs/Web/HTML/Element/marquee
width is about 6 (in px) per character -->
<!-- Using marquee to blink 3 times (see i:\html\marquee.htm)
scrollamount and width should be width of text
Use box (style="border:1px solid red") to measure the width of the text
by setting
width=scrollamount="textwidth" ; the text should blink 3 times and stay
at same position of the box. For "Tuesday ", width is
62px.-->
<!-- Success examples: <marquee behavior="slide" direction="right" loop="3" width="62" scrollamount="62" scrolldelay="500">
Tuesday
</marquee>(Friday Schedule)<br>
<b><FONT color="000000" size="4"> <font color="red"><marquee behavior="slide" direction="right" loop="3" width="72" scrollamount="72" scrolldelay="500" style="border:1px solid red">
Tuesday
</marquee>(Friday Schedule)</font></FONT></b>
-->
<!-- Math ML example:
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mstyle displaystyle="true" scriptlevel="0">
<msubsup>
<mo>∫<!-- +" --></mo>
<mi>a</mi>
<mi>x</mi>
</msubsup>
<mi>f</mi>
<mo stretchy="false">(</mo>
<mi>t</mi>
<mo stretchy="false">)</mo>
<mspace width="thinmathspace" />
<mi>d</mi>
<mi>t</mi>
</mstyle>
</math>
-->
<!-- use the following to allow math fonts like \(\mathfrak g\) in text -->
<script type="text/javascript" async
src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-MML-AM_CHTML" async></script>
</HEAD>
<BODY BGCOLOR="#CCCCFF" TEXT="#000000" LINK="#0000FF" VLINK="#0000FF" ALINK="#0000FF"> <FONT face="Arial, Times Roman, Lucida Console, Arial"><!-- 001 Face only-->
<!-- KSDA and CUNY logo --> <table width="100%" bgcolor="#003399"> <tr><td> <FONT SIZE=6 COLOR="#FFFFFF">Kolchin Seminar in Differential Algebra</FONT></td>
<td><a href="http://www.cuny.edu"><img src="cuny.bmp"
border=0></a></td> </tr></table>
<!-- KSDA Links and GC address --> <table> <tr><td>
<!-- KSDA Links -->
<table> <tr><td width="150">• <a href="index.html">KSDA Home</a> </td><td width="30"> </td><td width="300">• <a href="gradcenter2018.html">Graduate Center Series</a> </td><td width="30"> </td><td width="250">• <a href="hunter.html">Hunter College Series</a></td> </tr><tr> <td>• <a href="people.html">People</a> </td><td width="30"> </td><td width="150">• <a href="posted.html">Posted Papers</a></td> </td><td width="30"> </td><td width="150">• <a href="conference.html">Conferences</a> </td></tr> </table> </td> <td width="50"></td>
<!-- End of KSDA Links, Start of GC address -->
<td width="400">The Graduate Center<br> 365 Fifth Avenue, New York, NY 10016-4309<br> General Telephone: 1-212-817-7000<br> </td></tr></table>
<!-- End of KSDA Links and GC address -->
<HR SIZE="20" width="100%" color="#003399">
<!-- Current Schedule -->
<font size="5"> <b>Academic Year 2018–2019</b> </font> <br>
<!--<B>All KSDA meetings will start at 10:15 a.m. on Fridays (exceptions will be noted in red) in <a href="#info">Room 5382</a> of the Graduate Center. Informal sessions begin at 2:00 p.m. and last till 4:00 p.m. Occasionally, we may schedule formal talks during the 2:00 to 4:00 pm period, or on Saturdays at Hunter College, <a href="#info">Room E920</a>, and these will be announced. Cancellation due to inclement weather will follow CUNY guideline and policy and will be posted accordingly.<br></B> -->
<!--<p><font size="4" color="red">
<B>Alerts:</B></font> The program for AMS Special Sessions has moved to <a href="AMS2017.html">AMS2017</a>. Authors who would like to post their slides and/or paper may send them to William Sit mailto:
<wsit@ccny.cuny.edu>.-->
<!--The <font color="red"><b>2017 Spring Ellis R. Kolchin Lecture</b></font> at Columbia University will be given by Prof. Dennis Gaitsgory on Friday, February 17, 2017 at 5pm in Room 203, Mathematics Building. For abstract and details, please click <a href="http://www.math.columbia.edu/2017/01/30/spring-2017-ellis-r-kolchin-memorial-lecture-by-prof-dennis-gaitsgory/">
Tamagawa Number Formula over Function Fields</a>. Open to the public.-->
<!-- Click <a
href="https://groups.google.com/forum/?fromgroups=#!topic/comp.infosystems.www.authoring.html/L2cSQgaAFK0">
here</a>
For relational symbols: click <a href=" http://www.webstandards.org/learn/reference/charts/entities/symbol_entities/">here</a>.
Codes for common special characters.
The 21xx codes display a larger font than the 1D5xx codes. The interline spacing is increased to triple line spacing.<br>
Blackboard Bold using unicode
𝔸A
𝔹B
ℂC
𝔻D
𝔼E
𝔽F
𝔾G
ℍH
𝕀I
𝕁J
𝕂K
𝕃L
𝕄M
ℕN
𝕆O
ℙP
ℚQ
ℝR
𝕊S
𝕋T
𝕌U
𝕍V
𝕎W
𝕏X
𝕐Y
ℤZ
ℵ Aleph
··· interpunct \cdots
$hellip; \dots
∞ \infty
<font face="cursive">CB</font>
<font face="Script">O</font>
https://www.toptal.com/designers/htmlarrows/math/
-->
<!-- general format for entries, January, 2019
<p><p><b><FONT color="000000" size="4"> Friday, January 30, 2015, 10:15–11:30 a.m. <a href="#info">Room 5382</a> </b> </p> <BLOCKQUOTE> <b>name and affiliation </b><br> Title: TBA</FONT> <p>abstract </BLOCKQUOTE> -->
<p><p><FONT color="000000" size="4"> <b>As of February, 2018, please note that the most up-to-date information on current Kolchin Seminar will be at <a href="https://cs.nyu.edu/~pogudin/ksda">https://cs.nyu.edu/~pogudin/ksda</a>.<br>
</b></FONT>
<!--<p><font size="5" color="red"><B>ALERT: </B></font> For the Fall semester, regular seminar talks will be <font color="red">in the morning from 10:00 to 11:00</font>, unless alternative times are given.-->
<p><HR SIZE="6" width="100%" color="#003399">
<p> <font size="4">Last updated on <B>May 15, 2019</B>. For Schedules, lecture notes and additional material, see under (or click): <br> • <a href="#current"><B>Current Schedule</B> • </a><a href="#past"> Spring 2019</a> • <a href="#year">Past Years</a></font>
<!--ALERTS GO HERE
<p><font size="5" color="red"><B>SNOW ALERT:</B></font> When a snow storm is forecast, this seminar will follow the decision of the <a
href="http://gc.cuny.edu/News-Events-Public-Programs/GC-Announcements">Graduate
Center</a>. If the Graduate Center is closed, the seminar will be canceled. Otherwise, it will take place as scheduled, although individuals should decide on their own whether it is safe to travel. If the speaker is not available and informs the organizers in time, we will post a cancelation.<br> <p><font size="5" color="red"><B>For February 10, 2017, there has been no closing announcement from CUNY, and the speaker is available. Morning and afternoon informal seminar as scheduled.</B></font>
-->
<p> <a name="current"></a>
<!-- default font size for abstracts is size 3-->
<!-- general format for entries, 2018-->
<!--<p><p><FONT color="000000" size="4"> <b>Friday, Feb 1, 2019, 10:15–11:30 a.m. <a href="#info">Room 5382</a> </b> </p></FONT>
<BLOCKQUOTE>
<FONT color="000000" size="4"><b>name and affiliation </b><br> Title: TBA</FONT>
<p>abstract
</BLOCKQUOTE>
-->
<HR width="100%" color=#003399 SIZE=14><table width="100%"> <tr><td width="110" height="96"VALIGN=TOP>
<Font size="5"><b>Current Schedule</b></Font>
<!--
<p><p><FONT color="000000" size="4"> <b>Friday, Feb 1, 2019, 10:15–11:30 a.m. <a href="#info">Room 5382</a> </b> </p></FONT>
<BLOCKQUOTE>
<FONT color="000000" size="4"><b>name and affiliation </b><br> Title: TBA</FONT>
<p>abstract
</BLOCKQUOTE>
-->
<p><p><FONT color="000000" size="4"> <b><font color="red">Thursday, May 30, 2019, 10:15–11:30 a.m. </font><a href="#info">Room 5382</a> </b> </p></FONT>
<BLOCKQUOTE>
<FONT color="000000" size="4"><b>Maria Pia Saccomani, University of Padova</b><br>Structural Identifiability of Rational ODE Models in Biological Systems:<br> A Real-World Application of Differential Algebra</FONT>
<p>ODE models used to describe biological systems often depend on many unknown parameters. Structural identifiability concerns the uniqueness of the model parameters as determined from input-output data, under ideal conditions of noise-free observations. It is thus a prerequisite for parameter estimation to provide reliable and accurate results from experimental data. Often these ODE models consist of rational or even polynomial differential equations. In this context, the aims of this talk are
<ol> <li> to present a differential algebra method to test structural identifiability based on the structure of the characteristic set of the differential ideal generated by the polynomials defining the model,
<li> to explain the important role played by the model initial conditions in the characteristic set and the role of a system-theoretic property called accessibility, crucial to correctly check identifiability,
<li>to illustrate how one can combine our structural identifiability test with practical identifiability approaches in order to calculate either all the multiple parameter solutions of a locally identifiable model or, the analytic relations between the infinite number of solutions of a nonidentifiable model. These different solutions are equivalent to describe the observable input-output behaviour but they generally yield different dynamic behaviours of unmeasurable variables, whose prediction is often the main goal of mathematical modeling.
</ol>
The relevance of structural identifiability analysis in biological modeling is shown by some recent examples including HIV and oncological models. Structural identifiability is tested with our freely available software DAISY (Differential Algebra for Identifiability of Systems).
</BLOCKQUOTE>
<p><HR SIZE="6" width="100%" color="#003399">
<HR width="100%" color=#003399 SIZE=14><table width="100%"> <tr><td width="110" height="96"VALIGN=TOP>
<font size="6"><b>The Kolchin Seminars</b></font></td> <td><FONT color="000000"> <p><b>Kolchin Seminar in Differential Algebra.</B> For 2019 Spring semester, KSDA meets most Fridays from <font color="#ff0000"><b>10:15</b></font> to <font color="#ff0000"><b>11:30 a.m.</b></font> at the Graduate Center. Occasional talks may also be scheduled from <font color="#ff0000"><b>14:00</b></font> to <font color="#ff0000"><b>15:30</b></font> (or beyond) or at Hunter College or other venues on some Saturdays and Sundays. The purpose of these meetings is to introduce the audience to differential algebra and related topics. Most lectures will be suitable for graduate students and faculty and will often include open problems. Presentations will be made by visiting scholars, local faculty, and graduate students.
<p><b>Kolchin Seminar in Differential Algebra, informal sessions</B>. This informal discussion series began during the Spring Semester of 2009 and although unannounced normally, has been held regularly since. Occasionally, for various reasons, we may also schedule guest speakers in the afternoon. For Spring 2019, informal sessions run approximately <B>from 14:00 to 16:00</B> in Room 5382 and sometimes start earlier and ends much later. The start time and topics will be announced during or after the talks (and if not, check with the organizers). We may also hold informal sessions in the morning from 10:30 am to 12:00 noon when there is no scheduled morning seminars. All are welcome. </p>
</font>
</td></tr>
<a name="info"></a>
<tr><td width="110" height="96"VALIGN=TOP>
<a href="http://math.gc.cuny.edu"><img src="gc_logo.gif"
border=0></a></td><td>
<p><I>Unless the contrary is indicated,</I> all meetings will be in <font color="#ff0000"><b>Room 5382</b></font>. This room may be difficult to find; please read the following directions. When you exit the elevator on the 5th floor, there will be doors both to your left and to your right. Go through the doors where you see the computer monitors, then turn left and then immediately right through two glass doors. At the end of the corridor, go past another set of glass doors and continue into the short corridor directly in front of you. Room 5382 is the last room on your right.<br>
We sometimes hold joint seminars with the Model Theory and Logic Workshop in Room 6417, which is on the 6th floor.<P><B>Security.</B> When you go to the GC you will have to sign in, and it is required that you have some photo ID with you. For directions to the Graduate Center, and for more on security requirements for entering the premise, please click <a
href="http://www.gc.cuny.edu/About-the-GC/Building-Venues-Particulars/Building-Access">here</a>
(updated 2019).
<p>For other seminars of the Mathematics Department at the Graduate Center, please click <a href="http://www.gc.cuny.edu/Page-Elements/Academics-Research-Centers-Initiatives/Doctoral-Programs/Mathematics/Seminars">
here</a>.
</font>
</td></tr>
<a name="hunter"></a>
<tr><td width="180"><a href="http://math.hunter.cuny.edu"><img
src="hunterlogo.gif" border=0></a> </td> <td> <p><b>Hunter College meetings.</b> Occasionally, we also meet on a Saturday and/or Sunday at <font color="red"><b> Hunter College</b></font>. Hunter College is on 68th Street and Lexington Avenue, where the No. 4,5,6 subways stop. Hunter College has several buildings, including Hunter East (HE), Hunter West (HW), and Hunter North (HN). On weekends, you need to enter from the West Building (a photo ID is required), go up the escalator to the third floor (if necessary, walk across the bridge over Lexington Avenue to the East Building, or across the bridge over 68th Street to the North Building), and take the elevator (ask for direction to the bank of elevators) or escalator to the floor of the meeting room (for example, HN 1036 is on the 10th floor of the North Building).<!--before the Library to the 9th floor. Room 920 is located in a north-east corner. --> <br>
</td></tr></table>
<HR SIZE="6" width="100%" color="#003399"><a name="past"></a>
<B><font size="5" color="003399">Past Lectures, Fall, 2018</font></B><br>
<p><HR SIZE="6" width="100%" color="#003399"><a name="prelim"></a>
<p><p><FONT color="000000" size="4"> <b>Friday, February 15, 2019, 10:15–11:30 a.m.<a href="#info">Room 5382</a> </b> </p></FONT>
<BLOCKQUOTE>
<FONT color="000000" size="4"><b>Jason Bell, University of Waterloo</b><br>Invariant Hypersurfaces and Ideals Invariant Under an Endomorphism or a Derivation </FONT>
<p>We prove a general geometric theorem, which in the affine case can be phrased as follows: Suppose that <I>k</I> is a field of characteristic zero, <I>R</I> (an integral domain) and <I>S</I> are finitely generated commutative <I>k</I>-algebras, and <I>f</I>, <I>g</I> : <I>R</I> → <I>S</I> are injective <I>k</I>-algebra homomorphisms with the property that <I>f</I>(<I>R</I>) and <I>g</I>(<I>R</I>) do not contain zero divisors of <I>S</I> other than zero. Then if the set of (pure) height one radical ideals <I>I</I> of <I>R</I> such that the radical of <I>f</I>(<I>I</I>)<I>S</I> is equal to the radical of <I>g</I>(<I>I</I>)<I>S</I> is infinite, there is some <I>h</I> in the field of fractions of <I>R</I> that is not in <I>k</I> such that <I>f</I> (<I>h</I>)=<I>g</I>(<I>h</I>), where we have extended <I>f</I> and <I>g</I> to the fraction field of <I>R</I> in the natural way using the fact that <I>f</I>(<I>R</I>) and <I>g</I>(<I>R</I>) do not contain zero divisors other than zero. We show that this has numerous, somewhat unexpected applications, including recovering the work of Cantat on rational dynamics and the work of Jouanolou and Hrushovski on
<I>δ</I>-invariant ideals of a ring <I>A</I>, where <I>δ</I> is a derivation of <I>A</I>
<p>For a review of the talk, please click <a href="https://youtu.be/cNmqTNFp3sw">video</a>.
</BLOCKQUOTE>
<p><p><FONT color="000000" size="4"> <b>Friday, Feb 15, 2019, <font color="red">14:00–15:00 a.m. </font><a href="#info">Room 5382</a> </b> </p></FONT>
<BLOCKQUOTE>
<FONT color="000000" size="4"><b>Harm Derksen, University of Michigan </b><br>Singular Values of Tensors</FONT>
<p><I>This is a joint talk with the <a href="http://qcpages.qc.cuny.edu/~aovchinnikov/seminar.html">Courant/CUNY symbolic-numeric seminar</a>.</I></p>
Tensor decompositions have many applications, including chemometrics and algebraic complexity theory. Various notions, such as the rank and the nuclear norm of a matrix, have been generalized to tensors. In this talk I will present a new generalization of the singular value decomposition to tensors that shares many of the properties of the singular value decomposition of a matrix.
<p>For a review of the talk, please click <a href="https://www.youtube.com/watch?v=soXt00aIxmY">video</a>.
<p>For a copy of the slides, please click <a href="http://qcpages.qc.cuny.edu/~aovchinnikov/slides-Derksen.pdf">slides</a>.
</BLOCKQUOTE>
<p><p><FONT color="000000" size="4"> <b>Friday, Feb 22, 2019, <font color="red">14:00–15:00 </font><a href="#info">Room 5382</a> </b> </p></FONT>
<BLOCKQUOTE>
<FONT color="000000" size="4"><b> Malabika Pramanik, University of British Columbia
</b><br>Analysis and Geometry of Sparse Sets</FONT>
<p>Pattern identification in sets has long been a focal point of interest in analysis, geometry, combinatorics and number theory. No doubt the source of inspiration lies in the deceptively simple statements and the visual appeal of these problems. For example, when does a given set contain a copy of your favourite pattern (say specially arranged points on a line or a spiral, the vertices of a polyhedron or solutions of a functional equation)? Does the answer depend on how thin the set is in some quantifiable sense?
Here is another problem. Curves and surfaces form a class of thin sets in Euclidean space that is rich in analytic and geometric structure. They form the central core in many problems in harmonic and complex analysis (such as restriction phenomena and integral transforms) and play an important role in the study of partial differential equations with a geometric flavour. How well do properties of surfaces and submanifolds carry over to the setting of an arbitrary sparse set with no differential-geometric structure?
Problems of this flavour fall under the category of geometric measure theory. Under varying interpretations of size, they have been vigorously pursued both in the discrete and continuous setting, often with spectacular results that run contrary to intuition. Yet many deceptively simple questions remain open. I will survey the literature in this area, emphasizing some of the landmark results that focus on different aspects of the problem.
</BLOCKQUOTE>
<p><p><FONT color="000000" size="4"> <b>Friday, March 1, 2019, 10:15–11:30 a.m. <a href="#info">Room 5382</a> </b> </p></FONT>
<BLOCKQUOTE>
<FONT color="000000" size="4"><b> Carlos Arreche, University of Texas at Dallas
</b><br>Differential Transcendence of Elliptic Hypergeometric Functions Through Galois Theory </FONT>
<p>Elliptic hypergeometric functions arose roughly 10 years ago as a generalization of classical hypergeometric functions and <I>q</I>-hypergeometric functions. These special functions enjoy remarkable symmetry properties, like their more classical counterparts, and find applications in mathematical physics. After interpreting one of these symmetries as a linear difference equation over an elliptic curve, we apply the differential Galois theory of difference equations to show that these functions are always differentially transcendental for generic values of the parameters. This is joint work with Thomas Dreyfus and Julien Roques.
<p>For a review of the talk, please click <a href="https://youtu.be/SrmUzLTWXLI">video</a>.
<p>For a copy of the slides, please click <a href="PostedPapers/Arreche030119.pdf">slides</a>.
</BLOCKQUOTE>
<p><p><FONT color="000000" size="4"> <b>Friday, March 8, 2019, <font color="red">No Seminar</font></b> </p></FONT>
<p><p><FONT color="000000" size="5"> <b><font color="red">Monday, March 11, 2019 to Saturday, March 16, 2019 at CUNY/Courant</font> </b></FONT></p>
<BLOCKQUOTE>
<FONT color="000000" size="5"><b>Workshop on Model Theory, Differential/Difference Algebra, and Applications</b></FONT>
</BLOCKQUOTE>
<UL>
<li><p><p><FONT color="000000" size="4"> <b>Monday, March 11, 2019, 14:00–14:30; Room 3207 (Graduate Center, CUNY)</b> </p></FONT>
<BLOCKQUOTE>
<p>Discussions
</BLOCKQUOTE>
<li><p><p><FONT color="000000" size="4"> <b>Monday, March 11, 2019, 14:30–15:30; Room 3207 (Graduate Center, CUNY)</b> </p></FONT>
<BLOCKQUOTE>
<FONT color="000000" size="4"><b>Joel (Ronnie) Nagloo, City University of New York</b><br> The Generic Schwarz Triangle Equations</FONT>
<p>In this talk, I will focus on the ODEs satisfied by the Schwarz triangle functions. These are the conformal mappings from the circular triangles (in ℂ) onto the complex unit disk. I will explain how, building on my recent joint work with Casale and Freitag on the genus zero Fuchsian groups, one can give a full description of the structure of the set of solutions of a generic Schwarz triangle equation. More precisely, I will explain how one can show that the solution set is strongly minimal and also strictly disintegrated, that is, there are no algebraic relations between distinct solutions (including their derivatives).
<p>For a review of the talk, please click <a href="https://youtu.be/8bS5qgN_GVo">video</a>.
</BLOCKQUOTE>
<li><p><p><FONT color="000000" size="4"> <b>Monday, March 11, 2019, 15:30–16:00; Room 3207 (Graduate Center, CUNY) </b> </p></FONT>
<BLOCKQUOTE>
<p>Discussions
</BLOCKQUOTE>
<li><p><p><FONT color="000000" size="4"> <b>Monday, March 11, 2019, 16:00–17:00; Room 4214.03 (Graduate Center, CUNY)</b> </p></FONT>
<BLOCKQUOTE>
<li><p><p><FONT color="000000" size="4"> <b>Tuesday, March 12, 11:45–12:45; Room 3207 (Graduate Center, CUNY) </b> </p></FONT>
<BLOCKQUOTE>
<FONT color="000000" size="4"><b>Michael Wibmer, University of Notre Dame</b><br> On the Dimension of Systems of Algebraic Difference Equations </FONT>
<p>We introduce and study a notion of dimension for the solution set of a system of algebraic difference equations. This dimension measures the degrees of freedom when determining a solution in the ring of sequences. This number need not be an integer, but as we show, it satisfies properties suitable for a notion of dimension. We also show that the dimension of a difference monomial is given by the covering density of its set of exponents.
<p>For a review of the talk, please click <a href="https://youtu.be/EzzGS1OjUv0">video</a>.
</BLOCKQUOTE>
<li><p><p><FONT color="000000" size="4"> <b>Tuesday, March 12, 12:45–13:45; Room 3207 (Graduate Center, CUNY) </b> </p></FONT>
<BLOCKQUOTE>
<FONT color="000000" size="4"><b>Ivan Tomaai, Queen Mary University</b><br>A Topos-Theoretic View of Difference Algebra</FONT>
<p>Abstract difference algebra was founded by Ritt in the 1930s as the study of algebraic structures equipped with distinguished endomorphisms. This approach has a long and productive history, but attempts to develop methods of homological algebra within this context quickly reach insurmountable obstacles.
We will show how to use the methods of topos theory and categorical logic to resolve these issues and to elevate the study of difference algebraic geometry to the level of classical algebraic geometry.
<p>For a review of the talk, please click <a href="https://youtu.be/81bkd5zobiU">video</a>.
<p>For a copy of the slides, please click <a href="PostedPapers/Tomasic031219.pdf">slides</a>.
</BLOCKQUOTE>
<li><p><p><FONT color="000000" size="4"> <b>Tuesday, March 12, 2019, 14:00–15:00; Room 3205 (Graduate Center, CUNY)</b> </p></FONT>
<BLOCKQUOTE>
<p>Discussions
</BLOCKQUOTE>
<li><p><p><FONT color="000000" size="4"> <b>Wednesday, March 13, 2019, 15:10–18:00; Room 805 Warren Weaver Hall, Courant Institute (251 Mercer Street, Manhattan)</b> </p></FONT>
<BLOCKQUOTE>
<p>Discussions
</BLOCKQUOTE>
<li><p><p><FONT color="000000" size="4"> <b>Thursday, March 14, 11:45–12:45; Room 3309 (Graduate Center, CUNY) </b> </p></FONT>
<BLOCKQUOTE>
<FONT color="000000" size="4"><b>Wei Li, Chinese Academy of Sciences</b><br>Sparse Resultants in Differential and Difference Algebra: An Overview </FONT>
<p>The (sparse) resultant, which gives conditions for an over-determined system of polynomial equations to have common solutions, is a basic concept in algebraic geometry, and emerges to be one of the most powerful computational tools in (sparse) elimination theory due to its ability to eliminate several variables simultaneously. In recent years, a theory has been developed for these analogous concepts in differential and difference algebra, and many new problems have arisen. In this talk, I will give an overview of the progress we have made in this area, and present several open problems.
<p>For a review of the talk, please click <a href="https://youtu.be/MOkzQwjjaRo">video</a>.
<p>For a copy of the slides, please click <a href="PostedPapers/WeiLi031419.pdf">slides</a>.
</BLOCKQUOTE>
<li><p><p><FONT color="000000" size="4"> <b>Thursday, March 14, 12:45–13:45; Room 3309 (Graduate Center, CUNY) </b> </p></FONT>
<BLOCKQUOTE>
<FONT color="000000" size="4"><b>James Freitag, University of Illinois at Chicago
</b><br>Algebraic Relations Between Solutions of Painlevé Equations</FONT>
<p>In this talk we will explain the origin and importance of Painlevé equations, before addressing the central question of the talk. What are the algebraic relations between solutions of Painlevé equations? The work of Pillay and Nagloo brought this question into focus, and following recent work of Nagloo on the sixth Painlevé equation, we can now give a complete answer when at least one coefficient in one of the equations we consider is transcendental. This is joint work with Ronnie Nagloo.
</BLOCKQUOTE>
<li><p><p><FONT color="000000" size="4"> <b>Thursday, March 14, 2019, 14:00–15:00; Room 4214.03 (Graduate Center, CUNY)</b> </p></FONT>
<BLOCKQUOTE>
<p>Discussions
</BLOCKQUOTE>
<li><p><p><FONT color="000000" size="4"> <b>Friday, March 15, 2019, 10:15–11:15 a.m. <a href="#info">Room 5382 (Graduate Center, CUNY)</a> </b> </p></FONT>
<BLOCKQUOTE><FONT color="000000" size="4"><b> Rémi Jaoui, University of Waterloo
</b><br>Disintegration and Planar Algebraic Vector Fields</FONT>
<p>A differential equation is disintegrated (or geometrically trivial) if any algebraic relation between an arbitrary number of its solutions can be decomposed into algebraic relations between couples of solutions. I will explain that disintegration is a typical property for complex planar algebraic vector fields of degree
<I>d</I> e" 3. This implies, for example, that the set of parameters for which this property holds has full Lebesgue measure in the parameter space of algebraic planar vector fields of degree
<I>d</I> e" 3.
<p>For a review of the talk, please click <a href="https://youtu.be/MGXjVP9T5Wc">video</a>.
</BLOCKQUOTE>
<li><p><p><FONT color="000000" size="4"> <b>Friday, March 15, 2019, 14:00–15:00, <font color="red">Room 6417 </font> (Graduate Center, CUNY)</b> </p></FONT>
<BLOCKQUOTE><FONT color="000000" size="4"><b>Rahim Moosa, University of Waterloo
</b><br>Pullbacks Under the Logarithmic Derivative</FONT>
<p>Let <I>X</I>
be the Kolchin closed set defined by an algebraic differential equation of the form
<I>Dx</I> = <I>f</I>(<I>x</I>), where <I>f</I> is a rational function over constant parameters. Rosenlicht's theorem gives us a condition on <I>f</I>
that tells us when <I>X</I>
is (in model-theoretic terms) internal to the constants. In this talk I will describe a criterion in a similar spirit answering the question of when the pullback of <I>X</I>
under the logarithmic derivative is internal to the constants. The case of nonconstant parameters will also be discussed. These are results from my student Ruizhang Jin's recent thesis, as well as further joint work.
<p>For a review of the talk, please click <a href="https://youtu.be/6HMvYwnu0MI">video</a>.
</BLOCKQUOTE>
<li><p><p><FONT color="000000" size="4"> <b>Friday, March 15, 2019, 15:00–16:00; Room 6417 (Graduate Center, CUNY)</b> </p></FONT>
<BLOCKQUOTE>
<p>Discussions
</BLOCKQUOTE>
<li><p><p><FONT color="000000" size="4"> <b>Saturday, March 16, 2019, 9:00–10:00 a.m.; room 201, Warren Weaver Hall, Courant Institute (251 Mercer Street, Manhattan) </b> </p></FONT>
<BLOCKQUOTE>
<FONT color="000000" size="4"><b>Gleb Pogudin, New York University
</b><br>Primitive Element Theorem for Fields with Commuting Derivations and Automorphisms </FONT>
<p>The Primitive Element Theorem says that every finitely generated algebraic extension of fields of characteristic zero is generated by a single element. It is a classical tool in field theory and symbolic computation. It has been generalized to partial differential fields by Kolchin in 1942 and to difference fields (with a single automorphism) by Cohn in 1965. These theorems guarantee that if an extension <I>E</I> of <I>F</I>
is finitely generated and algebraic in an appropriate sense and the ground field <I>F</I>
is "nonconstant", then the extension can be generated by a single element. These generalizations played an important role in differential/difference algebra and its applications.
<p>However, both theorems by Kolchin and Cohn imposed an extra condition for the ground field <I>F</I>
to be "nonconstant" that made them not applicable to many important extensions coming from autonomous differential/difference equations or algebraic varieties equipped with a vector field or an automorphism. In 2015, I have partially resolved this issue by strengthening Kolchin's theorem in the case of one derivation so that the condition that <I>F</I>
contains a nonconstant was replaced by a natural condition that <I>E</I>
contains a nonconstant (otherwise, the derivation would be zero).
<p>In this talk, I will describe my recent result that generalizes the primitive element theorems by Kolchin, Cohn, and myself in two directions:
<p>• the existence of a primitive element is established for fields with any number of derivations and automorphisms commuting with each other (this includes, for example, partial difference and differential-difference fields);
<p>• no extra condition on the ground field is imposed.
<p>For a review of the talk, please click <a href="https://youtu.be/QVXG-n-WcWM">video</a>.
</BLOCKQUOTE>
<li><p><p><FONT color="000000" size="4"> <b>Saturday, March 16, 2019, 10:00–11:00 a.m.; room 201, Warren Weaver Hall, Courant Institute (251 Mercer Street, Manhattan)</b> </p></FONT>
<BLOCKQUOTE>
<FONT color="000000" size="4"><b> Henry Towsner, University of Pennsylvania
</b><br>Ultraproducts: What Are They Good For?</FONT>
<p>The use of ultraproducts as a technique for proving results in algebra and differential algebra is well established. We will discuss how ultraproduct arguments can be transformed into explicit, constructive arguments. Along the way, we will be able to identify what features of a proof can make them suitable for simplifying using an ultraproduct.
<p>For a review of the talk, please click <a href="https://youtu.be/CE2dDPkq1EI">video</a>.
</BLOCKQUOTE>
<li><p><p><FONT color="000000" size="4"> <b>Saturday, March 16, 2019, 11:00–12:00; Room 605 Warren Weaver Hall, Courant Institute (251 Mercer Street, Manhattan)</b> </p></FONT>
<BLOCKQUOTE>
<p>Discussions
</UL>
<p><p><FONT color="000000" size="4"> <b>Friday, March 22, 2019, 10:15–11:30, <a href="#into">Room 5382</a> </b> </p></FONT>
<BLOCKQUOTE>
<FONT color="000000" size="4"><b>Joseph Scott, Clemson University</b><br>Rapid and Accurate Reachability Analysis for Nonlinear Systems by Exploiting Model Redundancy</FONT>
<p>The presentation will cover recent advances in techniques for rapidly and accurately propagating rigorous uncertainty bounds through complex dynamic models. In applications from autonomous aircraft to biochemical networks, the ability to quantify the effects of uncertainty is essential for designing systems that are passively robust to uncertainty, as well as for making optimal, real-time control decisions under uncertainty. Moreover, methods that can provide rigorous bounds on the system states achievable under uncertainty are uniquely useful in their ability to guarantee that a particular course of action will satisfy all relevant constraints (e.g., in aircraft collision avoidance). Although it has long been possible to compute such bounds efficiently using interval methods, the results are often too conservative to be of any practical use (i.e., the upper and lower bounds tend to ± ∞ over short time-scales). In contrast, modern bounding strategies can achieve remarkably sharp bounds, even for highly nonlinear systems with large uncertainties, but are far too costly for real-time decision making when the number of states and uncertain parameters exceeds ≈ 5. Thus, there is a critical need for an alternative approach to uncertainty propagation in nonlinear dynamic systems that is simultaneously rigorous, accurate, fast enough for real-time applications, and scalable to much larger systems.
<p>Toward this end, our key insight is that the conservatism of fast interval methods can be dramatically reduced through the use of model redundancy. Indeed, our recent work shows that bounds produced by these methods often enclose large regions of state-space that violate redundant relations implied by the dynamics, such as conservation laws, and that these can be exploited to obtain much sharper bounds for a limited class of systems. Motivated by these observations, we have developed an innovative new approach for arbitrary systems based on the deliberate introduction of model redundancy to reduce conservatism. This technique lies at interface of numerical and symbolic computing and has been shown to lead to remarkably sharp bounds at low cost in a variety of challenging applications. We will discuss the mechanisms by which redundancy leads to improved bounds, strategies for introducing redundant equations that are effective in this context, and preliminary results on automating the construction of these equations. Finally, our methods will be demonstrated on uncertain dynamic system arising in the chemical and aerospace domains.
<p>For a copy of the slides, please click <a href="PostedPapers/Scott032219.pdf">slides</a>.
<p>For a review of the lecture, please click <a href="https://youtu.be/cOalHP9HTNk">video</a>.
</BLOCKQUOTE>
<p><p><FONT color="000000" size="4"> <b>Friday, March 22, 2019, <font color="red">14:00–15:30 a.m. </font><a href="#info">Room 5382</a> </b> </p></FONT>
<BLOCKQUOTE>
<FONT color="000000" size="4"><b>Varadharaj Ravi Srinivasan, IISERM (Indian Institute of Science Education and Research Mohali</b><br>Integration in Finite Terms: Error Functions, Logarithmic Integrals and Polylogarithmic Integrals</FONT>
<p>The talk concerns the problem of integration in finite terms with special functions. Our main result extends the classical theorem of Liouville in the context of elementary functions to various classes of special functions: error functions, logarithmic integrals, dilogarithmic and trilogarithmic integrals. The results are important since they provide a necessary and sufficient condition for an element of the base field to have an antiderivative in a field extension generated by transcendental elementary functions and special functions. A special case of our main result simplifies and generalizes a theorem of Baddoura on integration in finite terms with dilogarithmic integrals. Our results can be naturally generalized to include polylogarithmic integrals and to this end, a conjecture will be stated for integration in finite terms with transcendental elementary functions and polylogarithmic integrals.
<p>This is a joint with Yashpreet Kaur.
<p>For a copy of the slides, please click <a href="PostedPapers/Srinivasan032219.pdf">slides</a>.
<p>For a review of the lecture, please click <a href="https://youtu.be/9_gYa0nC2Tw">video</a>.
</BLOCKQUOTE>
<p><p><FONT color="000000" size="4"> <b>Friday, March 29, 2019, 10:15–11:30 a.m. <a href="#info">Room 5382</a> </b> </p></FONT>
<BLOCKQUOTE>
<FONT color="000000" size="4"><b>Martin Hils, University of Münster
</b><br>Imaginaries in Separably Closed Valued Fields</FONT>
<p>Let <I>p</I> be a fixed prime number and let <I>SCV F<sub>p</sub></I>
be the first order theory of separably closed non-trivially valued fields of characteristic
<I>p</I>. In the talk, we will see that, in many ways, from a model-theoretic point of view, the step from algebraically closed VALUED fields in characteristic be the first order theory of separably closed non-trivially valued fields of characteristic
<I>p</I> to
to <I>SCV F<sub>p</sub></I>
is not more complicated than the one from algebraically closed fields to separably closed fields in characteristic <I>p</I>.
<p>At a basic level, this is true for quantifier elimination (Delon), for which it suffices to add parametrized <I>p</I>-coordinate functions to any of the usual languages for valued fields. At a more sophisticated level, in finite degree of imperfection, when a
<I>p</I>-basis is named by constants or when one just works with Hasse derivations, the imaginaries (i.e. definable quotients) are classified by the so-called geometric sorts of Haskell-Hrushovski-Macpherson, certain higher-dimensional analogs of the residue field and the value group. This classification is proved by a reduction to the algebraically closed case, using prolongations.
<p>This is joint work with Moshe Kamensky and Silvain Rideau.
<p>For a review of the talk, please click <a href="https://youtu.be/C3UY-vpGzF4">video</a>.
</BLOCKQUOTE>
<p><p><FONT color="000000" size="4"> <b>Friday, March 29, 2019, <font color="red">11:45–13:45, Room 6114</font> </b> </p></FONT>
<BLOCKQUOTE>
<FONT color="000000" size="4"><b>Peter Thompson, City University of New York</b><br> A Differential Algebra Approach to Commuting Polynomial Vector Fields and to Parameter Identifiability in ODE Models (Ph.D. defence)</FONT>
<p>In the first part, we study the problem of characterizing polynomial vector fields that commute with a given polynomial vector field. One motivating factor is that we can write down solution formulas for an ODE that corresponds to a planar vector field that possesses a linearly independent commuting vector field. This problem is also central to the question of linearizability of vector fields. We first show that a linear vector field admits a full complement of commuting vector fields. Then we study a type of planar vector field for which there exists an upper bound on the degree of a commuting polynomial vector field. Finally, we turn our attention to conservative Newton systems and show the following result. Let
<I>f</I> ∈ <I>K</I>[<I>x</I>], where <I>K</I> is a field of characteristic zero, and <I>d</I> is the derivation that corresponds to the differential equation
<I>x''</I> = <I>f</I>(<I>x</I>)
in a standard way. We show that if deg <I>f</I> e" 2, then any
<I>K</I>-derivation commuting with <I>d</I> is equal to <I>d</I>
multiplied by a conserved quantity. For example, the classical elliptic equation
<I>x</I>'' = 6<I>x</I><sup>2</sup> + <I>a</I>, where
<I>a</I> ∈ ℂ, falls into this category.
<p>In the second part, we study structural identifiability of parameterized ordinary differential equation models of physical systems, for example, systems arising in biology and medicine. A parameter is said to be structurally identifiable if its numerical value can be determined from perfect observation of the observable variables in the model. Structural identifiability is necessary for practical identifiability. We study structural identifiability via differential algebra. In particular, we use characteristic decompositions. A system of ODEs can be viewed as a set of differential polynomials in a differential ring, and the consequences of this system form a differential ideal. This differential ideal can be described by a finite set of differential equations called a characteristic decomposition. The technique of studying identifiability via a set of special equations, sometimes called "input-output" equations, has been in use for the past thirty years. However it is still a challenge to provide rigorous justification for some conclusions that have been drawn in published studies. Our work provides justification for some cases, and provides a computable condition that can be used to justify the others. We present a computable condition on the elements of the characteristic decomposition such that if this condition is satisfied, then the conclusions about identifiability drawn from this decomposition are correct. We proceed to show that all linear systems of ODEs with one observable variable satisfy this condition.
</BLOCKQUOTE>
<p><p><FONT color="000000" size="4"> <b>Friday, Apr 5, 2019, 10:15–11:30 a.m. <a href="#info">Room 5382</a> </b> </p></FONT>
<BLOCKQUOTE>
<FONT color="000000" size="4"><b> Nigel Pynn-Coates, University of Illinois at Urbana-Champaign
</b><br>Asymptotic Valued Differential Fields </FONT>
<p>The general goal is to do valuation theory for differential fields given an appropriate condition on the interaction between the valuation and the derivation. In this talk, I will consider asymptotic valued differential fields, introduced by Aschenbrenner, van den Dries, and van der Hoeven during their work on transseries, extending work of Rosenlicht. I will present analogues of three fundamental results from valuation theory that go through in this setting, concerning (differential-algebraically) maximal immediate extensions and their connection with differential-henselianity.
<p>For a review of the talk, please click <a href="https://youtu.be/8r9XaD4KRXk">video</a>.
<p>For a copy of the slides, please click <a href="PostedPapers/PynnCoates040519.pdf">slides</a>.
</BLOCKQUOTE>
<p><p><FONT color="000000" size="4"> <b>Friday, Apr 12, 2019, 10:15–11:30 a.m. <a href="#info">Room 5382</a> </b> </p></FONT>
<BLOCKQUOTE>
<FONT color="000000" size="4"><b>Richard Gustavson, Manhattan College
</b><br>Algebraic Structures from Integral Equations </FONT>
<p>Integral calculus is in general more complicated than differential calculus. For functions of one variable, integral equations involving integrals of the form
<B>∫</B><I><sup><sup>x</sup></sup><span class="bksp5"><sub><sub>a</sub></sub></span></I> <I>f</I>(<I>t</I>)<I>dt</I>,
for some unknown function <I>f</I> have been studied algebraically using the theory of Rota-Baxter algebras. In this talk we will discuss the algebraic structures of Volterra integral equations, which are equations involving integrals of the form <B>∫</B><I><sup><sup>x</sup></sup><span class="bksp5"><sub><sub>a</sub></sub></I></span> <I>K</I>(<I>x,t</I>) <I>f</I>(<I>t</I>)<I>dt</I>, for some unknown function <I>f</I>
and given kernel <I>K</I>. While there are methods for finding solutions to Volterra equations, the presence of the kernel <I>K</I>(<I>x,t</I>)
as a function of <I>x</I> and <I>t</I>
makes these equations much more difficult to study from an algebraic perspective. This talk is based on joint work with Li Guo and Yunnan Li.
</BLOCKQUOTE>
<p><p><FONT color="000000" size="4"> <b>Friday, Apr 12, 2019, <font color="red">12:15–13:45 Room 6114 </font></b> </p></FONT>
<BLOCKQUOTE>
<FONT color="000000" size="4"><b>Mengxiao Sun, Graduate Center, CUNY
</b><br>On the Complexity of Computing Galois Groups of Differential Equations (Ph.D. defense) </FONT>
<p>The differential Galois group for a linear differential equation is an analogue of the classical Galois group for a polynomial equation. An important application of the differential Galois group is that a linear differential equation can be solved by integrals, exponentials and algebraic functions if and only if the connected component of its differential Galois group is solvable. Computing the differential Galois groups would help us determine the existence of the solutions expressed in terms of elementary functions (integrals, exponentials and algebraic functions) and understand the algebraic relations among the solutions. Hrushovski first proposed an algorithm for computing the differential Galois group of a general linear differential equation. The complexity, in the worst case, of computing a Gröbner basis is doubly exponential in the number of variables. Hence, a double-exponential degree bound for computing Gröbner bases would be involved if one chooses to represent an algebraic subgroup by the generating set of its defining ideal. Triangular decomposition provides an alternative and relatively efficient method. In order to give a better bound, we represent an algebraic subgroup by the triangular sets instead of the generating sets. We apply Szántó's modified Wu-Ritt type decomposition algorithm and make use of the numerical bound for Szántó's algorithm to adapt to the complexity analysis of Hrushovski s algorithm. We present a triple exponential bound which is the degree bound of the polynomials used in the first step of Hrushovski's algorithm for finding a proto-Galois group.
</BLOCKQUOTE>
<p><p><FONT color="000000" size="4"> <b>Friday, Apr 19–28, 2019, Spring Recess. No seminar.</b>
<p><p><FONT color="000000" size="4"> <b>Friday, May 3, 2019, 10:15–11:30 a.m. <a href="#info">Room 5382</a> </b> </p></FONT>
<BLOCKQUOTE>
<FONT color="000000" size="4"><b> Jorge Vitório Pereira, Instituto Nacional de Matemática Pura e Aplicada
</b><br>Effective Integration of Polynomial Differential Equations</FONT>
<p>The plan is to discuss the following question: "Can one (algorithmically) decide if a polynomial vector field on the plane admits a rational first integral/Liouvillian first integral?" After briefly recalling the history of the analogue problem for linear differential equations, I will review some recent results on the subject obtained in collaborations with Gael
and <a href="https://arxiv.org/abs/1604.05276">Alcides Lins Neto</a> and <a href="https://arxiv.org/abs/1612.06932">Roberto Svaldi</a>.
<p>For a copy of the slides, please click <a href="PostedPapers/Pereira050319.pdf">slides</a>.
<p>For a review of the lecture, please click <a href="https://youtu.be/ZEj7WVSgE_Y">video</a>.
</BLOCKQUOTE>
<p><p><FONT color="000000" size="4"> <b>Friday, May 10, 2019, <font color="red">14:00–15:00 </font><a href="#info">Room 5382</a> </b> </p></FONT>
<BLOCKQUOTE>
<FONT color="000000" size="4"><b> Yunnan Li, Guangzhou University
</b><br>Extension of Gröbner-Shirshov Basis of an Algebra to Its Generating Free Differential Algebra</FONT>
<p>The free differential algebra on a set is well-understood as the polynomial algebra on the differential variables. More generally, a free differential algebra on an algebra can be defined, giving the left adjoint functor of the forgetful functor from differential algebras to algebras, instead of sets. Little is known for such free objects. In this talk, we show that generator-relation properties of a base algebra can be extended to the free differential algebra on this algebra. More precisely, Gröbner-Shirshov basis property of the base algebra can be extended, allowing construction of these more general free differential algebras in concrete terms. Examples are given as illustrations. Finally, the free differential Lie algebra on a Lie algebra \(\mathfrak{g}\)
are introduced and are shown to be generated within the free differential associative algebra generated by the enveloping algebra
\(U(\mathfrak{g})\) of \(\mathfrak{g}\), similar to the classical case of generating free Lie algebras in a free associative algebra.
<p>This is joint work with Li Guo.
<p>For a copy of the slides, please click <a href="PostedPapers/YunnanLi051019.pdf">slides</a>.
</BLOCKQUOTE>
<name="year"></a>
<B>Other Academic Years</B> <br><p>
<a href="gradcenter2005.html">2005–2006</a>
<a href="gradcenter2006.html">2006–2007</a>
<a href="gradcenter2007.html">2007–2008</a>
<a href="gradcenter2008.html">2008–2009</a>
<a href="gradcenter2009.html">2009–2010</a>
<a href="gradcenter2010.html">2010–2011</a>
<a href="gradcenter2011.html">2011–2012</a>
<a href="gradcenter2012.html">2012–2013</a>
<a href="gradcenter2013.html">2013–2014</a>
<a href="gradcenter2014.html">2014–2015</a>
<a href="gradcenter2015.html">2015–2016</a>
<a href="gradcenter2016.html">2016–2017</a>
<a href="gradcenter2017.html">2017–2018</a>
<a href="gradcenter2018.html">Fall, 2018</a>
</font> <br><br>
<P><HR SIZE="6" width="100%" color="#003399"><center> <table width="100%" height="80">
<tr>
<td><FONT color="#003399">Hosted by</FONT></td>
<td><a href="http://www.sci.ccny.cuny.edu"><img src="scilogo.jpg"
border="0"></a></td>
<td bgcolor="#000000"></td>
<td>
<table><tr ALIGN=LEFT><tr ALIGN="LEFT"><td><FONT color="#003399">Created by the KSDA Organizing Committee</FONT></td></tr>
<tr ALIGN=LEFT><td><FONT color="#003399">Please submit web page problems to </td></tr>
<tr ALIGN="LEFT"><td>William Sit <!--mailto:--><wsit@ccny.cuny.edu>
</td></tr></table>
</td></tr></table></center>
</body> </html>