Formal Methods

Colly

Hello Boards members, this is my first ever message to a message board and where better to start than an Irish one.

I am going to be starting some study into Formal Methods does anyone have any good sites/message boards I can check out?. If any of ye are doing some work in this area of computers I would appreciate your feedback to get me on the road of this subject.

Thanks
Colly

Hobbes

http://www.afm.sbu.ac.uk/

http://www.fmeurope.org/

http://www.cs.indiana.edu/formal-methods-education/

satchmo

lol Hobbes, is that just the first three "Formal Methods" hits on Google? And there's me thinking you were all knowledgeable on the subject.

Hobbes

first three'ish on google I don't know enough on the subject to comment on it.

satchmo

neither does anyone else it seems. Ah well, welcome to the boards anyway Colly

phobos

Formal methods? I heard of that before. I thought it was just folklore . Ah what do I know I'm verrrrrrrrry drunk

;-phobos-)
PS: I am so drunk I will argue tomorrow that another memeber of boards ha><ored my account and typed this, so don't belive a world I say. But in my state of mind I would either say I haven't a clue, what you on about, or else be more specific.

phobos

The sober phobos, hangs his head in shame

feckin drink :rolleyes:

;-phobos-)