Replacethis?lewith
prentcsmacro.sty
foryourmeeting,
orwith
entcsmacro.sty
foryourmeeting.Bothcanbe
foundattheENTCSMacroHomePage.
AnExamplePaper
MyName
1
,
2
MyDepartment
MyUniversity
MyCity,MyCountry
MyCo-author
3
MyCo-author’sDepartment
MyCo-author’sUniversity
MyCo-author’sCity,MyCo-author’sCountry
Abstract
ThisisashortexampletoshowthebasicsofusingtheENTCSstylemacro?les.
Ampleexamplesofhow?lesshouldlookmaybefoundamongthepublishedvolumes
oftheseriesattheENTCSHomePage
http://www.elsevier.nl/locate/entcs
.
Keywords:
Pleaselistkeywordsfromyourpaperhere,separated
bycommas.
1Introduction
ThisshortnoteprovidesaguidetousingtheENTCSmacropackagefor
preparingpapersforpublicationinyourconference
Proceedings
.The
Pro-
ceedings
maybeprintedandhardcopiesdistributedtoparticipantsatthe
meeting;thisisanoptiontoConferenceOrganizersmaychoosetoexercise.
The
Proceedings
alsowillbeparofavolumeintheseries
ElectronicNotes
inTheoreticalComputerScience
(ENTCS),whichispublishedundertheaus-
picesofElsevierScienceB.V.,thepublishersof
TheoreticalComputerScience
.
It’shomepageis
http://www.elsevier.nl/locate/entcs
TheENTCSmacropackageconsistsoftwo?les:
entcs.cls
,
thebasicstyle?le,and
1
Thankstoeveryonewhoshouldbethanked
2
Email:
myuserid@mydept.myinst.myedu
3
Email:
couserid@codept.coinst.coedu
c
?
2003PublishedbyElsevierScienceB.V.
»»Ò³
PleaselistYourLastnameHere
entcsmacro.sty
,
amacro?lecontainingthede?nitionsofsomeofthetheorem-
likeenvironmentsandafewothertidbits.
Theformattingthesestyle?lesimposeshould
not
bealtered–thereasonfor
usingthemistoattainauniformformatforallpapersinthe
Proceedings
of
whichyourpaperisapart.
Additionalmacro?lescanbeaddedusing
\usepackage{...}
.The?le
entcsmacro.sty
must
beincludedinthelist,asisdoneatthestartofthe
source?leforthispaper.
TheENTCSpackagerequiresarelativelyup-to-dateL
A
TEXsysteminorder
tobesuccessfullyused.Thisisre?ectedintwootherpackagesthatarecalled
byentcs.cls,whichmustbeavailableonyourmachine.Theseare:
•
The
hyperref
package.Thispackageallowstheuseofhyperlinksin?les
preparedusingL
A
TEX2e,oneofthemainfeaturesofAdobe’sAcrobat
c
?
Readersoftware.Besurethatyouhaveatleastversion6.69dofthispack-
age.
•
The
ifpdf
package.Thisisusedbyhyperreftodi?erentiatebetweenthe
useofpdfL
A
TEXandL
A
TEX2e,followedbydvipsandthenps2pdf.
The?le
instraut.dvi
containsinformationabouttheuseofL
A
TEXtopre-
pare?lesforonlinepublicationbyElsevier.This?lereferstotheolderversion
ofL
A
TEXthatisnolongersuppported,andthatisinadequateforpreparing
.pdf
?lesforonlinepublication.Readingthis?leshouldanswermostofthe
basicquestionsaboutL
A
TEXthatmightarise.
2Frontmatter
Thebiggestdi?erencebetweena“usual”L
A
TEXstylesuchas
article.sty
andtheENTCSpackageisthattheENTCSmacropackagerequiresthetitle,
author’snameornames,abstract,keywordsand“thanks”alltobeincluded
withinthe
frontmatter
environment.Atthebeginningofthesource?lefor
thispaper,you’llnoticethis.Also,you’llnoticethattheusual
\maketitle
isabsent;itnolongerisneeded.TheENTCSstylepackageautomatically
generatesthetitle,author’snameandaddress,andrelatedmaterialatthe
beginningofthepaper.Notealsothathyperrefhasbeendisabledinthispart
oftheentcs.cls?le,soreferencestofootnotesaren’tlinkedtotheappropriate
footenotesoraddresses.ThisisanoldproblemwithL
A
TEX,involvingthefact
thatthereferenceswithinthefrontmatteraren’tpassedcleanlytothelinking
software.
ForthosewhohaveusedtheENTCSpackagebefore,theonenewthing
tonoteistheinclusionof
Keywords
;thesearenowrequiredbyElsevier–
they’realsorequiredbyACM’s
ComputingReviews
whichreviewsENTCS
publications.
TheENTCSmacropackageprovidestwoalternativestolistingauthors
namesandaddresses.Thesearedescribedindetailinthe?le
instraut.dvi
.
2
»»Ò³
PleaselistYourLastnameHere
Basically,listingeachauthorandhisorheraddressinturn,isthesimplest
method.But,ifthereareseveralauthorsandtwoormoresharethesame
address(butnotallauthorsareatthisaddress),thenthemethodoflisting
authors?rst,andthentheaddresses,andofreferencingaddressestoauthors
shouldbeused.
Also,noticethatacknowledgmentofsupport(thecontentsof
\thanks
)
shouldbedonebyaseparatelistingof
\thanks[NSF]{TotheNSF}
withthe
optionalargument–
[NSF]
–beingusedfor
\thanksref
whichisattachedto
thoseauthorsacknowledgingsuchsupport.Itisimportantthatthe
\thanks
notbeincludedwithinthescopeof
\author{}
orof
\title{}
,butitmust
bewithinthescopeoftheenvironment
frontmatter
.
Moredetailsaboutaddedtermssuchas
\collab
canbefoundin
inst.dvi
,
iftheyareneeded.
Also,noticethatthecommand
\lastname{MyLastname}
hasbeenin-
cluded
before
the
frontmatter
begins.Thiscommandshouldcontainthe
lastnamesoftheauthorsofthepaper.Iftherearenomorethanthreeau-
thors,thentheyshouldbelistedwiththeword“and”betweenthelasttwo;
ifmorethanthreeauthorscollaboratedonthepaper,thenthe?rstauthor
onlyshouldbelisted,togetherwith
\emph{etal}
.Thiscommandcreates
theheadlineforeachpageafterpage1.
Finally,pleasebesuretoincludeanabstractforyourpaper.
3SectioningandEnvironments
SinceENTCSispublishedthroughtheauspicesofElsevierScienceB.V.,their
style?leshavebeenusedtocreatetheENTCSmacropackage.Here’saproof
thatthispackageisnotmuchdi?erentthanmostoftheonesoneencounters:
De?nition3.1
A?leis
derived
fromanotherifitisobtainedwithonlyafew
modi?cationsfromtheoriginal?le.
Theorem3.2
The?le
entcs.cls
isderivedfrom
elsart.sty
.
Proof.
Thisisclearfromthesimilarityoftheoutputtotheoutputfrom
Elsevier’sstyle?les.
2
Ifonewantstostartaproofwithadescriptiveword,suchas“sketch”,
thenonecanusethe
\begin{proof*}...\end{proof*}
environment,asin
Proof(Sketch)
Thiscanbederivedfromsimpleobservations.
2
Themaindi?erencesbetweenthe?le
entcs.cls
andthe
elsartr.cls
?le
usedbyElsevierarethemorepreciseformatweuse–Elsevier’sgeneric?lesare
meantforpreliminaryediting,andmorepreciseformattingisimposedusing
amacro?ledesignedforthespeci?cElsevierjournalinwhichthepaperwill
eventuallyappear.The
entcs.cls
and
entcsmacro.sty
?lesformatpapers
3
»»Ò³
PleaselistYourLastnameHere
uniformlysothattheyallareeasilyrecognizableasbeingfromtheseries
ElectronicNotesinTheoreticalComputerScience
.
AlloftheusualfeaturesofL
A
TEXareavailablewiththesestyle?les–
itisonlytheformattingthathasbeenrigorouslyde?ned.Thus,onehas
availablethesectioningcommands
\section,\subsection,\paragraph
and
\subparagraph.
ThenumberingschemeusedisoneunderwhichTheorem
1.2.3isthethirdnumberediteminsecondsubsectionofthe?rstsectionof
thepaper.Inordertofacilitatecross-references,allofthenamedenvironments
givenbelowarenumbered,andallusethesamenumberscheme.
The?le
entcsmacro.sty
containsadditionalinformationthatisneededto
typesetapaper.Italsohasthede?nitionsofthe
AMS
euler
and
blackboard
bold
fontsbuiltin.Ifyouwanttousesymbolsforthenaturalnumbers,the
reals,etc.,thenwepreferthatyouusetheblackboardboldfonts,andnot
plainboldfonts.Thisisaccomplishedbyusingthe
\mathbb
font,asin
N
or
R
.
Thenamesoftheorem-likeenvironmentsareprovidedin
entcsmacro.sty
.
WiththeexceptionoftheenvironmentAlgorithm,thenamesofallofthese
arefullname,ratherthanashortenedversion.Theenvironmentsprovided
andtheirnamesare
•
\begin{theorem}...\end{theorem}
forTheorems,
•
\begin{lemma}...\end{lemma}
forLemmas,
•
\begin{corollary}...\end{corollary}
forCorollaries,
•
\begin{proposition}...\end{proposition}
forPropositions,
•
\begin{criterion}...\end{criterion}
forCriteria,
•
\begin{alg}...\end{alg}
forAlgorithms,
•
\begin{definition}...\end{definition}
forDe?nitions,
•
\begin{conjecture}...\end{conjecture}
forConjectures,
•
\begin{example}...\end{example}
forExamples,
•
\begin{problem}...\end{problem}
forProblems,
•
\begin{remark}...\end{remark}
forRemarks,
•
\begin{note}...\end{note}
forNotes,
•
\begin{claim}...\end{claim}
forClaims,
•
\begin{summary}...\end{summary}
forSummary,
•
\begin{case}...\end{case}
forCases,and
•
\begin{ack}...\end{ack}
forAcknowledgements.
Forexample,
4
»»Ò³
PleaselistYourLastnameHere
Algorithm1
Step1:Writethepaper
Step2:FormatitwiththeENTCSmacropackage
Step3:ShipthewholethingtotheGuestEditors
4ReferencesandCross-references
Allthecross-referencingfacilitiesofL
A
TEXaresupported,soonecanuse
\ref{}
and
\cite{}
forcross-referenceswithinthepaperandforreferences
tobibliographicitems.Asisdoneinthisnote,the
References
section6can
becomposedwith
\begin{thebibliography}...\end{thebibliography}
.
Alternatively,BibTEXcanbeusedtocompilethebibliography.Whichever
oneisused,thereferencesaretobenumberedconsecutively,ratherthanby
author-de?nedacronyms.Ofcourseyoucanuseyourownacronymsforeasy
referencetoeachoftheitemsinthebibliography,ashasbeendonewiththe
listingforthisshortnote.
However,notethatthereferencesshould
not
bestartedwithanew
\section
command.
Thepackage
hyperref
isautomaticallyloadedbyentcs.cls,andthismakes
allthecross-referenceswithinthedocument“active”whenthepdf?leofthe
paperisviewedwithAdobe’sAcrobat
c
?
Reader.Theformatforincluding
alinkissimple:simplyinsert
\href{URL}{text}
where
URL
istheURL
towhichyouwantthelinktopoint,and
text
isthetextyouwanttobe
highlighted,whichwhenclickeduponwillbringupthedesiredwebpage.
4.1Particularsabout
.pdf
?les
Wenowrequirethat
.pdf
?lesbeprovidedforpublicationonline.A
.pdf
?leisviewablebyAdobe’sAcrobat
c
?
viewer,whichcanbecon?guredtoload
automaticallywithinabrowser.Viewingaproperlyformatted
.pdf
?lewith
Acrobat
c
?
allowsthecross-referencesandlinkstoURLstobeactive.Infact,
Elsevierutilizes
.pdf
?lesinordertotakebetteradvantageoftheweb’sca-
pabilities.
ButonepointwewanttoemphasizeisthatyoushouldbesuretouseType
1fontswhenyoutypesetyourL
A
TEXsource?le.Thesefontsarescalable,
meaningthattheycarryinformationthatallowsthedeviseviewingthe?nal
outputtoscalethefontstosuittheviewerbeingused–fromanonscreen
viewersuchasAdobe’sAcrobat
c
?
Reader,toprintingthe?leonaprinter.
Youcantellifyouhaveusedtherightfontsbyviewingthe?naloutputon
yourmachine.Itthefontslookgrainy,thenyouhavenotusedType1fonts.
TheycanbelocatedattheCTANarchive
http://www.ctan.org
–theyare
publicdomainfonts,anddon’tcostanythingtoaddthemtoyoursystem.
AssumingyouhaveType1fontsavailable,thentherearetheremethods
forproducing
.pdf
?les.
5
»»Ò³
PleaselistYourLastnameHere
Using
dvips
and
ps2pdf
Welistthisoption?rstsinceitappearstobethemostreliableandthe
easiesttouse,especiallyifyouincludeembeddedPostScriptgraphics(
.eps
?les)inyoursource?le.SimplyrunL
A
TEX2eonyoursource?le,thenapply
dvips
toproduceaPostScript?le,and?nallyapply
ps2pdf
toobtaina
.pdf
?le.
The
DVIPDFM
utility
Anothereasymethodforproducingacceptable
.pdf
?lesisviatheutility
dvipdfm
.ThisutilityisincludedindistributionsofMikTEX,whichruns
onWindowsmachines,butitprobablyneedstobeaddedtoyourteTEX
distribution,ifyouarerunningL
A
TEXonaUNIXmachine.Theutilityand
preciseinformationaboutinstallingitonyoursystemcanbefoundatthe
webpage
http://gaspra.kettering.edu/dvipdfm/
.Inessence,thisutility
convertsa
.dvi
?leintoa
.pdf
?le.So,onecan?rstpreparethe
.dvi
?le
usingL
A
TEX,andthenapplytheutility
dvipdfm
toproducetheneeded
.pdf
?le.
4
Thisutilitymakesinclusionofgraphicsparticularlysimple–thosethat
areincludedintheL
A
TEXsource?learesimplyconvertedtothe
.pdf
format.
Aswenotebelow,thingsarenotsosimplewiththesecondalternative,which
istousepdfL
A
TEX.
pdfL
A
TEX
Analternativetothe?rstpossibilitiestoproduce
.pdf
?lesistoprocess
thesource?lewithpdfL
A
TEX.Thisformatisavailablefromthestandard
CTANsites
http://www.ctan.org
.ItappearsthatpdfL
A
TEXand
hyperref
havesomeproblemswhenusedtogether.ItisnecessarytousepdfL
A
TEX
version14dorlaterinordertominimizetheseissues.Ifyoursystemhas
anearlierversion(mostteTEXdistributionshaveversion13d),thenyou
canupdateyoursystembyretrievingthelatestversionofpdfL
A
TEXfrom
ftp://ftp.cstug.cz/pub/tex/local/cstug/thanh/pdftex/
.Evenifthe
recentversionsareused,pdfL
A
TEXhasthesamedealingwithreferencesem-
beddedwiththe
frontmatter
sectiondescribedaboveforL
A
TEX.
ButthereisoneaspectofpdfL
A
TEXthatcreatesproblems.Manyauthors
includeEPS
5
?leswithintheirpapers.Whilethisisfairlystraightforward
withL
A
TEX,thereareacoupleofpointstonotewhenattemptingthiswith
pdfL
A
TEX.
ToincludeaPostScriptimageina
.pdf
?leproducedwithpdfL
A
TEX,
you?rsthavetoconverttheimagetoa
.pdf
?le,andthenitcanbein-
cludedusingthesamecommandsequenceasabove.Theconversioncanbe
4
Beware
!Theutility
dvipdf
does
not
produceacceptable
.pdf
?les,andshouldnotbe
used.Only
dvipdfm
shouldbeusedtoproduce
.pdf
?les.
5
EPSstandsfor
embeddedPostScript
,whicha?ordsamechanismforincludingpre-
preparedPostScript?leswithinaL
A
TEXdocument.
6
»»Ò³
PleaselistYourLastnameHere
accomplishedmosteasilyusingGhostscript;youcansimplyviewthe?lein
Ghostviewandthenprinttheimagetoa
.pdf
?leusingthe
pdfwriter
option
withinGhostview.Theresultforastandardchessboardthatispartofthe
Ghostviewdistributionisthefollowingimage:
Hereaswellisacopyofacolorimage.WhilepdfL
A
TEXcanhandleimage?les
inotherformats,L
A
TEXcanonlyhandle
.eps
imagesreliably.
Italsoshouldbenotedthatwehaveincludedtwoseparatesource?lesfor
thisexample?le–oneforL
A
TEXandoneforpdfL
A
TEX–becausewewant
7
»»Ò³
PleaselistYourLastnameHere
toillustratehowtoinsertgraphicsimagesintothe?le.Ifyourpaperdoes
notincludesuchimages,thenthesamesource?lecanbeformattedbyeither
L
A
TEXorfbypdfL
A
TEX.
UsingENTCSMacroswithMacOSX
Ofcourse,ifyour?ledoesn’trequire
.eps
orotherPostScript?les,then
youcancreatetherequired
.pdf
?leusinganyofthestandardTEXimple-
mentationsfortheMacintosh.IfyouneedtoincludePostScript?les,andif
youareusingTEXShop,thenyoucanspecifytousedvipsandghostviewin
processingyour?le,andthenyoucanapply
ps2pdf
tocreatetheneeded
.pdf
?le.Alternatibely,theMacOSXoperatingsystemisbasedonUNIX,soit
supportstheuseofteTEXasdescribedabove.
5Summary
TheENTCSmacropackageisrelativelyeasytouseandprovidesauniform
layoutforallthepapersthatappearinENTCS.
Problem5.1
FinishyourpaperandgetittoyourProgramChairmanon
time!
Whenyouhave?nishedpreparingyourpaper,sendacopyofthe
source?le
,
togetherwithanymacro?lesthatareneededtoyourProgramChairman.If
the?lesareextensive,youcanplacecopiesinthe
pub/incoming
sub-directory
oftheftpdirectoryonthemachineindicatedbyyourProgramChairmanusing
anonymousftp.Ifyoudothis,pleasesendmeemailtoalertmethatthe?le(s)
arehere.
AssigningVolume/IssueNumbers
OneadditionalpointworthmentioningisthatENTCSismovingtoSci-
enceDirect,Elsevier’smainplatformforpublishingelectronicseries,Because
ScienceDirectmustpublishentirevolumesatthesametime,wehavechanged
theprocedureforpreparing?nalversionssothatvolumenumberswillnot
beassigneduntilthe?nalversionsareready.GuestEditorswillnowhave
toreceivethe?nalversionofallpapersintheir
Proceedings
beforeavolume
andissuenumberwillbeassignedforthe
Proceedings
.Evenwiththemoveto
ScienceDirect,thereferenceschemealreadyusedforpublicationsinENTCS–
http://www.elsevier/nl/locate/entcs/NNnn.html
remainsthevalidway
tocitepaperspublishedinENTCS,where
NN
denotesthenumberofthevol-
ume,and
nn
denotestheissuenumber.Publicationsconsistingofanentire
volumeshoulduse
1
astheissuenumber.
CopyrightTransferForms
OneresultofthemovetoScienceDirectisthatthecorrespondingauthor
ofeachpaperpublishedinENTCSmustsubmitasignedCopyrightTransfer
8
»»Ò³
PleaselistYourLastnameHere
FormtoElsevierinorderfortheirpapertobepublished.Acopyofthisform
willbesenttoeachauthorbytheGuestEditorsofeachvolume.Detailsabout
thisagreementspecifyingtherightsoftheauthorsandtherightsofElsevier
areavailableatElsevier’sAuthorGateway.
PublicationofFinalVersions
BecauseScienceDirectcannoteasilyaccommodatechangestopublished
material,theProceedingsinitsentiretymustbereadybeforeitcanbepub-
lished.Thisisonereasonwhythevolumeandissuenumberisnotassigned
untilthe?nalversionsofallpapershavebeensenttotheGuestEditorsfor
?nalprocessing.
6Bibliographicalreferences
ENTCSemploysthe
plain
styleofbibliographicreferencesinwhichreferences
arelistedinalphabeticalorder,accordingthethe?rstauthor’slastname,and
aresequentiallynumbered.Pleaseutilizethisstyle.WehaveaBibTEXstyle
?le,forthosewhowishtouseit.Itisthe?le
entcs.bst
whichisincludedin
thispackage.Thebasicruleswehaveemployedarethefollowing:
•
Authors’namesshouldbelistedinalphabeticalorder,withthe?rstauthor’s
lastnamebeingthe?rstlisting,followedbytheauthor’sinitialsor?rst
name,andwiththeotherauthorsnameslistedas
?rstname,lastname
.
•
Titlesofarticlesinjournalsshouldbein
emphasized
type.
•
Titlesofbooks,monographs,etc.shouldbeinquotations.
•
Journalnamesshouldbeinplainromantype.
•
Journalvolumenumbersshouldbeinboldfacetype,withtheyearofpub-
licationimmediatelyfollowinginromantype,andenclosedinparentheses.
•
ReferencestoURLsonthenetshouldbe“active”andtheURLitselfshould
beintypewriterfont.
•
Articlesshouldincludepagenumbers.
Thecriteriaareillustratedinthefollowing.
References
[1]Civin,P.,andB.Yood,
InvolutionsonBanachalgebras
,Paci?cJ.Math.
9
(1959),415–436.
[2]Cli?ord,A.H.,andG.B.Preston,“TheAlgebraicTheoryofSemigroups,”
Math.Surveys
7
,Amer.Math.Soc.,Providence,R.I.,1961.
[3]Freyd,Peter,PeterO’Hearn,JohnPower,RobertTennentandMakoto
Takeyama,
Bire?ectivity
,ElectronicNotesinTheoreticalComputerScience
1
(1995),URL:
http://www.elsevier.nl/locate/entcs/volume1.html
.
9
»»Ò³
PleaselistYourLastnameHere
[4]Easdown,D.,andW.D.Munn,
Tracefunctionsoninversesemigroupalgebras
,
U.ofGlasgow,Dept.ofMath.,preprint93/52.
[5]Roscoe,A.W.,“TheTheoryandPracticeofConcurrency,”PrenticeHallSeries
inComputerScience,PrenticeHallPublishers,London,NewYork(1198),
565pp.Withassociatedwebsite
http://www.comlab.ox.ac.uk/oucl/publications/books/concurrency/
.
[6]Shehadah,A.A.,“Embeddingtheoremsforsemigroupswithinvolution,“Ph.D.
thesis,PurdueUniversity,Indiana,1982.
[7]Weyl,H.,“TheClassicalGroups,”2ndEd.,PrincetonU.Press,Princeton,N.J.,
1946.
10
»»Ò³