http:^^www.cs.cornell.edu^info^people^gries^logic^dimacs.html
来自「This data set contains WWW-pages collect」· HTML 代码 · 共 105 行
HTML
105 行
MIME-Version: 1.0
Server: CERN/3.0
Date: Sunday, 24-Nov-96 21:25:01 GMT
Content-Type: text/html
Content-Length: 3704
Last-Modified: Thursday, 02-May-96 14:56:37 GMT
<html><head><TITLE> SYMPOSIUM ON TEACHING LOGIC</TITLE></head><body><center><font size=+2> Announcement and Call for Papers<br><br> DIMACS Symposium on<br><br> TEACHING LOGIC AND REASONING <br> IN AN ILLOGICAL WORLD <br><br> Rutgers University 25-26 July 1996 <br><br> <font size=+1> Sponsored by the DIMACS Special Year on Logic and Algorithms <br> and the Association for Symbolic Logic <br> in conjunction with the Federated Logic Conference. <br> Hosted by Rutgers, The State University of New Jersey <br> </center><p>Logic and logical thinking are central to all disciplines and arecritical in the mathematical and computer sciences. This symposiumwill explore the teaching of introductory logic and logical thinking,with a primary focus on the college level and a secondary focus onthe high school level. The symposium will be interdisciplinary,emphasizing and contrasting approaches used in mathematics, computerscience, natural sciences, and engineering.</p><p>The symposium seeks a sharing of ideas, rather than consensus, on howto teach logic, so that all participants gain an appreciation for thefundamental issues and ultimately are better able to motivate theimportance of logic and to convey the foundations of logical reasoningto students. Topics of interest include, but are not limited to:</p><center> <table> <tr><td>Pedagogical Approaches</td><td> Cognitive Models of Logical Reasoning</td></tr> <tr><td>Empirical Studies</td><td> Exemplary Course Material </td></tr> <tr><td>Innovative Approaches</td><td> Courseware for Teaching Logic</td></tr></table></center> <p>Submit an extended abstract (maximum of 4 pages) by 1 April 1996.Submissions in postscript form are preferred; email them tolmc@cs.cornell.edu. Mail paper submissions to: David Gries, ComputerScience, Upson Hall, Cornell University, Ithaca, NY 14853 USA.</p><p>Notification of acceptance: 1 May 1. Camera ready and electronicpaper versions due: 1 July. Accepted papers will be published in alocally available proceedings and on the World Wide Web.</p> <center> Organizers <br><br><table border=0> <tr><td>Susanna Epp (DePaul University),</td> <td>epp@condor.depaul.edu</td> </tr> <tr><td>David Gries (Cornell University),</td> <td>gries@cs.cornell.edu</td></tr> <tr><td>Peter Henderson (SUNY Stony Brook),</td><td>pbh@cs.sunysb.edu</td> </tr> <tr><td>Ann Yasuhara (Rutgers University),</td> <td>yasuhara@cs.rutgers.edu</td></tr></table></center> <p>For further information, contact Peter Henderson, Department ofComputer Science, SUNY Stony Brook, Stony Brook, N.Y. 11794-4400 USA.(516) 632-8463, pbh@cs.sunysb.edu.</p> <p>The symposium will be held prior to the Federated Logic Conference(FLoC), hosted by DIMACS as part of its Special Year on Logic andAlgorithms. FLoC includes the following conferences:</p><center> <table> <tr><td>IEEE Symp. on Logic in Computer Science (LICS)</td> <td> 27-30 July</td></tr> <tr><td>Rewriting Techniques and Applications (RTA)</td> <td> 27-30 July </td></tr> <tr><td>Conference on Automated Deduction (CADE) workshops</td> <td> 30 July </td></tr> <tr><td>Conference on Automated Deduction (CADE)</td> <td> 31 July - 3 August </td></tr> <tr><td>Computer-Aided Verification (CAV) </td> <td> 31 July - 3 August </td></tr> </table></center><p>For further information, see the FLoC home page athttp://www.research.att.com/lics/floc/. Information about the SpecialYear can be found in http://dimacs.rutgers.edu/.</p></body></html>⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?