Jimagine » Share

FWD: FIVE YEARS OF LOGICAL METHODS IN COMPUTER SCIENCE

Ji — Sat, 17 Oct 2009 15:55:07 +0000

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

Data-Aware Monitoring For Healthcare Workflows Using Formal Methods Authors: Ji Ruan and Wendy MacCaull Centre of Logic and...
UK-China Fellowships for Excellence 2009 I received this message from the departmental mailing list in...
Teaching 09.2009 – 12.2009 (Department of Computer Science, StFX University) Lecturer...

Related posts brought to you by Yet Another Related Posts Plugin.

Why did the global economic crisis happen?

Ji — Sun, 05 Apr 2009 21:04:56 +0000

An explanation from a South Park Episode is available here. Highly recommended.

If the above link does not work, google these words:
South Park: Season 13 Episode 3 – “Margaritaville”

My original source is this.

No related posts.

Related posts brought to you by Yet Another Related Posts Plugin.

AMS Graduate Student Blog

Ji — Tue, 31 Mar 2009 11:09:53 +0000

Once I tried to motivate a well-established scholar to set up a blog to make his website more interactive. He said, “Blog is really the thing for your generation.”

I tend to disagree with him. But it is indeed the case that the new generation would not wait long to set up their blogs. See an example:

AMS Graduate Student Blog by and for math grad students.

I am excited about this.

No related posts.

Related posts brought to you by Yet Another Related Posts Plugin.

The Biggest PhD positions AD

Ji — Thu, 12 Mar 2009 22:50:00 +0000

Update: Well the record is updated by this ad, as of 21st March 2009,
[LOGIC] 20 PhD student grants (3y) for the a.r.t.e.s. research school in philosophy, Köln (Germany)

—

The Biggest PhD positions AD I have ever seen. But it is not my area and one PhD is enough for me.

Just in case you are interested in.

=====================
PhD Positions
Centre for Discrete Mathematics
and its Applications (DIMAP)
Department of Computer Science
(or Institute of Mathematics,
or Warwick Business School)
University of Warwick, UK
=====================

DIMAP is a multidisciplinary research centre supporting an
internationally competitive programme of research in discrete
modelling, algorithmic analysis, and combinatorial (discrete)
optimisation. It has been recently established by the University of
Warwick and is partially funded by the prestigious Engineering and
Physical Sciences Research Council (EPSRC) Science and Innovation
Award. The Centre builds on the expertise and the collaboration
between the theoretical computer science research groups (Algorithms
and Complexity, and Formal Methods) in the Department of Computer
Science, the Warwick Mathematics Institute, and the Operational
Research & Management Sciences group in the Warwick Business School.

The Centre has initial funding for about 13 PhD scholarships, and is
developing a doctoral training programme supporting a continuing
stream of research students in discrete mathematics, theoretical
computer science, and related areas. Available scholarships are for 3
years of PhD study.

Applicants should have a degree in Computer Science, Mathematics, or
Operational Research, with excellent grades and references.

DIMAP offers students grants of various types, covering tuition and/or
stipends. Tuition covers expenses for teaching and supervision, and
each student is equipped with office space, a computer, and a travel
budget to attend conferences.

For any further questions related to PhD scholarships in DIMAP, please
send an email to: dimap@dcs.warwick.ac.uk

Applications are welcome for the study starting in the academic year
2009/2010. Further information is available at:

http://go.warwick.ac.uk/dimap/phd-ad/

Teaching 09.2009 – 12.2009 (Department of Computer Science, StFX University) Lecturer...
UK-China Fellowships for Excellence 2009 I received this message from the departmental mailing list in...

Related posts brought to you by Yet Another Related Posts Plugin.

Bill Gates’ New Tasks

Ji — Sun, 08 Feb 2009 21:19:29 +0000

I just watched this interesting talk by Bill Gates: How I’m trying to change the world now. He framed two tasks he had been engaged in:

Eliminating the malaria around the world
Improving Education by making great teachers

I am glad that he is addressing these issues that are so important to our society, especially to the poor countries. Trying to make the world a bit better; that’s a good reason to live our lives.

The Q/A session after the talk is also worth to watch.

No related posts.

Related posts brought to you by Yet Another Related Posts Plugin.

Video converting software from wmv

Ji — Tue, 13 Jan 2009 21:11:33 +0000

WMV (.wmv) is the Microsoft format of media files. For those previously use MS Windows, but have switched to Mac OS, they might face some problems of handling media files. For example, in a powerpoint slide, you embedded some .wmv video files, but they are not working in the Mac anymore. What could you do? At least, you could try to convert the .wmv files into .mov (Mac QuickTime file format) or .avi (Audio Video Interleave format). For this task, you could try this free software:

http://www.nchsoftware.com/prism/index.html

Available both in Mac and PC.

I’ve tried it and it is easy to use and free for certain period. But I have to warn you that this is not free or open-source software.

No related posts.

Related posts brought to you by Yet Another Related Posts Plugin.

First-time FALL OVER from my bike (Liverpool)

flickrp — Thu, 08 Jan 2009 00:10:37 +0000

First-time FALL OVER in Liverpool, originally uploaded by jiruan.

This is the place that I had my first fall over from my bike in Liverpool on last Monday. The road was icy due to the freezing weather. It was when I turning right, the bike suddenly lost control and crashed onto the road. Fortunately, there were no cars around and little damage was made to my bike and me.

There is one thing I like about freezing weather, the beautiful sky after the sunset. See these picture I took in the tallest building in Liverpool University around 5pm:

–

Teaching 09.2009 – 12.2009 (Department of Computer Science, StFX University) Lecturer...

Related posts brought to you by Yet Another Related Posts Plugin.

What a “smart” printer company – HP

Ji — Thu, 08 Jan 2009 00:04:59 +0000

My friend had an HP printer and I asked whether I could use it, and he told me yes, but I had to bring a cable myself, because it did not come with a cable. I thought it might just be a casual mistake of HP. But it seems I was wrong, as when I get a new HP printer (£60) recently, I could not find a cable in the package as well. What a shame on HP. When I carefully read the item list included inside, it says “USB cable may not be included. If so, purchase seperately”. What a “smart” company!

Then I am curious about whether other people found similar problems. And with a simple google search, I found one here. There are a few similar complains in the follow-up comments of that post, and one person had to travel another 24 miles round trip to buy the cable.

The cable is actually quite cheap, for example here in Amazon UK, you could get it for less than £2. But this incident totally ruined my impression of HP. It shall not treat its customers like this, I believe. Will I chose an HP printer again? Not sure! but I will certainly give pripority to other more decent companies.

It is not a big deal, but I wrote this because you might want to know.

No related posts.

Related posts brought to you by Yet Another Related Posts Plugin.

New Year Fireworks in London

Ji — Fri, 02 Jan 2009 19:48:20 +0000

I want to share this nice fireworks display for 2009. Just wonderful!

No related posts.

Related posts brought to you by Yet Another Related Posts Plugin.

Missing you seven

flickrp — Fri, 26 Dec 2008 23:59:38 +0000

Missing you seven, originally uploaded by jiruan.

No related posts.

Related posts brought to you by Yet Another Related Posts Plugin.