Difference between revisions of "Event:TACAS 1998"

From ConfIDent
(mobo import Concept___Event_For_Confident-migrated_2)
 
 
(7 intermediate revisions by 2 users not shown)
Line 3: Line 3:
 
|Title=International Conference on Tools and Algorithms for the Construction and Analysis of Systems
 
|Title=International Conference on Tools and Algorithms for the Construction and Analysis of Systems
 
|Ordinal=4
 
|Ordinal=4
 +
|In Event Series=Event Series:TACAS
 +
|Single Day Event=no
 +
|Start Date=1998/03/28
 +
|End Date=1998/04/04
 +
|Event Status=as scheduled
 +
|Event Mode=on site
 +
|Venue=University of Lisbon, Department of Informatics
 +
|City=Lisbon
 +
|Region=Lisbon Metropolitan Region
 +
|Country=Country:PT
 +
|Academic Field=Software Engineering
 +
|Official Website=http://www.di.fc.ul.pt/~llf/etaps98/TACAS.html
 +
|Hashtag=TACAS 1998
 
|Type=Conference
 
|Type=Conference
 
|Superevent=ETAPS 1998
 
|Superevent=ETAPS 1998
|Homepage=http://www.di.fc.ul.pt/~llf/etaps98/TACAS.html
+
|TibKatId=333931750
|User:Curator 65KatId=333931750
 
 
|gndId=2169051-0
 
|gndId=2169051-0
 
|DblpConferenceId=tacas/tacas98
 
|DblpConferenceId=tacas/tacas98
 
|wikidataid=Q106426961
 
|wikidataid=Q106426961
|City=Lisbon
 
|Country=Portugal
 
|presence=presence
 
 
|has program chair=Bernhard Steffen
 
|has program chair=Bernhard Steffen
|has Keynote speaker=Randal Bryant
 
|Submitted papers=78
 
|Accepted papers=28
 
 
|has Proceedings DOI=https://doi.org/10.1007/BFb0054159
 
|has Proceedings DOI=https://doi.org/10.1007/BFb0054159
 
|has Proceedings Bibliography=https://link.springer.com/book/10.1007%2FBFb0054159
 
|has Proceedings Bibliography=https://link.springer.com/book/10.1007%2FBFb0054159
Line 22: Line 28:
 
|pageEditor=User:Curator 75
 
|pageEditor=User:Curator 75
 
|contributionType=1
 
|contributionType=1
|In Event Series=Event Series:TACAS
 
|Single Day Event=no
 
|Start Date=1998/03/28
 
|End Date=1998/04/04
 
 
}}
 
}}
 +
{{Event Deadline}}
 +
{{Organizer
 +
|Contributor Type=organization
 +
|Organization=University of Lisbon
 +
}}
 +
{{Event Metric
 +
|Number Of Submitted Papers=78
 +
|Number Of Accepted Papers=28
 +
}}
 +
{{S Event}}
 
The 4. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 1998
 
The 4. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 1998

Latest revision as of 10:52, 15 November 2023

Deadlines
organization
Metrics
Submitted Papers
78
Accepted Papers
28
Venue

University of Lisbon, Department of Informatics, Lisbon, Lisbon Metropolitan Region, Portugal

Loading map...

The 4. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 1998

Cookies help us deliver our services. By using our services, you agree to our use of cookies.