• Lecture 17: Multiple Inheritance 2009/10/28
• Lecture 18: Polymorphism and Software Reuse2009/10/30
  
• Lecture 19: Polymorphism – Overloading 2009/11/02
• Lecture 20: Polymorphism – Overriding 2009/11/04 
• Lecture 21: Polymorphism – The Polymorphic Variable2009/11/06
• Lecture 22: Polymorphism – Generics 2009/11/09
• Lecture 23: Container Classes 2009/11/13

• Lecture 13: Case Study: The Solitaire Game 2009/10/14
• Lecture 14: Subclasses and Subtypes 2009/10/16
• Lecture 15: Static and Dynamic Behavior 2009/10/19
  • Mid-term exam 2009/10/23
• Lecture 16: Implications of Substitution 2009/10/26

I like this idea: Open and Free Access to high quality scientific work (papers, slides, videos etc). This is a good try. I think to make it even better, we should introduce Web2.0 elements to make it more interactive.

—Forwarded message—-

from MYV to Moshe Vardi
date Thu, Oct 15, 2009 at 8:29 PM
subject [UAI] FIVE YEARS OF LOGICAL METHODS IN COMPUTER SCIENCE
mailing list uai.ENGR.ORST.EDU Filter messages from this mailing list

Dear Colleague:

We would like to bring the community up to date on the journal

Logical Methods in Computer Science
www.lmcs-online.org

We started this fully refereed, open access, free electronic journal in January 2005, intending to create a high-level platform for publications in all theoretical and practical areas in computer science involving logical methods, taken in a broad sense. We are now on Issue 3 of Volume 5 (there are four issues a year). So far, we have received more than 350 submissions of which we have published 162. In addition to individual submissions, our journal publishes special issues, e.g., of selected papers of high-level international conferences such as LICS, IJCAR, CAV, CSL, and RTA.

We are continuing actively to develop the journal. For example, we accept survey articles, and are developing `live’ surveys, which can be continually updated as knowledge progresses. In another direction, we are considering allowing authors to provide additional material of an expository nature, such as slides and videos, to enable them to interest a wider spectrum of readers in their contribution.

The journal is an overlay of CoRR, the computer science repository of arXiv. There are no fees for authors nor for readers. Every paper is refereed by two or more referees, and high standards are applied. The editorial board consists of about sixty top specialists in all areas of logic in computer science.

The journal is covered by Mathematical Reviews, the ISI Web of Knowledge, and the DBLP Database.

We welcome your comments and suggestions, and we seek your contributions! For more information please consult our web pages:

www.lmcs-online.org

Yours,

Editor-in-Chief: Dana S. Scott
Managing Editors: Benjamin C. Pierce
Gordon D. Plotkin
Moshe Y. Vardi
Executive Editors: Jiri Adamek
Stefan Milius

Lecture 12: Inheritance.

In this lecture, we discussed:

• The intuitive and practical meanings of inheritance
• The syntax used to describe inheritance and substitution
• Some of the various forms of inheritance
• The benefits and costs of inheritance

The lecture is canceled for the thanks-giving Monday (October 12, 2009). Have fun.

• Lecture 8-9: Classes and Methods 2009/09/30-10/02

We discussed the static, compile time representation of object-oriented programs.

• Lecture 10: Messages, Instances and Initialization. 2009/10/05

We discussed the dynamic, run time behavior of object-oriented programs.

• Lecture 11: A Case Study: Eight Queens 2009/10/07

We did a case study: solving Eight Queens problem in object-oriented approach.

I received this message from the departmental mailing list in the University of Liverpool. I thought my readers might be interested.

Note: this fellowship is only for the researchers based on UK.

———- Forwarded message ———-
From: Wiebe van der Hoek
Date: Wed, Sep 30, 2009 at 4:55 AM
Subject: Fwd: UK-China Fellowships for Excellence 2009
To: CSC-PHDS@liverpool.ac.uk

From: Neil Kemp [mailto:neil.kemp@nkeducation.com]
Sent: 29 September 2009 18:17
To: Neil Kemp
Subject: UK-China Fellowships for Excellence 2009
Importance: High

I am assisting DIUS to identify appropriate post-doctoral fellows for their China Fellowships programme (see below). I would therefore appreciate your help by forwarding this notice to any of your colleagues who might be interested in applying.

Best wishes, Neil

UK-China Fellowships for Excellence: 2009 Round 2

The Department for Innovation, Universities and Skills (DIUS) are pleased to announce Round 2 of the 2009 Fellowships for Excellence Programme (this in addition to the previous Round which ended July 2009). Up to 20 post-doctoral scholarships are available to top researchers who are based in either an English university or research institution wishing to undertake research in China or Hong Kong from Autumn 2009.

The Fellowships for Excellence scheme forms a central part of the Sino-UK Partners in Education programme and, so far, has enabled 30 or so young and outstanding post doctoral researchers to study and conduct cutting edge research at a Chinese university or research institution for up to one year. The 2009 tranche of awards will provide funding for up to 15 new awards for post doctoral researchers to undertake research and create lasting research links with a Chinese research department. Applications are welcome from all disciplines although preference will be given to areas directly related to science and technology. We would welcome especially applications from Sports Science researchers in recognition of each country’s hosting of the Olympic Games in 2008 and 2012.

In addition, a further 5 awards will be made available in 2009 for UK based researchers wishing to undertake research in Hong Kong.

Completed application forms should be sent electronically to uk.china@jiu.gsi.gov.uk by 30 October 2009.

Further Information
Further information on and the application form for the Fellowships for Excellence programme can be found on the BIS website atwww.bis.gov.uk/international/china, or you can email: uk.china@jiu.gsi.gov.uk.