Gmail Calendar Documents Reader Web more »
Recently Visited Groups | Help | Sign in
Google Groups Home
This is a Usenet group - learn more
Find or start a Google Group about specification.
Group info
Language: English
Group categories:
Computers
More group info »
Related Groups
Object-oriented programming and languages.
Low activity, Usenet
Discussion about functional languages.
Low activity, Usenet
Theoretical Computer Science.
Low activity, Usenet
Discussions
View:  Topic list, Topic summary Topics 1 - 30 of 5205  Older »
Sort by:  Latest message, First message
Description: Discussion about the formal specification notation Z.
 
 TopicRatingMessagesAuthorDate
QSIC 2010 CFP (Submission Deadline Extended to January 4, 2010)     2 new of 2 QSIC 2010 (1 author) Dec 23 2009
DisCoTec 2010: Call for Papers     1 new of 1 Gianluigi Zavattaro (1 author) Dec 18 2009
LPAR-16 - Dakar, Senegal - April 2010     1 new of 1 Geoff Sutcliffe (1 author) Dec 15 2009
PADL 2010: Call for Participation     1 new of 1 Manuel Carro (1 author) Dec 14 2009
PADL 2010: Call for Participation and Early Registration     1 new of 1 mca...@clip.dia.fi.upm.es (1 author) Dec 14 2009
QSIC 2010 CFP     1 new of 1 QSIC 2010 (1 author) Dec 13 2009
International Workshop: DATICS-FutureTech'10 (EI Indexed)     1 new of 1 SS DATICS (1 author) Dec 13 2009
PROMASC'2010: 1st Call for Papers     1 new of 1 Riadh BEN HALIMA (1 author) Dec 10 2009
Call for Papers: ICLP 2010     1 new of 1 Torsten Schaub (1 author) Dec 9 2009
Deadline extension: MBT 2010, Sixth Workshop on Model-Based Testing at ETAPS 2010     1 new of 1 Bernd Finkbeiner (1 author) Dec 7 2009
update & override: notation and axiomatization     1 new of 1 Jasper Berendsen (1 author) Dec 3 2009
Last Call for Papers: ACSD 2010 (Application of Concurrency to     1 new of 1 victor khomenko (1 author) Dec 2 2009
FLoC 2010: Call for Papers     1 new of 1 Nicole Schweikardt (1 author) Nov 30 2009
Memocode 2010 First Call for Papers     1 new of 1 Barbara Jobstmann (1 author) Nov 28 2009
IJCAR 2010 - first call for papers     1 new of 1 "Viorica Sofronie-Stokkermans" (1 author) Nov 25 2009
NOTERE'2010: 2nd Call for Papers (planned special issues)     1 new of 1 Bechir ZALILA (1 author) Nov 24 2009
*** Reminder:FACS/LMS Evening Seminar by Prof Mike Gordon: Forward with Hoare, 1 December 2009, London Mathematical Society, Demorgan House     1 new of 1 Paul.Boca@googlemail.com (1 author) Nov 22 2009
DAIS'2010: Call for papers     1 new of 1 Hans P. Reiser (1 author) Nov 20 2009
DiScoTec 2010: Call for Workshop Proposals     1 new of 1 Gianluigi Zavattaro (1 author) Nov 17 2009
SETP-10 Call for papers     1 new of 1 James Heralds (1 author) Nov 15 2009
SBMF 2010 - First Call for Papers     1 new of 1 le...@ufs.br (1 author) Nov 11 2009
Reminder: last week to submit to CAL'2010     1 new of 1 Khalil Drira (1 author) Oct 30 2009
*** BCS-FACS/LMS Evening Seminar by Prof Mike Gordon, 1 December, London, UK     1 new of 1 Paul.Boca@googlemail.com (1 author) Oct 29 2009
CFP CAL'2010 Pau, France, 9-11 march 2010     1 new of 1 Khalil Drira (1 author) Oct 22 2009
Workshop on Model Based Engineering for Embedded Systems Design - Call for Contributions - Deadline November 18, 2009     1 new of 1 i...@ecsi.org (1 author) Oct 19 2009
SOSE 2010 CFP     1 new of 1 SOSE2010 (1 author) Oct 14 2009
**** FACS/BCSWomen Evening Seminar on Software verification for ubiquitous computing, 19 Oct, 6pm, London     1 new of 1 Paul.Boca@googlemail.com (1 author) Oct 13 2009
CAV 2010 Call for Papers     2 new of 2 Tayssir Touili (1 author) Oct 13 2009
First CfP: PETRI NETS 2010, 31st International Conference on Application     1 new of 1 Joao Paulo Barros (1 author) Oct 13 2009
Call for Papers/Workshop Proposals (GPC-10, UIC-10, MTPP-10, ICA3PP-10, FC-10, SMPE-10, FutureTech-10, BodyNets-10)     1 new of 1 C. Hsu" (1 author) Oct 12 2009
1 - 30 of 5205   « Newer | Older »

XML      
Create a group - Google Groups - Google Home - Terms of Service - Privacy Policy
©2010 Google